ユーザ定義の文字列リテラルを使用した基礎となる文字データの保存期間

Question

クイックセットアップ：私のプログラムでは、ポインタとサイズとして文字列を渡したいと思います。私は、Stringクラスとユーザー定義リテラル文字列を構築するためのリテラルがあります

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? 
} 

標準は、私のユーザー定義リテラルのオペレータに渡される引数は、静的期間を持つように指定していますか？私が使用している場合ダングリングポインタで私を残すことが許され、コンパイラ/リンカ

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

かであるユーザ定義リテラル：すなわち、上記のコードは、書き込みに実際に相当しますか？

（N4527のセクション2.13.8は、ユーザ定義の文字列リテラル演算子の引数の記憶クラスの主題について何も言わなかった。標準の適切なセクションへのポインタは、 。）

[lex.ext]から

Answer 1

：

がL STRがUD-サフィックスなしリテラルになるせ、ユーザ定義のストリングリテラル場合とlet lenは、 コードユニットの番号をstr（つまり、終端ヌル文字を除く長さ）とします。

operator "" X (str , len) 

[lex.string]から：

を持つ文字列リテラルオブジェクト内文字列リテラル結果を評価するリテラルLは、コール形式の として扱われます静的記憶期間、上記の指定された文字から初期化されます。

だから、

：

"hello"_string; 

は同等です：

operator "" _string("hello", 5) 

"hello"が文字列リテラルであるとして、それは静的記憶域期間を持っているので、あなたは何のダングリングポインタを持っていません。