constexpr変数を指すポインタを定義する方法は？ C++入門第5回で

Question

は、それが

constexprのはそれが定義されたオブジェクト上のトップレベルのconstを課していることを言います。

それでは、どのように私は私がすなわちconstexprのオブジェクトを指すポインタ、低レベルのconstを課すconstexprの指定子のポインタを宣言することができますか？

Answer 1

constexprオブジェクトは、他のオブジェクトと同じようにオブジェクトです。コンパイル時にその値が計算されても、これは変わりません。

多くの場合、オブジェクトがstatic constの場合など、必要ではないことが分かっている場合、コンパイラは実際にconst値とオブジェクトを作成するコードを生成しないようにします。

constexpr、static const、またはauto変数のいずれかのオブジェクトのアドレスをとることによって、コンパイラは実際にオブジェクトを強制的に作成します。だから、

：中

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