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
|
template <class Derived>
struct Sub
{
Derived &operator-=(Derived const &rhs) &;
Derived &&operator-=(Derived const &rhs) &&;
};
template <class Derived>
Derived &Sub<Derived>::operator-=(Derived const &rhs) &
{
Derived tmp{static_cast<Derived &>(*this)};
tmp.subWrap(rhs);
static_cast<Derived &>(*this).swap(tmp);
return static_cast<Derived &>(*this);
}
template <class Derived>
Derived &&Sub<Derived>::operator-=(Derived const &rhs) &&
{
static_cast<Derived &>(*this).subWrap(rhs);
return std::move(static_cast<Derived &>(*this));
}
template <class Derived>
Derived operator-(Derived const &lhs, Derived const &rhs)
{
Derived ret{lhs};
ret.subWrap(rhs);
return ret;
}
template <class Derived>
Derived operator-(Derived &&lhs, Derived const &rhs)
{
lhs.subWrap(rhs);
return std::move(lhs);
}
template <class Derived, int ...ops>
class BinopsBase0<Derived, '-', ops...>
:
public BinopsBase0<Derived, ops...>,
public Sub<Derived>
{};
|
