Как инициализировать массив размера шаблона?

Question

Я хочу инициализировать размерный массив шаблонов объектов с конструкторами не по умолчанию, как показано в следующем коде:

#include <array> 

template<std::size_t N> 
class Foo 
{ 
    public: 
     class Bar 
     { 
       Foo<N> & _super; 

      public: 
       Bar(Foo<N> *super) : 
        _super(*super) 
       { 
       } 
     }; 

     std::array<Bar, N> _array; 

     Foo(void) : 
      _array{{}} // We need {this, ...} N times 
     { 
     } 
}; 


int main(void) 
{ 
    Foo<3> foo; 
    (void)foo; 
    return 0; 
} 

ли способ сказать: «Я хочу, чтобы массив N объектов, инициализированы с этим такой же параметр "? Я думаю, что есть способ мета-программирования шаблонов, но я не могу понять, как это сделать.

Answer 1

Вы можете просто продолжать добавлять один this в то время, пока вы не N из них, в какой момент вы просто инициализировать _array:

Foo() 
    : Foo(this) 
    { } 

private: 
    template <class... T, std::enable_if_t<(sizeof...(T) < N), void*> = nullptr> 
    Foo(T... args) 
    : Foo(args..., this) 
    { } 

    template <class... T, std::enable_if_t<(sizeof...(T) == N), void*> = nullptr> 
    Foo(T... args) 
    : _array{{args...}} 
    { } 

Answer 2

Все возможно с небольшой помощью make_index_sequence:

Foo() : Foo(std::make_index_sequence<N>()) {} 
    template <size_t... I> Foo(std::index_sequence<I...>) : _array{((void)I, this)...} {} 

Обратите внимание на оператор запятой (,) в конструкторе _array - любезно предоставлен @Quentin (в отличие от вызова функции).