Question

我希望有一个函数模板，它接受一个向量和一个元素，并返回该元素在向量中的位置。我希望这个函数适用于int和std :: string类型。这是函数模板定义：

template<class T>
int findElement(const vector<T> &vec, const T &ele)
{
    for(size_t i = 0; i < vec.size(); i++)
    {
        if(typeid(ele) == typeid(std::string))
        {
            if(ele.compare(vec[i]) == 0)
                return i;
        }
        else
        {
            if(ele == vec[i])
                return i;
        }
    }
    return -1;
}

如您所见，我最初检查类型，以便我可以使用适当的比较方法。当我使用std :: string类型参数调用时，这很好用但是当我使用double类型时它会出现以下错误：

 error C2228: left of '.compare' must have class/struct/union

和

see reference to function template instantiation 'int findElement<double>(const std::vector<_Ty> &,const T &)' being compiled

如何解决此问题？

谢谢，勒凯什。

Answer 1

std::string有operator ==，但是，如果你想从T调用不同的方法 - 你应该专门化或重载函数。 Typeid无法帮助，因为它是运行时类型标识。

重载示例

template<class T>
int findElement(const vector<T> &vec, const T &ele)
{
    for(size_t i = 0; i < vec.size(); i++)
    {
        if(ele == vec[i])
             return i;
    }
    return -1;
}

int findElement(const vector<string>& vec, const string& ele)
{
   for (size_t i = 0; i < vec.size(); ++i)
   {
      if (ele.compare(vec[i]) == 0)
          return i;
   }
   return -1;
}

另外，您只能将function overloading用于比较，因为循环是相同的。

Answer 2

使用模板时，从不必须检查typeid。 std::string以预期的方式定义==，因此请使用它！

template<class T>
int findElement(const vector<T> &vec, const T &ele)
{
    for(size_t i = 0; i < vec.size(); i++)
    {
        if(ele == vec[i])
            return i;
    }
    return -1;
}

通常，如果您需要为特定类型设置特殊情况下的模板化函数，请使用模板特化：

template<class T>
int findElement(const vector<T> &vec, const T &ele) {
    for(size_t i = 0; i < vec.size(); i++) {
        if(ele == vec[i])
            return i;
    return -1;
}

template<>
int findElement<std::string>(const vector<std::string> &vec, const std::string &ele) {
    for(size_t i = 0; i < vec.size(); i++) {
        if(ele.compare(vec[i]) == 0)
            return i;
    }
    return -1;
}

C ++中string和int的函数模板

2 个答案: