如何定義一個指向constexpr變量的指針？

Question

在C++中的引物5，它說，

constexpr強加它定義了對象的頂層常量。

那麼，如何可以我宣佈一個constexpr符強加一個低級別的常量，即一個指針指向一個constexpr對象的指針？

Answer 1

一個constexpr對象就像任何其他對象一樣。其值在編譯時計算的事實不會改變這一點。

通常，編譯器會努力避免實際發出代碼來創建const值和對象，如果它知道它們永遠不會被需要，例如對象爲static const。

通過取對象的地址，無論是constexpr,static const還是一個自動變量，編譯器都被迫實際創建該對象。

所以：

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); 
} 

結果：

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