C++17 では std::void_t というメタ関数が追加されるらしい。 これは、 template<typename...> using void_t = void; と、いう風に定義されています。 [使い方] このメタ関数は次のように使うみたい。 template<typename, typename = std::void_t<> > struct has_type_member : std::false_type {}; template<typename T> </typename></typename,></typename...>…