std::piecewise_construct_t

std::piecewise_construct_t это пустой тип класса тега, используемый для устранения неоднозначности между различными функциями, принимающими два аргумента кортежа. Константа std::piecewise_construct является его экземпляром.

Перегрузки, не использующие std::piecewise_construct_t, предполагают, что каждый аргумент кортежа становится элементом пары. Перегрузки, использующие std::piecewise_construct_t, предполагают, что каждый аргумент кортежа используется для кусочного создания нового объекта указанного типа, который станет элементом пары.

Пример

#include <iostream>
#include <utility>
#include <tuple>

struct Foo {
    Foo(std::tuple<int, float>) 
    {
        std::cout << "Создание Foo из tuple\n";
    }
    Foo(int, float) 
    {
        std::cout << "Создание Foo из int и float\n";
    }
};

int main()
{
    std::tuple<int, float> t(1, 3.14);
    std::pair<Foo, Foo> p1(t, t);
    std::pair<Foo, Foo> p2(std::piecewise_construct, t, t);
}

Создание Foo из tuple
Создание Foo из tuple
Создание Foo из int и float
Создание Foo из int и float

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

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