Início / coding / Perguntas / 76923303
Accepted
jjg
Asked: 2023-08-18 00:12:26 +0800 CST

Ponteiros const incompatíveis

  • 772

Passar um ponteiro não const para uma função que espera um ponteiro const geralmente não gera nenhum aviso (faz sentido, a função promete ser "melhor" do que o chamador esperaria), mas um ponteiro para ponteiro não const para uma função esperar que um ponteiro a ponteiro const gere um aviso (com gcc -Wall, 11.4) e estou lutando para pensar por que

#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;
}

dando

$ 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

Qualquer esclarecimento sobre o porquê?

c

2 respostas

  1. Best Answer

    A razão é dada no padrão C. O código a seguir é de C 2018 6.5.16.1 6. Os comentários são meus.

    Dadas estas declarações:

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

    Suponha que permitimos atribuir (por chamada de função ou atribuição direta) a char **a a const char **, como em:

    cpp = &p;

    Então, como *cppé a const char *, podemos atribuir a ele a const char *, como em:

    *cpp = &c;

    Como cppaponta para p, *cpp = &cmuda ppara apontar para c. E *pé nominalmente a char, podemos atribuir um valor a isso char:

    *p = 0;

    Isso muda c, que é definido com const. Portanto, isso não pode ser permitido. A atribuição cpp = &pé proibida para que isso não ocorra.

    • 4

  2. Espero que fique mais claro:

    #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

relate perguntas