Как обрабатывать возвращение абстрактных объектов

Question

Я столкнулся со следующей ситуацией:

class Base{ 
     virtual void Stuff() = 0; 
}; 

class ConcreteA : public Base{ 
     void Stuff() {}; 
}; 

class ConcreteB : public Base{ 
     void Stuff() {}; 
}; 

class Context { 
     Base exec() { 
      ConcreteA conc_a(); 
      return a; 
     } 
}; 

Конечно компилятор дает мне ошибку, так как Base является абстрактным. Однако мне нужно, чтобы exec() возвращал базовый тип. Я знаю, что могу сделать компилятор счастливым с помощью указателей или ссылок, но поскольку объект ConcreteA создается в exec(), возврат по значению - лучший способ избежать оборванных ссылок или указателя с неопределенным правом собственности.

Есть ли способ избежать использования указателей или ссылок для обработки таких ситуаций?

Answer 1

Это выглядит как идеальный, простой вариант использования для std::unique_ptr. Вот C++ 14 Пример:

#include <memory> 
#include <iostream> 

class Base{ 
public: 
     virtual ~Base() {} 
     virtual void Stuff() = 0; 
}; 

class ConcreteA : public Base{ 
     void Stuff() { std::cout << "ConcreteA::Stuff\n"; }; 
}; 

class ConcreteB : public Base{ 
     void Stuff() { std::cout << "ConcreteB::Stuff\n";}; 
}; 

class Context { 
public: 
     std::unique_ptr<Base> exec() { 
      return std::make_unique<ConcreteA>(); 
     } 
}; 

int main() 
{ 
    Context c; 
    auto base_ptr = c.exec(); 
    base_ptr->Stuff(); 
} 

памяти автоматически удаляется при base_ptr в main выходит из области видимости.

Обратите внимание, что я также создал виртуальный виртуальный дескриптор Base. Возможно, вы просто оставили это в своем примере кода ради краткости, но его важность должна быть подчеркнута, и я думаю, что его нужно держать даже в коротком примере кода.