可变参数模板的部分特化

Question

考虑以下类模板“X”及其部分特化。

template <class ...Types>
struct X {};               // #1

template <class T1>
struct X<T1> {};           // #2

template <class T1, class ...Types>
struct X<T1, Types...> {}; // #3

X<int> x;                  // #2 or #3 ?

我怀疑 X是模棱两可的。因为：

很明显#2和#3都比#1更专业，现在比较#2和#3。根据14.5.5.2，让我们考虑以下#2'和#3'中哪一个更专业。

template <class T1>
void f(X<T1>);             // #2'

template <class T1, class ...Types>
void f(X<T1, Types...>);   // #3'

根据14.8.2.4，第一步是使用#2'作为实参模板，#3'作为形参模板进行模板实参推导。假设唯一的参数类型是X，推导的T1是A1，并且Types为空。

A = X<A1>, P = X<T1, Types...>  =>  T1 = A1, Types = {}

第二步是使用 #3' 作为参数模板和 #2' 作为参数模板来完成。给定唯一的参数类型是 X，根据 14.8.2.5/9（注意这一段是 N3281 最近修改的），Args 被简单地忽略，推导出来的 T1 是 A1 并且参数推导成功。

A = X<A1, Args...>, P = X<T1>  =>  T1 = A1 (Args is ignored)

最终双向论证推演成功。所以#2 和#3 一样专业。总之，X int 是是模棱两可的。

我的问题是：“我的解释正确吗？”

如果这个解释是正确的，那么 20.9.7.6/3 中 'std::common_type' 的定义是不合适的。

template <class ...T>
struct common_type;            // #1

template <class T>
struct common_type<T>          // #2
{
    typedef T type;
};

template <class T, class U>
struct common_type<T, U>       // #3
{
    typedef
        decltype(true ? declval<T>() : declval<U>())
    type;
};

template <class T, class U, class ...V>
struct common_type<T, U, V...> // #4
{
    typedef typename
        common_type<typename common_type<T, U>::type, V...>::type
    type;
};

当common_type＜A，B＞时使用时，#3 和#4 是不明确的。

注意：在第一个示例中，GCC 4.7.0（快照）和 Clang 3.0 选择#2。然而，这些编译器非常不可靠，以至于它们不遵循 N3281 的其他更改。

Answer 1

14.8.2.4，第 11 节（我参考草案 N3242）。

在大多数情况下，所有模板参数都必须具有值才能
推导成功，但出于部分排序的目的，模板
参数可以保留没有值，只要它没有在
用于部分排序的类型。 [ 注意：模板参数
在非推导上下文中使用的内容被视为已使用。 ——尾注] [
示例：

模板  T f(int); // #1
模板 Tf(U); // #2
无效 g() {
fint(1)； // 调用#1
}

在您的情况下，将使用#3。