boost.Hana 中的 when<> 特征如何工作？

Question

我对@9​​87654321@ 有一些经验。 IIRC，它是关于如果一个格式良好的表达式导致 true 返回用户类型 T（如果给定）或通过嵌套类型别名返回 void。

template<bool,typename = void>
struct enable_if;

template<typename T>
struct enable_if<true,T>{
 using type = T;
};

template <typename T, typename = void>
struct base_template{
     enum { value= false};
};

template <typename T>
struct base_template<T, typename enable_if<std::is_integral<T>::value>::type> {
    enum { value= true};// something useful...
};

struct some{};
static_assert(base_template<some>::value,"F*"); //error: static assertion failed: F
static_assert(base_template<int>::value,"F*");

但是在 boost.Hana 中我看到了这个特性 when 并且它的实现就像

template <bool condition>
struct when;

template <typename T, typename = when<true>>
struct base_template{
     enum { value= false};
};

template <typename T>
struct base_template<T, when<std::is_integral<T>::value>> {
    enum { value= true};// something useful...
};

struct some{};

static_assert(base_template<int>::value,"F*");
static_assert(base_template<some>::value,"F*");<source>:28:15: error: static assertion failed: F*

SFINAE 如何在这里工作？尽管std::is_integral<some>::value 会导致错误，但这并不意味着（它会？）when<false> 是ill-formed 并且应该将实例化分配给主类模板。我在这里有什么遗漏吗？

Answer 1

这是相同的一般想法。您可以以基本相同的方式使用enable_if_t 或decltype。现在，您可能已经习惯于看到这样的 SFINAE 部分专业化：

template<class T, class U = void>
struct Foo {};

template<class T>
struct Foo<T, decltype(T::bar())> {};

... Foo<X> ...

这里，Foo<X>首先被编译器扩展为Foo<X, void>（因为你没有在“调用点”处提供U，所以改为填写默认的U = void）。然后，编译器查找类模板Foo 的最佳匹配特化。如果decltype(X::bar()) 实际上是void，那么Foo<T, decltype(T::bar())> [with T=X] 将是Foo<X, void> 的完美匹配。否则，将使用通用的Foo<T, U> [with T=X, U=void]。

现在以 Hana when 为例。

template<bool> struct when {};

template<class T, class U = when<true>>
struct Foo {};

template<class T>
struct Foo<T, when<T::baz>> {};

... Foo<X> ...

这里，Foo<X>首先被编译器扩展为Foo<X, when<true>>（因为你没有在“调用点”处提供U，所以改为填写默认的U = when<true>）。然后，编译器寻找类模板Foo 的最佳匹配特化。如果when<X::baz> 实际上是when<true>，那么Foo<T, when<T::baz>> [with T=X] 将是Foo<X, when<true>> 的完美匹配。否则，将使用通用的Foo<T, U> [with T=X, U=when<true>]。

您可以将我示例中的简单表达式 T::baz 替换为任意复杂的布尔表达式，只要它是 constexpr 可评估的。在您的原始示例中，表达式为 std::is_integral<T>::value。

我的 CppCon 2017 会议"A Soupçon of SFINAE" 介绍了一些类似的示例。