是否有可能有一个非模板类子类的模板类？

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

昨天晚上，litb在## C++上找到了解决方案。

的问题是我经过一个NoopCommand以这样的函数：

void SendCommand(Command<T> command); 

当我应该让签名这样的：

void SendCommand(Command<T>& command); 

做出这样的转变让一切编译。

Answer 2

您使用的图案被广泛称为“Curiously Recurring Template Pattern”。所以，是的，你可以做到这一点。
我想不出为什么它不编译的原因。

Answer 3

您给出的代码为我编译，没有错误（在添加struct NoopResult { };后）。也许你在代码中遗漏了一个问题？

Answer 4

正如我们在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 5

“虚函数未定义” 意味着你还没有定义NoopCommand :: HandleSuccess和NoopCommand :: FullCommand的函数体。

以下应解决您的问题。

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

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