C++のクラスでタグの存在を判定するメタ関数 (Lightweight Type Categorization Idiom)

C++でクラスにタグのようなものを埋め込み，その存在の有無をコンパイル時に判定するためのメタ関数を実装したい．

#include <type_traits>

template<typename T, typename R=void>
struct enable_if_type {using type = R;};

template<typename T, typename R=void>
struct has_x_tag : std::false_type {};

template<typename T>
struct has_x_tag<T, typename enable_if_type<typename T::x_tag>::type> 
 : std::true_type {};

int main()
{
  struct A {};
  struct X {using x_tag = void;};

  static_assert(has_x_tag<A>::value, "");  // fail
  static_assert(has_x_tag<X>::value, "");  // pass
}

ポイントは2つ:

1. タグは適当な型エイリアス using x_tag = void で定義
2. 判定用メタ関数 has_x_tag<> は SFINAE で実装

このアイデアは Stack Overflow にて @JoelFalcou 氏が提案した "Lightweight Type Categorization Idiom" を拝借したものです:

• How to check whether a class has specified nested class definition or typedef in C++ 11?
• Simplest implementation of "lightweight type categorization idiom"?