c++ - 具有依赖类型的字符串字面量——不可能？

Question

是否可以定义用户定义的字符串文字转换运算符，使其结果的类型取决于其字符串输入的值？

使用用户定义的整数和浮点文字很容易，因为它们允许文字运算符模板，并且文字的实际字符作为模板参数传递给它。例子：

template <char... s> struct silly { using type = int; };
template <char... s> struct silly<'1', s...> { using type = double; };

template <char... s>
typename silly<s...>::type operator"" _silly() { return 0; }

static_assert(std::is_same<int, decltype(4321_silly)>::value, "no luck");
static_assert(std::is_same<double, decltype(1234_silly)>::value, "no luck");

用户定义的字符串文字似乎不存在这样的事情。

是否有另一种方法可以做到这一点，无论是在当前标准中还是计划/讨论的未来修订中？

Answer 1

不，不可能，在严重的宏黑客之外。字符串字面量通过 访问constexpr，返回类型 ofconstexpr不能依赖于参数的值。

提议<char...> operator""的字符串文字遇到了“原始或处理过的”问题以及如何指定它，以及在哪里被丢弃，因为及时为下一个标准散列这些问题会很困难，和/或投资回报率会很低。（至少从我随意阅读所发生的事情来看）。

我不知道它是死在葡萄藤上，还是仍在进行中。

黑客将手动传递<arr[0], arr[1], arr[2]>给templatepseduo，并且不会（直接）涉及用户定义的文字语法。它有很多问题。