autosar-pdf-examples/A10-3-4.cpp at main · cppchecksolutions/autosar-pdf-examples · GitHub

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
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
// Rule: A10-3-5
// Source line: 15836
// Original file: A10-3-4.cpp

// $Id: A10-3-4.cpp 289436 2017-10-04 10:45:23Z michal.szczepankiewicz $
class A
{
public:
    virtual A& operator=(A const& oth) = 0;
// Non-compliant
    virtual A& operator+=(A const& rhs) = 0; // Non-compliant
};
class B : public A
{
public:
    B& operator=(A const& oth) override // It needs to take an argument of type
// A& in order to override
    {
        return *this;
    }
    B& operator+=(A const& oth) override // It needs to take an argument of
// type A& in order to override
    {
        return *this;
    }
    B& operator-=(B const& oth) // Compliant
    {
        return *this;
    }
};
class C : public A
{
public:


    C& operator=(A const& oth) override


    {


        return *this;


    }
    C& operator+=(A const& oth) override


    {


        return *this;
    }
    C& operator-=(C const& oth)
    {
        return *this;
    }


// It needs to take an argument of type
// A& in order to override

// It needs to take an argument of
// type A& in order to override

// Compliant

};
// class D : public A
//{
// public:
//
D& operator=(D const& oth) override // Compile time error - this method
//
does not override because of different
//
signature
//
{
//
    return *this;
//
}
//
D& operator+=(D const& oth) override // Compile time error - this method
//
does not override because of different
//
signature
//
{
//
    return *this;
//
}
//};
void Fn() noexcept
{
    B b;
    C c;
    b = c;
// Calls B::operator= and accepts an argument of type C
    b += c; // Calls B::operator+= and accepts an argument of type C
    c = b;
// Calls C::operator= and accepts an argument of type B
    c += b; // Calls C::operator+= and accepts an argument of type B
// b -= c; // Compilation error, because of types mismatch. Expected
// behavior
// c -= b; // Compilation error, because of types mismatch. Expected
// behavior


    B b2;
    C c2;
    b -= b2;
    c -= c2;


}