1 // Copyright (C) 2014 Andrzej Krzemienski.
2 //
3 // Use, modification, and distribution is subject to the Boost Software
4 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
5 // http://www.boost.org/LICENSE_1_0.txt)
6 //
7 // See http://www.boost.org/libs/optional for documentation.
8 //
9 // You are welcome to contact the author at:
10 // akrzemi1@gmail.com
11
12 #ifndef BOOST_OPTIONAL_TEST_TESTABKE_CLASSES_AK_07JAN2015_HPP
13 #define BOOST_OPTIONAL_TEST_TESTABKE_CLASSES_AK_07JAN2015_HPP
14
15 #include "boost/optional/optional.hpp"
16
17 struct ScopeGuard // no copy/move ctor/assign
18 {
19 int val_;
ScopeGuardScopeGuard20 explicit ScopeGuard(int v) : val_(v) {}
valScopeGuard21 int& val() { return val_; }
valScopeGuard22 const int& val() const { return val_; }
23
24 private:
25 ScopeGuard(ScopeGuard const&);
26 void operator=(ScopeGuard const&);
27 };
28
29 struct Abstract
30 {
31 virtual int& val() = 0;
32 virtual const int& val() const = 0;
~AbstractAbstract33 virtual ~Abstract() {}
AbstractAbstract34 Abstract(){}
35
36 private:
37 Abstract(Abstract const&);
38 void operator=(Abstract const&);
39 };
40
41 struct Impl : Abstract
42 {
43 int val_;
ImplImpl44 Impl(int v) : val_(v) {}
valImpl45 int& val() { return val_; }
valImpl46 const int& val() const { return val_; }
47 };
48
49 template <typename T>
50 struct concrete_type_of
51 {
52 typedef T type;
53 };
54
55 template <>
56 struct concrete_type_of<Abstract>
57 {
58 typedef Impl type;
59 };
60
61 template <>
62 struct concrete_type_of<const Abstract>
63 {
64 typedef const Impl type;
65 };
66
67 template <typename T>
68 struct has_arrow
69 {
70 static const bool value = true;
71 };
72
73 template <>
74 struct has_arrow<int>
75 {
76 static const bool value = false;
77 };
78
79 template <>
80 struct has_arrow< boost::optional<int> >
81 {
82 static const bool value = false;
83 };
84
val(int & i)85 int& val(int& i) { return i; }
val(Abstract & a)86 int& val(Abstract& a) { return a.val(); }
val(Impl & a)87 int& val(Impl& a) { return a.val(); }
val(ScopeGuard & g)88 int& val(ScopeGuard& g) { return g.val(); }
val(T & o)89 template <typename T> int& val(T& o) { return *o; }
90
val(const int & i)91 const int& val(const int& i) { return i; }
val(const Abstract & a)92 const int& val(const Abstract& a) { return a.val(); }
val(const Impl & a)93 const int& val(const Impl& a) { return a.val(); }
val(const ScopeGuard & g)94 const int& val(const ScopeGuard& g) { return g.val(); }
val(const T & o)95 template <typename T> const int& val(const T& o) { return *o; }
96
operator ==(const Abstract & l,const Abstract & r)97 bool operator==(const Abstract& l, const Abstract& r) { return l.val() == r.val(); }
operator ==(const ScopeGuard & l,const ScopeGuard & r)98 bool operator==(const ScopeGuard& l, const ScopeGuard& r) { return l.val() == r.val(); }
99
operator <(const Abstract & l,const Abstract & r)100 bool operator<(const Abstract& l, const Abstract& r) { return l.val() < r.val(); }
operator <(const ScopeGuard & l,const ScopeGuard & r)101 bool operator<(const ScopeGuard& l, const ScopeGuard& r) { return l.val() < r.val(); }
102
103 #endif //BOOST_OPTIONAL_TEST_TESTABKE_CLASSES_AK_07JAN2015_HPP
104