result_of作用与类的成员函数,编译失败了,怎么改?

cdsfiui

我做了一个小的实验:

1. 
   
2. #include<functional>
   
3. int f1() { return 0; }
   
4. struct Bar {
   
5.         Bar() = delete;
   
6.         int f() { return 0; }
   
7.         int operator()() { return 1; }
   
8. };
   
9. int main()
   
10. {
    
11.         decltype(f1()) x = 3;//f1() is expression
    
12.         result_of<decltype(&f1)()>::type x1 = 3;//type+param
    
13.         result_of<Bar()>::type x3 = 3;//type+param
    
14.         decltype(declval<Bar>().f()) y = 4;//expression
    
15.         decltype((((Bar*)nullptr)->*(&Bar::f))()) z = 5;//expression
    
16. 
    
17.         result_of<decltype(std::mem_fn(&Bar::f))()>::type y2 = 3;//error!!!!!!
    
18.         return 0;
    
19. }
    

复制代码

我知道decltype跟一个表达式，result_of跟一个类型做模板参数，没有问题，那么我想得到Bar这个类里面函数f的返回类型，用result_of该怎么写呢?

bruceteen

std::mem_fn(&Bar::f) 这个函数调用时是要传入一个Bar参数的呀
改为 result_of<decltype(std::mem_fn(&Bar::f))(Bar)>::type 试试

其实用 decltype( declval<Bar>().f() ) 更好一些吧

cdsfiui

bruceteen 发表于 2016-06-22 09:03
std::mem_fn(&Bar::f) 这个函数调用时是要传入一个Bar参数的呀
改为 result_of::type 试试

谢谢，不过有个问题:

1. 
   
2. result_of<decltype(std::mem_fn(&Bar::f))(Bar*)>::type y2 = 3;
   
3. result_of<decltype(std::mem_fn(&Bar::f))(Bar)>::type y2 = 3;
   

复制代码

上面这两个都能通过编译。但是应该只有一个版本是正确的吧?
还请指教！

bruceteen

回复 3# cdsfiui
一样吧，mem_fn能辨别出你传入的是对象还是指针。