主页 / coding / 问题 / 76923303
Accepted
jjg
Asked: 2023-08-18 00:12:26 +0800 CST

不兼容的常量指针

  • 772

将非常量指针传递给需要常量指针的函数通常不会引发警告（这是有道理的，该函数承诺比调用者期望的“更好”），但将非常量指针指向函数期待 const 指针到指针确实会引发警告（使用gcc -Wall11.4），我正在努力思考为什么

#include <stdio.h>

int foo(const int *i)
{
  return *i;
}

int bar(const int **i)
{
  return **i;
}

int main(void)
{
  int i = 3, *pi = &i, **ppi = &pi;

  printf("foo: %i\n", foo(pi));
  printf("bar: %i\n", bar(ppi));

  return 0;
}

给予

$ gcc -Wall -o const const.c
const.c: In function ‘main’:
const.c:18:27: warning: passing argument 1 of ‘bar’ from incompatible pointer type [-Wincompatible-pointer-types]
   18 |   printf("bar: %i\n", bar(ppi));
      |                           ^~~
      |                           |
      |                           int **
const.c:8:21: note: expected ‘const int **’ but argument is of type ‘int **’
    8 | int bar(const int **i)
      |         ~~~~~~~~~~~~^
$ ./const 
foo: 3
bar: 3

任何启示为什么？

c

2 个回答

  1. Best Answer

    C标准中给出了原因。以下代码来自 C 2018 6.5.16.1 6。评论是我的。

    鉴于这些声明：

    const char **cpp;
char *p;
const char c = ’A’;

    假设我们允许将 a 分配（通过函数调用或直接分配）char **到 a const char **，如下所示：

    cpp = &p;

    然后，由于*cpp是 a const char *，我们可以为其分配 a const char *，如下所示：

    *cpp = &c;

    既然cpp指向p，*cpp = &c就改p指向c。名义上*p是 a char，我们可以为其赋值char：

    *p = 0;

    这种变化c是用 定义的const。所以这是不能允许的。禁止分配cpp = &p，因此不会发生这种情况。

    • 4

  2. 我希望它能更清楚地说明：

    #include <stdio.h>

int foo(const int *i)
{
  return *i;
}

int bar(const int **i)
{
  return **i;
}

int main(void)
{
  int i = 3;
  const int *pi = &i; 
  const int **ppi = &pi;

  printf("foo: %i\n", foo(pi));
  printf("bar: %i\n", bar(ppi));

  return 0;
}
    • 0

相关问题