c++ - std::enable_if_t = 0 的含义是什么

Question

我正在阅读std::enable_if ，并注意到以下内容。

template <typename Integer,
          std::enable_if_t<std::is_integral<Integer>::value, int> = 0
>
T(Integer) : m_type(int_t) {}

由于 std::enable_if_t 是一种类型，在这种情况下它可以被计算为 int 或 void，因此上面的代码可以被计算为

template <typename Integer,
          int = 0
>
T(Integer) : m_type(int_t) {}

或

template <typename Integer,
          void = 0
>
T(Integer) : m_type(int_t) {}

我无法理解 int = 0 或 void = 0，有人可以帮我解决这个问题吗？谢谢。

Answer 1

Since std::enable_if_t is a type, and it can be evaluated to int or void for this case, so the above code can be evaluated to ...

这是不正确的。与std::enable_if_t<std::is_integral<Integer>::value, int>唯一类型std::enable_if_t可以是int 。如果std::is_integral<Integer>::value不成立，则根本不存在成员，模板实例化将被丢弃。这意味着它只能解决

template <typename Integer,
          int = 0
>
T(Integer) : m_type(int_t) {}

哪里int = 0只是一个未命名的非类型模板参数，其值为 0 。

我们这样做的原因 = 0这样它就有一个默认值，我们在声明这种类型的对象时不需要向它传递值。如果没有它，您将根本无法使用此构造函数，因为无法指定构造函数的模板参数。即使这不是构造函数，您仍然希望使用默认值，以便用户不需要将不需要的值传递给未命名和未使用的模板参数。