如何将dectype与成员函数一起使用

2022-04-01 00:00:00 function instance c++ member decltype

我正在尝试对Visual Studio 2012中的成员函数使用dectype。我偶然发现了一个特性,我想知道这是故意的还是一个编译器错误。考虑(只是一个代码片段,并不是要说明我的观点):

struct Test { int f() {return 0;} } T;
std::integral_constant<decltype(T.f()), 5>;
std::integral_constant<decltype(&Test::f), 5>; // error C2440

编译第二行时,第三行给出错误C2440:‘专门化’:无法从‘int’转换为‘int(__thiscall Test::*)(Void)’

函数的实例化调用中的decltype如何生成其返回类型(这正是我所期望的),然而,尝试在不涉及任何成员的情况下执行相同的操作会生成成员函数指针吗?如果这是故意的行为,背后的理由是什么?如果手头没有实际的实例,我将如何表示我正在请求成员函数的返回类型?当然,我可以用肮脏的方式:

std::integral_constant<decltype(((Test*)nullptr)->f()), 5>;

但毫无疑问,这非常非常难看,应该有一种干净、直截了当的C++方式来表达这一点。


解决方案

&Test::f不调用成员函数Test::f。相反,它takes the address of the member function并导致pointer to member function,其类型为int (Test::*)()

为了做您想做的事情,您应该使用std::declval。正确的语法是

std::integral_constant<decltype(std::declval<Test>().f()), 5>

相关文章