finished member functions of std::map