Tag-dispatch结构不能插入对象类型

时间:2011-04-27 02:27:50

标签: c++ metaprogramming

我将一个对象时刻名apple a("Apple")发送到tag_dispatch名称空间上的eat函数。为什么吃掉函数不能被瞬间对象接受。

..\tag_dispatch.hpp: In function 'void eat(const T&)':
..\tag_dispatch.hpp:52: error: template argument 1 is invalid
..\tag_dispatch.hpp:52: error: invalid type in declaration before '(' token
..\tag_dispatch.hpp:52: error: invalid use of qualified-name '::apply'
..\mem_define.cpp: In function 'int main()':

我被宣布为下面的吃饭功能:

#ifndef TAG_DISPATCH_H
#define TAG_DISPATCH_H
struct apple_tag{};
struct banana_tag{};
struct orange_tag{};
struct apple
{
double reduis;
std::string name;
apple(std::string const& n): name(n){}
};

struct banana
{
double length;
std::string name;
banana(std::string const& n): name(n){}
};

namespace dispatch{

template <typename Tag> struct eat{};

template<>struct eat<apple_tag>
{
static void apply(apple const& a){
std::cout<<"Apple tag"<<std::endl;
}
};

template<>struct eat<banana_tag>
{
static void apply(banana const& b){
std::cout<<"Banana tag"<<std::endl;
}
};

}

template <typename T>
void eat(T const& fruit)
{
    dispatch::eat<typename tag<T>::type>::apply(fruit);
}

#endif 

我在此处link编译的源代码

1 个答案:

答案 0 :(得分:1)

tag模板类未在代码中的任何位置定义。在尝试使用tag之前,必须先定义tag<T>::type模板类。

您必须为每种已标记的类型提供tag模板的特化:

template <typename T>
struct tag {};

template <>
struct tag<apple> {typedef apple_tag type;};

template <>
struct tag<banana> {typedef banana_tag type;};