C++ gcc stringa inlining

Question

voglio forzare le stringhe da assegnare in variabili locali dinamicamente a run-time tramite istruzioni di montaggio senza la stringa occupa di memoria in una sezione di dati (come ad esempio l'unica sezione dati lettura).

Quanto segue sembra funzionare perfettamente:

char foo[] = "bar"; 

Il codice assembly diventa:

movl $7496034, 40(%esp) 

Così, foo viene inizializzato con "bar" tramite l'istruzione movl in fase di esecuzione.

Come posso forzarlo a verificarsi su tutte le operazioni di stringa?

Ad esempio, se mi passa una stringa letterale in una funzione:

testfunc("bar"); 

La stringa "bar" saranno destinati in una sezione in questo caso.

Answer 1

La tecnica che mostri funziona solo per il tuo caso speciale. In generale, il compilatore è libero di inserire il contenuto delle stringhe nella sezione. Ad esempio, con questo piccolo ritocco:

char foo[] = "bar\0"; 

La stringa verrà ora visualizzata nella sezione di dati di sola lettura.

Sapendo che la tecnica non è sempre garantita, è possibile utilizzare una macro per automatizzare la tecnica in modo che sia possibile passare le stringhe alle funzioni senza utilizzare i puntatori nella sezione di sola lettura.

#define string_invoke(Func, Str)  \ 
     []() -> decltype(Func(NULL)) { \ 
      char foo[] = Str;   \ 
      return Func(foo);   \ 
     }() 

Answer 2

Hai una stringa di quattro caratteri che si desidera inizializzare con quattro personaggi ("bar", più il nulla-terminatore.) Il compilatore riconosce l'occasione per un impressionante micro-ottimizzazione e salva un intero quattro byte nella stringa che ha lo stesso schema di bit di "barra". Su macchine a 64 bit, il compilatore potrebbe usare questa tecnica anche per stringhe di 8 caratteri. Meraviglioso! Ma non aspettarti che questa ottimizzazione sia applicabile ovunque tu usi le stringhe C.

Quando una funzione accetta una stringa C come parametro, ad esempio, è in attesa di un puntatore a un array, non a un intero.

Contortare il codice per forzare specifiche ottimizzazioni del compilatore è un ottimo modo per scrivere codice non gestibile e fragile. Stai meglio scrivendo codice chiaro usando algoritmi efficienti e godendo delle fantastiche ottimizzazioni che il compilatore può applicare.