c++ - 从不同的变量模板类型构建变量的模板类型

Question

如果我有一个类型为模板类的变量，我想构建另一个不同模板类的变量，但使用相同的模板参数，我该怎么做？

虽然下面的例子不起作用，但它很有希望给出我想要完成的事情的想法。如果没有非常具体的方法来做到这一点，是否有办法使用某种查找表设计模式来做到这一点？我可能最终会使用大约六种不同的模板化类型。

template<typename T>
class A{
public:
    typedef T Type;
};

template<typename T>
class B{};

int main(void){
    A<int> var1;

    B<var1::Type> var2;
}

如果这是一个重复的问题，我深表歉意，但我之前没有看到类似这样的问题。

编辑

我想要一种方法让它与 Visual Studio 2010 和 gcc 一起工作，而不使用第三方库。因此，并非所有 C++ 11 功能都受支持。

此外，不使用 typedef A<int>或知道A<int>因为这段代码只是一个测试用例场景，用于显示我想要的基本功能。我想要一种从类型为模板的变量中获取模板类型的方法。

Answer 1

即使使用 VC++ 2010 的预标准化 decltype，我认为您也可以这样做:

template<typename T>
struct A {
    typedef T Type;
    Type foo();
};

template<typename T>
struct B {};

int main() {
    A<int> var1;
    B<decltype(var1.foo())> var2;
}

这取决于能够形成一些使用您想要的类型的表达式。