3

我有一个可以返回任何类型、接受命令和 FormData 对象的调度程序。这个想法是我希望在传递特定内容时从 FormData 继承。

struct FormData {};

struct Form : FormData {};

void login(const Form *f){}

enum Command
{
    LOGIN
};

template <typename T>
T dispatch(const Command command, const FormData *f)
{
    switch (command)
    {
    case LOGIN: login(f);
    }

    return T();
}

int main()
{
    Form f;

    dispatch<void>(LOGIN, &f);

    return 0;
}

我收到一条错误消息，提示无法从 Form 转换为 FormData。我拿走了模板，一切正常（但我需要模板）

4

2 回答 2

2

您的FormData类是基类，Form是派生的，但是您的登录功能看起来像

void login(const Form *f){}

但是在你的调度函数中，你试图传递一个基类指针

T dispatch(const Command command, const FormData *f)
{
    switch (command)
    {
    case LOGIN: login(f);
    }

C++ 根本不会让你这样做。Form* 可以隐式转换为 FormData*，但不能反过来。

也许您可以向调度函数添加另一个模板参数，并让该函数在编译时确定具体类型：

struct FormData {};

struct Form : public FormData {};

void login(const Form *f){}

enum Command
{
    LOGIN
};    

template <typename T>
T dispatch(const Command command)
{
    return T();
}

template <typename T, typename FormDataType>
T dispatch(const Command command, const FormDataType *f)
{
    switch (command)
    {
    case LOGIN: login(f);
    }

    return dispatch(command);
}

int main()
{
    Form f;

    dispatch<void>(LOGIN, &f);
    dispatch<void>(LOGIN);
}
于 2012-04-20T22:32:15.010 回答
1

您可以从Form*（派生类）隐式转换为FormData*（基类），但不能从FormData*（基类）隐式转换为Form*（派生类）。

一旦你输入dispatch函数，编译器就知道你有一个指向基类的指针FormData；它不知道您正在传递一个指向派生类的指针，Form.

于 2012-04-20T22:33:14.083 回答