向量和原始类型初始化

Question

我了解到，如果您在全局范围内声明一个int，

int x; //默认为0;

在当地范围内

void f() {
    int x; //undefined
}

但是，如果我们在全局或局部范围内使用向量：

vector <int> v（3）; //使用int的默认构造函数将v初始化为{0,0,0}。

通过执行以下操作，我们可以在本地范围内默认初始化int，例如vector的元素：

int x = int（）; //默认为0

我认为，如果我们使用int的默认构造函数，那么它将在堆中分配。

1. 为什么不能在Tx;之类的本地范围内默认初始化原始类型？ 要么
2. 在本地范围内，为什么矢量（其他容器不知道）使用元素的默认构造函数，而不像int声明那样不对它们进行未初始化？
3. 当前的方法对这两种类型有什么好处？ 为什么用不同的方式初始化它们？ 这是关于性能的吗？

Answer 1

之所以这样，是因为出于“性能”的原因，因为C ++人士希望C人士早在1980年代就没有任何理由抱怨“为我们不需要的东西付钱”。 这是C ++的宗旨之一，它不为不使用的东西支付（运行时）费用。 因此，尽管具有构造函数的类和结构始终具有被调用的那些构造函数，但是默认情况下，老式POD类型是未初始化的。

如果我今天指定它，我会说int x; 在本地范围内将被默认初始化（为0），如果您想避免这种情况，可以说int x = std::noinit; 。 现在这还为时已晚，但是当性能非常重要时，我实际上已经在某些类类型中完成了它：

class SuperFast
{
  struct no_init_t {};
public:
  no_init_t no_init;
  SuperFast() : x(0), y(0) {}
  SuperFast(no_init_t) {}

private:
  int x, y;
};

这样，默认构造将提供有效的对象，但是如果您有严重的理由需要避免这种情况，则可以这样做。 如果您知道很快就会覆盖全部这些对象，则可以使用此技术-无需默认构造它们：

SuperFast sf(SuperFast::no_init); // look ma, I saved two nanoseconds!