模板参数推导顺序

Question

谁能解释一下为什么下面的代码不能编译：

template <typename P>
struct Base
{
    friend typename P::One;
    friend typename P::Two;
    friend typename P::Three;
};

template<typename U, typename D, typename T>
struct Derived : public Base<Derived<U,D,T>>
{
    using One   = U;
    using Two   = D;
    using Three = T;
};

错误是：

..\PRP\main.cpp:3:1: error: no type named 'One' in 'struct Derived<A, B, C>'
 {
 ^
..\PRP\main.cpp:3:1: error: no type named 'Two' in 'struct Derived<A, B, C>'
..\PRP\main.cpp:3:1: error: no type named 'Three' in 'struct Derived<A, B, C>'

以及为什么以下代码可以完美编译：

template <typename T>
struct Sum
{
    constexpr static int sze = T::uno + T::due + T::tre;
};

template<int i, int j, int k>
struct Triple : public Sum<Triple<i, j, k>>
{
    constexpr static int uno = i;
    constexpr static int due = j;
    constexpr static int tre = k;
};

两者有什么区别？我认为这与模板扣除顺序有关，但我可能错了。

我在 Win7 上使用 MinGW 4.8 并开启标志 C++11。 谢谢！

Answer 1

您的代码中没有发生模板参数推导，因此这与推导无关。

问题是由于尝试使用不完整类型的Derived 的成员造成的。

在Base<Derived<U,D,T>> 的基类列表中出现Derived 的实例化过程中，编译器会立即处理友元声明，此时Derived 不完整，因此无法尝试使用其成员.

Sum 中的静态成员不会自动实例化，也不需要在Triple 的声明中。如果你稍后使用静态成员，那么Triple 是一个完整的类型，它的成员可以被引用。

如果您尝试在Sum 的定义中使用Sum<T>::sze，您将收到类似的错误，因为此时T 不是完整类型：

template <typename T>
struct Sum
{
    constexpr static int sze = T::uno + T::due + T::tre;
    char buf[sze];
};

template<int i, int j, int k>
struct Triple : public Sum<Triple<i, j, k>>
{
    constexpr static int uno = i;
    constexpr static int due = j;
    constexpr static int tre = k;
};

Triple<1, 2, 3> t;