什么时候分配和初始化变量？

Question

请看一下这段代码：

template <typename T>
class matrix
{
    private:
        std::vector<T> vec_;

public:
    matrix(size_t rows , size_t cols) : rows_(rows) , cols_(cols) , vec_(rows_ * cols_)
    {
    }       
    size_t rows_;
    size_t cols_;   

};

这是一种声明类的方法。我只是想知道std::vector 分配在哪里以及它在哪里被初始化？

当我声明一个变量时会发生什么？它的空间是在调用构造函数之前在堆栈中分配的，还是在构造函数中分配和初始化的？

声明一个大小为10的向量有什么区别

 std::vector<T> vec_(10);

并在构造函数中调用大小为 10 的 vec_ 的构造函数？

 matrix() : vec_(10)

我想了解如何在 C++ 中分配和初始化对象。

我也可以创建构造函数而不调用std::vector的构造函数

 matrix() {}

这里发生了什么？由于我没有调用向量的构造函数，编译器会调用它自己的构造函数吗？可以使用矢量对象吗？还是因为我将std::vector 声明为我班级中的变量而自动调用它？

还初始化为std::vector vec(10)，与调用resize/reserve 的效果相同。离哪个更近？

Answer 1

类对象的成员按照声明的顺序进行初始化。在这种情况下，它是这个顺序：

private:
    std::vector<T> vec_;

public:
   size_t rows_;
   size_t cols_;   

所以在执行初始化列表时

matrix(size_t rows , size_t cols) : rows_(rows) , cols_(cols) , vec_(rows_ * cols_)

真正的顺序是

vec_(rows_ * cols_), rows_(rows) , cols_(cols) 

在初始化之前使用rows_ 和cols_。坏事也会发生。

Answer 2

那个代码：

private:
    std::vector<T> vec_(10);

不像 Bo 所说的那样编译。但是您可以在 c++11 中以合法且高性能的方式执行此操作（因为copy elision 是高性能的：赋值运算符很可能被转换为复制构造函数，因为对象正在这一行被初始化）：

private:
    std::vector<T> vec = std::vector<T>(10);

所以，之前的构造和这个：

public: 
     matrix() : vec_(10)

做同样的事情：vec_ 将被构建一次，其中包含 10 个元素，就像 resize 所做的一样，除了它更快，因为您不必创建一个空向量 并且 em> 调整它的大小。

对于您问题的第二部分：如果您使用默认构造函数创建实例，编译器将为所有类成员调用默认构造函数，因此非常安全。

注意：POD 对象没有归零，这可能是个问题，因此最好将指针设置为nullptr，将整数设置为 0，等等...否则你会得到未初始化的值，当进入带有传递给delete的无效指针...

当然，如果其中一个成员只有非默认构造函数（需要一个参数），它将无法编译。