Re: [問題] cannot appear in a constant-expression
看到constexpr，想稍微聊在metaprogramming的妙用
template的non-type參數不吃浮點數
(之前查好像之後某個版本會全面開放字面值，不太確定)
在數值計算上應用有限，而且語法艱澀
而constexpr函數吃浮點數，語法容易
大家對於constexpr的認識大多是這樣
不過實際上可以拿來做non-constant constant expression
意思就是表面上看起來同一個函數，輸入也相同，每次的輸出卻不一致
http://b.atch.se/posts/constexpr-counter/
其中一種應用是counter
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.217.205.7
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1489337528.A.936.html
推
03/13 00:57, , 1F
03/13 00:57, 1F
TMP需要的前置知識，連這篇沒提到的也說說好了
1.SFINAE
函數模板匹配失敗後找優先權更低的函數或函數模板
2.ADL
根據argument找函數
3.friend name injection
在class內部放friend函數宣告，找到定義在其他class的friend函數
4.sizeof
算函數的返回大小，函數只有宣告即可
5.pointer-to-member operator
能判斷是否class type
6.模板本體可不定義，只定義特化
7.CRTP
例如這樣
class T:base<T>{};
用途嘛....policy-based design之類
可能會再搭個多重繼承
8.variadic template + 多重繼承
光列出來可能不知道能幹嘛，我講typelist你就懂了
裡面可以搭tuple跟fold expression(C++17)
推
03/13 11:25, , 2F
03/13 11:25, 2F
直接給你一個範例
class U;
struct T{
friend void f(U*){...}
};
struct U{
friend void f(U*);
};
例如這樣用
U* x;
f(x);
以ADL來找f是否在U中
再以friend name injection讓U可見void f(U*)
推
03/13 15:25, , 3F
03/13 15:25, 3F
※ 編輯: loveflames (60.248.56.181), 03/13/2017 15:37:33
→
03/13 16:33, , 4F
03/13 16:33, 4F
→
03/13 16:43, , 5F
03/13 16:43, 5F
→
03/13 17:06, , 6F
03/13 17:06, 6F
→
03/13 17:07, , 7F
03/13 17:07, 7F
→
03/13 17:09, , 8F
03/13 17:09, 8F
→
03/13 19:36, , 9F
03/13 19:36, 9F
→
03/13 19:45, , 10F
03/13 19:45, 10F
→
03/13 19:45, , 11F
03/13 19:45, 11F
→
03/13 19:52, , 12F
03/13 19:52, 12F
→
03/13 19:52, , 13F
03/13 19:52, 13F
→
03/13 19:52, , 14F
03/13 19:52, 14F
推
03/13 22:51, , 15F
03/13 22:51, 15F
→
03/13 23:26, , 16F
03/13 23:26, 16F
討論串 (同標題文章)
完整討論串 (本文為第 3 之 5 篇)：