23 General utilities library [utilities]

23.7 Variants [variant]

23.7.3 Class template variant [variant.variant]

23.7.3.5 Value status [variant.status]

constexpr bool valueless_by_exception() const noexcept;

1
#

Effects: Возвращает false тогда и только тогда, когда variant содержит значение.

2
#

[  Note: A variant может не содержать значения, если во время присвоения или размещения с изменением типа возникает исключение. Последнее означает, что даже a variant<float, int> может стать valueless_­by_­exception(), например, 

struct S { operator int() { throw 42; }};
variant<float, int> v{12.f};
v.emplace<1>(S());

 — end note ]

constexpr size_t index() const noexcept;

3
#

Effects: Если valueless_­by_­exception() есть true, возвращается variant_­npos. В противном случае возвращает отсчитываемый от нуля индекс альтернативы содержащегося значения.