为什么只有有效的空变量包的模板格式不佳？

Question

的理由是什么

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};
}

Answer 1

通常，实现可以早期诊断模板中的明显错误，因为无论如何都无法生成有效的实例化。但是包扩展有点独特，因为整个构造在实例化时可能会消失。因此，需要这一规则来禁止在包装膨胀的东西中出现各种明显的任性，并允许它们的早期诊断：

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};
}

这也在一定程度上帮助了编译器实现者，因为他们的模板的内部表示不需要支持这种无稽之谈。