[問題] constexpr 的實作

看板C_and_CPP作者 (沒有存在感的人)時間9年前 (2016/11/21 21:04), 9年前編輯推噓6(6推 0噓 25→)
留言31則, 4人參與, 最新討論串1/1
問題(Question)： 這邊不是問怎麼用constexpr，而是問怎麼編譯去實現constexpr這個功能。 假設我某個code是這樣： int main() { (...) const double a = 0.5; constexpr double A = asin(a); (...) } asin是在math.h裡的函式，要在link的時候才能知道asin的函數長怎樣。 那A是怎麼轉成常數的？ 我能想到的是把有constexpr的檔案都先抓出來， link後找到對應函式的指標後，把constexpr等字樣根據函式轉換成const， 然後重新編譯+link。 只是不知道實際做起來是怎樣，有人可以詳述嗎？感謝？ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 90.27.169.182 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1479733466.A.710.html 推 CoNsTaR: builtin functions ? 11/21 23:47 ？？？不懂。如果asin不是builtin functions的情況那怎麼辦？ 如果是 constexpr double A = bcd(a); ※ 編輯: wtchen (90.27.169.182), 11/22/2016 00:24:05
推
11/22 00:24, , 1F
constexpr 僅限呼叫有宣告為 constexpr 的函式
11/22 00:24, 1F
→
11/22 00:25, , 2F
這些函式其函數內容當給定常數參數時可以靜態分析其值
11/22 00:25, 2F
→
11/22 00:26, , 3F
而 constexpr 的規定有說這函數要編譯期可見
11/22 00:26, 3F
推
11/22 00:26, , 4F
asin 回傳的 value 必須屬於 (constexpr a) A 才接得住
11/22 00:26, 4F
→
11/22 00:26, , 5F
像 asin 這種連結期才知道的東西不能也不會宣告 constexpr
11/22 00:26, 5F
→
11/22 00:27, , 6F
asin 應該不是，而且剛剛查了一下 gcc 有把它當 builtin
11/22 00:27, 6F
→
11/22 00:27, , 7F
所以這樣猜
11/22 00:27, 7F
→
11/22 00:28, , 8F
有個可能的實作法是這函數是模版, 這樣它編譯期一定可見
11/22 00:28, 8F
→
11/22 00:28, , 9F
例如 std::numeric_limits<int>::max 就是這樣的例子
11/22 00:28, 9F
→
11/22 00:29, , 10F
啊, 不用到那個, std::max 就是一個例子了
11/22 00:29, 10F
推
11/22 00:38, , 11F
順帶一提, 標準規定的函式實作不能任意增減 constexpr 性
11/22 00:38, 11F
→
11/22 00:38, , 12F
所以不會發生你家的 max 有但我家的 max 沒有結果爆炸
11/22 00:38, 12F
※ 編輯: wtchen (90.27.169.182), 11/22/2016 00:44:28 ※ 編輯: wtchen (90.27.169.182), 11/22/2016 00:46:42 補看了 #1LO9uWEP (以前看過結果忘了) 大概了解了。 不過如果const/constexpr能更直觀點就好了(貪心阿) ※ 編輯: wtchen (90.27.169.182), 11/22/2016 00:49:22
→
11/22 01:23, , 13F
為什麼標準的function不能增加constexpr？
11/22 01:23, 13F
→
11/22 01:24, , 14F
不能減少是因為這樣不符合標準
11/22 01:24, 14F
→
11/22 01:26, , 15F
但增加constexpr可以增強library的效能，應該會想做才對
11/22 01:26, 15F
推
11/22 05:40, , 16F
應該說標準規定有的就要有, 規定沒有的就要沒有
11/22 05:40, 16F
→
11/22 05:41, , 17F
像我上面提的 max 標準都有 constexpr 所以實作也必須有
11/22 05:41, 17F
→
11/22 05:42, , 18F
我猜原因可能還是一致性, 不會因為某個函數在某個實作上
11/22 05:42, 18F
→
11/22 05:42, , 19F
有 constexpr 造成在其他編譯器上編不過
11/22 05:42, 19F
→
11/22 05:43, , 20F
en.cppreference.com/w/cpp/language/constant_expression
11/22 05:43, 20F
→
11/22 05:43, , 21F
最下面 Notes 的那一段
11/22 05:43, 21F
其實我是在想用C如何實作更方便的constexpr。 意思是說，對於任何一個已經定義的函式(不管是在library裡還是在obj中)func 我可以寫出這樣的code去定義編譯時(包括link)決定的常數: constexpr a = func(b); 我能想到的就是二階段編譯， 先另外create一個main，把含有constexpr的宣告都放進去， 編譯完輸出結果到某檔案，再把原先含有constexpr的宣告用const和前輸出結果代換， 再重新編譯。 ※ 編輯: wtchen (90.27.175.198), 11/22/2016 17:26:00
推
11/22 18:19, , 22F
兩個不同的 type 沒辦法這樣做(a 有 constexpr, func 沒
11/22 18:19, 22F
→
11/22 18:19, , 23F
有)
11/22 18:19, 23F
Standard的確是這樣，不過我想討論的是"C"可不可以做出像constexpr的效果？ 如果真的能成，應該可以簡化一些單元測試的步驟。
→
11/22 18:20, , 24F
試想要是 func 裡面有 IO 的話該怎麼辦？
11/22 18:20, 24F
這倒是。 不然就先寫個程式算好constexpr的值，然後用argc讀進去再設const。
→
11/22 18:21, , 25F
在 pure functional language 裡可以做到你想的，例如 Id
11/22 18:21, 25F
→
11/22 18:21, , 26F
ris 的 Refl
11/22 18:21, 26F
→
11/22 18:25, , 27F
因為所有有 side effect 的 function 的回傳值都會是 ∀a
11/22 18:25, 27F
→
11/22 18:25, , 28F
.(IO a)，而且不允許 undefined (例如無窮迴圈) 所以可以
11/22 18:25, 28F
→
11/22 18:25, , 29F
粗略的區分哪些值可以在編譯時期求得哪些不行
11/22 18:25, 29F
如果沒法用objcopy之類的方式提取需要的函式， 那我的構想是用Makefile做這些步驟： 提取constexpr新增main -> 編譯後算出值 -> 轉譯(把constexpr代換為const並放入算好的值) -> 再度編譯 ※ 編輯: wtchen (90.27.175.198), 11/22/2016 19:48:17
推
11/22 21:58, , 30F
聽起來是可行 只是如果真要這麼麻煩我寧可換個語言 XDD
11/22 21:58, 30F
→
11/22 22:03, , 31F
也是 XD
11/22 22:03, 31F
‣ 更多 wtchen 的文章
文章代碼(AID): #1OCl3QSG (C_and_CPP)