Şablonlar, İşlev İşaretçiler ve C++ 0x

Question

C++ 0x özelliklerinden bazılarını anlamak için kişisel deneylerimden biri: Çalıştırılacak bir şablon işlevine bir işlev işaretçisini iletmeye çalışıyorum. Sonuç olarak, yürütmenin farklı bir iş parçacığında gerçekleşmesi gerekiyor. Ancak, tüm farklı işlev türlerinde, şablonların çalışmasını sağlayamıyorum.

#include <functional> 

int foo(void) {return 2;} 

class bar { 
public: 
    int operator() (void) {return 4;}; 
    int something(int a) {return a;}; 
}; 

template <class C> 
int func(C&& c) 
{ 
    //typedef typename std::result_of< C() >::type result_type; 
    typedef typename std::conditional< 
     std::is_pointer<C>::value, 
     std::result_of< C() >::type, 
     std::conditional< 
      std::is_object<C>::value, 
      std::result_of< typename C::operator() >::type, 
      void> 
     >::type result_type; 
    result_type result = c(); 
    return result; 
} 

int main(int argc, char* argv[]) 
{ 
    // call with a function pointer 
    func(foo); 

    // call with a member function 
    bar b; 
    func(b); 

    // call with a bind expression 
    func(std::bind(&bar::something, b, 42)); 

    // call with a lambda expression 
    func([](void)->int {return 12;}); 

    return 0; 
} 

result_of şablon yalnız sınıf bar ve ben derleme değil yarattı aksak koşullu operatöre() bulmak mümkün görünmemektedir. Herhangi bir fikir? Const fonksiyonları ile ek sorunlarım olacak mı?

Answer 1

decltype nasıl kullanılır? i C++ 0x taslak anlamak

template <class C> 
auto func(C&& c) -> decltype(c()) { 
    auto result = c(); 
    return result; 
} 

Answer 2

sağ aslında yeterli olmalıdır aşağıdadır:

typedef typename std::result_of<C()>::type result_type; 

yerine bunu koşullu ifadenin kullanılması, bu gcc4.5 ince derler - belki var Kullandığınız derleyicide bir hata bulundu?

Answer 3

Şablonunuzu başlatmaya başladım, ancak GCC, result_of'un her kullanımından şikayet ediyor.

template <class C> 
int func(C&& c) 
{ 
    //typedef typename std::result_of< C() >::type result_type; 
    typedef typename std::conditional< 
     std::is_pointer<C>::value, 
     // C++0x still requires "typename" sprinkles: 
     typename std::result_of< C() >::type, 
     typename std::conditional< 
      std::is_object<C>::value, 
      // result_of takes a *type* as an argument, not an object: 
      //typename std::result_of< decltype(&C::operator()) >::type, 
      // Or better: 
      typename std::result_of<C>::type, 
      void> 
     >::type result_type; 
    result_type result = c(); 
    return result; 
} 

int main(int argc, char* argv[]) 
{ 
    // according to GCC, func(foo) passes a function reference. 
    func(foo); 

İlk hata iletisi:

rof.cpp:23:17: error: invalid use of incomplete type 'struct std::result_of<int (&)()>' 

result_of standardında belirtildiği şekilde uygulanan, yüzden GCC kısmi uzmanlaşma bildiriminde sözde prototip sözdizimi maç olamaz görünür.