Шаблоны, указатели функции и C++ 0x
Один из моих персональных экспериментов для понимания части C++ 0x функции: я пытаюсь передать указатель функции шаблонной функции для выполнения. В конечном счете выполнение, как предполагается, происходит в другом потоке. Но со всеми различными типами функций, я не могу заставить шаблоны работать.
#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 шаблон, кажется, не может найти оператор () в панели класса и неуклюжем условном выражении, которое я создал, не компилирует. Какие-либо идеи? У меня будут дополнительные проблемы с функциями константы?
3 ответа
Как насчет использования decltype ?
template <class C>
auto func(C&& c) -> decltype(c()) {
auto result = c();
return result;
}
Если я понимаю C ++ 0x draft right, на самом деле должно быть достаточно следующего:
typedef typename std::result_of<C()>::type result_type;
Используя это вместо вашего условного выражения, он отлично компилируется на gcc4.5 - может быть, вы обнаружили ошибку в любом используемом компиляторе?
Я получил ваш шаблон для инстанцирования, но GCC жалуется на возможное каждое использование result_of.
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);
Первое сообщение об ошибке:
rof.cpp:23:17: error: invalid use of incomplete type 'struct std::result_of<int (&)()>'
result_of реализован, как указано в стандарте, так что, похоже, GCC не может подобрать синтаксис псевдопрототипа в объявлении частичной специализации.