Использование статических переменных с шаблонами

Question

Я пытаюсь создать класс шаблона, который содержит статический список объектов, в котором есть только один. То, что я до сих пор работает, но дает мне копию «mylist» для каждого типа класса B. Как я могу изменить его, чтобы получить один «mylist» для всех экземпляров класса B независимо от параметров шаблона?

Это то, что я есть:

template <class T> class A { 
    ... 
}; 
template <class T> class B { 
    static list<A<T> > mylist; 
    ... 
}; 
template <class T> list< A<T> > B<T>::mylist; 

Заранее спасибо :)

Answer 1

Как изменить его так, что у меня есть только одна копия

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

... который содержит любой тип?

Это зависит от ваших ожиданий. Я предположим из вашего примера, что «любой тип» означает «любое создание шаблона класса A».

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

Это один пример решения, которое решило бы обе эти проблемы.

class ACommon { 
    // Put a common virtual interface here. 
}; 

template <class T> class A : public ACommon { 
}; 

class BCommon { 
    // You'll have a single, common static here. 

    static list<shared_ptr<ACommon> > mylist; 
}; 

template <class T> class B : public BCommon{ 

}; 

Answer 2

Вы не можете «просто» иметь ЛЮБОЙ тип в списке, живущий бок о бок. В зависимости от того, что вы ожидаете от этого списка, и объектов в нем, есть несколько вещей, которые нужно сделать.

Альтернативой решению Дрю было бы следующее: Вам обязательно нужен BCommon, если вам нужен один список для всех экземпляров. Если вы не хотите скрывать свои типы A за интерфейсом, вы можете использовать Boost :: any или Boost :: variant для хранения ваших объектов A.