問題(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。
只是不知道實際做起來是怎樣，有人可以詳述嗎？感謝？

constexpr 僅限呼叫有宣告為 constexpr 的函式這些函式其函數內容當給定常數參數時可以靜態分析其值而 constexpr 的規定有說這函數要編譯期可見

asin 回傳的 value 必須屬於 (constexpr a) A 才接得住

像 asin 這種連結期才知道的東西不能也不會宣告 constexpr

asin 應該不是，而且剛剛查了一下 gcc 有把它當 builtin所以這樣猜

有個可能的實作法是這函數是模版, 這樣它編譯期一定可見例如 std::numeric_limits<int>::max 就是這樣的例子啊, 不用到那個, std::max 就是一個例子了順帶一提, 標準規定的函式實作不能任意增減 constexpr 性所以不會發生你家的 max 有但我家的 max 沒有結果爆炸

為什麼標準的function不能增加constexpr？不能減少是因為這樣不符合標準但增加constexpr可以增強library的效能，應該會想做才對

應該說標準規定有的就要有, 規定沒有的就要沒有像我上面提的 max 標準都有 constexpr 所以實作也必須有我猜原因可能還是一致性, 不會因為某個函數在某個實作上有 constexpr 造成在其他編譯器上編不過en.cppreference.com/w/cpp/language/constant_expression最下面 Notes 的那一段

兩個不同的 type 沒辦法這樣做(a 有 constexpr, func 沒有)試想要是 func 裡面有 IO 的話該怎麼辦？在 pure functional language 裡可以做到你想的，例如 Idris 的 Refl因為所有有 side effect 的 function 的回傳值都會是 ∀a.(IO a)，而且不允許 undefined (例如無窮迴圈) 所以可以粗略的區分哪些值可以在編譯時期求得哪些不行聽起來是可行 只是如果真要這麼麻煩我寧可換個語言 XDD

也是 XD