我看到這篇
其中他說
constexpr char* p = “...“;
constexpr char* const p = ”...”;
are equivalent
於是我google了一下好像沒有找到
原本我以為這邊的constexpr是修飾char....原來是修飾 ”變數”也就是pointer..
我想請問
這樣意思是 compile time就能決定p
指向的位址？
為什麼能夠決定呀？
難道程式被load到memory, "p"的虛擬記憶體的位址都會一樣？
但實際上每次執行印出來的位址也都不一樣。https://ideone.com/e2fJF0
到底constexpr在這邊是在描述什麼.
char* constexpr p 這樣寫是不是比較好讀呢？可是竟然編譯不過.
謝謝
※ 引述《Feis (永遠睡不著 @@)》之銘言：
: ※ 引述《wtchen (沒有存在感的人)》之銘言：
: : 剛剛學到constexpr這個關鍵字，不過看了很久不是很了解使用的時機。
: : 依照這個網頁：
: : http://en.cppreference.com/w/cpp/language/constant_expression
: : 似乎是可以在等號右邊放function的const？
: : 不知道前輩們有無進一步的見解？
: : 感謝。
: 大致上 http://en.cppreference.com/w/cpp/language/constexpr 寫得還蠻清楚的
。
: 原本也想試著把整個 "常數表示式" (constant expression) 的脈絡解釋清楚，但是
: 發現我寫了幾千字還沒寫完就放棄了，所以下面先試著講重點。
: 對常數表示式只要先記得一個重點: 常數表示式的值可以在編譯期被算出，然後當作
: 一個常數用。
: 而被 constexpr 所指示的對象就表示該對象的值可以在編譯期被算出 [註1]，然後
當
: 作一個常數用。
: 接著我們就可以來講一下 const 跟 constexpr 的不同。
: 我覺得需要另外發明 constexpr 這個關鍵字的重點是下面兩個:
: 1. const 的修飾對象是型別，constexpr 的指示對象是變數或函式名。
: 2. constexpr 規範的是在編譯期 (compile time) 可決定的常數值，而 const 規範
: 的是在執行期 (runtime) 決定的常數值，兩者描述的是不同的概念。
: 會對 const 跟 constexpr 使用有疑惑主要是因為下面兩個延伸規則:
: 規則一: 當 constexpr 指示的對象是變數名時, 就意味著該變數的型別被 const 修
: 飾。例如:
: constexpr int a = 3;
: 就等同於:
: constexpr const int a = 3;
: 規則二: 當變數型別被 const 修飾且其值是常數表示式 (編譯期就可以決定的值)
: 時，就意味著該變數名有 constexpr 指示符。例如:
: const int a = 3;
: 就等同於
: constexpr const int a = 3
: 這兩個規則讓我們覺得 const 跟 constexpr 用誰都可以。
: 而問題在於 const int a 並不永遠等同 constexpr const int a，因為 const 只保
: 證了執行期的常數性質，不保證其值在編譯期可決定。
: 下面是個反例:
: int b = 3;
: const int a = b; // 不能寫成 constexpr const int a = b;
: 換句話說，雖然我們知道 a 應該就是 3 了。但是因為語法上沒有強制性 (例如可能
: 某個神祕的地方會偷改到 b 的值)，所以這裡的 a 不能當編譯期的常數用。例如下
: 面這個例子是不合法的:
: int b = 3;
: const int a = b;
: int c[a]; // 在有 runtime-sized array 的 C++14 以前，這裡因為 a 不
: // 是常數表示式所以在標準裡是不合法的 (除非你使用 VLA 相
: // 關 Extension)。
: 但是改成下面這樣又可以:
: const int b = 3;
: const int a = b;
: int c[a]; // 這裡的 a 會被成功當作常數表示式作為陣列大小使用
: 原因可以由上面提過的延伸規則二知道,
: const int b = 3; 等同 constexpr const int b = 3;
: 因為 b 被 constexpr 指示是編譯期可以決定的常數值，
: 所以 const int a = b; 又等同 constexpr const int a = b;
: 因為 a 被 constexpr 指示是編譯期可以決定的常數值，就可以用來作為
: 陣列大小使用。
: 這一切真是太隱晦了!
: 如果當初明確的使用 constexpr指示，則編譯器就會幫你確定是否該值是可以在編譯
: 期決定。例如我覺得變數 a 的值應該是在編譯期可以決定的常數值，那我就寫成
: constexpr int a，這樣編譯器就會幫你檢查 a 所設定的值是否是個常數表示式。
: 例如:
: int b = 3;
: constexpr int a = b; // 跟 const int a = b 不同，這樣寫是不合法的。因為你
: // 說 a 應該是個編譯期可以決定的常數值，但是編譯器從
: // 語法上不認為。
: 因為編譯錯誤，所以我們就知道應該要改寫成:
: constexpr int b = 3;
: constexpr int a = b;
: 至於這裡要不要加 const 我是覺得有點多此一舉所以主觀的就不加了。
: 結論就是, 如果常數值是在編譯期可以決定的, 就用 constexpr。
: 而使用在函式的基本概念也是一樣的，只是不同的 C++ 版本有些差異，細節太多如
: 果有人有興趣我再寫看看吧。
: PS: 這裡是從 C++ 出發, 在 C 裡面對於 "常數表示式" (constant expression)
: 和 const 的使用很多都不一樣。
: 註1: 嚴格來說應該寫成 "有可能"

google ASLRBTW 為什麼編譯期可決定置底十誡第四有回答到而你也說了這邊的constexpr是修飾ptr所以根據第四條 應該宣告成constexpr const char*才對

修飾ptr ，不是應該右邊讀到左邊嗎我知道字串常數，但既然constexpr修飾ptr,我能解讀他指向的address compile time能決定好？

不行, constexpr只代表 "compile time能決定它指向什麼東西", 無法決定address需要知道真的addr的運算都被排除在constexpr之外了

string literal放的位置 在compile time 決定但是你整個binary 的addr則是loading才決定,應該說literal在binary中的offset.offset是compile time決定