¿Por qué las direcciones de dos objetos diferentes deberían ser diferentes?

Question

He estado leyendo acerca de esto que el tamaño de un objeto debe ser de al menos 1 byte (C++: What is the size of an object of an empty class?) y ¿qué tiene de malo tener dos objetos vacíos en la misma dirección? Después de todo, podemos tener dos indicadores para el mismo objeto.

Google me dice que hay algo acerca de la regla fundemantal de identidad de objeto, pero no puedo encontrar información más detallada sobre eso.

Así que ... $ SUBJ.

Answer 1

Tener dos objetos en la misma dirección significaría que no habría forma de distinguir entre estos dos objetos al hacer referencia a ellos con los punteros. Por ejemplo, en el siguiente código:

EmptyClass o1; 
EmptyClass o2; 

EmptyClass * po = &o; 
po->foo(); 

se debe llamar al método foo en o1 o o2?

Podría argumentarse que como estos objetos no tienen datos ni métodos virtuales (de lo contrario, tendrían un tamaño distinto de cero), no importa en qué instancia se invoca el método. Sin embargo, esto se hace más importante cuando queremos probar si dos objetos son iguales (es decir, si son lo mismo):

template < typename T > 
bool isSame(T const & t1, T const & t2) 
{ 
    return &t1 == &t2; 
} 

EmptyClass o1; // one object and... 
EmptyClass o2; // ...a distinct object... 

assert(! isSame(o1, o2)); // ...should not be one and same object! 

Para un ejemplo más concreto, vamos a suponer que yo quiero asociar algunos objetos (que se podía decir entidades) con algunos valores, digamos en un recipiente asociativa:

Person you; 
Person me; 

// You and I are two different persons 
// (unless I have some dissociative identity disorder!) 
// Person is a class with entity semantics (there is only one 'me', I can't make 
// a copy of myself like I would do with integers or strings) 

std::map< Person *, std::string > personToName; 

personToName[&you] = "Andrew_Lvov"; 
personToName[&me] = "Luc Touraille"; 
// Oh, bother! The program confused us to be the same person, so now you and I 
// have the same name! 

Así que sí, todo se reduce a objeto de identidad: si los objetos se les permitió estar vacío, podrían ser privados de su identidad, que es simplemente no permitido por el idioma (afortunadamente).

Answer 2

Cada objeto debe ocupar un espacio de almacenamiento distinto; de lo contrario, no puede desasignar un objeto sin desasignar otros que comparten almacenamiento con él.

Suponga que tiene dos objetos distintos en una única dirección:

Type* object1 = new Type(); //first object 
Type* object2 = new Type(); //second object 

y que se encuentren en la misma dirección, entonces

delete object1; 

lo que será delete d si ambos tienen la misma ¿dirección?

Answer 3

Cuando tiene dos punteros al mismo objeto, puede usarlos para manipular el objeto. Resultado = puede acceder al objeto.

Sin embargo, si tiene dos objetos en la misma dirección, ¿cómo los diferenciaría en la memoria? Si tuviera un puntero a esa dirección, ¿cómo sabría a qué objeto apuntaba su puntero?

De ahí la necesidad de diferentes direcciones para cada objeto, incluso si están vacías.

Answer 4

C++ tiene (entre otras cosas) una regla que dice que los punteros a objetos se comparan igual si y solo si los punteros se refieren al mismo objeto. Bajo el escenario que propone, esto ya no sería cierto.

También hay un poco de código que simplemente supone que sizeof también producirá un resultado estrictamente positivo. Sobresalen por ejemplo, un poco de código utiliza cosas como:

#define elements(array) ((sizeof(array)/sizeof(array[0])) 

con objetos con un tamaño de cero, esto se traduciría en 0/0, que es matemáticamente definido.

En lugar de hacer cambios en cualquier otro lugar para admitir un caso de esquina, era mucho más simple simplemente eliminar el caso de esquina para que se ajuste a las reglas existentes.

Answer 5

Intente una analogía.

Si tiene dos automóviles y trata de que ocupen el mismo espacio físico, tendrá un accidente.

Si tiene dos objetos e intenta que ocupen el mismo espacio de memoria, también tendrá un bloqueo.