有人解释为什么这里有歧义,拜托？

Question

Fill<T, Pack, Size, Value>是类型Pack<Value, Value, ..., Value>,其中值重复大小时间.有人可以解释,为什么这是模棱两可的？

template <typename T, template <T...> class Pack, int Size, int Count, typename Output, T Value>
struct FillHelper;

template <typename T, template <T...> class P, int Size, int Count, T... Output, T Value>
struct FillHelper<T, P, Size, Count, P<Output...>, Value> :
    FillHelper<T, P, Size, Count + 1, P<Output..., Value>, Value> {};

template <typename T, template <T...> class P, int Size, T... Output, T Value>
struct FillHelper<T, P, Size, Size, P<Output...>, Value> {
    using type = P<Output...>;
};

template <typename T, template <T...> class P, int Size, T Value>
using Fill = typename FillHelper<T, P, Size, 0, P<>, Value>::type;

template <int...> struct Pack;

int main() {
    using T = Fill<int, Pack, 10, 4>;
}

虽然这不是:

template <typename T, int Size, int Count, typename Output, T Value>
struct FillHelper;

template <typename T, template <T...> class P, int Size, int Count, T... Output, T Value>
struct FillHelper<T, Size, Count, P<Output...>, Value> :
    FillHelper<T, Size, Count + 1, P<Output..., Value>, Value> {};

template <typename T, template <T...> class P, int Size, T... Output, T Value>
struct FillHelper<T, Size, Size, P<Output...>, Value> {
    using type = P<Output...>;
};

template <typename T, template <T...> class P, int Size, T Value>
using Fill = typename FillHelper<T, Size, 0, P<>, Value>::type;

template <int...> struct Pack;

int main() {
    using T = Fill<int, Pack, 10, 4>;
}

事实证明,我间接注意到第二个更短,因此比第一个更好,但我很困惑为什么第一个不能编译.我收到GCC 4.9.2的错误,这是最近的.Visual Studio 2013也出错.顺便提一下,比第二个代码更好的解决方案受到欢迎.

更新: 进一步减少问题,事实证明专业化中模板模板的存在不是问题,因为这可以使用GCC 4.9.2(以及Visual Studio 2013)进行编译:

template <typename T, template <T...> class Pack, int Size, int Count>
struct F;

template <typename T, template <T...> class P, int Size, int Count>
struct F : F<T, P, Size, Count + 1> {};

template <typename T, template <T...> class P, int Size>
struct F<T, P, Size, Size> {
    using type = int;
};

template <int...> struct Pack;

int main() {
    using T = F<int, Pack, 10, 0>::type;
}

那么第一个代码中究竟出现了什么问题导致了与GCC和VS的混淆？

Answer 1

我不知道为什么 gcc 拒绝你的代码，但如果你有 C++14 支持，一个不太繁琐的解决方案是使用元素std::make_index_sequence构造一个包Size，然后推导该包并再次展开它，如下所示：

template <typename T, template <T...> class Pack, T Value, size_t... indices>
auto FillHelper(std::index_sequence<indices...>) -> Pack<(indices, Value)...>;

template <typename T, template <T...> class P, int Size, T Value>
using Fill = decltype(FillHelper<T, P, Value>(std::make_index_sequence<Size>()));

链接：http://coliru.stacked-crooked.com/a/7771560a1f32461d