Wie definiert man einen Zeiger, der auf eine consExpr-Variable zeigt?

Question

In C++ Primer 5., heißt es, dass

constexpr eine Top-Level const auf den Objekten erlegt es definiert.

So, wie ich kann ich einen Zeiger mit einem constexpr Spezifizierer einen Low-Level-const zur Einführung, das heißt einen Zeiger auf ein constexpr Objekt erklären?

Answer 1

Ein consExpr-Objekt ist ein Objekt wie jedes andere. Die Tatsache, dass sein Wert zur Kompilierzeit berechnet wird, ändert dies nicht. Der Compiler versucht häufig zu vermeiden, dass tatsächlich Code ausgegeben wird, um konstante Werte und Objekte zu erzeugen, wenn er weiß, dass sie niemals benötigt werden, zum Beispiel, wenn Objekte static const sind.

Durch die Adresse eines Objekts, ob constexpr, static const oder eine automatische Variable, wird der Compiler gezwungen, das Objekt tatsächlich zu erstellen. So

:

constexpr int i = 5; // need not be actually created 

const int* pi = &i;  // but now it must be, because we took its address 

constexpr const int* pi2 = &i; // constexpr pointer to const object - we took its address so it must exist 


const void emit(int); 

int main() 
{ 
    emit(i); 
    emit(*pi); 
    emit(*pi2); 
} 

Ergebnisse in:

main: 
     subq $8, %rsp 
     movl $5, %edi   <-- compiler knows it's a fixed value 
     call emit(int) 

     movq pi(%rip), %rax <-- compiler dereferences the pointer 
     movl (%rax), %edi 
     call emit(int) 

     movl $5, %edi  <-- compiler knows it's a fixed value 
     call emit(int) 

     xorl %eax, %eax 
     addq $8, %rsp 
     ret 
pi: 
     .quad i 
i: 
     .long 5