Я изучаю способы в C ++ 20, чтобы представить текстовый текст JSON, полностью в системе типов, чтобы затем я мог написать метафункцию, такую как < /p>
template struct HasKey;
static_assert(HasKey::value, "foo must exist");
< /code>
где < /p>
using MyJson = JsonString;
< /code>
В идеале пользователь напишет что -то вроде: < /p>
using MyJson = decltype(R"({"foo":123,"bar":true})"_js);
and obtain a single type JsonString
< /code>
Содержит каждый символ буквального.template
consteval JsonString operator"" _js();
< /code>
Но поддержка в основных компиляторах является пятницей для строковых литеральных пакетов. < /p>
постоянный + make_index_ sequence < /li>
< /ol>
helper, принимающий диаграмму константа (&)
contexpr /постоянные функции на std :: string_view < /li>
< /ol>
, которые приближаются Литерально -тип преобразование произвольной строки в пакет параметров шаблона? Руководство или облегченные кодовые наброски, показывающие, как упаковывать струнный литерал в jsonstring во время компиляции, так что метафункции ниже по течению, такие как Haskey , могут работать исключительно на уровне типа. Любые советы по лучшим практикам или справочным примерам были бы очень оценены!
Подробнее здесь: https://stackoverflow.com/questions/796 ... ype-in-c20
