Возвратите полиморфный тип без динамического распределения памяти?

Question

Существует ли стандартный шаблон проектирования, с помощью которого я могу вернуть полиморфный тип из процедуры, не требуя также динамического выделения памяти для объекта в рамках процедуры?

Или полиморфизм и динамическое распределение памяти обязательно идут рука об руку на практике?

Я надеюсь на совместимое с C++ 03 решение, но если есть C++ 11, то мне также интересно это увидеть.

Answer 1

Object Pool

Действительно это для работы, сократить ассигнования; он кажется применимым в вашем сценарии, однако, предполагая, что у вас есть ограничение на количество экземпляров объекта. Приведенный ниже код иллюстрирует эту идею. Для этого требуется априорное знание того, какие типы задействованы (поскольку вам необходимо выделить необходимые буферы объектов). Также удаление (возвращение типа в пул) требует осторожности и знаний о типе. Это можно сделать с помощью вызова виртуальной функции.

template< typename Type > 
struct TypePool 
{ 
    static TypePool& GetInstance(){ return pool; } 

    Type& GetPooledObject() 
    { 
     return arr[0]; // do some real tracking here 
    } 

    private: 
    static TypePool<Type> pool; 
    Type arr[10]; 
}; 

struct A{ }; 
struct B : public A { }; 
struct C : public A { }; 

// The catch to this design... 
TypePool<A> TypePool<A>::pool; 
TypePool<B> TypePool<B>::pool; 
TypePool<C> TypePool<C>::pool; 

struct ObjectFactory 
{ 
    // Actual function you would call to construct the object 
    // ObjectFactory::GetType<A> or GetType<B> 
    template< typename Type > 
    static A& GetType() 
    { 
     return TypePool<A>::GetInstance().GetPooledObject(); 
    } 
}; 


int main(int argc, char* r[]) 
{ 
    A& object = ObjectFactory::GetType<C>(); 
}