为什么默认模板参数仅限于 C 中的类模板？

默认模板参数：为什么仅限于类模板？

尽管默认模板参数提供了便利，但奇怪的是它们仅限于类模板，让程序员想知道为什么它们不能应用于成员函数模板。

函数模板中默认模板参数的参数

考虑带有成员的 my_class 的示例函数模板：

<code class="cpp">struct my_class {
  template<class T = int>
  void mymember(T* vec) {
    // ...
  }
};</code>

直观上，在成员函数模板中为 T 指定默认类型是有意义的。然而，C 强制限制默认模板参数只能用于类模板。

限制背后的原因

该限制源于历史原因，当时独立函数是被认为不如成员函数。通过强制从函数参数推断所有模板参数，它确保了一致的处理。

函数模板中默认模板参数的未来

C 0x 认识到了局限性现有的限制。为函数模板包含默认模板参数增强了编码灵活性，并与 STL 编程风格保持一致。

根据此更改的支持者 Bjarne Stroustrup 的说法，禁止函数模板使用默认模板参数是“一个错误的做法”剩。”他认为，它不必要地将独立函数与成员函数区分开来，这使得保持代码的一致性变得具有挑战性。

函数模板中默认模板参数的好处

引入将默认模板参数放入函数模板中可以提供更简化和直观的编码体验。例如，考虑排序函数的情况：

<code class="cpp">template<typename Iterator,
         typename Comp = std::less<
            typename std::iterator_traits<Iterator>::value_type> >
void sort(Iterator beg, Iterator end, Comp c = Comp()) {
  ...
}</code>

使用 Comp 的默认模板参数，可以使用或不使用显式比较器来调用排序函数，从而简化语法并提高代码可读性。

以上是为什么默认模板参数仅限于 C 中的类模板？的详细内容。更多信息请关注PHP中文网其他相关文章！