C++:如何在对象构造过程中调用初始值设定项列表之外的成员构造函数

C++: How to call member constructor outside the initializer list during object construction?

本文关键字:列表 构造函数 成员 对象 调用 过程中 C++      更新时间:2023-10-16

我想在owners构造函数中调用成员对象的构造函数,但由于依赖关系,无法在初始值设定项列表中构造成员对象。初始化后如何调用构造函数?我真的不想使用init方法

不能在初始值设定项列表之外调用成员类的构造函数。

PS:即使你没有在初始值设定项列表中自己调用它,编译器也会隐式调用它。


如果您不能在初始值设定项列表中调用它,并且您不想使用类似init的方法,那么请重新考虑您的设计/方法。

您有两个选项:要么使用动态存储,要么放置新的。

第一个是显而易见的(正如评论中所指出的,您可以使用unique_ptr(。如果你想避免这种情况,你可以尝试用std::aligned_union作为存储的新位置:

class SomeClass { ... };
class Owner
{
public:
Owner()
{
m_ptr = new(&m_storage) SomeClass();
}
~Owner()
{
m_ptr->~SomeClass();
} 
private:
std::aligned_union<0, SomeClass> m_storage;
SomeClass* m_ptr;
};

注意:在这种情况下,您负责调用对象的析构函数,如上所示。

您可以用unique_ptr包装m_ptr(带有只调用析构函数的deleted(来避免这种情况:

struct DtorDeleter 
{ 
template<typename T>
void operator ()(T* ptr) { ptr->~T(); } 
};
std::unique_ptr<SomeClass, DtorDeleter> m_ptr; // no need to call destructor manually

您可以为此使用并集(需要C++11(:

#include <new>
class Foo {
public:
Foo(int a) { }
};
class Bar {
public:
Bar() {
new(&m_foo) Foo(42); // call the constructor
// you can use m_foo from this point
}
~Bar() {
m_foo.~Foo(); // call the destructor
}
private:
union { // anonymous union
Foo m_foo;
};
};

请注意,您需要在~Bar()显式调用m_foo的析构函数。

想要在所有者构造函数中调用成员对象的构造函数,但由于依赖而无法在初始值设定项列表中构造成员对象

您可以修改类以获得正确的依赖顺序,也可以使用委托构造函数:

所以转向:

struct S
{
S(/*..*/) : /*m1(data), m2(data),*/ data(/*..*/) // Issue, m1, m2 constructed before data
{
ComplexData2 data2 = Query();
m1.init(data, data2.someField1); // Doesn't like init method
m2.init(data, data2.someField2); // Doesn't like init method
} 
Member1 m1; // Cannot be const with init method :/
Member2 m2; // Cannot be const with init method :/
ComplexData data;
};

进入

struct S
{
S(/*..*/) : S(Query() /*, ..*/) {}
// private: // probably private
S(const ComplexData2& data2 /*, ..*/) :
data(/*..*/),
m1(data, data2.someField1),
m2(data, data2.someField2)
{
} 
public:
ComplexData data; // Before m1, m2 for dependencies.
/*const*/ Member1 m1; // Can be const
/*const*/ Member2 m2; // Can be const
};