作者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/cn.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