summaryrefslogtreecommitdiffhomepage
path: root/compat/borrowed-ptr.hpp
blob: e622f6d82d3003308db408838b2e2e5b718482d9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
#pragma once
#include "borrowed-ptr-fwd.hpp"

namespace floormat::detail_borrowed_ptr {

struct control_block;
template<typename From, typename To>
concept DerivedFrom = requires(From* x) {
    requires !std::is_same_v<From, To>;
    requires std::is_nothrow_convertible_v<From*, To*>;
};

} // namespace floormat::detail_borrowed_ptr

namespace floormat {

template<typename T> class bptr;

template<typename T>
class bptr final // NOLINT(*-special-member-functions)
{
    mutable T* casted_ptr;
    detail_borrowed_ptr::control_block* blk;

    explicit bptr(DirectInitT, T* casted_ptr, detail_borrowed_ptr::control_block* blk) noexcept;

    struct private_tag_t final {};
    static constexpr private_tag_t private_tag{};

    template<typename Y> bptr(const bptr<Y>& other, private_tag_t) noexcept;
    template<typename Y> bptr& _copy_assign(const bptr<Y>& other) noexcept;
    template<typename Y> bptr(bptr<Y>&& other, private_tag_t) noexcept;
    template<typename Y> bptr& _move_assign(bptr<Y>&& other) noexcept;

public:
    template<typename... Ts>
    requires std::is_constructible_v<T, Ts&&...>
    explicit bptr(InPlaceInitT, Ts&&... args) noexcept;

    explicit bptr(T* ptr) noexcept;
    bptr() noexcept;
    ~bptr() noexcept;

    bptr(std::nullptr_t) noexcept; // NOLINT(*-explicit-conversions)
    bptr& operator=(std::nullptr_t) noexcept;

    bptr(const bptr&) noexcept;
    bptr& operator=(const bptr&) noexcept;
    template<detail_borrowed_ptr::DerivedFrom<T> Y> bptr(const bptr<Y>&) noexcept;
    template<detail_borrowed_ptr::DerivedFrom<T> Y> bptr& operator=(const bptr<Y>&) noexcept;

    bptr(bptr&&) noexcept;
    bptr& operator=(bptr&&) noexcept;
    template<detail_borrowed_ptr::DerivedFrom<T> Y> bptr(bptr<Y>&&) noexcept;
    template<detail_borrowed_ptr::DerivedFrom<T> Y> bptr& operator=(bptr<Y>&&) noexcept;

    void reset() noexcept;
    template<bool MaybeEmpty = true> void destroy() noexcept;
    void swap(bptr& other) noexcept;
    uint32_t use_count() const noexcept;

    T* get() const noexcept;
    T* operator->() const noexcept;
    T& operator*() const noexcept;

    explicit operator bool() const noexcept;
    friend bool operator==<T>(const bptr<T>& a, const bptr<T>& b) noexcept;

    template<typename U> friend class bptr;
    template<typename U, typename Tʹ> friend bptr<U> static_pointer_cast(const bptr<>& p) noexcept;
};

} // namespace floormat