Considere a seguinte classe:
struct Type {
int a, b, c;
int& ref;
Type(int m) : a(m), b(m), c(m), ref(a) { }
Type(const Type& ot) : a(ot.a), b(ot.b), c(ot.c), ref(a) { }
} obj;
Aqui temos que o sizeof(Type)
é 24
. No entanto obj.ref
pode sempre e em qualquer situação/contexto ser substituído por obj.a
, fazendo com que a referência possa ser resolvida em tempo de compilação e tornando inútil guardar os 8 bytes da referência no objeto (e os 4 de padding). Idealmente o sizeof(Type)
pode ser 12
(apenas os três int
s).
Um compilador pode executar essa otimização enquanto que seguindo estritamente as regras do standard? Por que? Existe alguma situação em que essa otimização seria incorreta?
Demonstre com um exemplo que produza comportamento diferente com/sem a otimização.