默认参数模板与可变参数模板：最后一个模板参数是什么？

Question

我有点困惑，因为默认参数模板和可变参数模板参数都必须是模板的最后一个参数。那么我的函数的良好官方语法是什么？

template<typename T, class T2 = double, unsigned int... TDIM> myFunction(/* SOMETHING */)

或

template<typename T, unsigned int... TDIM, class T2 = double> myFunction(/* SOMETHING */)

Answer 1

实际上，模板参数包和默认参数没有是函数中的最后一个，如果它之后的任何内容将被推断（或默认）：

template<class T, class... Args, class T2 = int, class T3>
void f(T3){}

请注意，您永远不能为T2 指定任何内容，因为所有内容都将被可变参数包吞噬。由此得出结论，如果要手动指定可变参数包，则将可变参数包放在默认参数之后是有意义的。对于演绎的包，它更像是一种风格选择，我个人会将它们放在最后。

请注意，如果它们是作为另一个模板的一部分推导出来的，您甚至可以有多个可变参数包：

template<class...> struct pack{};

template<class T, class... P1, class... P2, class T2>
void f(pack<P1...>, pack<P2...>, T2){}

在这种情况下，我会将包和其他模板参数相对于它们的函数参数放置，即以相同的顺序。

对于（主）类模板，这当然是不同的，因为不能推导出参数。事实上，可变参数包必须在模板参数列表的末尾：

template<class T, class... Args, class T2=int>
struct X{}; // error

对于部分专业化，顺序无关紧要，这又是一个纯粹的风格选择。我个人会将它们与主模板的参数相关联，就像以前一样。

template<class T1, class T2>
struct X{};

template<template<class...> class T1, class... A1,
    template<class...> class T2, class... A2>
struct X<T1<A1...>, T2<A2...>>{};