NS
Это другое. Copy-on-write это когда у нас иммутабельная коллекция, при записи в которую создаётся полная копия с изменённым полем.
Причем я даже не спорю с этим определением, просто оно с другого уровня
Size: a a a
2019 December 10
NS
На уровне C++ движка нет “иммутабельных коллекций”, есть указатели на память, области памяти и т.д.
SS
Если иммутабельность не нужна, зачем вообще копировать? Самый быстрый по перформансу способ - мучать общую память не заботясь о корректности.
NS
Это просто способ оптимизации работы с памятью
SS
На уровне C++ движка нет “иммутабельных коллекций”, есть указатели на память, области памяти и т.д.
Что такое «движок»? Рантайм? Не важно, иммутабельные коллекции - это всегда библиотека, стандартная или сторонняя.
NS
Движок — V8
NS
Интерфейс движка в JS — String
NS
Имплементация — с 10ок классов в С++ коде
SS
Это просто способ оптимизации работы с памятью
Оптимизация памяти через полное копирование объектов - это прям очень крутая оптимизация
NS
Где ты увидел, что там выполняется копирование?)
SS
COPY on write
NS
Есть 2 пути:
- копировать память сразу, как только ты программно создал новую сущность
- копировать по необходимости — COW
- копировать память сразу, как только ты программно создал новую сущность
- копировать по необходимости — COW
NS
Копирование все равно необходимо
SS
Нет, если тебе не нужна иммутабельность ты просто даёшь ссылку на объект и его совместно меняют
ОХ
Если тебе нужна копия объекта, но ты не уверен, что когда-либо будешь ее менять -- объект можно не копировать. Для этого и сущестуют такие оптимизации. Копия будет создаваться только при изменении
SS
Так, ты только что рассказал что такое COW, хорошо что ты это понимаешь. Как это относится к структурному шарингу при взятии подстроки?
ОХ
const a = "asd";
const b = a;
print(a); // Используется буфер а
print(b); // Используется буфер а, строка одна и та же
b[1] = "q";
print(a); // Используется буфер а
print(b); // Используется буфер b, строка тихонько скопировалась
const b = a;
print(a); // Используется буфер а
print(b); // Используется буфер а, строка одна и та же
b[1] = "q";
print(a); // Используется буфер а
print(b); // Используется буфер b, строка тихонько скопировалась
ОХ
Если ты берешь подстроку, но не модифицируешь ее -- логично просто взять ссылку на первый элемент и длину, и использовать буфер от старой строки. Если ее надо будет поменять, как в примере выше -- придется копировать
SS
a и b в твоём примере это ссылки, объект в памяти один
SS
Ты можешь модифицировать объект как через ссылку a так и через ссылку b