推 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)
推 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*)
推 ilikekotomi: 大大你人真好 連我TMP不熟料想到了XD 03/13 15:25
※ 編輯: loveflames (60.248.56.181), 03/13/2017 15:37:33
→ ilikekotomi: reader的部分不懂 為何選擇了return R來遞迴 03/13 16:33
→ loveflames: 因adl_flag還沒定義,adl_flag是在最後透過write定義 03/13 16:43
→ ilikekotomi: 大概有概念 a的那次由write定義adl_flag(flag<1>) 03/13 17:06
→ ilikekotomi: b遇到reader(0,flag<1>)會改走return N的 03/13 17:07
→ ilikekotomi: 我用flag<3>自己人腦展開大概是這種感覺 03/13 17:09
→ loveflames: 我忘了提一個noexcept 03/13 19:36
→ loveflames: 可以用來判斷constexpr是否能在編譯期求出 03/13 19:45
→ loveflames: 連constexpr函數是否定義都能判斷 03/13 19:45
→ LPH66: 其實我個人認為用 noexcept 問有沒有這個 constexpr 03/13 19:52
→ LPH66: 某種程度上算是那種非正常用法 XD 03/13 19:52
→ LPH66: 嘛不過這連結裡的東西都是這種非正常用法就是了 03/13 19:52
推 lovejomi: 請問這範例跟tmp有什麼正相關嗎?沒有很懂 03/13 22:51
→ loveflames: 這範例用到我列舉的東西 03/13 23:26