ひさしぶりにテンプレートメタプログラミングをしました。 候補となる列挙型がだいたい同じ列挙子をもっているけど、一部の列挙型にだけある列挙子が存在する場合もある、という場合に処理を集約させたい場合のコードです。 #define DEFINE_HAS_ENUMERATOR(name) \ struct has_enumerator_##name { \ template <class T> \ static constexpr decltype(T::name, bool{}) \ call(T) { return true; } \ static constexpr bool \ call(...) { return false; } \ } #define HAS_ENUMERATOR(type, name) has_enumerator_##name ::call(type{}) DEF