复制分配如何用于 folly::Optional<T>？

Question

我正在阅读 copy assignment 的 folly::Optional 中的代码，但我不清楚对 construct() 的调用究竟是如何为可选项赋值的。具体在construct()这个表达式是如何工作的？

new (const_cast<void*>(ptr)) Value(std::forward<Args>(args)...);

Answer 1

解构你写的那行：

std::forward<Args>(args)... 正在执行variadic-template perfect forwarding。从本质上讲，这意味着对于任意数量的参数，任何 r 值都将被转发到，依此类推。

Value(std::forward<Args>(args)...) 在这些参数上调用Value 的构造函数。

new (const_cast<void*>(ptr)) ...正在呼叫placement new。

所以这句话的意思是，在这个特定的内存位置创建一个对象，通过转发你得到的所有参数在那里构造对象。