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

我是否会遗漏某些内容，这是一个错误，还是GCC作者打算这样做？

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

鉴于

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 ++程序的语义，除非在不允许零大小的数组的情况下实现完整的异常列表。

零大小的数组不适用于模板

1 个答案: