参数包不在最后位置的部分类模板特化

Question

以下代码来自an answer to another question，它可以工作。我用最新版本的 GCC、Clang、ICC 和 MSVC 对其进行了测试。但是我不明白标准的哪一部分允许这种构造，请您帮忙？

template<class F, class Alloc> class C; //undefined
template<class T, class... Args, class Alloc>
class C<T(Args...), Alloc> {
    // implementation
};

C++ 标准对如何在主类模板中使用参数包提供了限制，但我无法弄清楚这些限制如何应用于部分特化。

所以我的问题是：在 C++ 标准中定义的部分模板专业化的上下文中，参数包的放置规则在哪里？

Answer 1

虽然不是理解部分专业化如何工作的正式且技术上正确的方法（请查看 the cppreference page 以获得更多技术解释），您可以考虑您发布的代码 sn-p 术语“模式匹配”的（就像一个直觉）：

// `C` is a template class that takes two types as template parameters.
template<class F, class Alloc> class C; 

// I'm going to specialize `C` so that:
// * The first type will be a function signature type, where the return
//   type is going to be matched by `T` and the argument types will be 
//   matched by `Args...`.
// * The second type will be an user-provided `Alloc` typename.
template<class T, class... Args, class Alloc>
class C<T(Args...), Alloc> { /* ... */ };

假设我像这样实例化C：

using My_C = C<int(float, char), std::allocator<int>>;
My_C c;

非常粗略地说，My_C 将“匹配”C<T(Args...), Alloc> 部分模板特化如下：

int ( float, char )     std::allocator<int>
^^^   ^^^^^^^^^^^       ^^^^^^^^^^^^^^^^^^^
 T  (    Args...  )           Alloc
^^^^^^^^^^^^^^^^^^^     ^^^^^^^^^^^^^^^^^^^
         F                    Alloc

int 被T“匹配”，float, char 被Args...“匹配”。没有理由将Args... 限制为C 的最后一个模板参数。

如您所见，Args... 参数包不需要作为最后一个模板参数，因为我们只是使用它为传递的函数签名中的参数类型列表“提供名称”。