c++ - 如何使用std::auto_ptr实现协方差分配？

我有以下用例，但我不知道如何使它工作:

enum MyTemplateEnum { A, B };
template<MyTemplateEnum T = A>
class MyTemplateClass<T> {
   // ...
};

std::string argument = ...;
std::auto_ptr<MyTemplateClass<> > instance;
if (argument == "a") {
  std::auto_ptr<MyTemplateClass<A> > temp(new MyTemplateClass<A>(...));
  instance = temp;
} else
if (argument == "b") {
  std::auto_ptr<MyTemplateClass<B> > temp(new MyTemplateClass<B>(...));
  instance = temp;
}

这导致编译错误，因为我基本上不能将具体的实现std::auto_ptr<MyTemplateClass<A> >分配给通用版本std::auto_ptr<MyTemplateClass<> >。

最佳答案

对于MyTemplateClass<T>模板的所有实例化，您需要一个通用的基类。否则，所有声明都是不相关的类。

class MyTemplateBase {
public:
    // Don't forget virtual destructor.
    virtual ~MyTemplateBase() {}
};

template<typename T = A>
class MyTemplateClass : public MyTemplateBase {
};

std::auto_ptr<MyTemplateBase> instance;
if (argument == "a") {
  instance.reset(new MyTemplateClass<A>(...));
} else if (argument == "b") {
  instance.reset(new MyTemplateClass<B>(...));
}

请注意，std::auto_ptr已过时。如果可能，请改用std::unique_ptr或boost::scoped_ptr。