标签：c language-lawyer templates variadic-templates

我不止一次(甚至在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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。