[問題] C++ template 確定函式是否存在

[mikukonn (mikukon)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1543757206.A.0B3.html
推 AstralBrain: 1. 對
→ AstralBrain: 2. 可以啊 https://ideone.com/JqDpHV
https://ideone.com/Ad4UdD
那可以請大大幫我看看為何我兩個輸出的答案都是 false 嗎？
※ 編輯: mikukonn (43.243.253.180), 12/02/2018 22:46:36
→ loveme00835: 因為 line 11 的 C::helloworld 是跟 C 要 member
→ loveme00835: type, 跟 member function 無關
→ loveme00835: https://ideone.com/AQueNd
→ loveme00835: 你看的這份 code 有兩個比較麻煩的地方: 第一個就是
→ loveme00835: 在 class template 裡面寫 function template, 這是
→ loveme00835: 為了避免在具現化類別實體的時候直接因為沒有成員函
→ loveme00835: 式而報錯, 所以用模版延遲 test 的具現化. 第二點是
→ loveme00835: 因為 resolve 合適函式呼叫時, 多載優先權會比模版還
→ loveme00835: 高, 所以你把 test(...) 的 template 拿掉就可以看到
→ loveme00835: 怎樣回傳都是 0
→ mikukonn: 那為何放上 &C::helloworld 就可以運作呢
→ mikukonn: 應該說，判斷這個是取成員函數或成員函式的基準在哪裡呢
→ loveme00835: 你在 Ad4UdD 那個連結裡寫的 typename 就是在跟編譯
→ loveme00835: 器講後面的 qualified name 要當成型別來看, 不然沒
→ loveme00835: 加都是當成資料成員/成員函式, 不過用 :: 來取的資料
→ loveme00835: 只有 static data member
→ loveme00835: ^ 更正: 以這個使用情境來說
→ loveme00835: 把 class template 拿掉一樣可以理解 SFINAE
→ loveme00835: https://ideone.com/ZrAFBz
→ mikukonn: 如果不加typename會編譯錯誤，應該編譯器這時候判斷無法
→ mikukonn: 使用此函式應該會跳到 test(...)嘗試編譯吧
→ mikukonn: 請問我這樣理解有不對的地方嗎
→ mikukonn: 另外我有找到這種奇妙的判斷方式XD
→ mikukonn: https://ideone.com/sOzY23
→ loveme00835: 你的用法有需要解決的問題, 參考 std::declval
→ loveme00835: 問題就是在於當在模版裡面的時候, 你給編譯器一個
→ loveme00835: qualified name, 有沒有加 typename 行為是不一樣的
→ loveme00835: 你沒加 typename 的時候, 就跟這個例子很像
→ loveme00835: https://ideone.com/RKPwtB 這個還沒有到 resolve 階
→ loveme00835: 段就被當作錯誤排除掉
→ loveme00835: SFINAE 的 S 指的不是編譯, 你再仔細看維基敘述
→ mikukonn: 原來如此，謝謝大大花時間幫我解決疑惑
→ loveme00835: 可以參考這裡 https://bit.ly/2BMqgbu