在 C/C++ 中如何声明一个指向函数的指针，该函数返回一个指向 int 值数组的指针？

Question

这是正确的吗？

int (*(*ptr)())[];

我知道这是微不足道的，但我正在查看有关此类构造的旧测试，而这种特定的组合并未出现在测试中，这真的让我发疯；我只需要确定一下。对于此类声明是否有一个明确且可靠的可理解的规则？ （即：指向...数组的指针...指向...函数的指针...等等） 谢谢！

右

Answer 1

从右到左的规则让一切变得简单。

int (*(*ptr)())[];可以解释为

从变量名开始-------------------- ---------- ptr

右边除了 ) 之外什么都没有，所以向左走可以找到 * -------------- 是一个指针

跳出括号，遇到() -------------- 到一个不带参数的函数（如果是 C 未指定参数数量的情况）

向左，找到 * -------------- ---------------------------------- 并返回一个指针

跳转括号，向右走，点击 [] ---------- 到一个数组

再向左走，找到 int --- ---------------------------------- 整数。

Answer 2

几乎在所有想要返回指向数组的指针的情况下，最简单的做法就是返回指向数组第一个元素的指针。该指针可以在与数组名称相同的上下文中使用，并且与返回“指向数组的指针”类型的指针相比，它不提供更多或更少的间接性，实际上它将保存相同的指针值。

如果您遵循此操作，您需要一个指向函数的指针，该函数返回一个指向 int 的指针。您可以构建它（声明的构建比解析更容易）。

指向 int 的指针：

int *A;

返回指向 int 的指针的函数：

int *fn();

返回指向 int 的指针的函数的指针：

int *(*pfn)();

---

如果您确实想返回指向 a 的指针函数返回一个指向 int 数组的指针，您可以遵循相同的过程。

int 数组：

int A[];

指向 int 数组的指针：

int (*p)[];

返回指针的函数 ... ：

int (*fn())[];

指向 fn ... 的指针：

int (*(*pfn)())[];

这就是您所拥有的。

Answer 3

你不知道。只需将其分成两种 typedef：一种用于指向 int 数组的指针，另一种用于指向函数的指针。例如：

typedef int (*IntArrayPtr_t)[];
typedef IntArrayPtr_t (*GetIntArrayFuncPtr_t)(void);

这不仅更具可读性，还可以更轻松地声明/定义要分配给变量的函数：

IntArrayPtr_t GetColumnSums(void)
{ .... }

当然，这假设这是现实世界的情况，而不是面试问题或家庭作业。我仍然认为对于这些情况来说这是一个更好的解决方案，但这只是我的观点。 :)

Answer 4

如果您想作弊：

typedef int(*PtrToArray)[5];
PtrToArray function();

int i = function;

在 gcc 上编译它会产生：从“int (*(*)())[5]”到“int”的无效转换。第一个位是您要寻找的类型。

当然，一旦您有了 PtrToArray typedef，整个练习就变得相当简单，但有时如果您已经有了函数名称并且只需将其粘贴到某个地方，这会派上用场。而且，无论出于何种原因，您都不能依靠模板欺骗来向您隐藏血淋淋的细节。

如果你的编译器支持它，你也可以这样做：

typedef int(*PtrToArray)[5];
PtrToArray function();

template<typename T> void print(T) {
    cout << __PRETTY_FUNCTION__ << endl;
}

print(function);

在我的电脑上，它会生成 void function(T) [with T = int (* (*)())[5]]

能够读取类型非常有用，因为理解编译器错误通常取决于您弄清楚所有这些括号含义的能力。但在我看来，自己制作它们的用处不大。

Answer 5

这是我的解决方案...

int** (*func)();

函子返回 int* 数组。它并不像您的解决方案那么复杂。

Answer 6

获得以下

cdecl> declare a as pointer to function returning pointer to  array of int;
Warning: Unsupported in C -- 'Pointer to array of unspecified dimension'
    (maybe you mean "pointer to object")
int (*(*a)())[]

使用 cdecl，您可以从 C-faq 此问题 类似，但提供了 3 种方法来解决问题。