如果想要保护向量的修改时尝试使用const子句，为什么它不起作用？

Question

[我正在研究的书中说，如果将向量传递给函数，则向量的名称始终被视为指针。实际上是这样。但是我不明白为什么在第一个函数中编译器允许使用const子句，而在第二个函数中（我使用指针搜索元素之间的最大值）是为什么。在函数中，我只是想防止向量的修改。

#include <stdio.h>

int find_largest(const int a[], int n);
int find_largest_with_pointer(const int *vettore, int n);

int main(void) {
    int my_number[] = {5, 7, 90, 34, 12};
    int n = sizeof(my_number) / sizeof(my_number[0]);
    int *pmy_number = my_number;

    printf("%d\n", find_largest(my_number, n));
    printf("%d\n", find_largest(pmy_number, n));
    printf("%d\n", find_largest_with_pointer(my_number, n));
    printf("%d\n", find_largest_with_pointer(pmy_number, n));

    return 0;
}

int find_largest(const int a[], int n) {
    int i, max;
    max = a[0];

    for(i = 0; i < n; i++)
        if(a[i] > max)
            max = a[i];

    return max;
}

int find_largest_with_pointer(const int *vettore, int n) {
    int *i, max = *vettore;

    for(i = vettore; i < vettore + n; i++)
        if(*i > max)
            max = *i;

    return max;
}

Answer 1

由于vettore是指向const int的指针，所以必须使i具有相同的类型。

const int *i;
int max = *vettore;

for(i = vettore; i < vettore + n; i++)

Answer 2

简短版本：添加const限定符将解决编译器警告。

int find_largest_with_pointer(const int *vettore, int n) {
//    int *i, max = *vettore;
    const int *i ;
    int max = *vettore;
    ...
}

较长版本：

在第二个函数中，使用两个变量。稍微扩展代码

   int *i ;l
   it max = a[0] ;
   for (
       i = vettore;
       i < vettore + n;
       i++
   ) { ... }

注意行i = vettore，它将尝试复制'const int * vettore into non-const 'int *i。这有可能允许修改const向量（例如*i = 5），并且编译器会抱怨：

c.c:33:11: warning: assignment discards ‘const’ qualifier from pointer target type [-Wdiscarded-qualifiers]
     for(i = vettore; i < vettore + n; i++)

解决方案很简单：在const int *i上添加const限定词。见上文。