主页 / 问题 / 1068130
Accepted
MGNeo
Asked:2020-01-10 19:50:18 +0000 UTC2020-01-10 19:50:18 +0000 UTC

C++，模板参数中的默认参数

  • 772

我正在研究一本关于模式编程的书，C++遇到了一段在我脑海中提出的问题，我无法在任何地方找到明确的答案。

该段落涉及模板参数中的默认参数：

В принципе можно иметь аргументы по умолчанию для ведущих параметров шаблона 
функции, даже если за ними следуют параметры без аргументов по умолчанию:

template<typename RT = long, typename Tl, typename T2>
RT max(T1 a, T2 b)
{
    return b < a ? a : b;
}

我一直认为默认参数应该放在参数列表的末尾。这是合乎逻辑的，因为如果他们最后不去，就会出现不确定性。

我的问题如下：

  1. 为什么这条规则有例外？
  2. 这仅允许用于模板吗？
c++

2 个回答

  1. Best Answer

    这些规则有些不同。这里T1和T2 是从传递的参数派生的。例如：

    auto L = max(1,'c');

    很明显T1=int，T2=char, 而不是指示的类型L- 是long。

    但是如果你写

    auto L = max<double>(1,'c');

    然后我们指出RT- double。和这里

    auto L = max<double,int,int>(1,'c');

    其他类型是明确指定的（而不是推论的）。

    还有一点就是在指定类型参数的时候一定要依次指定，包括默认参数。例如，

    template<typename RT = long, typename T1, typename T2>
RT vax(T1 a)
{
    T2 b = 0;
    return b < a ? a : b;
}

    和挑战

    auto s = vax<double,int>(2);

    意味着你有RT- double，T1- int，不是T1- double，T2- int，但是RT- long，所以这里没有歧义......并且在你明确指定所有三种类型之前，代码不会编译。

    在普通函数的情况下，没有默认值的参数不能省略，而在模板中可以推断出来。

    • 9

  2. 这仅允许用于函数模板（而不是类）。

    这是可能的，因为在函数调用时，可以从函数参数的类型推断出 T1 和 T2 的类型。那些。作为伪代码：

    template< typename RT = long, typename Tl=decltype(a), typename T2=decltype(b) >
RT max(auto a, auto b)
{
    return b < a ? a : b;
}

    在偏特化的情况下，这样的伪代码是无法编写的，但保留了基于函数参数访问类型信息的原则。

    • 6

相关问题