struct piecewise_construct_t {
explicit piecewise_construct_t() = default;
};
inline constexpr piecewise_construct_t piecewise_construct{};
Это struct piecewise_construct_t пустой структурный тип, используемый как уникальный тип для устранения неоднозначности перегрузки конструктора и функции. В частности, pair имеет конструктор с piecewise_construct_t первым аргументом, за которым сразу следуют два tuple аргумента, используемых для кусочного построения элементов pair объекта.