c++ - 零大小数组不适用于模板

Question

使用 GCC，似乎模板参数替换总是因大小为零的数组而失败。我希望 static_assert 失败并在 test1 中打印消息，就像在 test2 中一样。
您还可以删除 static_assert，该模板不适用于大小为零的数组。

由于零大小数组是一种扩展，因此在 C++ 标准中肯定没有关于对它们进行特殊处理的规则，所以我的问题是:
我是否遗漏了什么，这是一个错误，还是 GCC 作者有意为之？

#include <iostream>

template <size_t len>
void test1(const char(&arr)[len])
{
    static_assert(len > 0, "why am I never printed?");
}

template <size_t len>
void test2(const char(&arr)[len])
{
    static_assert(len > 10, "I will be printed");
}

int main()
{
    char arr5[5];
    test2(arr5);

    char arr0[0];
    test1(arr0);
}

错误输出:

main.cpp: In function ‘int main()’:
main.cpp:21:15: error: no matching function for call to ‘test1(char [0])’
     test1(arr0);
               ^
main.cpp:21:15: note: candidate is:
main.cpp:4:6: note: template<unsigned int len> void test1(const char (&)[len])
 void test1(const char(&arr)[len])
      ^
main.cpp:4:6: note:   template argument deduction/substitution failed:
main.cpp: In instantiation of ‘void test2(const char (&)[len]) [with unsigned int len = 5u]’:
main.cpp:18:15:   required from here
main.cpp:12:5: error: static assertion failed: I will be printed
     static_assert(len > 10, "I will be printed");
     ^

我的编译器版本是:

g++ (Ubuntu 4.8.4-2ubuntu1~14.04) 4.8.4

---

更新:我今天使用 Visual C++ 2015 对其进行了测试，它显示了相同的行为。 VC++ 仅当它们是类/结构的最后一个成员时才支持零大小数组，但如果相应地更改代码，它与 g++ 完全相同:

函数模板从不使用零大小的数组进行编译。为什么？

#include <iostream>

struct s_arr
{
    char arr0[0];
};

template <size_t len>
void test(const char(&arr)[len])
{
}

int main()
{
    s_arr s;
    test1(s.arr0);
}

Answer 1

Do I miss something, is this a bug, or is this intended by the GCC authors?

在模板中接受零大小的数组会导致一致性问题或无法维护的语言。

给定

template <int N> void f(char (*)[N], int);
template <int N> void f(void *, void *);

一个电话f<1>(0, 0) 必须使用第一个重载，因为它更适合第二个参数。

一个电话f<0>(0, 0) 必须使用第二个重载，因为 SFINAE 由于大小为零的数组而丢弃第一个重载。

只要零大小的数组不改变任何标准 C++ 程序的语义，就允许它们作为扩展。在模板参数替换期间允许大小为零的数组会改变标准 C++ 程序的语义，除非在不应允许大小为零的数组的地方实现了整个异常列表。