Что такое струны в Ниме?

Question

Из того, что я понимаю, строки в Nim в основном являются изменяемой последовательностью байтов и что они копируются при назначении.

Учитывая, что я предположил, что sizeof говорил мне (как len) количество байт, но вместо этого он всегда дает 8 на моем 64-битной машине, так что, похоже, держит указатель.

Учитывая, что у меня есть следующие вопросы ...

• Что было причиной копии на уступки? Это потому, что они изменяемы?

• Есть ли время, когда оно не копируется при назначении? (Я предполагаю, что параметры не var не копируются. Что-нибудь еще?)

• Они оптимизированы так, что они на самом деле копируются только в том случае, если они мутированы?

• Есть ли существенная разница между строкой и последовательностью или ответы на вышеуказанные вопросы одинаково применимы ко всем последовательностям?

• Что-нибудь еще в целом стоит отметить?

Спасибо!

Answer 1

Определение строк на самом деле находится в system.nim, только под другим названием:

type 
    TGenericSeq {.compilerproc, pure, inheritable.} = object 
    len, reserved: int 
    PGenericSeq {.exportc.} = ptr TGenericSeq 
    UncheckedCharArray {.unchecked.} = array[0..ArrayDummySize, char] 
    # len and space without counting the terminating zero: 
    NimStringDesc {.compilerproc, final.} = object of TGenericSeq 
    data: UncheckedCharArray 
    NimString = ptr NimStringDesc 

Так строка является сырым указателем на объект с полем len, reserved и data. Проки для строк определены в sysstr.nim.

Семантика назначений строк была выбрана так же, как для всех типов значений (не ref или ptr) в Nim по умолчанию, поэтому вы можете предположить, что назначения создают копию. Когда копия не нужна, компилятор может ее оставить, но я не уверен, сколько это происходит. Передача строк в proc не копирует их. Нет оптимизации, которая предотвращает копирование строк до тех пор, пока они не будут мутированы. Последовательности ведут себя одинаково.

Вы можете изменить поведение присваивания по умолчанию строк и seqs, пометив их как мелкие, то копия не делается по заданию:

var s = "foo" 
shallow s