¿Qué es un puntero sintético?

Question

Estaba depurando algunos códigos C++ en GDB y descubrí que algunas llamadas utilizaban el denominado "puntero sintético". Buscar en Google no produjo ningún resultado significativo. Al buscar aquí en SO, la mayoría de las preguntas con "sintético" en su título se refieren a alguna característica de Java (incluso si me sugieren que "sintético", en este contexto, podría significar "algo generado artificialmente por el compilador").

Por ejemplo, mira esto traza inversa, tomó de una operación, realizada en el constructor de MyClass, más de un miembro de la clase llama m (este código ha sido compilado con -O2):

#0 MyClass (arg=..., this=<synthetic pointer>) at somefile.h:144 
144  m->lock(); 
gdb$ print this 
$1 = (MyClass * const) <synthetic pointer> 
gdb$ print *this 
$2 = <optimized out> 

El seguimiento de la pila por encima de indica claramente que this es un puntero a un objeto que se ha optimizado, pero ¿cómo es posible que se haya invocado un método (es decir, su constructor)? Mi suposición más natural es que, incluso si el objeto incluido (m) se utiliza activamente en el código, algunas optimizaciones le permiten al compilador decidir que el objeto adjunto (this) no es realmente necesario. Dado que el método call m->lock(), que no se puede optimizar, se debe emitir en alguna parte, el compilador crea un objeto "falso" (sintético?), Que no se encuentra en ningún lugar de la memoria, solo para ajustar m.

No tengo una sólida experiencia como compilador, así que no sé si esta conclusión realmente tiene sentido. ¿Podría alguien por favor arrojar algo de luz sobre esto?

Gracias.

Answer 1

Un compilador puede determinar si this está realmente desreferenciado (es decir, utilizando los detalles de CPU específicos, no las reglas generales de C++). Si un método no desreferencia en realidad this, no hay necesidad de tener una representación phyiscal disponible.

[editar] En los comentarios, jww mencionó otro caso. Un singleton tiene solo una copia, por lo que un compilador inteligente puede tratar a sus miembros como globales. Eso significa que la dirección de singleton->foo es solo la constante &singleton + offset(foo). Como resultado de esta optimización, los métodos singleton no necesitan desreferenciar this para obtener acceso a los miembros singleton, por lo que nuevamente se puede optimizar.