使用` `std::function`‘类语法时，使用抽象类作为模板参数

Question

假设我有一个类来定义模板参数，比如std::function语法。

// Class that accept template arguments like std::function
template< class T >
class abstraction;

template< class TAbstract, class ...TDeriveds >
class abstraction< TAbstract(TDeriveds...) >
{
public:
    using abstract_component_t = TAbstract;

    abstraction()
    {
        int i = 0;
    }
};

// Abstract base class
class base
{
public:
    virtual void func() = 0;
};

// Derived class
class derived : public base
{
public:
    void func() override
    {

    }
};

当我使用抽象类作为这个类(abstraction<base(derived)>)的模板参数时，我会得到以下错误：

VC++ 2015.3 error: C2259: 'base': cannot instantiate abstract class
GCC 4.9.2 error: invalid abstract return type 'base'

我想知道它是编译器中的一个bug，还是禁止在这种语法中使用抽象类型？

链接到样本源。

Answer 1

模板参数TAbstract(TDeriveds...)是一个函数类型，它声明一个以TDeriveds...为参数的函数，并按值返回一个TAbstract。当按值返回时，必须实例化值类型的对象。抽象类的对象不能实例化，也就是说，按值返回它们是非法的(就像将它们作为参数一样)。相关条款是10.4 class.abstract第3款：

抽象类不应用作参数类型、函数返回类型或显式转换的类型。..。

但是，您可以通过引用返回抽象基类：

 template< class TAbstract, class ...TDeriveds >
 class abstraction< TAbstract&(TDeriveds...) >
 // ...

遗憾的是，这意味着类的用户在使用类时需要提到&。

Answer 2

实际上，使用TAbstract& (或指针类型)作为类的类型参数将解决问题。

问题很小:不能返回抽象类的实例。相反，您可以返回一个引用或TAbstract类型的指针。