Cosa sono esattamente le stringhe in Nim?

Question

Da quello che ho capito, le stringhe in Nim sono fondamentalmente una sequenza mutabile di byte e che vengono copiate su incarico.

dato che, ho pensato che mi avrebbe detto sizeof (come len) il numero di byte, ma invece dà sempre 8 sulla mia macchina a 64 bit, così sembra essere in possesso di un puntatore.

Dato che, ho le seguenti domande ...

• Qual è stata la motivazione dietro copia su incarico? È perché sono mutabili?

• C'è mai un momento in cui non viene copiato quando viene assegnato? (Suppongo che i parametri di funzione non var non vengano copiati. Altro

• Sono ottimizzati in modo tale da essere copiati solo se/quando vengono modificati?

• C'è qualche differenza significativa tra una stringa e una sequenza, oppure le risposte alle domande precedenti possono essere ugualmente applicate a tutte le sequenze?

• Qualcos'altro in generale degno di nota?

Grazie!

Answer 1

La definizione di stringhe in realtà è in system.nim, appena sotto un altro nome:

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 

Quindi una stringa è un puntatore ad un oggetto grezzo con un campo len, reserved e data. I proc per le stringhe sono definiti in sysstr.nim.

La semantica delle assegnazioni di stringhe è stata scelta per essere uguale a tutti i tipi di valore (non ref o ptr) in Nim per impostazione predefinita, quindi è possibile assumere che le assegnazioni creino una copia. Quando una copia è inutile, il compilatore può lasciarlo fuori, ma non sono sicuro di quanto stia accadendo finora. Passare le stringhe in un proc non le copia. Non c'è ottimizzazione che impedisca le copie di stringa fino a quando non vengono mutate. Le sequenze si comportano nello stesso modo.

È possibile modificare il comportamento assegnazione predefinita di stringhe e seguenti del regolamento provvisorio contrassegnandoli come superficiale, allora nessuna copia viene eseguita su incarico:

var s = "foo" 
shallow s