Строковый литерал с зависимым типом - невозможно?

Можно ли определить пользовательский оператор преобразования строкового литерала, чтобы тип его результата зависел от значения его ввода строки?

Это легко с пользовательскими целыми числами и литералами с плавающей запятой, поскольку они допускают литеральные шаблоны операторов, а фактические символы литерала передаются ему как аргументы шаблона. Пример:

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

Нет такой вещи, которая существует для пользовательских строковых литералов.

Есть ли другой способ сделать это, либо в текущем стандарте, либо запланирован/обсужден для какой-либо будущей редакции?

Ответ 1

Нет, не возможно, за пределами серьезного хакерства. Доступ к строковым литералам осуществляется через constexpr, а тип возврата constexpr не может зависеть от значений аргументов.

Предлагаемый <char...> operator"" для строковых литералов столкнулся с проблемами с "сырыми или обработанными" проблемами и как их определить, а где они были сброшены, поскольку хеширование этих проблем вовремя для следующего стандарта было бы трудным и/или ROI будет низким. (по крайней мере, из моего случайного чтения того, что произошло).

Я не знаю, умерла ли она на лозе или все еще работает.

Хакер будет передавать <arr[0], arr[1], arr[2]> в template pseduo-вручную и не будет (напрямую) включать в себя определяемый пользователем литерала синтаксис. У него много проблем.