SFINAEによるメタ関数定義をラップしたマクロを提供するライブラリです。is_incrementable
コンセプトの定義は、以下のように書けます:
TICK_TRAIT(is_incrementable) { template<class T> auto requires(T&& x) -> TICK_VALID( x++, ++x ); };
使いやすくていいです。
SFINAEによるメタ関数定義をラップしたマクロを提供するライブラリです。is_incrementable
コンセプトの定義は、以下のように書けます:
TICK_TRAIT(is_incrementable) { template<class T> auto requires(T&& x) -> TICK_VALID( x++, ++x ); };
使いやすくていいです。