为什么我的 vector<int>s 没有默认为 0？

Question

以下代码在 ideone 上运行良好，输出为

10000
10000

如预期的那样

但是在我的本地机器上，输出是这样的

9990
9998

代码所做的只是创建一个包含 10k int 的向量并计算其中 0 的数量。一次使用类，一次在 main 中。

如果我以调试模式在本地运行代码，则会导致

0
0

我在 Windows 7 上使用带有默认 GNU GCC 编译器的 codeBlocks（虽然它编译 C++，所以我猜它与只编译 C 的 Linux GCC 不同）

#include<iostream>
#include<vector>
using namespace std;
class vecttest
{
    vector<int> vect;
    public:
    vecttest()
    {
        vect.reserve(10000);
    }
    int zcount()
    {
        int count=0;
        for(int i=0;i<10000;i++)
        {
            if(vect[i]==0)
                count++;
        }
        return count;
    }
};
int main()
{
    vecttest v;
    cout<<v.zcount();

    vector<int> v2;
    v2.reserve(10000);
    int count=0;
        for(int i=0;i<10000;i++)
        {
            if(v2[i]==0)
                count++;
        }
    cout<<endl<<count;
}

ideone链接：http://ideone.com/q1XRvQ

Answer 1

reserve(..) 方法只保证分配空间。它不保证向量元素中的值。唯一会发生的事情是您的计数不会崩溃。结果值取决于实现/分配/等。

了解容器和迭代器的核心思想是它们与简单数组一样不安全：

char b1[100];
vector<char> b2(100);

void f()
{
   char c1 = b1[200];
   char c2 = b2[300];
}

在这两种情况下，编译器都会生成代码来获取数组之外的内容。这两个示例都触发了未定义的行为。也许代码会崩溃，也许不会。两种访问都同样糟糕。

这种设计的主要原因是速度。访问数组应该很快。这是 C/C++ 的核心思想。索引的值是程序员的责任。编译器不会检查。不管你喜不喜欢，就是这样。