std::reference_wrapper
| Определено в заголовочном файле <functional>
|
||
template< class T > class reference_wrapper; |
(начиная с C++11) | |
std::reference_wrapper это шаблонный класс, который заключает ссылку в копируемый присваиваемый объект. Он часто используется как механизм для хранения ссылок внутри стандартных контейнеров (таких как std::vector), которые обычно не могут содержать ссылки.
В частности, std::reference_wrapper является CopyConstructible и CopyAssignable оболочкой ссылки на объект или ссылки на функцию типа T. Экземпляры std::reference_wrapper являются объектами (их можно копировать или хранить в контейнерах), но они неявно преобразуются в T&, поэтому их можно использовать в качестве аргументов функций, которые принимают базовый тип по ссылке.
Если хранимая ссылка является Callable, std::reference_wrapper может быть вызван с теми же аргументами.
Вспомогательные функции std::ref и std::cref часто используются для создания объектов std::reference_wrapper.
std::reference_wrapper также используется для передачи объектов по ссылке в std::bind, конструктору объекта std::thread или вспомогательным функциям std::make_pair и std::make_tuple.
|
|
(начиная с C++17) |
|
|
(начиная с C++20) |
Типы-элементы
| тип | определение |
type
|
T
|
result_type(устарело в C++17)(удалено в C++20) |
Тип возвращаемого значения T, если T является функцией. Иначе не определено
|
argument_type(устарело в C++17)(удалено в C++20) |
|
first_argument_type(устарело в C++17)(удалено в C++20) |
|
second_argument_type(устарело в C++17)(удалено в C++20) |
|
Функции-элементы
содержит ссылку на новый объект std::reference_wrapper Оригинал: stores a reference in a new std::reference_wrapper object Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. (public функция-элемент) | |
повторная привязка std::reference_wrapper Оригинал: rebinds a std::reference_wrapper Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. (public функция-элемент) | |
доступ к сохраненной ссылке Оригинал: accesses the stored reference Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. (public функция-элемент) | |
| вызывает сохранённую функцию (public функция-элемент) |
Принципы вывода(начиная с C++17)
Возможная реализация
namespace detail {
template <class T> constexpr T& FUN(T& t) noexcept { return t; }
template <class T> void FUN(T&&) = delete;
}
template <class T>
class reference_wrapper
{
public:
// типы
using type = T;
// создание/копирование/уничтожение
template <class U, class = decltype(
detail::FUN<T>(std::declval<U>()),
std::enable_if_t<!std::is_same_v<reference_wrapper, std::remove_cvref_t<U>>>()
)>
constexpr reference_wrapper(U&& u)
noexcept(noexcept(detail::FUN<T>(std::forward<U>(u))))
: _ptr(std::addressof(detail::FUN<T>(std::forward<U>(u)))) {}
reference_wrapper(const reference_wrapper&) noexcept = default;
// присваивание
reference_wrapper& operator=(const reference_wrapper& x) noexcept = default;
// доступ
constexpr operator T& () const noexcept { return *_ptr; }
constexpr T& get() const noexcept { return *_ptr; }
template< class... ArgTypes >
constexpr std::invoke_result_t<T&, ArgTypes...>
operator() ( ArgTypes&&... args ) const
noexcept(std::is_nothrow_invocable_v<T&, ArgTypes...>)
{
return std::invoke(get(), std::forward<ArgTypes>(args)...);
}
private:
T* _ptr;
};
// принципы вывода
template<class T>
reference_wrapper(T&) -> reference_wrapper<T>;
|
Пример
Демонстрирует использование std::reference_wrapper в качестве контейнера ссылок, что позволяет получить доступ к одному и тому же контейнеру с использованием нескольких индексов.
#include <algorithm>
#include <functional>
#include <iostream>
#include <list>
#include <numeric>
#include <random>
#include <vector>
void print(auto const rem, std::ranges::range auto const& v)
{
for (std::cout << rem; auto const& e : v)
std::cout << e << ' ';
std::cout << '\n';
}
int main()
{
std::list<int> l(10);
std::iota(l.begin(), l.end(), -4);
// не может использовать перемешивание в списке (требуется произвольный доступ),
// но может использовать его в векторе
std::vector<std::reference_wrapper<int>> v(l.begin(), l.end());
std::ranges::shuffle(v, std::mt19937{std::random_device{}()});
print("Содержимое списка: ", l);
print("Содержимое списка, как видно через перемешанный вектор: ", v);
std::cout << "Удвоение значений в исходном списке...\n";
std::ranges::for_each(l, [](int& i) { i *= 2; });
print("Содержимое списка, как видно через перемешанный вектор: ", v);
}
Возможный вывод:
Содержимое списка: -4 -3 -2 -1 0 1 2 3 4 5
Содержимое списка, как видно через перемешанный вектор: -1 2 -2 1 5 0 3 -3 -4 4
Удвоение значений в исходном списке...
Содержимое списка, как видно через перемешанный вектор: -2 4 -4 2 10 0 6 -6 -8 8
Смотрите также
(C++11)(C++11) |
создаёт std::reference_wrapper с типом, выведенным из его аргумента (шаблон функции) |
(C++11) |
связывает один или несколько аргументов с объектом функцией (шаблон функции) |
(C++20)(C++20) |
получает ссылочный тип, заключённый в std::reference_wrapper (шаблон класса) |
