在 C 中返回数组指针的语法

Question

编辑： 在下面我在代码示例部分中进一步编写的示例中，声明返回类型为 array pointer 的函数的正确语法应如下所示：

int (*my_function(void))[10]
{
    ...
}

对于可能遇到相同问题的未来读者的重要提示：不要 typecast malloc！只是不要。感谢 user3386109 的那个。 Further reading on the why.

感谢 Andrew Henle 和 Eric Postpischil 的回答。 Here's真的很好的解释，如果有人想进一步阅读该主题。 原帖如下：

什么我想知道

如何在 C 中返回指向数组的指针。

为什么我想知道

因为它（是？）应该可以这样做。

为了什么我想要它

从函数返回多维数组。

“你尝试过结构体吗？”

是的，但这与结构无关。这个线程的重点（不是双关语）是用 pointers 来做的。

代码示例

我的例子是错误的，所以我在这里问的原因，但在这里：

int (*)[10]my_function(void) // Should be returning a type of array pointer to 10-elements array. Sure enough it's not.
{
    int (*ptr)[10] = (int (*)[10]) malloc(10 * sizeof(int));
    return ptr;
}

int main(void)
{
    printf("Address of ptr is: %d", my_function());
    return 0;
}

如您所见，我也不确定如何将 malloc 类型转换为指向 10 元素数组的数组指针。如果你知道怎么做，请告诉我。

重要提示

据我所知，在这种情况下使用双指针（指向指针的指针）是错误的。 代码示例：

int **my_function(void); // WRONG, afaik

基本原理：this 视频，16:22。

我已经尝试在网上搜索，并且在一些书籍中，他们有使用结构体、指向数组的指针作为函数参数的示例，但不是这个。

如果您对这个主题有一些了解，请回复，我将不胜感激。

Answer 1

数组不能按值传递，除非您将它们嵌入到结构中。当您将数组传入或传出函数时，它会衰减为指向第一个元素的指针。所以返回一个动态分配的数组的方式是作为一个单一的指针。

int *my_function(void) {
    int *ptr = malloc(10 * sizeof(int));
    return ptr;
}

无需在类型中指定维度，因为这将被忽略。

这不是一个多维数组，它只是一个由 10 个int 组成的一维数组。

类型声明int (*ptr)[10] 是一个包含 10 个整数指针的数组，而不是一个指向 10 个整数数组的指针。

Answer 2

int (*p)[10] 声明了一个指向 10 个数组的指针 int。

int (*)[10] 是一种类型，它是指向 10 个 int 的数组的指针。但是请注意，您不需要在 C 中强制转换 malloc 的结果。作为 void * 用作赋值的初始值设定项或右操作数，它会自动转换为目标类型。

int (*foo(void))[10] 声明了一个不带参数的函数，该函数返回一个指向 10 个数组的指针 int。

请注意，int (*foo(void))[10] 可以从int (*p)[10] 派生，只需将p 替换为foo(void)。通常，要获得函数的任何返回类型，请为该类型的对象编写声明，然后将对象名称替换为函数名称，后跟其通常的参数声明。