Здравствуйте, Кодт, Вы писали:

BFE>>Правильно ли я понимаю, что для строкового литерала никакого встроенного типа введено не было и всегда надо добавлять свой класс (вроде DoubleString из примера выше)?

К>Ссылка на голый массив буковок не является валидным параметром шаблона.
К>Поэтому и приходится изгаляться.

Я вроде бы разобрался, но всё равно остаюсь в легком недоумении.
Вот почему для нестроковых литералов можно объявить:

template<char... chRow>
consteval Num operator""_num()

а для строковых нельзя?

Причём, если я правильно понимаю, длина не ограничена:

auto x = 12345678901234567890123456789012345678901234567890_num;
auto y = 0x123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0_num;

test

Вот этого я не знал и сделал: ""_hex для строки

"123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0"_hex

что возвращает std::array конвертированных байтов.
Это не совсем правильно, потому что приходится руками проверять формат, а для 0xABC... это делается автоматически. Впрочем, всё равно consteval.

К>Я вот как раз щас говнокожу, хочу смешную статью на хабр написать.
К>Поэтому — пардоньте, что в дев-ветке, а не в майне. Under construction.
К>И вот как раз там нафигачил заготовку — компайлтаймовые строки.
К>https://github.com/nickolaym/nenormal/tree/dev/static_string/src
Они, всё же, constexpr, а не consteval...

К>- для труЪ констекспра, зависящего от содержимого строки, приходится делать зависимые типы! хаскелл такое не умеет, а плюсы умеют!
К>Поэтому у меня два вида строковых литералов. Уот так уот.
Два вида и суффикс должен быть согласован с содержимым строки?
Вот, опять же, для нестроковых литеров я могу:

template<char ch, char... chRow>
consteval char take0()
{
  return ch;
}

template<char... chRow>
consteval Num8 operator""_num8()  requires (sizeof...(chRow) < 5 && '2' != take0<chRow...>()) // 2 - исключительно для примера
{
    static_assert(
                   sizeof...(chRow) == 4  // 0xAB_num8
                   ||
                   sizeof...(chRow) == 3  // 0xA_num8 or 123_num8
                   ||
                   sizeof...(chRow) == 2  // 12_num8
                   ||
                   sizeof...(chRow) == 1  // 1_num8
                   , "invalid or unsupported format"
                 );
    return make_Num8<chRow...>();
}

а для строковых :

 constexpr cstring(const char(&s)[N+1]) requires (' ' != s[0])

error: ‘s’ is not a constant expression...

Я С++20 не знаю, только вот начал изучать на практике...
Так что может упускаю чего...
А! Вот! requires нужно в другом месте писать:

template<cstring V> constexpr requires(' ' != V.data_[0]) auto operator""_ss() { return V; }

Так или нет?


А ещё на ём можно Brainfuck написать.