È possibile digitare fortemente i valori letterali definiti dall'utente basati su stringhe?

Question

Il nuovo concetto letterale definito dall'utente in C++ suggerisce alcuni usi molto interessanti di stringa-letterali, come ad esempio:

"Goodbye %s world"_fmt("cruel"); 
"Goodbye %s world"_fmt(123); // Error: arg 1 must be convertible to const char* 

R"(point = \((\d+), (\d+)\))"_re; // Builds DFA at compile-time. 

typedef table< 
    column<"CustId"_name , std::string>, 
    column<"FirstName"_name, std::string>, 
    column<"LastName"_name , std::string>, 
    column<"DOB"_name  , date  > 
> Customer; 

Tuttavia, quando ho costruire questo tipo di costrutti a gcc, per esempio:

template <char... Chars> Name<Chars...> operator "" _name() { 
    return Name<Chars...>(); 
} 

auto a = 123_name; // OK 
auto b = "abc"_name; // Error 

ottengo il seguente errore:

…unable to find string literal operator ‘operator"" _name’ with ‘const char [4]’, ‘long unsigned int’ arguments 

da leggendo in giro, sto cercando di indovinare che la forma variadic-modello non è disponibile per UDL DERIVE d da stringhe letterali.

1. È infatti il ​​caso che i valori letterali di stringa non possono essere risolti utilizzando il modulo modello variadic?
2. Se sì, qualcuno ha qualche idea sul perché una tale forma utile di UDL è stata lasciata fuori dallo standard?

Answer 1

Hai ragione. stringhe letterali non possono essere utilizzati con la forma variadic modello (§2.14.8/5):

If L is a user-defined-string-literal, let str be the literal without its ud-suffix and let len be the number of code units in str (i.e., its length excluding the terminating null character). The literal L is treated as a call of the form

operator "" X (str, len) 

ho mischiato tra le carte proposta (l'ultima delle quali ho trovato è stato N2750) e non riusciva a trovare una spiegazione per non consentire l'uso del modulo modello variadico.

Answer 2

N3599, che consente questo, è stato implementato in gcc e clang.

template<class CharT, CharT... chars> 
int operator ""_suffix(){ 
    return 42; 
}