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指定任何内容，因为variadic包会吞下所有内容。总结一下，我认为将variadic包放在默认参数之后是有意义的，如果要手动指定它们的话。对于演绎包，它更像是一种风格选择，我个人会把它们放在最后。

请注意，如果它们被推断为另一个模板的一部分，您甚至可以拥有多个可变参数包：

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...>>{};

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

1 个答案: