6
我的目標是實現一個容器（這裏是一組堆棧，每個類型一個堆棧），它們可以同時接受許多不同類型的對象。在運行時使用void指針（或所有存儲類型的公共基類）和運行時類型標識（RTTI），這是微不足道的。由於所有類型的容器在編譯時都是已知的，它可能（或不可能）使用模板來創建這樣的類。我知道boost::variant已經提供了類似的功能，但它要求存儲的類型被列爲模板參數，如boost::variant< int, std::string > v;。使用靜態多態性的異構容器
我真正想要的是每次創建等效於push()的新模板特化時，透明地爲其自身添加匹配（內部）數據結構的類。類的用法是這樣的：
int main()
{
MultiTypeStack foo;
//add a double to the container (in this case, a stack). The class would
//..create a matching std::stack<double>, and push the value to the top.
foo.push<double>(0.1);
//add an int to the container. In this case, the argument type is deduced.
//..The class would create a std::stack<int>, and push the value to the top.
foo.push(123);
//push a second double to the internal std::stack<double>.
foo.push<double>(3.14159);
std::cout << "int: " << foo.top<int>() << "\n"; //"int: 123"
std::cout << "double: " << foo.top<double>() << "\n";//"double: 3.14159"
return 0;
}
一個天真的實施爲例：
template<typename T> struct TypeIndex;
template<> struct TypeIndex<int>{enum{i = 0};};
template<> struct TypeIndex<double>{enum{i = 1};};
class MultiTypeStack
{
public:
template<typename T>
void push(const T &val){std::get<TypeIndex<T>::i>(stacks_).push(val);}
template<typename T>
void pop(){std::get<TypeIndex<T>::i>(stacks_).pop();}
template<typename T>
T top(){return std::get<TypeIndex<T>::i>(stacks_).top();}
private:
std::tuple<std::stack<int>, std::stack<double>> stacks_;
};
您不能根據任何隨機客戶端可能*以後使用類型來定義類型。如果沒有某種動態代碼，你不能建立一個無界的數據結構。 –
正如你展示你的_'nive實現'，可能是[這個問答'從元組或變量模板參數創建數組初始化']（http://stackoverflow.com/questions/18251815/creating- an-array-initializer-from-a-tuple-or-variadic-template-parameters）對你很有用。我相信你的用例可能是相似的。至少我需要這樣來定義某些閃存數據佈局（併成功使用了這個習慣用法）。 –
'boost :: any'是新的'void *'。 –