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

• Tick - Trait introspection and concept creator for C++14

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

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

使いやすくていいです。