如何在 C++ 结构初始化中获取成员

Question

struct Test {
    int w, h;
    int * p;
};

int main(){
    Test t {
        10,
        20,
        new int[this->h*this->w]
    };
    return 0;
}

我只想在初始化中使用 w 和 h，有什么办法可以得到这个吗？

Answer 1

首先 - 你应该避免显式调用new （和delete ） ，除非在极少数情况下； 这不是其中之一。 使用std::unique_ptr来保存您分配的 memory （见下文）。

要回答您的问题：您不能将结构/类的成员用作该结构/类的构造函数的 arguments。 从概念上讲，arguments 在构造函数运行之前被解析。

但是，您可以编写命名构造函数：

struct Test {
    int w, h;
    std::unique_ptr<int[]> p;

static:
    Test make(int w, int h) {
        return Test{ w, h, std::make_unique<int[]>(w*h) };
    }
};

这会让你写：

auto my_test = Test::make(w, h);

或者，您可以直接实现一个只需要w和h的构造函数：

struct Test {
    int w, h;
    std::unique_ptr<int[]> p;

    Test(int w_, int h_) : w(w_), h(_), p(std::make_unique<int[]>(w_*h_) { }
};

...但是您需要为无参数构造函数和 3 参数构造函数（如果不是其他方法）编写一些额外的代码。

Answer 2

如果您为 class 编写构造函数，则可以利用其成员初始化列表。 特别是，您可以利用“非静态数据成员按 class 定义中的声明顺序初始化”这一事实。

考虑这个不那么琐碎的例子

#include <iostream>
#include <stdexcept>
#include <vector>

class Matrix
{
    int h_{};
    int w_{};
    std::vector<int> d_;
public:
    Matrix() = default;
    Matrix(int h, int w)
        : h_{checked_positive(h)}
        , w_{checked_positive(w)}
        , d_(h_ * w_)             // <-- 
    {}

    void show() {
        std::cout << h_ << ' ' << w_ << ' ' << d_.size() << '\n';
    }
private:
    int checked_positive(int d) {
        if (d < 1)
            throw std::runtime_error{"Dimensions must be positive"};
        return d;
    }
};

int main()
{
    Matrix a(3, 4);

    a.show();
}

但请注意，一些审阅者可能会发现这种对成员声明顺序的依赖是不必要的，并且会增加可维护性成本。

或者，依赖成员可以默认初始化，然后在构造函数的主体中修改：

class Matrix
{
    std::vector<int> d_;  // <--
    int h_{}, w_{};
public:
    Matrix() = default;
    Matrix(int h, int w)
        : h_{checked_positive(h)}
        , w_{checked_positive(w)}
    {
        d_.resize(h_ * w_);   // <--
    }
// ...