Наследовать Конструкторы из баз в параметре пакете

Question

В C++ 11 можно в «Наследовать Конструктор»:

struct A{ }; 

struct B : A{ 
    using A::A; 
}; 

При определенных обстоятельствах (см обсуждения ниже) также можно нескольких конструкторов Наследовать.

struct D : A, B, C{ 
    using A::A; 
    using B::B; 
    using C::C; 
}; 

Наконец, можно также наследовать обобщенно от всех типов в параметре упаковке:

template<class... Ts> 
struct D2 : Ts...{}; 

Вопрос: Можно ли наследовать все конструкторы базовых классов в общем? Как это:

template<class... Ts> 
struct D2 : Ts...{ 
    using Ts::Ts...; // ??? compiler error 
}; 

таким образом, что эквивалентно struct D2<A, B, C> с struct D выше.

Answer 1

Нет, такая вещь невозможна. Существует list of contexts, в котором разрешено расширение пакета, а с использованием декларации не является одним из них.

мем-инициализатора-лист является разрешенным контекст, хотя, так что вы могли бы сделать что-то вроде:

struct A { A(int) { } }; 
struct B { B(int) { } }; 

template <typename... Ts > 
struct D : Ts... { 
    template <typename... Args> 
    D(Args&&... args) : Ts(std::forward<Args>(args)...)... { } 
}; 

int main() { 
    D<A, B> d(4); 
} 

выше фактически не удается скомпилировать в GCC 5.2, хотя (bug 65422).

Answer 2

Обычная (не очень красиво) обходной путь является рекурсия:

template<class... Ts> 
struct D { }; 

template<class T, class... Ts> 
struct D<T, Ts...>: T, D<Ts...>{ 
    using D<Ts...>::D; 
    using T::T; 
}; 

Demo.

Обратите внимание, что в соответствии с текущей спецификации для наследования конструкторов, это не является строго эквивалентна версии

struct D : A, B, C{ 
    using A::A; 
    using B::B; 
    using C::C; 
}; 

, и может быть неэффективным, если конструктор аргумент передается по значению, так как цепочка наследования конструктора вызовов требует нескольких ходов (которые могут выродиться в копии для устаревших типов). Demo.

В документе N4429 рассматривается этот и ряд других вопросов, связанных с наследовательными конструкторами, и прошел обзор EWG в Lenexa.