std::owner_less

定义于头文件 `<memory>`
	(1)
template< class T > struct owner_less; /* undefined */			(since C++11) (until C++17)
template< class T = void > struct owner_less; /* undefined */			(since C++17)
template< class T > struct owner_less<std::shared_ptr<T>>;		(2)	(since C++11)
template< class T > struct owner_less<std::weak_ptr<T>>;		(3)	(since C++11)
template<> struct owner_less<void>;		(4)	(since C++17)

此函数对象提供基于所有权（而非基于值）的 std::weak_ptr 和 std::shared_ptr 的混合类型排序。此顺序使得只有当两个智能指针都为空或它们共享所有权时，它们才被视为等价，即使通过 get() 获取的原始指针的值不同（例如，因为它们指向同一对象内不同的子对象）。

1) 不为 std::shared_ptr 和 std::weak_ptr 以外的类型提供基于所有权的混合类型排序。

2) std::shared_ptr 的基于所有权的混合类型排序。

当使用 std::shared_ptr 作为键构建关联容器时，这是首选的比较谓词，即 std::map<std::shared_ptr<T>, U, std::owner_less<std::shared_ptr<T>>>。

3) std::weak_ptr 的基于所有权的混合类型排序。

当使用 std::weak_ptr 作为键构建关联容器时，这是首选的比较谓词，即 std::map<std::weak_ptr<T>, U, std::owner_less<std::weak_ptr<T>>>。

4) void 特化从参数推导参数类型。

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

std::owner_less::operator()

仅限特化 (2) 的成员
bool operator()( const std::shared_ptr<T>& lhs, const std::shared_ptr<T>& rhs ) const noexcept;		(since C++11)
仅限特化 (3) 的成员
bool operator()( const std::weak_ptr<T>& lhs, const std::weak_ptr<T>& rhs ) const noexcept;		(since C++11)
两个模板特化的成员
bool operator()( const std::shared_ptr<T>& lhs, const std::weak_ptr<T>& rhs ) const noexcept;		(since C++11)
bool operator()( const std::weak_ptr<T>& lhs, const std::shared_ptr<T>& rhs ) const noexcept;		(since C++11)

使用基于所有权的语义比较 lhs 和 rhs。有效地调用 lhs.owner_before(rhs)。

排序是严格弱序关系。

lhs 和 rhs 只有在都为空或共享所有权时才等价。

lhs, rhs

-

要比较的共享所有权指针

如果根据基于所有权的排序，lhs 小于 rhs，则返回 true，否则返回 false。

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

DR	应用于	已发布行为	正确行为
LWG 2873	C++11	operator() 未被要求为 noexcept	要求为 noexcept

owner_before	提供共享指针的基于所有权的排序 (`std::shared_ptr<T>` 的公共成员函数) [编辑]
owner_before	提供弱指针的基于所有权的排序 (`std::weak_ptr<T>` 的公共成员函数) [编辑]