模板参数的 C++ value_type

Question

首先，这是我的例子:

SymmetricMatrix<std::vector<int>, int> a;
SymmetrixMatrix<std::list<int>, int> b;
SymmetricMatrix<std::deque<double>, double> c;

SymmetricMatrix<std::vector<int> > d;
SymmetricMatrix<std::vector<double> > e;

所以有两个模板参数。如果我为第二个写了一个默认参数，我就不必在创建对象时给它命名。但是我怎样才能将它调整到第一个参数呢？例如，如果第一个参数是 std::vector<int> , 第二个应该是 int , 如果第一个是 std::vector<double> , 第二个应该是 double .

Answer 1

template<class DS, class T = typename DS::value_type>
class SymmetricMatrix
{
};

SymmetricMatrix<std::deque<double>> c;

假设 DS(数据结构)包含 typedef value_type，否则将无法编译。您可以将 value_type 替换为您想要的任何内容，只要它在 DS 中即可。