durata di memorizzazione dei dati di carattere sottostanti con stringa letterale definita dall'utente

Question

Configurazione rapida: voglio passare le stringhe nel mio programma come un puntatore e una dimensione. Ho una classe String e un utente definito letterale per la costruzione di stringhe letterali:

struct String { const char *ptr; size_t sz; }; 

inline constexpr String operator "" _string(const char *s, size_t sz) { 
    return {s, sz}; 
} 

int main() { 
    auto s = "hello"_string; 
    s.ptr[0]; //<-- is this access guaranteed to work? 
} 

Ha lo standard specificare che l'argomento passato al mio operatore letterale definita dall'utente ha una durata statica? vale a dire il codice di cui sopra in realtà equivale a scrivere:

int main() { 
    String s{"hello", 5}; 
} 

o è il compilatore/linker permesso di lasciare me con un puntatore penzoloni quando uso il definita dall'utente letterale?

(la sezione 2.13.8 di N4527 non sembra dire nulla in merito alla classe di archiviazione dell'argomento per gli operatori letterali stringa definiti dall'utente. Qualsiasi puntatore nelle sezioni appropriate dello standard sarebbe apprezzato .)

Answer 1

Da [lex.ext]:

Se L è un definita dall'utente-stringa-letterale, lasciate str essere il letterale senza il suo ud-suffisso e let len è il numero di unità di codice str (vale a dire, la sua lunghezza esclude il carattere null terminante). Il letterale L viene trattata come una chiamata della forma:

operator "" X (str , len) 

Da [lex.string]:

Valutare un stringa letterali risultati in un oggetto letterale stringa con durata dell'archiviazione statica, inizializzata dai caratteri specificati come specificato sopra.

Quindi:

"hello"_string; 

è equivalente a:

operator "" _string("hello", 5) 

Come "hello" è un stringhe letterali, che ha una durata di stoccaggio statico, in modo da avere alcun puntatore penzoloni.