是否可以将非模板类子类化为模板类？

Question

我有一个如下定义的模板类：

template <class T>
class Command {
public:
    virtual T HandleSuccess(std::string response) = 0;
    virtual std::string FullCommand() const = 0;
    // ... other methods here ...
};

C++ 是否允许我创建模板类的非模板子类？我的意思是我可以做这样的事情：

class NoopCommand : public Command<NoopResult> {
public:
    NoopResult HandleSuccess(std::string response);
    std::string FullCommand() const;
    // ... other methods here ...
};

因为这对我不起作用，因为它说以下虚拟函数未定义：

T admix::Command<T>::HandleSuccess(std::string) [with T = admix::NoopResult]
std::string admix::Command<T>::FullCommand() const [with T = admix::NoopResult]

我如何为给定的 T 专门定义它们？

Answer 1

正如我们在 IRC 中发现的那样，这是因为您

1. 使函数变得非纯，
2. 并对派生对象部分进行了切片。因此调用基类函数是因为该对象不再是完整的派生对象。

（下面是我对您问题的早期版本的怀疑 - 我保留它以供进一步考虑并保持评论有意义）

---

_{我认为这里的问题是编译器可以自由实例化类模板的任何虚拟函数成员，即使它没有被使用（即没有被调用）。实例化函数需要提供函数定义。尝试将其添加到标头中，编译器将在标头中找到它们并实例化以下定义：}

template<typename T>
T Command<T>::HandleSuccess(std::string response) { /* put some default action ... */ }

template<typename T>
std::string Command<T>::FullCommand() const { /* put some default action ... */ }

C++ 标准 14.7.1/9：

实现不得隐式实例化函数模板、成员模板、非虚拟模板
不需要实例化的成员函数、成员类或类模板的静态数据成员。如果虚拟成员函数不会被实例化，则未指定实现是否隐式实例化类模板的虚拟成员函数。

Answer 2

“虚拟函数未定义”表示您尚未定义NoopCommand::HandleSuccess 和NoopCommand::FullCommand 的函数体。

以下应该可以解决您的问题。

class NoopCommand : public Command<NoopResult> {
public:
    NoopResult HandleSuccess(std::string response) {}
    std::string FullCommand() const {}
    // ... other methods here ...
};

或者您有一个 NoopCommand.cpp，请确保它包含在您的构建过程中。

Answer 3

您使用的模式被广泛称为“奇怪的重复模板模式”。所以，是的，你可以这样做。
我想不出它不编译的原因。

Answer 4

您提供的代码可以为我编译，没有错误（添加 struct NoopResult { }; 之后）。也许您遗漏的代码有问题？

Answer 5

litb 昨晚在##c++ 上找到了解决方案。

问题是我将 NoopCommand 传递给这样的函数：

void SendCommand(Command<T> command);

当我应该将签名设置为：

void SendCommand(Command<T>& command);

进行更改允许所有内容编译。