std::optional<T>::optional

constexpr optional() noexcept;
constexpr optional( std::nullopt_t ) noexcept;

constexpr optional( const optional& other );

constexpr optional( optional&& other ) noexcept(/* see below */);

template < class U >
optional( const optional<U>& other );

template < class U >
optional( optional<U>&& other );

template< class... Args >
constexpr explicit optional( std::in_place_t, Args&&... args );

template< class U, class... Args >
constexpr explicit optional( std::in_place_t,
                             std::initializer_list<U> ilist,
                             Args&&... args );

template < class U = std::remove_cv_t<T> >
constexpr optional( U&& value );

构造一个新的 optional 对象。

辅助变量模板 converts_from_any_cvref 等价于：

template< class T, class W >
constexpr bool converts_from_any_cvref =
    std::disjunction_v<std::is_constructible<T, W&>, std::is_convertible<W&, T>,
                       std::is_constructible<T, W>, std::is_convertible<W, T>,
                       std::is_constructible<T, const W&>, std::is_convertible<const W&, T>,
                       std::is_constructible<T, const W>, std::is_convertible<const W, T>>;

参数

异常

注释

在 LWG 问题 3836 解决之前，从 std:: optional < U > 构造 std:: optional < bool > 时，若 U 不是 bool 类型，会选择重载 ( 9 ) 而非重载 ( 5,6 ) 。这是因为当 T （此处为 bool ）可从 std:: optional < U > 构造或转换时，重载 ( 5,6 ) 不参与重载决议，而 std::optional::operator bool 使得这种转换对任意 U 皆成立。

因此，构造出的 std:: optional < bool > 始终包含一个值。该值的确定依据是提供的 std:: optional < U > 对象是否包含值，而非基于所含值直接初始化得到的 bool 值：

std::optional<bool> op_false(false);
std::optional<int> op_zero(0);
std::optional<int> from_bool(op_false); // 正确：包含值0（从false初始化）
std::optional<bool> from_int(op_zero);  // 缺陷（LWG 3836）：包含true，因为
                                        // op_zero包含有效值，即使从该值
                                        // 初始化bool类型会得到false

示例

#include <iostream>
#include <optional>
#include <string>
int main()
{
    std::optional<int> o1, // 空值
                       o2 = 1, // 从右值初始化
                       o3 = o2; // 拷贝构造函数
    // 调用 std::string( initializer_list<CharT> ) 构造函数
    std::optional<std::string> o4(std::in_place, {'a', 'b', 'c'});
    // 调用 std::string( size_type count, CharT ch ) 构造函数
    std::optional<std::string> o5(std::in_place, 3, 'A');
    // 使用推导指南从 std::string 移动构造
    std::optional o6(std::string{"deduction"});
    std::cout << *o2 << ' ' << *o3 << ' ' << *o4 << ' ' << *o5  << ' ' << *o6 << '\n';
}

1 1 abc AAA deduction

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见