SFINAEの制約式を少しだけ読みやすくするConstraints

プログラミングC/C++

最近知ったSFINAEを少しだけ読みやすくするおまじないの紹介。

C++17 で SFINAE を使って関数を定義したりしなかったりしたいとき、std::enable_ifstd::nullptr を組み合わせて以下のようなコードを書くことがしばしばある1

template <typename T,
          std::enable_if_t</* SFINAE特有の式 */, std::nullptr_t> = nullptr>
void func(T&& t) {
    /* ... */
}

SFINAE に馴染みのない人にとってはかなり読みづらい。やりたいことは型 T に応じて関数の定義を切り替えることだが、関係ない std::nullptr_tnullptr が並ぶことで少し読みづらく感じることがある。また、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

  1. なぜ std::nullptr_t を使うかは【C++ Advent Calendar 2016 22日目】C++ で enable_if を使うコードのベストプラクティス – Secret Garden(Instrumental)std::enable_ifを使ってオーバーロードする時、enablerを使う? – Qiita を参照
  2. 本音を言うと nullptr も隠蔽したいが、こればかりはどうしようもない

プログラミングC/C++

Posted by komori