Как инициализировать кортеж нестандартных объектов, не подлежащих копированию?

Question

Учитывая некоторые классы с параметризованными конструкторами, такие как:

class A 
{ 
public: 
    A(bool b, int i) { /*...*/ } 
private: 
    A(const A&) {} 
}; 
class B 
{ 
public: 
    B(char c, double d) { /* ... */ } 
private: 
    B(const B&) {} 
}; 

Как правильно инициализировать кортеж таких классов?

boost::tuple<A,B> tup(/* ??? */); 

Не использовать конструктор копирования A или B и, если возможно, не использовать конструкцию move-constructor. Предпочтительно, если возможно, решение C++ 03.

Answer 1

Вы можете просто добавить конструктор кусочную для типов? Если да, то вы можете создать ужасный макрос, который распаковывает и делегаты кортеж:

#define CONSTRUCT_FROM_TUPLE(CLS)      \ 
    template <class... Ts>        \ 
    CLS(std::tuple<Ts...> const& tup)     \ 
     : CLS(tup, std::index_sequence_for<Ts...>{}) \ 
    { }            \ 
                 \ 
    template <class Tuple, size_t... Is>    \ 
    CLS(Tuple const& tup, std::index_sequence<Is...>) \ 
     : CLS(std::get<Is>(tup)...)     \ 
    { } 

и просто добавить их к типам:

struct A { 
    A(bool, int) { } 
    A(const A&) = delete; 
    CONSTRUCT_FROM_TUPLE(A) 
}; 

struct B { 
    B(char, double) { } 
    B(const B&) = delete; 
    CONSTRUCT_FROM_TUPLE(B) 
}; 

И пройти в кортежах:

std::tuple<A, B> tup(
    std::forward_as_tuple(true, 42), 
    std::forward_as_tuple('x', 3.14)); 

---

Pre-C++ 11, я не знаю, что это возможно - у вас нет делегирования конструкторов вообще. Вы бы либо:

1. Оставить свой tuple -как класса, который принимает кортежи в своем конструкторе
2. Добавить кортежи конструкторов ваших типов, которые явно инициализировать то же самое, что и не-кортеж версия сделала
3. есть кортеж типов, которые являются одним аргументом конструктивен, как boost::tuple<boost::scoped_ptr<A>, boost::scoped_ptr<B>>(new A(...), new B(...))

(1) много работы, (2) являются дублирование кода и ошибки, и (3) включает в себя в настоящее время приходится делать выделение вдруг.

Answer 2

Вы можете использовать следующее:

tuple<A,B> tup(A(true, 42), B('*', 4.2));