c++ - 获取保证适用于通过不同类型的 vector 进行索引的 size_type

Question

假设我有两种类型，Class1和 Class2 .然后我创建两个 vector :

vector<Class1> vec1;
vector<Class2> vec2;
//create vec1 and vec2, such that both have the same number of elements
for (vector<Class1>::size_type i=0; i!=vec1.size(); ++i) {
  c1 = vec1[i];
  c2 = vec2[i]; //BAD?
  //do something
}

你大概明白了。在这种情况下依赖 size_type 不是很糟糕吗？对于 vector<Class2>与 vector<Class1> 的相同？

在这些情况下，您有两个包含不同类型对象的相同大小的 vector ，但它们之间的相关性足以保证循环遍历它们，如何解决这个问题？

我知道我不太可能达到足够高的整数而遇到问题，但我仍然想编写良好、健壮的 C++ 代码。也许我应该看看这两个 size_type s 并取其中的最小值？那是要走的路吗？对我来说这听起来像是一种奇怪的做法。

Answer 1

std::allocator 将 size_type 定义为 size_t，因此您可以假设 size_type 为 size_t iif 您可以保证没有自定义分配器为其 size_type 定义不同的类型。

但是，您冒着有人稍后回来并添加可能与此假设不兼容的自定义分配器的风险。