模板机制的问题

让我们看一下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、虽然存在小于操作符，但是语义并不合适。比如，要找最小的字符串，不对大小写敏感，只是要考虑字母时，小于操作符就会导致一个错误语义的应用。于是，就要引出函数对象。
模板机制强大也有隐忧。