std::shared_ptr<T>::owner_before

template< class Y > bool owner_before( const shared_ptr<Y>& other ) const noexcept;	(1)	(constexpr начиная с C++26)
template< class Y > bool owner_before( const std::weak_ptr<Y>& other ) const noexcept;	(2)	(constexpr начиная с C++26)

Проверяет, предшествует ли этот shared_ptr other в определяемом реализацией порядке, основанном на владении (а не на значениях). Порядок устроен так, что два интеллектуальных указателя считаются эквивалентными только в том случае, если оба они пусты или оба владеют одним и тем же объектом, даже если значения указателей, полученных с помощью get(), различаются (например, потому что они указывают на разные подобъекты одного и того же объекта).

Этот порядок позволяет использовать shared- и weak-указатели в качестве ключей в ассоциативных контейнерах, обычно с помощью std::owner_less.

Параметры

other - std::shared_ptr или std::weak_ptr для сравнения

Возвращаемое значение

true, если *this предшествует other, и false в противном случае. В распространённых реализациях сравниваются адреса управляющих блоков.

Пример

#include <iostream>
#include <memory>
 
struct Foo
{
    int n1;
    int n2; 
    Foo(int a, int b) : n1(a), n2(b) {}
};

int main()
{   
    auto p1 = std::make_shared<Foo>(1, 2);
    std::shared_ptr<int> p2(p1, &p1->n1);
    std::shared_ptr<int> p3(p1, &p1->n2);
    
    std::cout << std::boolalpha
              << "p2 < p3 " << (p2 < p3) << '\n'
              << "p3 < p2 " << (p3 < p2) << '\n'
              << "p2.owner_before(p3) " << p2.owner_before(p3) << '\n'
              << "p3.owner_before(p2) " << p3.owner_before(p2) << '\n';
    
    std::weak_ptr<int> w2(p2);
    std::weak_ptr<int> w3(p3);
    std::cout 
//            << "w2 < w3 " << (w2 < w3) << '\n' // won't compile 
//            << "w3 < w2 " << (w3 < w2) << '\n' // won't compile
              << "w2.owner_before(w3) " << w2.owner_before(w3) << '\n'
              << "w3.owner_before(w2) " << w3.owner_before(w2) << '\n';
}

Вывод:

p2 < p3 true
p3 < p2 false
p2.owner_before(p3) false
p3.owner_before(p2) false
w2.owner_before(w3) false
w3.owner_before(w2) false

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

DR	Применяется к	Поведение согласно опубликованной версии	Корректное поведение
LWG 2873	C++11	`owner_before` не был объявлен с noexcept	объявлен с noexcept

См. также

owner_less

(C++11)

предоставляет сравнение shared- и weak-указателей разных типов, основанное на владении
(шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/memory/shared_ptr/owner_before