为什么在零数组的情况下编译器不推导出模板参数？

Question

我已阅读以下链接如何通过模板函数计算数组的大小：

• How does this “size of array” template function work? [duplicate]
• Can someone explain this template code that gives me the size of an array? [duplicate]

• Magic arguments in function templates

  但是这个技巧在零数组的情况下不起作用。为什么下面的代码不正确？ 例如，在线编译器 ideone 打印以下错误消息：

错误：没有匹配函数调用“size_of_array(int [0])”
std::size_t num = size_of_array(arr);

#include <cstddef>
template <typename T, std::size_t N>
inline std::size_t size_of_array( T (&)[N] ) {
   return N;
}
int main()
{
  int arr[0]={};
  std::size_t num = size_of_array(arr);
}

Answer 1

来自标准草案 n4296，§8.3.4 数组：

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

D1 [ 常量表达式 ] 属性说明符序列

以及标识符的类型 声明 T D1 是“derived-declarator-type-list T”，那么 D的标识符是数组类型；

...

如果常量表达式存在，它应该是一个转换后的常量表达式类型 std::size_t 及其值应大于零。

所以你的代码无效。

Answer 2

根据[temp.deduct/8]（working draft，模板参数推导，强调我的）：

类型扣除可能因以下原因而失败：
[...]
- 尝试创建元素类型为 void、函数类型、引用类型或抽象类类型的数组，或尝试创建大小为零的数组或负数

零长度数组的类型推导可能会失败（主要是因为零长度数组也是不允许的），这就是您收到错误的原因。
另请注意，在同一段中，我们有以下内容（强调我的）

如果使用替换的参数编写，则无效的类型或表达式是格式错误的，需要诊断。