C++中具有纯虚方法的抽象模板类

Question

public/Interface.h

#pragma once

template <typename T>
class BaseInterface {
public:
    virtual void foo() = 0;
};

private/Base.h

#pragma once
#include "../public/Interface.h"

template <typename T>
class Base : public BaseInterface<T> {
public:
   virtual void foo() override;
};

template <typename T>
inline void Base<T>::foo() {
}

main.cpp

#include <iostream>
#include <memory>
#include "public/Interface.h"

int main() {
    auto base = std::make_shared< BaseInterface<std::string> >();
    base->foo();
    return 0;
}    

收到此错误：

/usr/include/c++/5/ext/new_allocator.h:120:4: error: invalid new-expression of abstract class type ‘BaseInterface<std::__cxx11::basic_string<char> >’
  { ::new((void *)__p) _Up(std::forward<_Args>(__args)...); }

AbstractPureVirtual/public/Interface.h:4:7: note:   because the following    virtual functions are pure within ‘BaseInterface<std::__cxx11::basic_string<char> >’:
 class BaseInterface {

AbstractPureVirtual/public/Interface.h:6:17: note:  void BaseInterface<T>::foo() [with T = std::__cxx11::basic_string<char>]
virtual void foo() = 0;

虽然我已经覆盖了派生类中的纯虚方法，但我得到了这个错误，并且看起来它应该是一个模板类。如果我需要做类似的事情，我应该如何实施？

Answer 1

make_shared 创建一个与您指定的类完全相同的对象。它无法知道它的派生类，所以make_shared< BaseInterface<std::string> >()本质上调用了new BaseInterface<std::string>，并且不允许创建抽象类的对象。这与模板无关；如果你用普通类替换它们，错误仍然存​​在。

Answer 2

auto base = std::make_shared< BaseInterface<std::string> >();

您尝试在此处创建BaseInterface<std::string> 类型的具体对象。我怀疑你想要：

auto base = std::make_shared< Base<std::string> >();

或许

std::shared_ptr< BaseInterface<std::string> > base = std::make_shared< Base<std::string> >();