c++ - 创建模板化抽象类的实例

Question

我想实例化一个模板化抽象类，如下所示:

template <class T>
class non_sense {
public:
    void virtual nonsesnse_func() = 0;
};

为了创建此类的整数实例，我尝试了以下操作:

void non_sense<int>::nonsesnse_func(){
}

然后我在 main 中创建我的实例:

non_sense<int> xx;

所以整个程序如下:

template <class T>
class non_sense {
public:
    void virtual nonsesnse_func() = 0;
};

void non_sense<int>::nonsesnse_func(){
}

void main(){
    non_sense<int> xx;
}

这对我来说完全有意义，但编译器不接受它，说这个类是抽象的。我不想采用使用特定模板创建从此类继承的新类的方法，因为我正在尝试制作的大型应用程序将是大量的写​​作。有人可以向我解释为什么编译器拒绝这个吗？除了为我想要的特定实例创建一个新类之外，还有什么办法可以解决这个问题。

Answer 1

non_sense 是一个抽象类，所以它永远不能被实例化为一个对象。

这会编译并运行，但是:

#include <iostream>

template <class T>
class non_sense {
public:
    virtual void nonsesnse_func();
};

// Specialize the method
template<>
void non_sense<int>::nonsesnse_func(){
    std::cout << "no_sense<int>::nonsense_func" << std::endl;
}


int main(){
    non_sense<int> xx;

    xx.nonsesnse_func();

    return 0;
}

这里的代码展示了如何使用纯抽象类运行此程序(我已将 nosnsnsense 重命名为 nonsense，它更容易输入；):

#include <iostream>

template <class T>
class non_sense {
public:
    virtual void nonsense_func() = 0;
};

template<class T> 
class non_sense_concrete : public non_sense<T> {

    public: 
        void nonsense_func() {
            std::cout << "non_sense_concrete<T> generic code" << std::endl;
        }

};

// Specialize the concrete class
template<>
void non_sense_concrete<int>::nonsense_func(){
    std::cout << "no_sense<int>::nonsense_func" << std::endl;
}


int main(){

    non_sense_concrete<double> objectGeneric;
    objectGeneric.nonsense_func(); 

    non_sense_concrete<int> objectInt;
    objectInt.nonsense_func();


    return 0;
}