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

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);

进行这种更改可以编译所有内容。