作者loveflames (咕啾咕啾魔法陣)
看板C_and_CPP
標題Re: [問題] cannot appear in a constant-expression
時間Mon Mar 13 00:52:03 2017
看到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://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1489337528.A.936.html
1F：推 ilikekotomi: 感謝分享 有空來仔細研究一下 03/13 00:57
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)
2F：推 lovejomi: 請問第三點可否提供一些資源，想了解一下 03/13 11:25
直接給你一個範例
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*)
3F：推 ilikekotomi: 大大你人真好 連我TMP不熟料想到了XD 03/13 15:25
※ 編輯: loveflames (60.248.56.181), 03/13/2017 15:37:33
4F：→ ilikekotomi: reader的部分不懂 為何選擇了return R來遞迴 03/13 16:33
5F：→ loveflames: 因adl_flag還沒定義，adl_flag是在最後透過write定義 03/13 16:43
6F：→ ilikekotomi: 大概有概念 a的那次由write定義adl_flag(flag<1>) 03/13 17:06
7F：→ ilikekotomi: b遇到reader(0,flag<1>)會改走return N的 03/13 17:07
8F：→ ilikekotomi: 我用flag<3>自己人腦展開大概是這種感覺 03/13 17:09
9F：→ loveflames: 我忘了提一個noexcept 03/13 19:36
10F：→ loveflames: 可以用來判斷constexpr是否能在編譯期求出 03/13 19:45
11F：→ loveflames: 連constexpr函數是否定義都能判斷 03/13 19:45
12F：→ LPH66: 其實我個人認為用 noexcept 問有沒有這個 constexpr 03/13 19:52
13F：→ LPH66: 某種程度上算是那種非正常用法 XD 03/13 19:52
14F：→ LPH66: 嘛不過這連結裡的東西都是這種非正常用法就是了 03/13 19:52
15F：推 lovejomi: 請問這範例跟tmp有什麼正相關嗎？沒有很懂 03/13 22:51
16F：→ loveflames: 這範例用到我列舉的東西 03/13 23:26