如何将零大小的数组传递给模板函数

How to pass an array of zero size to template function

本文关键字：函数 数组      更新时间：2023-10-16

我有一个示例函数，它引用了一个数组。函数定义中的元素数未知。

template<typename T, std::size_t N>
void someFun(T (&)[N])
{
    /* ... */
}

为一个元素的数组调用此函数编译得很好。推导出的参数类型为 int (&)[1] 。

int main()
{
    int arr[1];
    someFun(arr);
}

问题是，当我尝试传递一个零元素数组时。下面的示例显示了代码和错误。

int main()
{
    int arr[0];
    someFun(arr);
}

编译错误(使用 g++ 7.2(：

../src/main.cpp: In function 'int main()':
../src/main.cpp:24:13: error: no matching function for call to 'someFun(int  [0])'
someFun(arr);
         ^
../src/main.cpp:9:6: note: candidate: template<class T, long unsigned int N>  void someFun(T (&)[N])
void someFun(T (&a)[N])
  ^~~~~~~
../src/main.cpp:9:6: note:   template argument deduction/substitution failed:
make: *** [src/main.o] Error 1

我假设推导的模板参数类型是int (&)[0]，但是这个参数的替换失败了。我可以通过重载someFun来绕过.这是我的工作示例：

template<typename T, std::size_t N>
void someFun(T (&)[N])
{
    /* ... */
}
template<typename T>
void someFun(T (&)[0])
{
    /* ... */
}
int main()
{
    int arr[0];
    someFun(arr);
}

运行此代码会导致调用void someFun(T (&)[0])函数，推断出的参数类型int (&)[0] 。您能否解释一下为什么我不能对零元素数组使用更通用的解决方案？请不要判断此代码的原因。这只是一个用于学习目的的示例。

零大小的数组绝对不是标准C++。 从 [dcl.array]：

在声明T D中，D具有以下形式

D1 [ constant-expressionopt ] attribute-specifier-seqopt

[...]

如果存在常量表达式，则它应为类型为 std​::​size_­t 的转换常量表达式，其值应大于零。

然而，GCC提供了零长度的数组作为扩展，但由于它们是非标准的，你不能指望它们与其他语言功能一起工作，例如模板参数推导。 您可以为零长度数组显式重载函数。

#include <cstdlib>
template<typename T, std::size_t N>
void someFun(T (&)[N]) {}
template<typename T>
void someFun(T (&)[0]) {}
int main() {
    int arr[0];
    someFun(arr);
}

这在 GCC (7.2.0( 上编译，但不在 Clang (6.0.0( 上编译。

相关文章：