std::owner_less

< cpp‎ | memory
 
C++
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
(C++14)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等字符串转换
(C++17)
(C++17)
(C++17)
 
动态内存管理
智能指针
(C++11)
(C++11)
(C++11)
(C++17 前)
owner_less
(C++11)
(C++11)
(C++11)
(C++11)
分配器
(C++11)
(C++11)
(C++11)
(C++11)
(C++20)
(C++20)
(C++20)
(C++11)
(C++17)
内存资源
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)
未初始化存储
(C++20 前)
(C++20 前)
(C++20 前)
未初始化内存算法
有制约的未初始化内存算法
垃圾收集支持
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
杂项
(C++11)
(C++20)
(C++11)
(C++11)
(C++20)
C 库
低层内存管理
 
定义于头文件 <memory>
(1)
template< class T >
struct owner_less; /* undefined */
 (C++11 起)
(C++17 前)
template< class T = void >
struct owner_less; /* undefined */
 (C++17 起)
template< class T >
struct owner_less<std::shared_ptr<T>>;
 (2) (C++11 起)
template< class T >
struct owner_less<std::weak_ptr<T>>;
 (3) (C++11 起)
template<>
struct owner_less<void>;
 (4) (C++17 起)

此函数对象提供基于拥有者（不同于基于值）的， std::weak_ptr 和 std::shared_ptr 两者的混合类型序。顺序满足二个智能指针比较相等，若且唯若它们均为空或共享所有权，即使由 get() 获得的裸指针值相异（例如因为它们指向同一对象中的不同子对象）。

在以 std::shared_ptr 或 std::weak_ptr 为关键建立关联容器，即

std::map<std::shared_ptr<T>, U, std::owner_less<std::shared_ptr<T>>>

或

std::map<std::weak_ptr<T>, U, std::owner_less<std::weak_ptr<T>>> 时，最好使用此类模板。

默认的 operator< 不为弱指针定义，并且可能错误地认为同一对象的二个共享指针不等价（见 shared_ptr::owner_before ）。

特化

标准库提供 std::owner_less 在不指定 T 时的特化。此情况下，从实参类型推导形参类型（每个实参都必须是 std::shared_ptr 或 std::weak_ptr ）。

为共享指针和弱指针提供混合类型的、基于拥有者的顺序的函数对象，无关乎被指向的类型
(类模板特化)
(C++17 起)

成员类型

 
成员类型 定义
result_type(C++17 中弃用) 2-3) bool
first_argument_type(C++17 中弃用) 2) std::shared_ptr<T>
3) std::weak_ptr<T>
second_argument_type(C++17 中弃用) 2) std::shared_ptr<T>
3) std::weak_ptr<T>
(C++20 前)

成员函数

operator()
 用基于拥有者的语义比较其参数
(函数)

std::owner_less::operator()

所有模板特化的成员
bool operator()( const std::shared_ptr<T>& lhs,
                 const std::weak_ptr<T>& rhs ) const noexcept;
 (C++11 起)
bool operator()( const std::weak_ptr<T>& lhs,
                 const std::shared_ptr<T>& rhs ) const noexcept;
 (C++11 起)
仅为 owner_less<shared_ptr<T>> 模板特化的成员
bool operator()( const std::shared_ptr<T>& lhs,
                 const std::shared_ptr<T>& rhs ) const noexcept;
 (C++11 起)
仅为 owner_less<weak_ptr<T>> 模板特化的成员
bool operator()( const std::weak_ptr<T>& lhs,
                 const std::weak_ptr<T>& rhs ) const noexcept;
 (C++11 起)

用基于拥有者的语义比较 lhs 与 rhs 。等效于调用 lhs.owner_before(rhs) 。

顺序是严格弱序关系。

lhs 与 rhs 相等，当且仅当它们均为空或共享所有权。

参数

lhs, rhs - 要比较的共享所有权指针

返回值

若按基于拥有者的顺序确定 lhs 小于 rhs ，则为 true 。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
LWG 2873 C++11 operator() 可以不声明为 noexcept 声明为 noexcept

参阅

 提供基于拥有者的共享指针排序
(std::shared_ptr<T> 的公开成员函数)
提供弱指针的基于拥有者顺序
(std::weak_ptr<T> 的公开成员函数)