読者です 読者をやめる 読者になる 読者になる

C++14によるコンセプト定義のライブラリ:Tick

C++

SFINAEによるメタ関数定義をラップしたマクロを提供するライブラリです。is_incrementableコンセプトの定義は、以下のように書けます:

TICK_TRAIT(is_incrementable)
{
    template<class T>
    auto requires(T&& x) -> TICK_VALID(
        x++,
        ++x
    );
};

使いやすくていいです。