Использовать абстрактный класс в качестве аргумента шаблона при использовании синтаксиса типа `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' 

я хочу знать, это ошибка в компиляторах или это запрещено использовать абстрактные типы с этим синтаксисом?

Link к образцу источника.

Answer 1

Аргумент шаблона TAbstract(TDeriveds...) - это тип функции, объявляющий функцию, принимающую TDeriveds... как аргументы и возвращающую значение TAbstract по значению. При возврате по значению необходимо, чтобы объекты типа значения могли быть созданы. Объекты абстрактного класса не могут быть созданы, т. Е. Возвращать их по значению незаконно (как принимает их как параметры). Соответствующим пунктом является 10.4 [класс.абстракт], пункт 3:

Относительный класс не должен использоваться в качестве типа параметра, как возвращаемый тип функции, или как тип явного преобразования. ...

Вы можете, однако, вернуться абстрактные базовые классы по ссылке:

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

К сожалению, это означает, что пользователи класса необходимо упомянуть & при использовании класса.

Answer 2

На самом деле, с помощью TAbstract & (или типа указателя) в качестве аргумента типа для вашего класса будет решена проблема.

Проблема тривиальна: вы не можете вернуть экземпляр абстрактного класса. Вместо этого вы можете вернуть ссылку или указатель типа TAbstract.