Literal operator

[220Volt]

Читаю 4е издание Страуструпа, открыл для себя интересную штуку.
Сохраню здесь для себя, возможно и еще кому нибудь пригодится.

#include <iostream>

using namespace std;


constexpr int ipow(int x, int n)
{
    return n > 0  ? x * ipow(x, n - 1) : 1;
}

template <char...>
    struct Parse
    {
        template <char cur, char... tail>
            static constexpr int helper()
            {
                static_assert(cur >= '0', "illegal digits");
                static_assert(cur < '2', "illegal digits");
                return ipow(2, sizeof...(tail)) * (cur - '0') +
                       Parse<tail...>::template helper<tail...>();
            }
    };

template <>
    struct Parse<>
    {
        template <char ...>
            static constexpr int helper()   { return 0; }
    };


template<char... chars>
    constexpr int operator"" _b()      // literal operator
    {
        return Parse<chars ...>::template helper<chars ...>();
    }


int main()
{
    cout<<111010110111100110100010101_b;    // 123456789

    return 0;
}

[rrrFer]

да, я видел эту штуку. На хабре обсуждение тоже читал.
Не думал, что у Страуструпа оно описано (я полагал, оно из нового стандарта).

Но я прочитал и забыл (запомнил что есть такая фича, но не более). Сомневаюсь, что в жизни она мне пригодится.

Я так представляю, если в проекте код будет изобиловать такими штуками, то новым людям придется гораздо дольше вникать.

ЗЫ. Такой оператор можно определить для строк (string literal operator) и он, думаю более полезен - наверное можно кортежи описывать в строках. Но я не пробовал - не утверждаю, а предполагаю.

[still_alive]

Я бы назвал пример этого кода не как literal operator, а как variadic templates) Они и полезнее намного.