in_place_t, in_place_type_t, in_place_index_t struct

Introdotto in C++17.

I in_place_ttipi di tag , in_place_type_te in_place_index_t vengono usati per selezionare il costruttore di overload che crea l'oggetto sul posto nel modo desiderato. Per i tipi che usano questi tipi di tag, possono anche aiutare a evitare operazioni di copia o spostamento temporanee.

Sintassi

struct in_place_t
{
    explicit in_place_t() = default;
};

inline constexpr in_place_t in_place{};

template <class T>
struct in_place_type_t
{
    explicit in_place_type_t() = default;
};

template <class T>
constexpr in_place_type_t<T> in_place_type{};

template <size_t I>
struct in_place_index_t
{
    explicit in_place_index_t() = default;
};

template <size_t I>
constexpr in_place_index_t<I> in_place_index{};

Parametri

I
Indice in cui viene creato l'oggetto sul posto.

T
Il tipo di oggetto da creare.

Osservazioni:

• in_place_t indica la costruzione sul posto di un oggetto . Usato per creare oggetti sul posto all'interno di un oggetto std::optional.
• in_place_type_t indica la costruzione sul posto di un oggetto di un tipo specifico. È utile perché std::any std::any può contenere qualsiasi tipo di tipo, quindi è necessario specificare il tipo che contiene.
• in_place_index_t indica la costruzione sul posto di un oggetto in corrispondenza di un indice specifico. Utilizzare con std::variant per specificare l'indice in cui viene creato l'oggetto.

I tipi di classe seguenti usano questi struct nei relativi costruttori: expected, optional, single_viewany o variant.

Esempio

#include <iostream>
#include <optional>
#include <any>
#include <variant>

// compile with /std:c++17

struct MyStruct
{
    double value;
    MyStruct(double v0, double v1 = 0) : value(v0 + v1) {}
};

int main()
{
    // Construct a MyStruct directly inside opt
    std::optional<MyStruct> opt(std::in_place, 29.0, 13.0);

    // Construct a MyStruct object inside an any object
    std::any a(std::in_place_type<MyStruct>, 3.14);

    // Construct a MyStruct object inside a vector at index 0
    std::variant<MyStruct, int> v(std::in_place_index<0>, 2.718);

    if (opt)
    {
        std::cout << opt->value << ", ";
    }

    std::cout << std::any_cast<MyStruct>(a).value << ", "
              << std::get<0>(v).value;

    return 0;
}

42, 3.14, 2.718

Requisiti

Intestazione: <utility>

Spazio dei nomi: std

Opzione del compilatore: /std:c++17 o versione successiva.