如何在 C++ 中调用 void foo(int (&)[]) {}？答案

【问题标题】：How to call void foo(int (&)[]) {} in C++?如何在 C++ 中调用 void foo(int (&)[]) {}？
【发布时间】：2012-10-16 07:05:32
【问题描述】：

void f1(int (&)[8])
{}

void f2(int (&)[])
{}

int main()
{
    int a[8];

    f1(a); // OK

    f2(/* What should I put here? */); // ???

    return 0;
}

如何调用 f2？

PS: void f2(int (&)[]) {} 在 VC++ 2012 下是合法的。

考虑以下几点：

template<class T>
struct A
{};

template<class T>
struct A<T[]>
{};

template<class T, size_t size>
struct A<T[size]>
{};

【问题讨论】：

如果尺寸未知，我不知道为什么你根本不指定void f2(int a[])。
我的意图是在重载现有函数的同时使用任意大小的数组调用 f2。例如诠释 b[7]； f2(b);
@xmllmx 那么template <size_t N> void f(int (&)[N]) { }呢？
@hvd，您的解决方案与 f1 相同。
@xmllmx 当非模板重载提供完全匹配时，不会选择模板函数。你可以有一个同名的非模板和一个模板重载，不会有任何歧义。

标签： c++ arrays overloading

【解决方案1】：

C++ 有一个明确的规则，它不允许引用或指向无边界数组的指针作为参数（但这些都是有效的类型）。以下将是此类参数的有效参数

extern int arg[];

请注意，您不能使用具有大小的数组。 C++ 没有类型兼容性的概念。 C 有，并使没有大小的数组类型与相应的有大小的数组类型兼容。在 C++ 中，类型系统更严格，类型有链接，不存在无原型函数类型，所以类型兼容性不是真正需要的，所以 C++ 放弃了它。

【讨论】：

8.3.5/8：如果参数的类型包括“指向 T 的未知边界数组的指针”或“T 的未知边界数组的引用”形式的类型，则程序格式不正确。
我刚刚意识到：C++ 没有 C 的兼容类型概念，所以即使 f(int(&)[]) 有效，您也无法使用 int[10] 左值调用它，因为 @987654324 @ 和 int[] 是不同的类型。有鉴于此，int(&)[] 类型的参数，如果它是有效的，将几乎没有用处。
@hvd 我正要写同样的 :-)

【解决方案2】：

"f2" 首先不应该编译。如果 [] 是第一级间接，则只能省略数组参数的大小，可以这么说，在这种情况下，它实际上不是数组而是指针。在这种情况下，第一级间接是 &，所以你不能省略 [] 中的大小。

【讨论】：

void f2(int (&)[]){} 是一个合法的函数。所以我只是想知道如何称呼它。
@xmllmx 这不是一个合法的功能。我尝试编译它并得到：“错误 C2265：'abstract declarator'：对零大小数组的引用是非法的”。
@CharlesBailey 没有技术上的理由不可能做到这一点，而在 C 语言中，您可以拥有int(*)[]。但编译器似乎确实同意 C++ 不允许指针或引用不完整的数组类型。
@user1610015, void f2(int (&)[]){} 在 VC++ 2012 下是合法的。我没有在其他编译器下测试过。
@xmllmx 好吧，我用 VC++ 2010 进行了测试。我想它们在这方面有所不同。