转发引用能否保证复制消除？能否延迟prvalue参数的栈构造？

首先明确C17的核心规则：**自C17起，当变量通过返回prvalue的函数调用初始化时，强制复制消除是标准要求的**——编译器必须直接在目标变量的内存位置构造对象，不会产生中间临时对象，也不允许调用拷贝/移动构造函数。

针对你给出的代码和调用场景，具体分析如下：

• 转发引用的核心作用是保留实参的值类别：当你以some_constructor(some_args)这个prvalue作为第一个参数调用foo1时，模板参数T1会被推导为对应类型（比如SomeType，而非引用类型），此时T1&& arg1作为转发引用，会正确绑定到这个prvalue。后续调用std::forward<T1>(arg1)时，会将其还原为prvalue类型传递给foo2。
• 构造会延迟到栈最底层：foo2的形参T arg是通过prvalue初始化的，根据C++17的强制复制消除规则，这个对象会直接在foo2的arg内存位置构造，完全跳过中间临时对象的创建——也就是你所说的“构造延迟到栈的最底层位置”是可以保证的。
• 转发引用是触发复制消除的前提，但不是保证者：真正保证复制消除的是C++17的标准规则，转发引用的作用是正确传递prvalue的值类别，让这个规则能够生效。如果不用转发引用（比如用const T1&接收参数），传递时可能会产生临时对象，就无法触发这种强制消除。

总结：你看到的“转发引用保留函数实参的值类别”表述是准确的，prvalue会以prvalue的形式被转发到函数体下游，结合C++17的强制复制消除规则，完全可以保证构造延迟到最底层的目标位置。

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