c – 内置阵列大小的类型是什么？

发布时间：2020-12-16 03:37:40 所属栏目：百科来源：网络整理

导读：在推导非类型模板参数(例如n)时,n的类型必须在参数和参数之间完全匹配.所以下面的代码不会编译(至少在GCC和clang上)： #include arraytemplate int n void f(std::arrayint,n const) {}int main() { std::arrayint,3 arr; f(arr);} 这是因为std :: array声明

在推导非类型模板参数(例如n)时,n的类型必须在参数和参数之间完全匹配.所以下面的代码不会编译(至少在GCC和clang上)：

#include <array>
template <int n> void f(std::array<int,n> const&) {}
int main() {
  std::array<int,3> arr;
  f(arr);
}

这是因为std :: array声明为

template <typename T,std::size_t n> class array;

而不是

template <typename T,int n> class array;

但是,要捕获内置数组的大小,似乎任何整数类型都可以.以下所有关于GCC,clang和VC的工作：

template <typename T,char n > void f(T (&)[n]);
template <typename T,short n> void f(T (&)[n]);
template <typename T,int   n> void f(T (&)[n]);
...

那么,严重的是,内置数组的大小类型是否超载？

解决方法

这包含在14.8.2.5 [temp.deduct.type]第17段中：

17 – […] [The] template-argument type shall match the type of the template-parameter exactly,except that a template-argument deduced from an array bound may be of any integral type.

在http://wg21.cmeerw.net/cwg/issue1770,这是改进到更一般：

17 – If P has a form that contains <i>,and if the type of the corresponding value of A differs from the type of i,deduction fails. If P has a form that contains [i],and if the type of i is not an integral type,deduction fails.

因此,可以将数组边界推导为任何整数类型,但必须将非类型模板参数推导为模板定义中的实际类型.

实际上,标准的C 11版本中没有任何地方指定数组边界的首选类型;指定数组绑定(在[dcl.array]中)为“整数常量表达式,其值应大于零”.在最近的C 14草案中,这被修改为“std :: size_t […]类型的转换常量表达式(5.19)”;改变后的定义可以追溯到n3306.有点奇怪的是,为了一致性,这种变化表现为“相应的调整[…]”,这意味着编辑们认为size_t是正确的类型是显而易见的.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!