This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of C++20 status.

2942. LWG 2873's resolution missed weak_ptr::owner_before

Section: 20.3.2.3.6 [util.smartptr.weak.obs] Status: C++20 Submitter: Tim Song Opened: 2017-03-09 Last modified: 2021-02-25

Priority: Not Prioritized

View all other issues in [util.smartptr.weak.obs].

View all issues with C++20 status.

Discussion:

The NB comment asked for noexcept on shared_ptr::owner_before, weak_ptr::owner_before, and owner_less::operator(), but the PR of LWG 2873(i) only added it to the first and the third one.

[2017-06-03, Moved to Tentatively Ready after 6 positive votes on c++std-lib]

Proposed resolution:

This wording is relative to N4659.

  1. Edit 20.3.2.3 [util.smartptr.weak], class template weak_ptr synopsis, as indicated:

    […]
    // 20.3.2.3.6 [util.smartptr.weak.obs], observers
    […]
    template<class U> bool owner_before(const shared_ptr<U>& b) const noexcept;
    template<class U> bool owner_before(const weak_ptr<U>& b) const noexcept;
    
  2. Edit 20.3.2.3.6 [util.smartptr.weak.obs] immediately before p4 as indicated:

    template<class U> bool owner_before(const shared_ptr<U>& b) const noexcept;
    template<class U> bool owner_before(const weak_ptr<U>& b) const noexcept;
    

    -4- Returns: An unspecified value such that […]