gpt4 book ai didi

继承引用成员的构造函数中的 C++ 默认初始化

转载 作者:太空狗 更新时间:2023-10-29 20:45:06 29 4
gpt4 key购买 nike

我有一个更新外部引用的基类,我想构建一个将此引用作为成员嵌入的继承类。一种引用的默认初始化。

我想出了以下解决方案:

#include<iostream>

class Statefull
{
public:
Statefull( int& ref ) : _base_ref(ref) {}
int& _base_ref;
// update the extern variable
void work() { std::cout << ++_base_ref << std::endl; }
};

class Stateless : public Statefull
{
public:
// use a temporary allocation
Stateless( int* p = new int() ) :
// we cannot initialize local members before base class:
// _dummy(), Statefull(_dummy)
// thus, initialize the base class on a ref to the temporary variable
Statefull(*p),
_tmp(p),
_dummy()
{
// redirect the ref toward the local member
this->_base_ref = _dummy;
}
int* _tmp;
int _dummy;
// do not forget to delete the temporary
~Stateless() { delete _tmp; }
};

int main()
{
int i = 0;
Statefull full(i);
full.work();

Stateless less;
less.work();
}

但是在构造函数的默认参数中临时分配的需要看起来很丑陋。有没有更优雅的方法来实现这种默认初始化,同时在基类构造函数中保留引用

最佳答案

嗯,Stateless 类违反了三规则。但我假设那是因为这只是展示真正问题的示例代码。

现在,要真正解决这个问题:将一个引用绑定(bind)到一个未初始化的变量是完全有效的,只要它的值在初始化实际发生之前没有被使用。

Stateless() : Statefull(_dummy), _dummy() {}

目前的解决方案有效,但似乎对其有效的原因存在一些误解。

    // redirect the ref toward the local member
this->_base_ref = _dummy;

您不能“重定向”引用。您只能绑定(bind)一次引用:在初始化时。分配给一个引用就是分配给它所引用的对象。在这种情况下,this->_base_ref = _dummy *_tmp = _dummy 完全相同:它分配了 _dummy 的值*_tmp。但是,_base_ref 仍然引用 *_tmp(您可以使用 assert(&_base_ref == tmp) 进行测试)。

关于继承引用成员的构造函数中的 C++ 默认初始化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11537304/

29 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com