代码之家 › 专栏 › 技术社区 › Oliv

我可以在构造器的主体中转发构造吗?

language-lawyer constructor c++

Oliv · 技术社区 · 6 年前

让我们考虑在类的构造函数执行期间 S S 可以使用其他构造函数构造。一种解决方案是在 this

struct S{
    unsigned int j; //no const neither reference non static members
    S(unsigned int i){/*...*/}
    S(int i){
       if (i>=0) {
         new (this) S(static_cast<unsigned int>(i));
         return;}
       /*...*/
       }
    };
 int i=10;
 S x{i};//is it UB?

存储重用在中定义 [basic.life] . 我不知道在构造函数执行期间存储被(重新)使用时如何阅读这一节。

2 回复 | 直到 6 年前

Rakete1111 6 年前

在这种情况下,标准是完全不明确的,我找不到相关的CWG问题。

就其本身而言,你的新位置不是UB。毕竟,存储没有对象,所以可以直接在其中构造对象。正如你所说的,第一个物体的生命周期还没有开始。

你甚至可以构造更奇怪的代码:

struct X {
  X *object;
  int var;
  X() : object(new (this) X(4)), var(5) {} // ?!?
  X(int x) : var(x) {}
} x;

-1

Rakete1111 6 年前

不,不是的。 [basic.life]/5 说:

程序可以通过重用对象所占用的存储器来结束任何对象的生命周期

强调与类相关的部分,它有一个简单的析构函数。关于具体的 new (this) T; [class.cdtor] 也没有 [class.dtor] .

推荐文章

Ayrosa · 在[over.ass]/2中的示例中,为什么*bptr=dobj2;调用D::运算符=(常量B&)?

7 年前

Robert E. Brown · 嵌套类的嵌套类的访问权限

7 年前

YSC · 通过成员指针访问受保护的成员:这是黑客行为吗?

7 年前

Alexander · 在下面的示例中,为什么int(a)是表达式,int(unsigned(a))是类型id?

7 年前

Swift - Friday Pie · 交换数学运算的阶

7 年前

Acorn · Linux内核的\uu is\u constexpr宏

7 年前

Acorn · 检测宏中的整数常量表达式

7 年前

Petr Skocik · 兼容类型并忽略C类型系统中的顶级限定符

7 年前

choxsword · 为什么在这里提到prvalue时使用术语“object”?

7 年前

PaperBirdMaster · 具有模板参数推断和默认模板参数的模板变量

7 年前