¿Pueden los literales definidos por el usuario basados ​​en cadenas estar fuertemente tipados?

Question

El nuevo concepto literal definido por el usuario en C++ sugiere algunos usos muy interesantes de cadena literales, tales como:

"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; 

Sin embargo, cuando construyo este tipo de construcciones en gcc, por ejemplo:

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

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

me sale el siguiente error:

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

de la lectura de todo, supongo que la forma variadic-plantilla no está disponible para los UDL derivan d de literales de cadena.

1. ¿Es de hecho el caso que los literales de cadena no se pueden resolver usando el formulario de plantilla variadic?
2. Si es así, ¿alguien tiene alguna idea de por qué una forma tan útil de UDL se quedó fuera de la norma?

Answer 1

Tienes razón. Los literales de cadena no se pueden utilizar con la forma variadic plantilla (§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) 

He barajado a través de los cuadernos de propuestas (la última de las cuales pude encontrar fue N2750) y no pudieron encontrar una explicación por no permitir el uso del formulario de plantilla variadic.

Answer 2

N3599, que permite esto, se ha implementado en gcc y clang.

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