std::bad_variant_access - cppreference.com (original) (raw)
std::bad_variant_access
is the type of the exception thrown in the following situations:
- std::get(std::variant) called with an index or type that does not match the currently active alternative.
- std::visit called to visit a
variant
that is valueless_by_exception.
All member functions of std::bad_variant_access are constexpr: it is possible to create and use std::bad_variant_access objects in the evaluation of a constant expression.However, std::bad_variant_access objects generally cannot be constexpr, because any dynamically allocated storage must be released in the same evaluation of constant expression. | (since C++26) |
---|
Contents
- 1 Member functions
- 2 std::bad_variant_access::bad_variant_access
- 3 std::bad_variant_access::operator=
- 4 std::bad_variant_access::what
- 5 Inherited from std::exception
[edit] Member functions
| | constructs a new bad_variant_access object (public member function) | | ------------------------------------------------------------------------ | | | replaces the bad_variant_access object (public member function) | | | returns the explanatory string (public member function) |
std::bad_variant_access::bad_variant_access
bad_variant_access() noexcept; | (1) | (since C++17) (constexpr since C++26) |
---|---|---|
bad_variant_access( const bad_variant_access& other ) noexcept; | (2) | (since C++17) (constexpr since C++26) |
Constructs a new bad_variant_access
object with an implementation-defined null-terminated byte string which is accessible through what().
Default constructor.
Copy constructor. If *this and other both have dynamic type
std::bad_variant_access
then std::strcmp(what(), other.what()) == 0.
Parameters
other | - | another exception object to copy |
---|
std::bad_variant_access::operator=
| bad_variant_access& operator=( const bad_variant_access& other ) noexcept; | | (since C++17) (constexpr since C++26) | | ------------------------------------------------------------------------------- | | ------------------------------------- |
Assigns the contents with those of other. If *this and other both have dynamic type std::bad_variant_access
then std::strcmp(what(), other.what()) == 0 after assignment.
Parameters
other | - | another exception object to assign with |
---|
Return value
*this
std::bad_variant_access::what
| virtual const char* what() const noexcept; | | (since C++17) (constexpr since C++26) | | ------------------------------------------- | | ------------------------------------- |
Returns the explanatory string.
Return value
Pointer to an implementation-defined null-terminated string with explanatory information. The string is suitable for conversion and display as a std::wstring. The pointer is guaranteed to be valid at least until the exception object from which it is obtained is destroyed, or until a non-const member function (e.g. copy assignment operator) on the exception object is called.
The returned string is encoded with the ordinary literal encoding during constant evaluation. | (since C++26) |
---|
Notes
Implementations are allowed but not required to override what()
.
Inherited from std::exception
Member functions
| | destroys the exception object (virtual public member function of std::exception) [edit] | | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | | returns an explanatory string (virtual public member function of std::exception) [edit] |
[edit] Notes
Feature-test macro | Value | Std | Feature |
---|---|---|---|
__cpp_lib_constexpr_exceptions | 202502L | (C++26) | constexpr std::bad_variant_access |
[edit] Example
#include #include int main() { std::variant<int, float> v; v = 12; try { std::get(v); } catch (const std::bad_variant_access& e) { std::cout << e.what() << '\n'; } }
Possible output:
[edit] See also
| | reads the value of the variant given the index or the type (if the type is unique), throws on error (function template) [edit] | | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | | calls the provided functor with the arguments held by one or more variants (function template) [edit] | | | calls the provided functor with the argument held by the variant (public member function) [edit] | | | exception indicating checked access to an optional that doesn't contain a value (class) [edit] | | | exception indicating checked access to an expected that contains an unexpected value (class template) [edit] |