EP>>template<typename ...Columns>
EP>>struct row : Columns::field...
EP>>{};
EP>>

E>Думаешь это удобно?

for (const auto& row : db(select(foo.name, foo.hasFun).from(foo).where(foo.id > 17 and foo.name.like("%bar%"))))
{
    if (row.name.is_null())
        std::cerr << "name is null, will convert to empty string" << std::endl;
    std::string name = row .name;   // string-like fields are implicitly convertible to string
    bool hasFun = row.hasFun;          // bool fields are implicitly convertible to bool
}

E>Если уж развивать язык в эту сторону, то я бы лучше концепцию constexpr развивал. Всё равно у нас для реализации constexpr компилятор должен уметь исполнять CT с++ код без побочных эффектов, так что недалеко до того, что бы сделать так, что бы компилятор отдавал в макрос текст или АСТ или что-то вроде того, и получал наружу модифицированное тоже самое...

EP>Изначально генерируется следующий код (условия тестовые, пока нет псевдонимов, но не суть):
EP>
EP>SELECT foo.id FROM
EP>(
EP> SELECT foo.id FROM
EP> (
EP> SELECT foo.id FROM foo WHERE foo.id>40
EP> ) WHERE foo.id>41
EP>) WHERE foo.id>42

EP>for (const auto& row : db(select(foo.name, foo.hasFun).from(foo).where(foo.id > 17 and foo.name.like("%bar%"))))
EP>

EP>for (const auto& row : db(select(name, hasFun).from(foo).where(id > 17 and name.like

E>>Если уж развивать язык в эту сторону, то я бы лучше концепцию constexpr развивал. Всё равно у нас для реализации constexpr компилятор должен уметь исполнять CT с++ код без побочных эффектов, так что недалеко до того, что бы сделать так, что бы компилятор отдавал в макрос текст или АСТ или что-то вроде того, и получал наружу модифицированное тоже самое...

EP>>for (const auto& row : db(select(foo.name, foo.hasFun).from(foo).where(foo.id > 17 and foo.name.like("%bar%"))))
EP>>

EP>for (const auto& row : db(select(name, hasFun).from(foo).where(id > 17 and name.like

E>Ну, это, скорее то, что надо, в отличии от нынешних Тьюринг-полных CT-решений на шаблонах...

template<typename Source, typename Condition, typename ...Columns>
constexpr auto make_sql
(
    Source source,
    Condition condition,
    Columns... columns
)
{
    return concat
    (
        CTQL_STRING("SELECT "), concat_columns(columns...),
        CTQL_STRING(" FROM "), source_string(source),
        skip_if_empty(condition, concat(CTQL_STRING(" WHERE "), condition))
    );
}

constexpr auto make_sql(auto source, auto condition, auto... columns)
{
    return concat
    (
        "SELECT "_S, concat_columns(columns...),
        " FROM "_S, source_string(source),
        skip_if_empty(condition, concat(" WHERE "_S, condition))
    );
}

auto regExp = RegExp( (@dataPrefixes){data:{day:\d?\d}\\{month:(\d?\d)|(@monthsOfYear)}\\{year:(\d\d)?\d\d)}(@dataSuffixes) );
auto regExpRes = regExp << line;
if( regExpRes ) {
    dayta = MyData( regExpRes.day, regExpRes.month, regExpRes.year );
    dataType = regExpRes.dataPrefixes.Type;
}

E>Просто проектируя DSL ты думал не о выразительности, а о том, чтобы это можно было в макрошаблонную магию затолкать...

auto regExp = RegExp( (@dataPrefixes){data:{day:\d?\d}\\{month:(\d?\d)|(@monthsOfYear)}\\{year:(\d\d)?\d\d)}(@dataSuffixes) );
E>auto regExpRes = regExp << line;
E>if( regExpRes ) {
E>    dayta = MyData( regExpRes.day, regExpRes.month, regExpRes.year );
E>    dataType = regExpRes.dataPrefixes.Type;
E>}

auto regExp = REGEXP(R"((@dataPrefixes){data:{day:\d?\d}\\{month:(\d?\d)|(@monthsOfYear)}\\{year:(\d\d)?\d\d)}(@dataSuffixes))", dataPrefixes, monthsOfYear, dataSuffixes);

E>Будет просто цикл по токенам, возможно с каким-то фильтром по типу, или по атрибутам структуры...