C++1z(C++17)標準ヘッダ<type_traits>に追加されるstd::void_tクラステンプレートを用いたイディオム。クラスメンバの存在検知や、型に対して特定の式が有効なことを検知できる。 // C++1z: 型Tがメンバtypeを持つか？ template <class, class = std::void_t<>> struct has_type_member : std::false_ty</class,></type_traits>…