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 < 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, // rvalue로부터 초기화
                       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++ 표준에 소급 적용되었습니다.

참고 항목