如何在函数中传递和返回整数数组

Question

我有一个函数，需要一个数组作为参数，并在修改后返回相同的数组。编译给我一个错误，我传递参数并调用函数。为什么会这样？

int solve(int a[9][9])
{
  ...
  return a;

}
int main()
{
  int a[9][9];

  a = solve(a);    <error here>
}

Answer 1

对于初学者，数组没有赋值运算符。数组指示符是不可修改的左值。

来自C标准（6.3.2.1 Lvalues，数组和函数指示符）

1. ...可修改的左值是一个左值，它没有数组类型，没有不完整的类型，没有const限定类型，如果是结构或联合，则没有任何成员（包括，递归，具有const限定类型的所有包含聚合或联合的任何成员或元素。

其次，像数组一样声明的参数被调整为指向其元素类型的指针。

来自C标准（6.7.6.3函数声明符（包括原型））

7参数声明为''类型数组''应调整为''限定指向类型''，其中类型限定符（如果有）是在数组类型派生的[和]中指定的那些。 。

例如这个函数声明

void f(int a[9][9]);

被调整为

void f(int ( *a )[9]);

第三，函数可能没有数组作为返回类型。但他们可能会返回指针。

来自C标准（6.9.1函数定义）

3函数的返回类型应为void或数组类型以外的完整对象类型。

因此，例如函数solve可以声明为

int ( * solve(int a[9][9]) )[9]
{
    // ...
    return a;
}

如果函数在任何情况下都改变了数组的元素，那么编写它就没有意义

int a[9][9];

a = solve(a);    

你可以写

int a[9][9];

solve(a);

要么

int a[9][9];

int ( *p )[9] = solve(a);

这是一个示范计划

#include <stdio.h>

#define M   2
#define N   3

int ( * f( int ( *a )[N], size_t n ) )[N]
{
    for ( size_t i = 0; i < n; i++ )
    {
        for ( size_t j = 0; j < N; j++ ) a[i][j] *= 10;
    }

    return a;
}

int main(void) 
{
    int a[M][N] =
    {
        { 1, 2, 3 },
        { 4, 5, 6 }
    };

    f( a, M );

    for ( size_t i = 0; i < M; i++ )
    {
        for ( size_t j = 0; j < N; j++ ) printf( "%d ", a[i][j] );
        putchar( '\n' );
    }

    putchar( '\n' );

    int ( *p )[N] = f( a, M );

    for ( size_t i = 0; i < M; i++ )
    {
        for ( size_t j = 0; j < N; j++ ) printf( "%d ", p[i][j] );
        putchar( '\n' );
    }

    putchar( '\n' );

    f( p, M );

    for ( size_t i = 0; i < M; i++ )
    {
        for ( size_t j = 0; j < N; j++ ) printf( "%d ", p[i][j] );
        putchar( '\n' );
    }

    putchar( '\n' );

    return 0;
}

它的输出是

10 20 30 
40 50 60 

100 200 300 
400 500 600 

1000 2000 3000 
4000 5000 6000 

要简化函数声明，可以引入typedef名称。

例如

typedef int( *PArray )[N];

PArray f( int ( *a )[N], size_t n )
{
    for ( size_t i = 0; i < n; i++ )
    {
        for ( size_t j = 0; j < N; j++ ) a[i][j] *= 10;
    }
    return a;
}

或者甚至喜欢这个

typedef int( *PArray )[N];

PArray f( PArray a, size_t n )
{
    for ( size_t i = 0; i < n; i++ )
    {
        for ( size_t j = 0; j < N; j++ ) a[i][j] *= 10;
    }
    return a;
}