如何阅读此声明 int (*(*f2)(int n))[3];

Question

我从https://en.cppreference.com/w/cpp/language/scope 得到了这个声明，但即使下面有评论也不知道如何解析这个声明。

我的问题是 如何解析声明语句（我将其视为指向函数协议的函数指针，如“int[3] foo(int n)”或“int foo(int n)[3] --- 它们在 C++ 中是非法的） ? 那么，如何构造一个具体的函数来分配给这个函数指针呢？谢谢。

const int n = 3;
int (*(*f2)(int n))[n]; // OK: the scope of the function parameter 'n'
                        // ends at the end of its function declarator
                        // in the array declarator, global n is in scope
// (this declares a pointer to function returning a pointer to an array of 3 int

Answer 1

它是一个指向函数的指针，该函数采用 int 并返回指向 int 大小为 3 的数组的指针。

所有评论都是说这里有 两个 n 标识符。 [n]（在数组声明器中）使用的是const int 3，而不是函数的参数（在函数声明器中）。

从中间开始，每个片段都包含在后续的项目符号中，为...：

• f2 是一个指针，(*f2)。
• 它是一个指向采用整数的函数的指针，...(int)。
• 它返回一个指针，指向大小为 3 的 int 数组 int (*...)[3]。

你可以按照下面完整的程序为它形成一个具体的函数，输出第一个元素42：

#include <iostream>

const int n = 3;
int (*(*f2)(int n))[n];

int (*g2(int))[n] {
    static int x[::n] = { 42 }; // Use outer n, not the parameter.
    return &x;                  //   since C++ has no VLAs. This
                                //   means parameter is not actually
                                //   needed in this test case, though
                                //   it may be in more complicated
                                //   tests.
}

int main() {
    f2 = &g2;                       // Assign concrete function to pointer.
    auto y = f2(3);                 // Call via pointer, get array.
    std::cout << *(y[0]) << '\n';   // Deref first element to get 42.
}

---

话虽如此，如果我的一位同事提交类似的东西进行代码审查，我会很好奇，至少没有大注释来解释它。虽然经验丰富的开发人员可能能够解决问题，但经验不足的开发人员可能会遇到麻烦。

事实上，即使是经验丰富的开发人员也不应该解决这个问题，尤其是考虑到我花了几分钟。

C++ 有一个非常有表现力的类型系统，它可以轻松地部分构建类似的东西，所以你不必经历偏头痛来尝试解决它。对于这样的事情，我会使用std::vector（或std::array），除非有一个令人信服的案例，因为更多的基本类型会增加复杂性。

Answer 2

你可以为pointer to an array of 3 int创建一个类型

typedef int (*array_with_size_n)[n];

然后将其用作返回类型

const int n = 3;
int (*(*f2)(int n))[n];
int arr[n];
array_with_size_n func(int n)
{
  return &arr;
}
int main()
{
   f2 = &func;
   return 0;
}