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

asker160

windoze 发表于 2016-06-29 15:47
回复 9# asker160

call(F&f)把引用剥掉了，result_of在里面会试图创建一个F类型的对象（当然只是试图） ...

1. 
   
2. struct S {
   
3.     double operator()(){return 0.0;}
   
4. };
   
5. template <class F, class R = typename result_of<F()>::type>
   
6. R call(F& f) { return f(); }
   
7. int main()
   
8. {
   
9.     S obj;
   
10.         call(obj);
    
11.         return 0;
    
12. }
    

复制代码

但是我把函数改成了一个函数对象，在模板里面就可以call(F& f)了。
为什么函数对象可以当成左值(F&)而函数不可以呢?

windoze

回复 11# asker160

这么说吧，你不能创建一个“函数类型”的实例，比如说：

1. 
   
2. typedef int ftype(int);
   
3. ftype x();
   

复制代码

这段程序是错的，因为第二句试图创建一个函数类型的实例，显然这么干一点意义都没有因为这个函数根本没有函数体。
但你把它包在struct里当然就没问题，因为你当然能创建一个struct的实例，要不然还写什么程序。