Question

什么是

（8）可以在任何实例化之前检查模板的有效性。 [注意：知道哪些名称是类型名称，这样就可以检查每个模板的语法。 —注释]该程序格式错误，无需进行诊断，如果：
  [..]
  （8.3）可变参数模板的每个有效专业化都需要一个空模板参数包，或者

该规则不允许以下技巧来强制模板推导为：

template <typename ...Ts,
          typename A,
          typename B,
          std::enable_if_t<sizeof...(Ts) == 0, int> = 0> // Ill-formed NDR :-(
Pair<std::decay_t<A>, std::decay_t<B>> MakePair(A&&a, B&& b)
{
    return {a, b};
}

注意：我知道C ++ 17演绎规则会使make_*过时。

Answer 1

通常，由于您始终无法生成有效的实例，因此实现可以尽早诊断出模板中的明显错误。但是pack扩展有点独特，因为整个构造在实例化时就可以消失。因此，需要规则以禁止在包装扩展的事物中出现各种明显的bossity，并允许对其进行早期诊断：

template<class...Ts>
union U : Ts... {}; // unions can't have base classes

template<class...Ts>
class C : Ts..., Ts... {}; // classes can't have duplicate direct base classes

template<class...Ts>
void f() {
    // sizeof(void) is invalid, but it can vanish
    int x[] = {(sizeof(void) + sizeof(Ts))..., 0};
}

这在某种程度上也对编译器实现者有所帮助，因为它们对模板的内部表示不需要支持这种废话。

为什么仅形成有效的空可变参差错的模板？

1 个答案: