1

我的主函数生成一个矩阵作为值数组“m”，以及另一个指向行开头的指针数组“M”。我想将此矩阵传递给一个子例程，这样就不能修改任何值，也不能修改行指针。即，子程序不能改变矩阵。因此，我将一个指向常量的指针传递给一个常量值。这工作正常。下面的示例会生成预期的错误消息。

#include<stdio.h>
#include<stdlib.h>

void fun(double const * V, double const * const * M)
{
        V = V; // allowed but pointless
        V[0] = V[0]; // not allowed

        M = M; // allowed but pointless
        M[0] = M[0]; // not allowed
        M[0][0] = M[0][0]; // not allowed
}

int main()
{
        double *V = (double *)malloc(2*sizeof(double));
        double *m = (double *)malloc(4*sizeof(double));
        double **M = (double **)malloc(2*sizeof(double *));

        M[0] = &m[0];
        M[1] = &m[2];

        fun(V,M);

        return 0;
}

错误信息：

test.c: In function ‘fun’:
test.c:7:2: error: assignment of read-only location ‘*V’
test.c:9:2: error: assignment of read-only location ‘*M’
test.c:10:2: error: assignment of read-only location ‘**M’

这些和预期的一样。到目前为止一切都很好。

问题是传递非常量矩阵也会产生以下警告。我正在使用没有选项的 gcc v4.5。

test.c: In function ‘main’:
test.c:22:2: warning: passing argument 2 of ‘fun’ from incompatible pointer type
test.c:4:6: note: expected ‘const double * const*’ but argument is of type ‘double **’

请注意，传递向量“V”不会产生此类警告。

我的问题是：我可以将一个完全可变的矩阵传递给一个子程序，使得它不能被修改，没有强制转换，也没有编译器警告？

4

1 回答 1

0

这将有助于：

void fun(double const * const V, double const * const * const M)
....

您面临的问题是，double const *它不是指向 double 的 const 指针，而是指向const double. double const *== const double *。

但是仍然有一条评论：对于序数类型const，通常不使用说明符。

void fun(double const * V, double const * const * M)
.... // this allows to change V or M, but relaxes caller side

编辑：指针完全const......所以他们指向的数据不能被修改。

于 2013-03-13T15:52:21.943 回答