奇怪的编译器错误，说明我的迭代器未定义

Question

我正在尝试创建一个模板函数，它将遍历映射的指定键/值对并检查函数参数中是否存在指定的键。

实现如下：

代码

template < class Key, class Value >
bool CheckMapForExistingEntry( const std::map< Key, Value >& map, const std::string& key )
{
    std::map< Key, Value >::iterator it = map.lower_bound( key );
    bool keyExists = ( it != map.end && !( map.key_comp() ( key, it->first ) ) );
    if ( keyExists )
    {
        return true;
    }
    return false;
}

然而，无论出于何种原因，我似乎无法弄清楚为什么我的代码无法编译。我得到了这些错误：

error: expected ';' before 'it'
error: 'it' was not declared in this scope

我以前遇到过这些问题，但这些通常是由于我犯的容易发现的错误造成的。这里会发生什么？

Answer 1

很确定您需要typename 限定符：

template < class Key, class Value >
bool CheckMapForExistingEntry( const std::map< Key, Value >& map, const std::string& key )
{
    typename std::map< Key, Value >::iterator it = map.lower_bound( key );
    bool keyExists = ( it != map.end && !( map.key_comp() ( key, it->first ) ) );
    if ( keyExists )
    {
        return true;
    }
    return false;
}

This article 解释得很详细。

实际上，编译器知道对于Key 和Value 的某些值可能存在std::map< Key, Value > 的特化，其中可能包含一个名为static 的变量iterator。所以它需要typename 限定符来确保你在这里实际上指的是一个类型，而不是一些假定的静态变量。