SFINAEの制約式を少しだけ読みやすくするConstraints
最近知ったSFINAEを少しだけ読みやすくするおまじないの紹介。
C++17 で SFINAE を使って関数を定義したりしなかったりしたいとき、std::enable_if
と std::nullptr
を組み合わせて以下のようなコードを書くことがしばしばある1。
template <typename T, std::enable_if_t</* SFINAE特有の式 */, std::nullptr_t> = nullptr> void func(T&& t) { /* ... */ }
SFINAE に馴染みのない人にとってはかなり読みづらい。やりたいことは型 T
に応じて関数の定義を切り替えることだが、関係ない std::nullptr_t
や nullptr
が並ぶことで少し読みづらく感じることがある。また、SFINAE の条件が増えれば増えるほど std::enabler_if_t
の template 引数が長くなり、可読性が低下しやすい。
このようなとき、次のような Constraints
を導入することでほんの少しだけ読みやすくなる。
namespace detail { template <typename... Args> struct ConstraintsImpl { using Type = std::nullptr_t; }; } // namespace detail template <typename... Args> using Constraints = typename detail::ConstraintsImpl<Args...>::Type; // Constraints を用いた定義方法 template <typename T, Constraints<std::enable_if_t</* SFINAE特有の条件1 */>, std::enable_if_t</* SFINAE特有の条件2 */>, /* SFINAE特有の条件式... */> = nullptr> void func(T&& t) { /* ... */ }
Constraints
の中身は単純で、テンプレート引数を無視して常に std::nullptr_t
を返している。こうすることで、std::nullptr_t
を隠蔽し、少しだけ読みやすくできる2。また、std::enable_if
を複数個並べられるため、条件が AND であることがわかりやすくなる。
// 使用例 template <typename T, Constraints<std::enable_if_t<std::is_default_constructible_v<T>>, std::enable_if_t<std::is_nothrow_assignable_v<T>>> = nullptr> void func(T&& t) noexcept { std::cout << "T is default constructible and nothrow assignable" << std::endl; }
ぱっと見ではそれほど見た目が変わらないように見えるかもしれない。しかし、実際に使ってみると想像以上に SFINAE コードが読みやすくなるため、今後は enabler や ALWAYS_TRUE ではなく Constraints
パターンを採用していきたい。
notes
- なぜ
std::nullptr_t
を使うかは【C++ Advent Calendar 2016 22日目】C++ で enable_if を使うコードのベストプラクティス – Secret Garden(Instrumental)、std::enable_ifを使ってオーバーロードする時、enablerを使う? – Qiita を参照 - 本音を言うと
nullptr
も隠蔽したいが、こればかりはどうしようもない