== para la comparación puntero

Question

cito "El Lenguaje de Programación C" de Kernighan & Ritchie:

Cualquier puntero se puede comparar de manera significativa por la igualdad o desigualdad con cero. Pero el comportamiento no está definido para la aritmética o las comparaciones con punteros que no apuntan a miembros de la misma matriz. (Hay una excepción: la dirección del primer elemento más allá del final de una matriz se puede utilizar en la aritmética de punteros.)

¿Esto significa que no se puede confiar en == para comprobar la igualdad de las diferentes punteros? ¿Cuáles son las situaciones en las que esta comparación conduce a un resultado incorrecto?

Answer 1

No puede usar la comparación de punteros para comparar punteros que apuntan a diferentes matrices.

Así:

int arr[5] = {1, 2, 3, 4, 5};

int * p = &arr[0];

int anotherarr[] = {1, 2};

int * pf = &anotherarr[0];

No se puede hacer desde if (p == pf)p y pf no apuntan en la misma array Esto conducirá a un comportamiento indefinido.

Puede confiar en la comparación de punteros si apuntan dentro de la misma matriz.

No estoy seguro acerca de la caja aritmética.

Answer 2

interpreto esto como siguiente:

short a[9]; 
int b[12]; 
short * c = a + 9; 

Aquí es válido decir que

c > a 

porque c resultados de a a través de la aritmética de punteros,

pero no necesariamente que

b == c 

o

c <= b 

o algo por igual, ya que son el resultado de diferentes matrices, cuyo orden y alineación en la memoria no está definido.

Answer 3

El operador de igualdad se define para todos los punteros válidos, y el único momento en que puede dar un "falso positivo" es cuando un puntero apunta a un elemento más allá del final de una matriz, y el otro al punto (o puntos en virtud de una definición de estructura) a otro objeto almacenado justo después de la matriz en la memoria.

Creo que su error es tratar K & R como normativo. Consulte el estándar C99 (buena versión html aquí: http://port70.net/~nsz/c/c99/n1256.html), 6.5.9 en el operador de igualdad. El problema de que las comparaciones no se definan solo se aplica a los operadores relacionales (ver 6.5.8):

Cuando se comparan dos punteros, el resultado depende de las ubicaciones relativas en el espacio de direcciones de los objetos apuntados. Si dos punteros a objetos o tipos incompletos apuntan al mismo objeto, o ambos señalan uno pasado el último elemento del mismo objeto de matriz, se comparan iguales. Si los objetos apuntados son miembros del mismo objeto agregado, los punteros a los miembros de estructura declarados posteriormente comparan mayor que los punteros con los miembros declarados anteriormente en la estructura, y los punteros a los elementos de matriz con valores de subíndices más grandes comparan mayor que los punteros a elementos de la misma matriz con valores de subíndice más bajos Todos los apuntadores a miembros del mismo objeto de unión se comparan iguales. Si la expresión P apunta a un elemento de un objeto de matriz y la expresión Q apunta al último elemento del mismo objeto de matriz, la expresión de puntero Q + 1 se compara mayor que P. En todos los demás casos, el comportamiento no está definido.

Answer 4

Un ejemplo que me viene a la mente es la arquitectura de Harvard con espacios de direcciones separados para el código y para los datos. En las computadoras de esa arquitectura, el compilador puede almacenar datos constantes de en la memoria de códigos. Dado que los dos espacios de direcciones están separados, un puntero a una dirección en la memoria de código podría ser numéricamente igual a un puntero en la memoria de datos, sin apuntar a la misma dirección.

Answer 5

Puede hacer == y != con punteros de diferentes matrices.

<, < =,>,> = no está definido.