summaryrefslogtreecommitdiffstats
path: root/library/cpp/yt/memory/unittests/exact_ref_counted_cast_ut.cpp
blob: 75cce328dc02b70129f3fb65cc5baffbacd69196 (plain) (blame)
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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
#include <library/cpp/testing/gtest/gtest.h>

#include <library/cpp/yt/memory/exact_ref_counted_cast.h>
#include <library/cpp/yt/memory/new.h>
#include <library/cpp/yt/memory/ref_counted.h>

#include <type_traits>
#include <typeinfo>

namespace NYT {
namespace {

////////////////////////////////////////////////////////////////////////////////

struct TBase
    : public TRefCounted
{ };

struct TDerived
    : public TBase
{
    int Tag = 42;
};

struct TMoreDerived
    : public TDerived
{ };

////////////////////////////////////////////////////////////////////////////////
// Pointer form.

TEST(TExactRefCountedCastTest, ExactMatch)
{
    auto object = New<TDerived>();
    TBase* base = object.Get();
    EXPECT_EQ(ExactRefCountedCast<TDerived>(base), object.Get());
    EXPECT_EQ(ExactRefCountedCast<TDerived>(base)->Tag, 42);
}

TEST(TExactRefCountedCastTest, SubclassDoesNotMatch)
{
    auto object = New<TMoreDerived>();
    TBase* base = object.Get();
    // Object was New<TMoreDerived>(); an exact probe for TDerived must miss.
    EXPECT_EQ(ExactRefCountedCast<TDerived>(base), nullptr);
    // ...but the exact type matches.
    EXPECT_EQ(ExactRefCountedCast<TMoreDerived>(base), object.Get());
}

TEST(TExactRefCountedCastTest, BaseDoesNotMatch)
{
    auto object = New<TDerived>();
    TBase* base = object.Get();
    // It is exactly a TDerived, not a TBase.
    EXPECT_EQ(ExactRefCountedCast<TBase>(base), nullptr);
}

TEST(TExactRefCountedCastTest, Null)
{
    TBase* base = nullptr;
    EXPECT_EQ(ExactRefCountedCast<TDerived>(base), nullptr);
}

TEST(TExactRefCountedCastTest, ConstnessPreserved)
{
    auto object = New<TDerived>();
    const TBase* base = object.Get();
    auto* result = ExactRefCountedCast<TDerived>(base);
    static_assert(std::is_same_v<decltype(result), const TDerived*>);
    EXPECT_EQ(result, object.Get());
}

////////////////////////////////////////////////////////////////////////////////
// Reference form.

TEST(TExactRefCountedCastTest, RefExactMatch)
{
    auto object = New<TDerived>();
    TBase& base = *object;
    EXPECT_EQ(&ExactRefCountedCast<TDerived>(base), object.Get());
}

TEST(TExactRefCountedCastTest, RefSubclassThrows)
{
    auto object = New<TMoreDerived>();
    TBase& base = *object;
    EXPECT_THROW((void)ExactRefCountedCast<TDerived>(base), std::bad_cast);
    EXPECT_EQ(&ExactRefCountedCast<TMoreDerived>(base), object.Get());
}

TEST(TExactRefCountedCastTest, RefConstnessPreserved)
{
    auto object = New<TDerived>();
    const TBase& base = *object;
    static_assert(std::is_same_v<decltype(ExactRefCountedCast<TDerived>(base)), const TDerived&>);
    EXPECT_EQ(&ExactRefCountedCast<TDerived>(base), object.Get());
}

////////////////////////////////////////////////////////////////////////////////

} // namespace
} // namespace NYT