模板含糊不清

Question

有人可以解释为什么以下内容由于歧义而未能遵守

#include <tuple>

template <typename, typename, int> struct foo;

template <template <typename...> class P, typename... Ts, typename... Us, int I>
struct foo<P<Ts...>, std::tuple<P<Us...>>, I> : foo<P<Ts...>, std::tuple<P<Us...>>, I-1> {};

template <template <typename...> class P, typename... Ts, typename... Us>
struct foo<P<Ts...>, std::tuple<P<Us...>>, 0> {};

template <typename...> struct P;

int main() {
    foo<P<int, bool, char>, std::tuple<P<>>, 5> a;
}

但是，如果我用P替换std::tuple ，歧义将被消除。 如果我将P<Ts...>或P<Us...>替换为一个称为Pack的简单类型，也会将其删除。 我正在使用GCC 7.2。 当然， foo<P<int, bool, char>, std::tuple<P<>>, 0>会引起歧义。 如果我从foo定义中删除第一个模板，则歧义也将被删除。

这是我未精简的代码（好吧，精简了大约10％）。 我上面简化的代码显然可以通过切换专业顺序来解决。 在下面，切换顺序无效。

#include <tuple>

template <typename Pack, typename OutputPack, std::size_t...> struct foo;

template <template <typename...> class P, typename First, typename... Rest, typename... Ts, typename... Packs, std::size_t I, std::size_t... Is>
struct foo<P<First, Rest...>, std::tuple<P<Ts...>, Packs...>, I, Is...> :
     foo<P<Rest...>, std::tuple<P<Ts..., First>, Packs...>, I-1, Is...> {};

template <template <typename...> class P, typename First, typename... Rest, typename... Ts, typename... Packs, std::size_t I, std::size_t J, std::size_t... Is>
struct foo<P<First, Rest...>, std::tuple<P<Ts...>, Packs...>, 0, I, J, Is...> : 
     foo<P<Rest...>, std::tuple<P<First>, Packs..., P<Ts...>>, I-1, J, Is...> {};

template <template <typename...> class P, typename First, typename... Rest, typename... Ts, typename... Packs, std::size_t Last>
struct foo<P<First, Rest...>, std::tuple<P<Ts...>, Packs...>, 0, Last> {};

template <typename...> struct P;

int main() {
    foo<P<int, bool, char, int, long, bool>, std::tuple<P<>>, 1,2,1> a;
}

但是，用P替换std::tuple可以（由于某种原因）再次解决问题。

Answer 1

尝试切换专业化顺序：在零版本之前，在通用整数版本之后。

template <typename, typename, int> struct foo;

template <template <typename...> class P, typename... Ts, typename... Us>
struct foo<P<Ts...>, std::tuple<P<Us...>>, 0> {};

template <template <typename...> class P, typename... Ts, typename... Us, int I>
struct foo<P<Ts...>, std::tuple<P<Us...>>, I> : foo<P<Ts...>, std::tuple<P<Us...>>, I-1> {};

我的clang ++（3.8.1）可以毫无问题地编译您的原始代码，但是我的g ++（6.3.0）给出了两个错误，第二个是

tmp_002-11,14,gcc,clang.cpp:21:8: error: invalid use of incomplete type ‘struct foo<P<int, bool, char>, std::tuple<P<> >, 0>’
 struct foo<P<Ts...>, std::tuple<P<Us...>>, I> : foo<P<Ts...>, std::tuple<P<Us...>>, I-1> {};
        ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

我不知道谁是对的：g ++或clang ++。

但是g ++抱怨通用整数专业化调用（ I==1 ），而I == 0专业化则该专业化是“不完整的”。

如果您首先使用I == 0的版本，那么它不再是不完整的（从另一个专业的角度来看）。

-编辑-

关于“未精简代码”，问题似乎相同（仅适用于g ++），但是在这种情况下，您无法解决更改专业化顺序的问题，因为以下两个专业化

template <template <typename...> class P, typename First, typename... Rest,
          typename... Ts, typename... Packs, std::size_t I, std::size_t... Is>
struct foo<P<First, Rest...>, std::tuple<P<Ts...>, Packs...>, I, Is...> 
   : foo<P<Rest...>, std::tuple<P<Ts..., First>, Packs...>, I-1, Is...>
 { };

template <template <typename...> class P, typename First, typename... Rest,
          typename... Ts, typename... Packs, std::size_t I, std::size_t J,
          std::size_t... Is>
struct foo<P<First, Rest...>, std::tuple<P<Ts...>, Packs...>, 0, I, J, Is...>
   : foo<P<Rest...>, std::tuple<P<First>, Packs..., P<Ts...>>, I-1, J, Is...>
{ };

彼此依赖（继承）