c-检查的防护参数包是否导致程序格式错误？

我不止一次(甚至在SO上)看到了这样的代码：

template<typename U, typename... G, typename T = Traits<U>>
struct {
    static_assert(sizeof...(G) == 0, "!");
    // ...
};

或这个：

template<typename T, typename... G, typename = std::enable_if_t<condition<T>>
void func(T &&t) {
    static_assert(sizeof...(G) == 0, "!");
    // ....
}

目的是通过执行以下操作来避免用户破坏游戏规则：

template<typename T, typename = std::enable_if_t<std::is_same<T, int>>
void func(T &&t) {
    // ....
}

// ...

func<int&, void>(my_int);

使用保护参数包,不能覆盖默认值.
另一方面,对大小的检查避免了无用参数对专业化的污染.

无论如何,由于[temp.res/8],我们有：

The program is ill-formed, no diagnostic required, if:
[…]
– every valid specialization of a variadic template requires an empty template parameter pack, or
[…]

因此,包含上述代码片段的程序是否格式错误？

解决方法:

“技巧”导致程序格式错误,不需要诊断.

该标准在您引用的部分中明确指出.

标签：c,language-lawyer,templates,variadic-templates
来源： https://codeday.me/bug/20191010/1888031.html