为何C++结构化绑定声明会触发析构函数调用？

核心原因：值类型结构化绑定会创建临时对象副本 #

在f()函数中，你使用的是值类型的结构化绑定：

auto [x] {s};

这种写法会触发编译器创建一个临时的S类型对象——它是传入的s的拷贝（编译器会为S生成默认拷贝构造函数）。x实际上是绑定到这个临时对象的x成员上，而非原对象s的成员。

当f()函数执行完毕，这个临时对象会离开作用域，因此会调用它的析构函数，也就是你看到的额外~S: 0x7fff32c81740输出（这个地址和main()中s的地址不同，也证明这是另一个独立对象）。

对比其他函数的行为 #

• g()函数：使用的是引用类型的结构化绑定auto& [x] {s};，这里直接将x绑定到原对象s的x成员上，不会创建任何临时对象，因此没有额外的析构调用。
• h()函数：直接复制s.x到局部变量x，操作的是成员变量本身，没有涉及S类型对象的创建，自然也不会触发析构。

关键细节 #

即使结构体只有单个成员，值类型的结构化绑定依然会创建整个结构体的临时副本，而非仅复制成员变量——这是结构化绑定的语义规则：它绑定的是整个对象的成员，而非直接提取成员值。如果想避免临时对象，就需要像g()那样使用引用类型的结构化绑定，或者像h()那样直接访问成员变量。

内容的提问来源于stack exchange，提问作者jonas-schulze