開發平台(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 何者編譯成功
謝謝大大們看完此篇文章

1. 對2. 可以啊 https://ideone.com/JqDpHV

因為 line 11 的 C::helloworld 是跟 C 要 membertype, 跟 member function 無關https://ideone.com/AQueNd你看的這份 code 有兩個比較麻煩的地方: 第一個就是在 class template 裡面寫 function template, 這是為了避免在具現化類別實體的時候直接因為沒有成員函式而報錯, 所以用模版延遲 test 的具現化. 第二點是因為 resolve 合適函式呼叫時, 多載優先權會比模版還高, 所以你把 test(...) 的 template 拿掉就可以看到怎樣回傳都是 0

那為何放上 &C::helloworld 就可以運作呢應該說，判斷這個是取成員函數或成員函式的基準在哪裡呢

你在 Ad4UdD 那個連結裡寫的 typename 就是在跟編譯器講後面的 qualified name 要當成型別來看, 不然沒加都是當成資料成員/成員函式, 不過用 :: 來取的資料只有 static data member^ 更正: 以這個使用情境來說把 class template 拿掉一樣可以理解 SFINAEhttps://ideone.com/ZrAFBz

如果不加typename會編譯錯誤，應該編譯器這時候判斷無法使用此函式應該會跳到 test(...)嘗試編譯吧請問我這樣理解有不對的地方嗎另外我有找到這種奇妙的判斷方式XDhttps://ideone.com/sOzY23

你的用法有需要解決的問題, 參考 std::declval問題就是在於當在模版裡面的時候, 你給編譯器一個qualified name, 有沒有加 typename 行為是不一樣的你沒加 typename 的時候, 就跟這個例子很像https://ideone.com/RKPwtB 這個還沒有到 resolve 階段就被當作錯誤排除掉SFINAE 的 S 指的不是編譯, 你再仔細看維基敘述

原來如此，謝謝大大花時間幫我解決疑惑

可以參考這裡 https://bit.ly/2BMqgbu