代码之家 › 专栏 › 技术社区 › Brian Bi

所有模板参数包的默认值都是“空”吗?

standards templates c++

Brian Bi · 技术社区 · 7 年前

看看下面的代码,显然GCC和Clang都乐于接受:[ coliru ]:

template <class ... P1, class T1, class ... P2, class T2, class ... P3>
constexpr int f(T1, T2) {
    return sizeof...(P1) + sizeof...(P2) + sizeof...(P3);
}
int main() {
    static_assert(f(12, 3.4) == 0);
}

这是为什么?标准中是否有一条规定,当模板参数包无法推导时,它被假定为空?

1 回复 | 直到 7 年前

Yakk - Adam Nevraumont 7 年前

[temp.param]17.1/15打算根据以下示例使您的代码格式错误:

 // U can be neither deduced from the parameter-type-list nor specified
 template<class... T, class... U> void f() { } // error

但文本有点不清楚:

如果类模板、变量模板或别名模板的模板参数具有默认模板- 参数,每个后续模板参数应提供默认模板参数,或为模板参数包。如果主类模板、主变量模板或 alias template是一个模板参数包,它应该是最后一个模板参数。模板参数一个功能模板的包装后不得有另一个模板参数,除非该模板参数可以从功能模板的参数类型列表(11.3.5)中推导出来,或者具有默认值论点(17.9.2)。扣减指南模板(17.10)的模板参数,没有默认值参数应可从推断指南模板的参数类型列表中推断。

问题是 模板参数包 这不是一个 模板参数 ; 虽然 T..., U... 对于模板类来说是禁止的,但阻止它使用模板函数的措辞似乎有点错误。

你也可以说,将类型传递给这些包的不可能性包括:

该程序格式不正确,无需诊断,如果: [...] 可变模板的每个有效专门化都需要一个空模板参数包,

但这是一个严重的延伸。

推荐文章

AstralHex · 矩阵乘法代码工作不正常

1 年前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

1 年前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

1 年前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

1 年前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

1 年前

Die4Toast · 递归调用成员箭头运算符->

1 年前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

1 年前

Anka HanÄ±m · 关于结构和动态数组地址的问题

1 年前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

1 年前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

1 年前