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 issue 3836 が解決される以前は、 std:: optional < bool > を std:: optional < U > から構築する際、 U が bool でない場合、オーバーロード ( 5,6 ) ではなくオーバーロード ( 9 ) が選択されていました。これは、オーバーロード ( 5,6 ) が T （この場合は bool ）が std:: optional < U > から構築または変換可能な場合にオーバーロード解決に参加しなかったためです。しかし、 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); // OK: 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++規格に対して遡及的に適用されました。

関連項目