c++ - 如何在 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(and delete)，除非在极少数情况下；这不是其中之一。使用 anstd::unique_ptr来保存分配的内存（见下文）。

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

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

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);

或者，您可以直接实现一个仅采用wand的构造函数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

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

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

#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_);   // <--
    }
// ...