std::any::operator=

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; // overload (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; // overload (3)
    a2 = "dog"s; // overload (3)
    a1 = std::move(a2); // overload (2)
    assert(a1.type() == typeid(std::string));
    assert(std::any_cast<std::string&>(a1) == "dog");
    // The state of a2 is valid but unspecified. In fact,
    // it is void in gcc/clang and std::string in msvc.
    std::cout << "a2.type(): " << std::quoted(a2.type().name()) << '\n';

    a1 = std::move(cat); // overload (3)
    assert(*std::any_cast<std::string>(&a1) == "cat");
    // The state of cat is valid but indeterminate:
    std::cout << "cat: " << std::quoted(cat) << '\n';
}

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

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

См. также

(конструктор)

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

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/utility/any/operator%3D