クラス静的メンバーの宣言が矛盾します

Question

#include <iostream> 
#include <utility> 

using namespace std; 

template<typename> 
struct Class1; 

template<size_t...Is> 
struct Class1<index_sequence<Is...>> { 
    template<typename T, size_t N> 
    struct Holder { 
     constexpr Holder(T const(&Ns)[N]) : data{T(Ns[Is] * Is)...} { 
     } 

     T data[N]; 
    }; 
}; 

template<typename T, T...Ns> 
class Class2 { 
public: 
    static constexpr const size_t N = sizeof...(Ns); 
    static constexpr const T mNs[] = {Ns...}; 
    static constexpr const typename Class1<make_index_sequence<N>>::template Holder<T, N> Hs{mNs}; 
    // If I replace the above N with sizeof...(Ns), the error is gone. 
}; 

template <typename T, T...Ns> 
constexpr const typename Class1<make_index_sequence<sizeof...(Ns)>>::template Holder<T, sizeof...(Ns)> 
     Class2<T, Ns...>::Hs; // g++ error: conflicting declaration. 

int main() { 
    cout << &Class2<int, 1, 2, 3>::Hs << endl; 
} 

これは私のコードの簡略化されたバージョンです。それはVSがこのくそに合致しないのでVSでコンパイルします。しかし、g ++ 6.3でコンパイルに失敗しました。 Class2のタイプは何ですか？012 ::: :: Hs？

基本的に、別の配列の要素とコンパイル時にその要素のインデックスを使用して配列を初期化する必要があります。だから、もっと良い方法があれば、それは良いでしょう。

Answer 1

Nがsizeof...(Ns)の値を保持するという事実は誤解を招くようです。私はこのエラーがのHsの宣言でHsの型をClass2::Nに依存しているので、このエラーが正当だと思う。あなたが使用している場合はClass2< T, Ns... >::NHsで定義エラーは消えする必要があります。

#include <iostream> 
#include <utility> 
#include <cstddef> 

template<typename> struct 
Class1; 

template<::std::size_t...Is> struct 
Class1< ::std::index_sequence<Is...> > 
{ 
    template< typename T, ::std::size_t N > struct 
    Holder 
    { 
     constexpr 
     Holder(T const(&Ns)[N]) 
     : data{T(Ns[Is] * Is)...} 
     {} 

     T data[N]; 
    }; 
}; 

template< typename T, T...Ns > class 
Class2 
{ 
    public: static constexpr const ::std::size_t N{sizeof...(Ns)}; 
    public: static constexpr const int mNs[]{Ns...}; 
    public: static constexpr const typename Class1< ::std::make_index_sequence<N> >:: 
     template Holder< T, N > Hs{mNs}; 
}; 

template< typename T, T...Ns > 
constexpr const typename Class1< ::std::make_index_sequence< Class2< T, Ns... >::N > >:: 
    template Holder< T, Class2< T, Ns... >::N > Class2< T, Ns... >::Hs; 

int 
main() 
{ 
    ::std::cout << &Class2<int, 1, 2, 3>::Hs << ::std::endl; 
} 

working code online

が実際にNを退治し、どこでもsizeof...(Ns)を使用すると短くなります...