调用 C++ STL 容器的 value_type 的静态成员函数

Question

我试图弄清楚为什么以下内容不起作用。我有一个 std::vector，我想调用它的静态成员函数，它包含 value_type，如下所示：

std::vector<Vector> v;
unsigned u = v.value_type::Dim();

Vector 实际上是模板化类型的 typedef：

template <typename T, unsigned U> class SVector; 
typedef SVector<double, 2> Vector; //two-dimensional SVector containing doubles

而静态成员函数 Dim() 实际上内联了 Vector 的维数 U。

现在编译器返回一条错误消息：

 error: ‘SVector<double, 2u>’ is not a base of 
 ‘std::vector<SVector<double, 2u>, std::allocator<SVector<double, 2u> > >

这让我很困惑。我可以用

替换明显有问题的行

unsigned u = Vector::Dim();

这行得通，但显然很难看，因为它硬编码了关于 v 的 value_type 的假设...... 谢谢！

Answer 1

您正在通过变量实例而不是变量类型访问 value_type。

方法 1 - 可行：

typedef std::vector<Vector> MyVector;
MyVector v;
unsigned u = MyVector::value_type::Dim();

方法 2 - 或者这个：

std::vector<Vector> v;
unsigned u = std::vector<Vector>::value_type::Dim();

如果你像方法 1 一样 typedef，你不会对向量模板参数的假设进行硬编码，而是编写干净的代码。

---

编辑：应问题所有者的要求扩展以解释此问题的行为：

范围解析运算符:: 的precedence 比任何其他C++ 运算符都高。这包括来自对象. 运算符的成员访问。因此，当您编写以下内容时：

unsigned u= v.value_type::Dim();

这将解析为以下 C++ 代码：

unsigned u = v.SVector<double, 2>::Dim();

最终首先解决的是SVector<double, 2>::Dim() 部分。这将强制通过变量v 声明的向量实例具有一个名为 SVector 的模板化内部类。因为这不会发生，所以会导致错误：

error C2039: 'SVector<double,2>' : is not a member of 'std::vector<_Ty>'

STL vector 对于此模式的每次使用都必须“扩展”（通过变量实例而不是变量类型访问 value_type）。这不是一个好的解决方案，因为它会导致大量样板文件和不必要且不可维护的代码。通过遵循上述解决方案，您可以避免所有这些，并且可以轻松地做您想做的事情。