Standard library header <experimental/ranges/utility>

C++

Language

Headers

Freestanding and hosted implementations

Named requirements

Language support library

Concepts library (C++20)

Diagnostics library

Utilities library

Strings library

Containers library

Algorithms library

Iterators library

Numerics library

Input/output library

Localizations library

Regular expressions library (C++11)

Atomic operations library (C++11)

Thread support library (C++11)

Filesystem library (C++17)

Technical Specifications

Standard Library header files

Language Support
<cstddef> <limits> <climits> <contract>	<cfloat> <cstdint> <new> <version>	<typeinfo> <exception> <initializer_list>	<csignal> <csetjmp> <cstdarg>
Concepts
<concepts>
Diagnostics
<stdexcept>	<cassert>	<cerrno>	<system_error>
General utilities
<utility> <memory> <memory_resource> <scoped_allocator> <compare>	<bitset> <tuple> <optional> <any> <variant>	<type_traits> <ratio> <chrono> <typeindex> <functional>	<ctime> <cstdlib>
Strings
<string> <string_view>	<cctype> <cwctype>	<cwchar> <cuchar>	<cstring> <charconv>
Localization
<locale>	<codecvt>	<clocale>
Containers
<span> <array> <vector>	<deque> <forward_list> <list>	<map> <set> <queue>	<unordered_map> <unordered_set> <stack>
Iterators
<iterator>
Algorithms
<algorithm>	<execution>
Numerics
<complex> <random>	<valarray> <numeric>	<cfenv> <cmath>	<bit>
Input/Output
<iosfwd> <ios> <iomanip> <streambuf>	<istream> <ostream> <iostream>	<sstream> <fstream> <syncstream>	<cstdio> <cinttypes> <strstream>
Regular expressions
<regex>
Filesystem support
<filesystem>
Thread support
<thread> <atomic>	<mutex> <shared_mutex>	<condition_variable> <future>
C compatibility
<ciso646> <cstdalign>	<cstdbool> <ccomplex>	<ctgmath>

This header is part of the ranges library.

Utility components

Defined in namespace std::experimental::ranges
swap	swaps the value of two objects (customization point object)
exchange	replaces the argument with a new value and returns its previous value (function template)

Tagged pairs

Defined in namespace std::experimental::ranges
TagSpecifier	specifies that a type is a tag specifier (concept)
TaggedType	specifies that a type represents a tag specifier and its element type (concept)
tagged	augument a tuple-like type with named accessors (class template)
tagged_pair	alias template for a tagged std::pair (alias template)
make_tagged_pair	convenience function for creating a tagged_pair (function template)

Synopsis

namespace std { namespace experimental { namespace ranges { inline namespace v1 {

namespace {
    constexpr /* unspecified */ swap = /* unspecified */;
} 

template<ranges::MoveConstructible T, class U = T>
    requires ranges::Assignable<T&, U>
constexpr T exchange(T& obj, U&& new_val) noexcept(/* see definition */);

template <class T>
concept bool TagSpecifier = /* see definition */;
template <class F>
concept bool TaggedType = /* see definition */;
template <class Base, TagSpecifier... Tags>
    requires sizeof...(Tags) <= std::tuple_size<Base>::value
struct tagged;

template <ranges::TaggedType T1, ranges::TaggedType T2>
using tagged_pair = /* see definition */;

template <ranges::TagSpecifier Tag1, ranges::TagSpecifier Tag2, class T1, class T2>
constexpr /* see definition */ make_tagged_pair(T1&& x, T2&& y);

}}}}

namespace std {

template <class Base, class... Tags>
struct tuple_size<std::experimental::ranges::tagged<Base, Tags...>>;

template <size_t N, class Base, class... Tags>
struct tuple_element<N, std::experimental::ranges::tagged<Base, Tags...>>;

}