类静态成员的声明冲突

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 <...> :: Hs的确切类型是什么？

基本上，我需要在编译时使用另一个数组的元素和该元素的索引来初始化数组。 因此，如果有更好的方法，那就更好了。

Answer 1

N将保持sizeof...(Ns)的值的事实似乎具有误导性。 我认为，这个错误是合法的使用N在Hs声明使得类型Hs取决于Class2::N 。 如果在Hs定义中使用Class2< T, Ns... >::N应该消失：

#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;
}

在线工作代码

实际上摆脱N并在各处使用sizeof...(Ns)会更短...