c – 组合两个复制和移动的构造函数

optional(const T& X)
{
    construct(X);
}

optional(T&& X)
{
    construct(std::move(X));
}

template<typename U>
optional(U&& X)
{
    construct(std::forWARD<U>(X));
}

它改变了std :: is_constructible和std :: is_convertible等特性与可选项交互的方式.例如给出：

class A {};

int main()
{
    std::cout << std::is_constructible<optional<A>,int>::value << '\n';
};

您的原始代码将打印出来：

0

但是你的新代码将打印出来：

1

如果这是不合需要的,并且您仍然想要使用新代码,则可以启用它以将u限制为可接受的类型.

我看到的唯一其他可能的问题是T是否可以是引用类型(例如int&).在这种情况下,原始代码的第二个构造函数看起来很可疑,因为它将传入rvalue,并且您可能试图将该rvalue绑定到非const左值引用(无法确定).如果T永远不能成为引用类型,则无需担心这一点.