作者wtchen (沒有存在感的人)
看板C_and_CPP
標題[問題] constexpr 的實作
時間Mon Nov 21 21:04:24 2016
問題(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://webptt.com/m.aspx?n=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
1F：推 LPH66: constexpr 僅限呼叫有宣告為 constexpr 的函式 11/22 00:24
2F：→ LPH66: 這些函式其函數內容當給定常數參數時可以靜態分析其值 11/22 00:25
3F：→ LPH66: 而 constexpr 的規定有說這函數要編譯期可見 11/22 00:26
4F：推 CoNsTaR: asin 回傳的 value 必須屬於 (constexpr a) A 才接得住 11/22 00:26
5F：→ LPH66: 像 asin 這種連結期才知道的東西不能也不會宣告 constexpr 11/22 00:26
6F：→ CoNsTaR: asin 應該不是，而且剛剛查了一下 gcc 有把它當 builtin 11/22 00:27
7F：→ CoNsTaR: 所以這樣猜 11/22 00:27
8F：→ LPH66: 有個可能的實作法是這函數是模版, 這樣它編譯期一定可見 11/22 00:28
9F：→ LPH66: 例如 std::numeric_limits<int>::max 就是這樣的例子 11/22 00:28
10F：→ LPH66: 啊, 不用到那個, std::max 就是一個例子了 11/22 00:29
11F：推 LPH66: 順帶一提, 標準規定的函式實作不能任意增減 constexpr 性 11/22 00:38
12F：→ LPH66: 所以不會發生你家的 max 有但我家的 max 沒有結果爆炸 11/22 00:38
※ 編輯: 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
13F：→ Caesar08: 為什麼標準的function不能增加constexpr？ 11/22 01:23
14F：→ Caesar08: 不能減少是因為這樣不符合標準 11/22 01:24
15F：→ Caesar08: 但增加constexpr可以增強library的效能，應該會想做才對 11/22 01:26
16F：推 LPH66: 應該說標準規定有的就要有, 規定沒有的就要沒有 11/22 05:40
17F：→ LPH66: 像我上面提的 max 標準都有 constexpr 所以實作也必須有 11/22 05:41
18F：→ LPH66: 我猜原因可能還是一致性, 不會因為某個函數在某個實作上 11/22 05:42
19F：→ LPH66: 有 constexpr 造成在其他編譯器上編不過 11/22 05:42
20F：→ LPH66: en.cppreference.com/w/cpp/language/constant_expression 11/22 05:43
21F：→ LPH66: 最下面 Notes 的那一段 11/22 05:43
其實我是在想用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
22F：推 CoNsTaR: 兩個不同的 type 沒辦法這樣做(a 有 constexpr, func 沒 11/22 18:19
23F：→ CoNsTaR: 有) 11/22 18:19
Standard的確是這樣，不過我想討論的是"C"可不可以做出像constexpr的效果？
如果真的能成，應該可以簡化一些單元測試的步驟。
24F：→ CoNsTaR: 試想要是 func 裡面有 IO 的話該怎麼辦？ 11/22 18:20
這倒是。
不然就先寫個程式算好constexpr的值，然後用argc讀進去再設const。
25F：→ CoNsTaR: 在 pure functional language 裡可以做到你想的，例如 Id 11/22 18:21
26F：→ CoNsTaR: ris 的 Refl 11/22 18:21
27F：→ CoNsTaR: 因為所有有 side effect 的 function 的回傳值都會是 ∀a 11/22 18:25
28F：→ CoNsTaR: .(IO a)，而且不允許 undefined (例如無窮迴圈) 所以可以 11/22 18:25
29F：→ CoNsTaR: 粗略的區分哪些值可以在編譯時期求得哪些不行 11/22 18:25
如果沒法用objcopy之類的方式提取需要的函式，
那我的構想是用Makefile做這些步驟：
提取constexpr新增main -> 編譯後算出值 ->
轉譯(把constexpr代換為const並放入算好的值) -> 再度編譯
※ 編輯: wtchen (90.27.175.198), 11/22/2016 19:48:17
30F：推 CoNsTaR: 聽起來是可行 只是如果真要這麼麻煩我寧可換個語言 XDD 11/22 21:58
31F：→ wtchen: 也是 XD 11/22 22:03