模板机制的问题

最新推荐文章于 2022-07-27 08:25:08 发布

原创最新推荐文章于 2022-07-27 08:25:08 发布 · 623 阅读

0 ·

CC 4.0 BY-SA版权

博客介绍了min()函数，它虽可实例化多种类型，但并非适用于所有类型，因小于操作符的使用存在局限，一是底层类型可能不支持，二是语义可能不合适，如找不区分大小写的最小字符串。由此引出函数对象，还提及模板机制强大却有隐忧。

让我们看一下min（）函数：
template <typename Type>
const Type&
min(const Type *p, int size)
{
    int minIndex=0;
    for (int ix =1;ix<size; ++ix)
          if ( p[ix]<p[minIndex])
                minIndex=ix;
     return p[minIndex];
}
虽然可以被实例化很多类型，理论上甚至是无限多类型，但是我们知道，它不是对所有类型都是适用的。因为，小于操作符的使用。
1、底层类型可能不支持小于操作符。
2、虽然存在小于操作符，但是语义并不合适。比如，要找最小的字符串，不对大小写敏感，只是要考虑字母时，小于操作符就会导致一个错误语义的应用。于是，就要引出函数对象。
模板机制强大也有隐忧。