¿Por qué el operador de desreferencia

cavando para el fuego

No estoy seguro de si esta es una pregunta de programación adecuada, pero es algo que siempre me ha molestado, y me pregunto si soy el único.

Cuando aprendí inicialmente C++, entendí el concepto de referencias, pero los punteros me confundían. ¿Porque preguntas? Debido a cómo declaras un puntero.

void foo(int* bar)
{
}


int main()
{
    int x = 5;
    int* y = NULL;

    y = &x;
    *y = 15;     
    foo(y);

}

Considera lo siguiente: foo(int*) La función int toma un y puntero como parámetro. Desde que he declarado int como y puntero, puedo pasar fooa * pero cuando aprendí C++ por primera vez asocié el int símbolo con desreferenciación, como tal me imaginé un desreferenciado *y necesitaba ser pasado. intentaría pasar foodentro

que obviamente no funciona.

void test(int@ x)
{
}

Crashworks EnEl desarrollo del lenguaje C

Dennis Ritchie explica así su razonamiento: [This] La segunda innovación que más claramente distingue a C de sus predecesores es esta estructura de tipos más completa y especialmente su expresión en la sintaxis de las declaraciones… dado un objeto de cualquier tipo, debería ser posible describir un nuevo objeto que reúna varios en una matriz. , lo produce a partir de una función, o es un puntero a ella…. condujo a una sintaxis de declaración para nombres que reflejaba la sintaxis de expresión en la que normalmente aparecen los nombres.

int i, *pi, **ppi; De este modo, i, *pi, and **ppi declarar un entero, un puntero a un entero, un puntero a un puntero a un entero. La sintaxis de estas declaraciones refleja la observación de que int todos producen un

cuando se usa en una expresión. int f(), *f(), (*f)(); Similarmente, int *api[10],
(*pai)[10]; declarar una función que devuelve un número entero, una función que devuelve un puntero a un número entero, un puntero a una función que devuelve un número entero.

declarar una matriz de punteros a enteros y un puntero a una matriz de enteros.En todos estos casos, la declaración de una variable se asemeja a su uso en una expresión cuyo tipo es el que se nombra en el encabezado de la declaración.

. *fp() and (*pf)()
Un accidente de sintaxis contribuyó a la complejidad percibida del lenguaje. El operador de direccionamiento indirecto, deletreado * en C, es sintácticamente un operador de prefijo unario, al igual que en BCPL y B. Esto funciona bien en expresiones simples, pero en casos más complejos, se requieren paréntesis para dirigir el análisis. Por ejemplo, para distinguir la indirección a través del valor devuelto por una función al llamar a una función designada por un puntero, uno escribe

int *fp(); int (*pf)();

respectivamente. El estilo utilizado en las expresiones se transmite a las declaraciones, por lo que los nombres pueden declararse int *(*pfp)(); En casos más ornamentados pero aún realistas, las cosas empeoran:

es un puntero a una función que devuelve un puntero a un número entero. [Sethi 81] Se producen dos efectos. Lo más importante es que C tiene un conjunto relativamente rico de formas de describir tipos (en comparación, digamos, con Pascal). Las declaraciones en lenguajes tan expresivos como C (Algol 68, por ejemplo) describen objetos igualmente difíciles de entender, simplemente porque los objetos en sí son complejos. Un segundo efecto se debe a los detalles de la sintaxis. Las declaraciones en C deben leerse en un estilo ‘de adentro hacia afuera’ que muchos encuentran difícil de comprender. Sethi

31 de diciembre de 2011 a las 15:06

int x, *y;

La razón es más clara si lo escribes así:

31 de diciembre de 2011 a las 12:41 int *p; Esa es una decisión de lenguaje anterior a C++, ya que C++ la heredó de C. Una vez escuché que la motivación era que la declaración y el uso serían equivalentes, es decir, dada una declaración *p la expresion int es de tipo int i; de la misma manera que con i la expresion intes de tipo

Carreras de ligereza en órbita * Porque el comité, y aquellos que desarrollaron C++ en las décadas previas a su estandarización, decidieron quedebe conservar sus tres significados originales

• :
• Un tipo de puntero
• El operador de desreferencia

Multiplicación * Tienes razón al sugerir que los múltiples significados de &(y, del mismo modo,

) son confusos. Durante algunos años, he sido de la opinión de que son una barrera importante para la comprensión de los recién llegados al idioma.

¿Por qué no elegir otro símbolo para C++? Compatibilidad al revés

es la causa raíz… es mejor reutilizar los símbolos existentes en un nuevo contexto que romper los programas C traduciendo los que antes no eran operadores a nuevos significados.

¿Por qué no elegir otro símbolo para C?

Es imposible saberlo con certeza, pero hay varios argumentos que se pueden hacer, y se han hecho. Lo más importante es la idea de que: [an] cuando

identificador aparece en una expresión de la misma forma que el declarador, produce un objeto del tipo especificado. {K&R, pág. 216}^{[citation needed]} Esta es también la razón por la que los programadores de C tienden a

int *ptr1; // roughly C-style
int* ptr2; // roughly C++-style

prefieren alinear sus asteriscos a la derecha en lugar de a la izquierda, es decir:

aunque ambas variedades se encuentran en programas de ambos idiomas, de manera variable. La página 65 de Programación experta en C: Deep C Secrets incluye lo siguiente:

Y luego, está la filosofía C de que la declaración de un objeto debe parecerse a su uso. Página 216 de El lenguaje de programación C, 2.ª edición (también conocido como K&R) incluye:

Un declarador se lee como una afirmación de que cuando su identificador aparece en una expresión de la misma forma que el declarador, produce un objeto del tipo especificado.

binario

Jaja, siento tu dolor, tuve exactamente el mismo problema. &int Pensé que un puntero debería declararse como

porque tiene sentido que un puntero sea una dirección de algo. Después de un tiempo pensé por mí mismo, cada tipo en C tiene que ser leídohacia atrás

int * const a

me gusta

a constant something, when dereferenced equals an intes para mí . algo que tiene que serdesreferenciado