C++20中Cell构造函数的移动消除是否有保证？T可移动时是否仅调用常规（非移动）构造函数？

咱们来逐个拆解你提出的两个场景：

场景1：T是不可移动且不可复制类型 #

先看你的代码片段：

struct Cell { Cell(T&& instance) : obj(std::move(instance)) {} private: T obj; };
Cell cell(T{/* arguments */});

核心依据是C++20的强制移动/复制消除规则：当右值引用参数绑定到临时对象，随后通过std::move(instance)将其转换为右值来初始化同类型对象时，编译器必须消除移动操作。

直白点说，编译器会直接把T{/* arguments */}这个临时对象构造到Cell::obj的内存位置里，完全跳过任何移动或复制步骤——哪怕T没有移动/复制构造函数，这段代码也能正常编译。所以这个场景下，移动消除是有标准保证的。

场景2：T是可移动类型 #

同样遵循C++20的强制消除规则，只要满足“用绑定到临时对象的右值引用初始化同类型对象”这个条件，编译器就必须跳过移动构造，直接把临时对象构造到目标位置。

也就是说，这里只会调用T{/* arguments */}对应的常规构造函数，T的移动构造函数哪怕存在也不会被触发。所以这个场景下，可以保证仅调用T的常规构造函数。

补充一句：这种强制消除规则从C17就开始引入了，C20延续并明确了细节，所以只要编译器符合C++17及以上标准，这个行为都是可靠的。

内容的提问来源于stack exchange，提问作者Pavel Kirienko