Re: [問題] constexpr 使用的時機

看板C_and_CPP作者lovejomi (JOMI)時間5年前 (2018/07/09 22:32)推噓3(3推 0噓 11→)

留言14則, 4人參與討論串4/4 (看更多)

我看到這篇其中他說 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: 嚴格來說應該寫成 "有可能" -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.9.9.29 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1531146726.A.C36.html ※ 編輯: lovejomi (39.9.9.29), 07/09/2018 22:55:41 ※ 編輯: lovejomi (39.9.9.29), 07/09/2018 22:58:41

→

sarafciel

07/09 23:12, 5年前 , 1^F

07/09 23:12, 1^F

→

sarafciel

07/09 23:39, 5年前 , 2^F

07/09 23:39, 2^F

→

sarafciel

07/09 23:41, 5年前 , 3^F

07/09 23:41, 3^F