作者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/cn.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