代码之家 › 专栏 › 技术社区 › Vincent

函数中推导参数之前的默认模板参数?

c++11 templates c++

Vincent · 技术社区 · 13 年前

以下编译在g++中没有问题:

template<typename ReturnType = double, typename OtherType> ReturnType func(const OtherType& var)
{
    ReturnType result = 0;
    /* SOMETHING */
    return result;
}

所有符合标准的编译器都可以使用非默认的模板参数吗( OtherType 此处)在默认模板参数之后( ReturnType 这里)?

1 回复 | 直到 13 年前

Lily Ballard 13 年前

这很复杂。根据C++11规范:

如果类模板的模板参数具有默认模板参数,则每个后续模板参数都应提供默认模板参数或是模板参数包。如果一个主类模板的模板参数是一个模板参数包,那么它应该是最后一个模板-参数。[注意:这些不是函数模板或类模板部分专业化的要求,因为可以推导模板参数(14.8.2)。

因此,除非是部分专业化,否则类不允许您尝试执行的操作。但对于函数来说,这是可以的。

所以,只要你只在你的例子中展示的函数上做这个技巧,那没关系。你只是不能把它推广到类模板上。

推荐文章

Setu · 如何将元素从std::map移动到std::vector

1 年前

Konvt · 标准库中异常构造函数参数类型问题

1 年前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

1 年前

bourne · 关于操作员超载的澄清

1 年前

eden sson · 使用std::thread和native_handle()设置线程关联掩码

1 年前

Xiyang Liu · 基于用户定义的输入类型类别的C++功能调度(C++11/14友好)

1 年前

John · 为什么在调用std::string::begin()时代码崩溃?

2 年前

Aidan Pastonyck · 错误:对以数组和函数指针为参数的函数的“未定义引用”

2 年前

John · 当稍后用C++11定义相关数据时,如何使用decltype?

2 年前

AnthonyML · std::binary_search和带unique_ptr数组的lower_bound

2 年前