C++ 预期的类型说明符

Question

背景

我正在为 Arduino 编写类似 stl 的容器 project。到目前为止，我已经成功编写了deque、vector和string。

问题

我遇到了map 容器的问题。出于某种原因，在map::insert() 方法中，编译器告诉我它需要一个类型说明符。我已经包含了与问题相关的所有代码。任何帮助，将不胜感激。

///////////////////////////////////////////////////////////////////////////////
// pair
///////////////////////////////////////////////////////////////////////////////
template<typename K, typename V>
class pair {
public:
    pair( const K& key, const V& val )
    : _key_( key )
    , _val_( val )
    {}

    pair( const pair& p )
    : _key_( p.key() )
    , _val_( p.val() )
    {}

    virtual ~pair(){}

    K& key(){
        return _key_;
    }

    V& val(){
        return _val_;
    }

private:
    K _key_;
    V _val_;
};

///////////////////////////////////////////////////////////////////////////////
// map
///////////////////////////////////////////////////////////////////////////////
template<typename K, typename V>
class map {
public:
    map()
    : _size_( 0 )
    , _items_( 0 )
    {}

    virtual ~map(){
        for( int i = 0; i < _size_; ++i )
            delete _items_[i];

        free( _items_ );

    }

    void insert( const pair<K,V>& p ){
        _items_ = reinterpret_cast<kick::pair<K,V>**>( realloc( _items_, (sizeof( void* ) * (++_size_)) ) );
        _items_[_size_ - 1] = new pair( p ); //error: expected type-specifier
    }

    V& operator[]( const K& key ){
        for( int i = 0; i < _size_; ++i ){
            if( _items_[i].key() == key )
                return _items_[i].val();

        }

    }

private:
    int _size_;
    pair<K,V>** _items_;

};

Answer 1

pair 只是一个模板，而不是一个类型。编译器需要模板参数，在这种情况下是类型。也就是说，它期望你的行是：

_items_[_size_ - 1] = new pair<K,V>( p );

不，不能推导出模板参数；这仅适用于模板函数，不适用于类型。

Answer 2

new pair<K,V>( p ) 是它想要的。

对于我自己，我会在vector 之上实现一个平面地图，因此我不必在其中进行内存管理。这样做的一个优点是您可以删除一个间接级别。 （间接是性能杀手）。

另一个想法是要有一个高水位分拣标记，分拣标记之前的东西被分类，而它之后的东西是杂乱无章的。当容器变大时，这可以减少比较。但首先要让您的平面地图正常工作。