为什么我的这个result_of编译不过?

asker160

1. 
   
2. #include<type_traits>
   
3. using namespace std;
   
4. template <class F, class R = typename result_of<F()>::type>
   
5. R call(F& f) { return f(); }
   
6. int answer() { return 42; }
   
7. 
   
8. int main()
   
9. {
   
10.         call(answer);
    
11.         return 0;
    
12. }
    

复制代码

call(answer)这句话提示错误
VC提示'R call(F&' could not deduce template argument for 'R'
GCC提示|note:   template argument deduction/substitution failederror: function returning a function

到底错在哪里? 如何才能让我的call(answer)调用成功?

windoze

你来说说你怎么取一个函数的引用……
改成这样就行了：call(F&& f)

asker160

windoze 发表于 2016-06-29 09:50
你来说说你怎么取一个函数的引用……
改成这样就行了：call(F&& f)

为什么F&改成F&&就可以了，这里和universal reference/左右值有关吗?
能稍微详细点吗?
谢谢

asker160

我发现改用auto+decltype也是可以的:

1. 
   
2. #include<type_traits>
   
3. using namespace std;
   
4. template <class F>
   
5. auto call(F& f)->decltype(f()) { return f(); }
   
6. int f() { return 1; }
   
7. int main()
   
8. {
   
9.         call(f);
   
10.         return 0;
    
11. }
    

复制代码

这里我仍然是用F&，为什么就没有问题呢?

bruceteen

回复 2# windoze

请教一下，为什么&&就可以呢？急死我了，怎么也想不明白。

BTW：对于楼主的代码，我猜问题出在 F() 上，F()是一个函数调用呢，还是一个创建了一个匿名对象（如同int()），编译器选择了后者。
于是根据这个我瞎扯的解释，将代码 result_of<F()> 改为 result_of<F&()> 也能编译通过

bruceteen

windoze 发表于 2016-06-29 09:50
你来说说你怎么取一个函数的引用……
改成这样就行了：call(F&& f)

我明白了，call(F&& f) 中 F 本身就是一个引用类型，我用 std::is_reference<F>::value 输出来是 true
而 call(F& f) 中 F 不是引用类型，我用 std::is_reference<F>::value 输出来是 false

windoze

回复 6# bruceteen

F&& f是一个universal reference, 不管左值右值都能用。

bruceteen

回复 7# windoze

谢谢，我想想

asker160

windoze 发表于 2016-06-29 11:44
回复 6# bruceteen

F&& f是一个universal reference, 不管左值右值都能用。

为什么我用了auto+decltype之后，就可以使用call(F& f)?

windoze

回复 9# asker160

call(F&f)把引用剥掉了，result_of<F()>在里面会试图创建一个F类型的对象（当然只是试图），但我们都知道函数类型是不能拿来创建实例的。
如果你不用result_of，换成decltype就没这个问题了