std::map<Key,T,Compare,Allocator>::at

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

向量<bool>

inplace_vector (C++26)

双端队列

单向链表 (C++11)

链表

关联

集合

多重集合

映射

多重映射

无序关联

无序集合 (C++11)

无序多重集合 (C++11)

无序映射 (C++11)

无序多重映射 (C++11)

适配器

栈

队列

优先队列

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

跨度 (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表

非成员函数表

 

std::map

成员函数

map::map map::~map               map::operator= map::get_allocator

元素访问 map::at map::operator[] 迭代器 map::beginmap::cbegin (C++11) map::endmap::cend (C++11) map::rbeginmap::crbegin (C++11)      map::rendmap::crend (C++11) 容量 map::size map::max_size map::empty 观察者 map::key_comp map::value_comp 修改器 map::clear map::insert map::erase map::swap map::extract (C++17) map::merge (C++17) map::insert_range (C++23) map::insert_or_assign (C++17) map::emplace (C++11) map::emplace_hint (C++11) map::try_emplace (C++17) 查找 map::count map::find map::contains (C++20) map::equal_range map::lower_bound map::upper_bound

非成员函数

operator==operator<=> (C++20) std::swap(std::map) erase_if(std::map) (C++20)   operator!=operator<operator>operator<=operator>= (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)

推导指南 (C++17)

 

T& at( const Key& key );	(1)
const T& at( const Key& key ) const;	(2)
template< class K > T& at( const K& x );	(3)	(自 C++26 起)
template< class K > const T& at( const K& x ) const;	(4)	(自 C++26 起)

返回具有指定键的元素的映射值的引用。如果不存在这样的元素，则抛出类型为 std::out_of_range 的异常。

1,2) 该键等效于 key。

3,4) 该键与值 x 进行等效比较。映射值的引用获取方式就像表达式 this->find(x)->second.

表达式 this->find(x) 必须是格式良好的，并且具有明确定义的行为，否则行为未定义。

这些重载仅在限定标识符 Compare::is_transparent 有效且表示一个类型时参与重载解析。它允许在不构造 Key 实例的情况下调用此函数。

参数

键	-	要查找的元素的键
x	-	任何类型的可以与键进行透明比较的值

返回值

对请求元素的映射值的引用。

异常

1,2) std::out_of_range 如果容器没有具有指定 key 的元素。

3,4) std::out_of_range 如果容器没有指定元素，即如果 find(x) == end() 为 true。

复杂度

容器大小的对数。

备注

特性测试 宏	值	标准	特性
__cpp_lib_associative_heterogeneous_insertion	202311L	(C++26)	在 有序 和 无序 关联 容器 中，对其余成员函数的异构重载。 (3,4)

示例

运行此代码

#include <cassert>
#include <iostream>
#include <map>
 
struct LightKey { int o; };
struct HeavyKey { int o[1000]; };
 
// The container must use std::less<> (or other transparent Comparator) to
// access overloads (3,4). This includes standard overloads, such as
// comparison between std::string and std::string_view.
bool operator<(const HeavyKey& x, const LightKey& y) { return x.o[0] < y.o; }
bool operator<(const LightKey& x, const HeavyKey& y) { return x.o < y.o[0]; }
bool operator<(const HeavyKey& x, const HeavyKey& y) { return x.o[0] < y.o[0]; }
 
int main()
{
    std::map<int, char> map{{1, 'a'}, {2, 'b'}};
    assert(map.at(1) == 'a');
    assert(map.at(2) == 'b');
    try
    {
        map.at(13);
    }
    catch(const std::out_of_range& ex)
    {
        std::cout << "1) out_of_range::what(): " << ex.what() << '\n';
    }
 
#ifdef __cpp_lib_associative_heterogeneous_insertion
    // Transparent comparison demo.
    std::map<HeavyKey, char, std::less<>> map2{{{1}, 'a'}, {{2}, 'b'}};
    assert(map2.at(LightKey{1}) == 'a');
    assert(map2.at(LightKey{2}) == 'b');
    try
    {
        map2.at(LightKey{13});
    }
    catch(const std::out_of_range& ex)
    {
        std::cout << "2) out_of_range::what(): " << ex.what() << '\n';
    }
#endif
}

可能的输出

1) out_of_range::what(): map::at:  key not found
2) out_of_range::what(): map::at:  key not found

缺陷报告

以下行为变更缺陷报告已追溯应用于之前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 464	C++98	map 没有此成员函数	添加
LWG 703	C++98	缺少复杂度要求	添加
LWG 2007	C++98	返回值引用了请求元素	引用其映射值

另请参阅

operator[]	访问或插入指定的元素 (公共成员函数)
find	查找具有特定键的元素 (公共成员函数)