operador de flecha vs. operador de punto

Question

Me parece que el operador de flecha de C (->) es innecesario. El operador punto (.) Debería ser suficiente. Tome el siguiente código:

typedef struct { 
    int member; 
} my_type; 

my_type foo; 
my_type * bar; 
int  val; 

val = foo.member; 
val = bar->member; 

Vemos que el operador de flecha se debe utilizar para desremarizar la barra. Sin embargo, preferiría escribir

val = bar.member; 

No hay ninguna ambigüedad en cuanto a si estoy tratando de tirar de 'miembro' de una estructura o de un puntero a la estructura. Pero es fácil usar el operador incorrecto, especialmente cuando se refabrica el código. (Por ejemplo, tal vez estoy haciendo algunas operaciones complejas en foo, así que muevo el código a una nueva función y paso un puntero a foo). No creo que deba preocuparme si foo es un puntero o no; el compilador puede preocuparse por los detalles.

Entonces la pregunta: ¿no sería más simple eliminar -> del lenguaje C?

Answer 1

No, sería no ser más fácil de eliminar -> de la lengua, por la sencilla razón de que megatones de código tendrían que ser reescrito si lo fuera. Sin embargo, uno podría definir que p.x es equivalente a p->x si p es un puntero. Eso sería un cambio compatible con versiones anteriores porque ese código es actualmente ilegal.

Answer 2

El operador 'flecha' es azúcar sintáctico. bar->member es lo mismo que (*bar).member. Una de las razones de la diferencia es la capacidad de mantenimiento. Con el operador de flecha distinto del operador de punto, es mucho más fácil hacer un seguimiento de qué variables son punteros y cuáles no. Es posible que siempre use . y que el compilador intente hacer lo correcto, pero dudo que eso simplifique el lenguaje. Confiar en el compilador para interpretar lo que significaba en lugar de lo que literalmente escribió generalmente resulta mal.