Namespaces
Variants

std::any:: operator=

From cppreference.net
Utilities library
any & operator = ( const any & rhs ) ;
(1) (начиная с C++17)
any & operator = ( any && rhs ) noexcept ;
(2) (начиная с C++17)
template < typename ValueType >
any & operator = ( ValueType && rhs ) ;
(3) (начиная с C++17)

Присваивает содержимое содержащемуся значению.

1) Присваивает, копируя состояние rhs , как если бы с помощью std:: any ( rhs ) . swap ( * this ) .
2) Присваивает путем перемещения состояния rhs , как если бы с помощью std:: any ( std :: move ( rhs ) ) . swap ( * this ) . rhs остается в допустимом, но неопределенном состоянии после присваивания.
3) Присваивает тип и значение rhs , как если бы с помощью std:: any ( std:: forward < ValueType > ( rhs ) ) . swap ( * this ) . Эта перегрузка участвует в разрешении перегрузки только если std:: decay_t < ValueType > не является тем же типом, что и std::any , и std:: is_copy_constructible_v < std:: decay_t < ValueType >> равно true .

Содержание

Параметры шаблона

ValueType - тип содержащегося значения
Требования к типам
-
std:: decay_t < ValueType > должен удовлетворять требованиям CopyConstructible .

Параметры

rhs - объект, чье содержащееся значение нужно присвоить

Возвращаемое значение

* this

Исключения

1,3) Выбрасывает std::bad_alloc или любое исключение, выброшенное конструктором содержащегося типа. Если исключение выбрасывается по любой причине, эти функции не имеют эффекта ( строгая гарантия безопасности исключений ).

Пример

#include <any>
#include <cassert>
#include <iomanip>
#include <iostream>
#include <string>
#include <typeinfo>
int main()
{
    using namespace std::string_literals;
    std::string cat{"cat"};
    std::any a1{42};
    std::any a2{cat};
    assert(a1.type() == typeid(int));
    assert(a2.type() == typeid(std::string));
    a1 = a2; // перегрузка (1)
    assert(a1.type() == typeid(std::string));
    assert(a2.type() == typeid(std::string));
    assert(std::any_cast<std::string&>(a1) == cat);
    assert(std::any_cast<std::string&>(a2) == cat);
    a1 = 96; // перегрузка (3)
    a2 = "dog"s; // перегрузка (3)
    a1 = std::move(a2); // перегрузка (2)
    assert(a1.type() == typeid(std::string));
    assert(std::any_cast<std::string&>(a1) == "dog");
    // Состояние a2 валидно, но не определено. Фактически,
    // в gcc/clang оно void, а в msvc - std::string.
    std::cout << "a2.type(): " << std::quoted(a2.type().name()) << '\n';
    a1 = std::move(cat); // перегрузка (3)
    assert(*std::any_cast<std::string>(&a1) == "cat");
    // Состояние cat валидно, но не определено:
    std::cout << "cat: " << std::quoted(cat) << '\n';
}

Возможный вывод:

a2.type(): "void"
cat: ""

Смотрите также

создаёт объект any
(публичная функция-член)