作者mikukonn (mikukon)
看板C_and_CPP
標題[問題] C++ template 確定函式是否存在
時間Sun Dec 2 21:26:42 2018
開發平台(Platform): (Ex: Win10, Linux, ...)
Visual Studio 2018
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
VC++
問題
1.
decltype(&C::helloworld) 的型別是不是為 void (has_helloworld_class::*)()
2. 為何
typename C::helloworld* 無法通過編譯
以下正文
因為最近對如果在C++ template中想要因所擁有的成員函數不同而有不同行為的話該如何使用
這邊是我上網查到的code，其實我也不是很清楚是如何運作的
https://ideone.com/wNyohz
小弟在這裡試試看解讀以上的code
因為C++的 SFINAE 所以會從 test 中找到最適合的一個 template
當 has_helloworld_class 被帶入時，因為有 helloworld 函數，
所以第一個 test 函數是最好的函數而被判斷返回值，
依照返回值的大小來判斷哪個 test function 被評估
不過這裡我不太懂 decltype(&C::helloworld) 是甚麼型別，這跟
void (has_helloworld_class::*)()
是一樣的型別嗎?
當我在 Wekipedia 搜尋相關資料時，跑了遺下他們的範例結果發現無法編譯成功
https://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error#Example
這裡的程式碼我看得懂，也就是但是不知為何
template <typename C>
static yes& test(typename C::foobar*);
此句一直編譯失敗，Wekipedia 上面的範例就是傳入 nullptr，並評估兩個 test function 何者編譯成功
謝謝大大們看完此篇文章
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 43.243.253.180
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1543757206.A.0B3.html
1F：推 AstralBrain: 1. 對 12/02 21:54
https://ideone.com/Ad4UdD
那可以請大大幫我看看為何我兩個輸出的答案都是 false 嗎？
※ 編輯: mikukonn (43.243.253.180), 12/02/2018 22:46:36
3F：→ loveme00835: 因為 line 11 的 C::helloworld 是跟 C 要 member 12/02 23:04
4F：→ loveme00835: type, 跟 member function 無關 12/02 23:05
6F：→ loveme00835: 你看的這份 code 有兩個比較麻煩的地方: 第一個就是 12/02 23:28
7F：→ loveme00835: 在 class template 裡面寫 function template, 這是 12/02 23:29
8F：→ loveme00835: 為了避免在具現化類別實體的時候直接因為沒有成員函 12/02 23:30
9F：→ loveme00835: 式而報錯, 所以用模版延遲 test 的具現化. 第二點是 12/02 23:32
10F：→ loveme00835: 因為 resolve 合適函式呼叫時, 多載優先權會比模版還 12/02 23:33
11F：→ loveme00835: 高, 所以你把 test(...) 的 template 拿掉就可以看到 12/02 23:34
12F：→ loveme00835: 怎樣回傳都是 0 12/02 23:36
13F：→ mikukonn: 那為何放上 &C::helloworld 就可以運作呢 12/02 23:44
14F：→ mikukonn: 應該說，判斷這個是取成員函數或成員函式的基準在哪裡呢 12/02 23:44
15F：→ loveme00835: 你在 Ad4UdD 那個連結裡寫的 typename 就是在跟編譯 12/02 23:47
16F：→ loveme00835: 器講後面的 qualified name 要當成型別來看, 不然沒 12/02 23:47
17F：→ loveme00835: 加都是當成資料成員/成員函式, 不過用 :: 來取的資料 12/02 23:48
18F：→ loveme00835: 只有 static data member 12/02 23:49
19F：→ loveme00835: ^ 更正: 以這個使用情境來說 12/02 23:51
20F：→ loveme00835: 把 class template 拿掉一樣可以理解 SFINAE 12/02 23:52
22F：→ mikukonn: 如果不加typename會編譯錯誤，應該編譯器這時候判斷無法 12/02 23:57
23F：→ mikukonn: 使用此函式應該會跳到 test(...)嘗試編譯吧 12/02 23:57
24F：→ mikukonn: 請問我這樣理解有不對的地方嗎 12/02 23:57
25F：→ mikukonn: 另外我有找到這種奇妙的判斷方式XD 12/03 00:11
27F：→ loveme00835: 你的用法有需要解決的問題, 參考 std::declval 12/03 00:19
28F：→ loveme00835: 問題就是在於當在模版裡面的時候, 你給編譯器一個 12/03 00:20
29F：→ loveme00835: qualified name, 有沒有加 typename 行為是不一樣的 12/03 00:21
30F：→ loveme00835: 你沒加 typename 的時候, 就跟這個例子很像 12/03 00:21
32F：→ loveme00835: 段就被當作錯誤排除掉 12/03 00:22
33F：→ loveme00835: SFINAE 的 S 指的不是編譯, 你再仔細看維基敘述 12/03 00:28
34F：→ mikukonn: 原來如此，謝謝大大花時間幫我解決疑惑 12/03 00:29