Основано на главе 5 (Обобщенные функторы) из книги «Современный дизайн C ++»
Я пытаюсь написать шаблон Functor.Прежде чем спросить меня "почему бы мне просто не использовать привязку Буста или Локи прямо вверх?"простой ответ - «потому что я хочу учиться».
При этом я следовал книге и также использовал пример кода в качестве справочного материала, но продолжаю сталкиваться с ошибками времени компиляции и могуКажется, не понимаю, почему.
Когда я изменяю код примера книги, чтобы не использовать модели потоков, примеры работают нормально.Но мой код не делает.Вот соответствующий код:
очень простой TypeList, наряду с TypeAt и Nulltype, EmptyType (также основанный на книге)
<TypeList.hpp>
---
class NullType
{};
class EmptyType
{};
#define TYPELIST_1(T1) TypeList<T1, NullType>
#define TYPELIST_2(T1,T2) TypeList<T1, TYPELIST_1(T2) >
#define TYPELIST_3(T1,T2,T3) TypeList<T1, TYPELIST_2(T2, T3) >
template < typename T, typename U >
struct TypeList
{
typedef T Head;
typedef U Tail;
};
namespace typelist
{
template <class TList, unsigned int i > struct TypeAt;
template <class Head, class Tail >
struct TypeAt<TypeList<Head, Tail>,0 >
{
typedef Head Result;
};
template <class Head, class Tail, unsigned int i >
struct TypeAt<TypeList<Head, Tail>, i >
{
typedef typename TypeAt<Tail, i-1>::Result Result;
};
template <class TList, unsigned int index,
typename DefaultType = NullType>
struct TypeAtNonStrict
{
typedef DefaultType Result;
};
}
---
Использование их, конечно, Functor
<Functor.hpp>
---
namespace functorPrivate
{
template<typename R>
struct FunctorBase
{
typedef R ResultType;
typedef EmptyType Param1;
private:
};
}
template <typename R, class TList>
class FunctorImpl;
template <typename R>
class FunctorImpl<R, NullType > : public functorPrivate::FunctorBase<R>
{
public:
typedef R ResultType;
virtual ~FunctorImpl(){}
virtual R apply() = 0;
};
template <typename R, typename P1>
class FunctorImpl<R, TYPELIST_1(P1) > : public functorPrivate::FunctorBase<R>
{
public:
typedef R ResultType;
typedef P1 Param1;
virtual ~FunctorImpl(){}
virtual R apply(P1) = 0;
};
template < class ParentFunctor, typename Fun>
class FunctionHandler : public ParentFunctor::Impl
{
private:
typedef typename ParentFunctor::Impl Base;
Fun fun;
public:
typedef typename Base::ResultType ResultType;
typedef typename Base::Param1 Param1;
FunctionHandler(const Fun& fun) :
fun(fun)
{}
virtual ~FunctionHandler()
{}
virtual ResultType apply()
{
return fun();
}
virtual ResultType apply(Param1 p1)
{
return fun(p1);
}
};
template <typename R, class TList = NullType>
class Functor
{
public:
typedef TList ParamList;
typedef R ResultType;
typedef FunctorImpl<R, TList> Impl;
typedef typename Impl::Param1 Param1;
Functor() :
impl(0)
{}
//Function / Handling functor type templated constructor
template<class Fun>
Functor(const Fun& fun) :
impl(new FunctionHandler< Functor, Fun>(fun))
{}
//apply functions
R apply()
{
return (*impl).apply();
}
R apply(Param1 p1)
{
return (*impl).apply(p1);
}
private:
std::auto_ptr<Impl> impl;
};
---
Когда я пытаюсь использовать это следующим образом:
---
class TestFunctor0
{
public:
int operator()()
{
cout << "zero param functor" << endl;
return 1;
}
};
//somewhere in main...
TestFunctor0 f;
Functor<int, NullType> command(f);
int res = command.apply();
CPPUNIT_ASSERT_EQUAL(1, res);
---
Я получаю следующую ошибку во время компиляции:
../../../include/real/Functors.hpp: In member function ‘typename ParentFunctor::Impl::ResultType FunctionHandler<ParentFunctor, Fun>::apply(typename ParentFunctor::Impl::Param1) [with ParentFunctor = Functor<int, NullType>, Fun = TestFunctor0]’:
main.cpp:246: instantiated from here
../../../include/real/Functors.hpp:74: error: no match for call to ‘(TestFunctor0) (EmptyType&)’
main.cpp:31: note: candidates are: int TestFunctor0::operator()()
Кто-нибудь понимает, почему я вижу этопроблема?У меня нет идей.Спасибо