Возвращение абстрактного класса из функции

Question

Возможно ли вернуть абстрактный объект (класс или ссылку, не имеет значения) из функции?

Answer 1

Вы можете вернуть абстрактный указатель класса - при условии, B это конкретный класс, производный от абстрактного класса A:

A * f() { 
    return new B; 
} 

или ссылка:

A & f() { 
    static B b; 
    return b; 
} 

или смарт-указатель:

std::unique_ptr<A> f() { 
    return std::make_unique<B>(...); 
} 

Answer 2

Абстрактные классы не могут быть созданы и, следовательно, не возвращены.

Answer 3

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

Answer 4

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

Тем не менее, вы не можете вернуть фактический экземпляр фактического абстрактного класса, потому что по определению вы не можете его создать. Однако вы могли возвращать экземпляры конкретных подтипов, которые достаточно хороши, потому что в principle of substitution вы всегда должны использовать подтип вместо супертипа.

Answer 5

Фабрика шаблон проектирования является примером возвращающая указатель на абстрактный объект класса:

class Base 
{ ; } 

class One : public Base 
{ ; } 

class Two : public Base 
{ ; } 

Base * Factory(unsigned int number) 
{ 
    Base * p_item(NULL); 
    switch (number) 
    { 
    case 1: 
     p_item = new One; 
     break; 
    case 2: 
     p_item = new Two; 
     break; 
    default: 
     p_item = NULL; 
     break; 
    } 
    return p_item; 
} 

Фактический абстрактный объект базового класса никогда не могут быть возвращены, так как никогда не может быть экземпляр абстрактного базового класса. Указатели и ссылки на абстрактный базовый тип могут быть возвращены, как в приведенном выше примере.

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

Answer 6

Я знаю, что я немного поздно, но я надеюсь, что это поможет кому-то ...

Будучи новичком в C++ программирование, я тоже застрял на некоторое время на эту проблему. Я хотел создать фабричный метод, который возвращает ссылку на абстрактный объект. Мое первое решение с использованием указателей хорошо работало, но я хотел остановиться на более «манере C++». Вот фрагмент кода, который я написал, чтобы продемонстрировать это:

#include <iostream> 

using std::cout; 
using std::endl; 

class Abstract{ 
public: 
    virtual void foo() = 0; 
}; 

class FirstFoo: public Abstract{ 
    void foo() 
    { 
    cout << "Let's go to the foo bar!" << endl; 
    } 
}; 

class SecondFoo: public Abstract{ 
    void foo() 
    { 
    cout << "I prefer the foo beer !" << endl; 
    } 
}; 

Abstract& factoryMethod(){ 
    static int what = 0; 

    if(what++ % 2 == 0) 
    return *(new FirstFoo()); 
    else 
    return *(new SecondFoo()); 
} 

int main(int argc, char* argv[]) 
{ 
    int howMany = 10; 
    int i = 0; 

    while(i++ < howMany) 
    { 
    Abstract& abs = factoryMethod(); 
    abs.foo(); 
    delete &abs; 
    } 
} 

Открыт для любого критика!