High level Bluetooth Low Energy API and radio abstraction layer
Fork of BLE_API by
ble/SafeBool.h@1201:871f0198b762, 2016-05-08 (annotated)
- Committer:
- luzai
- Date:
- Sun May 08 13:48:54 2016 +0000
- Revision:
- 1201:871f0198b762
- Parent:
- 1183:1589830dbdb7
finally ok;
Who changed what in which revision?
User | Revision | Line number | New contents of line |
---|---|---|---|
vcoubard | 1148:0340d5bbbeba | 1 | /* mbed Microcontroller Library |
vcoubard | 1148:0340d5bbbeba | 2 | * Copyright (c) 2006-2013 ARM Limited |
vcoubard | 1148:0340d5bbbeba | 3 | * |
vcoubard | 1148:0340d5bbbeba | 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
vcoubard | 1148:0340d5bbbeba | 5 | * you may not use this file except in compliance with the License. |
vcoubard | 1148:0340d5bbbeba | 6 | * You may obtain a copy of the License at |
vcoubard | 1148:0340d5bbbeba | 7 | * |
vcoubard | 1148:0340d5bbbeba | 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
vcoubard | 1148:0340d5bbbeba | 9 | * |
vcoubard | 1148:0340d5bbbeba | 10 | * Unless required by applicable law or agreed to in writing, software |
vcoubard | 1148:0340d5bbbeba | 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
vcoubard | 1148:0340d5bbbeba | 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
vcoubard | 1148:0340d5bbbeba | 13 | * See the License for the specific language governing permissions and |
vcoubard | 1148:0340d5bbbeba | 14 | * limitations under the License. |
vcoubard | 1148:0340d5bbbeba | 15 | */ |
vcoubard | 1148:0340d5bbbeba | 16 | |
vcoubard | 1148:0340d5bbbeba | 17 | #ifndef BLE_API_SAFE_BOOL_H_ |
vcoubard | 1148:0340d5bbbeba | 18 | #define BLE_API_SAFE_BOOL_H_ |
vcoubard | 1148:0340d5bbbeba | 19 | |
vcoubard | 1183:1589830dbdb7 | 20 | /* Safe bool idiom, see : http://www.artima.com/cppsource/safebool.html */ |
vcoubard | 1148:0340d5bbbeba | 21 | |
vcoubard | 1148:0340d5bbbeba | 22 | namespace SafeBool_ { |
vcoubard | 1148:0340d5bbbeba | 23 | /** |
vcoubard | 1183:1589830dbdb7 | 24 | * @brief Base class for all intances of SafeBool. |
vcoubard | 1183:1589830dbdb7 | 25 | * This base class reduces instantiation of trueTag function. |
vcoubard | 1148:0340d5bbbeba | 26 | */ |
vcoubard | 1148:0340d5bbbeba | 27 | class base { |
vcoubard | 1148:0340d5bbbeba | 28 | template<typename> |
vcoubard | 1148:0340d5bbbeba | 29 | friend class SafeBool; |
vcoubard | 1148:0340d5bbbeba | 30 | |
vcoubard | 1148:0340d5bbbeba | 31 | protected: |
vcoubard | 1183:1589830dbdb7 | 32 | /** |
vcoubard | 1183:1589830dbdb7 | 33 | * The bool type is a pointer to method which can be used in boolean context. |
vcoubard | 1183:1589830dbdb7 | 34 | */ |
vcoubard | 1183:1589830dbdb7 | 35 | typedef void (base::*BoolType_t)() const; |
vcoubard | 1148:0340d5bbbeba | 36 | |
vcoubard | 1183:1589830dbdb7 | 37 | /** |
vcoubard | 1183:1589830dbdb7 | 38 | * Non implemented call, use to disallow conversion between unrelated types. |
vcoubard | 1183:1589830dbdb7 | 39 | */ |
vcoubard | 1183:1589830dbdb7 | 40 | void invalidTag() const; |
vcoubard | 1148:0340d5bbbeba | 41 | |
vcoubard | 1183:1589830dbdb7 | 42 | /** |
vcoubard | 1183:1589830dbdb7 | 43 | * Member function which indicate true value. |
vcoubard | 1183:1589830dbdb7 | 44 | */ |
vcoubard | 1183:1589830dbdb7 | 45 | void trueTag() const {} |
vcoubard | 1148:0340d5bbbeba | 46 | }; |
vcoubard | 1148:0340d5bbbeba | 47 | |
vcoubard | 1148:0340d5bbbeba | 48 | |
vcoubard | 1148:0340d5bbbeba | 49 | } |
vcoubard | 1148:0340d5bbbeba | 50 | |
vcoubard | 1148:0340d5bbbeba | 51 | /** |
vcoubard | 1148:0340d5bbbeba | 52 | * @brief template class SafeBool use CRTP to made boolean conversion easy and correct. |
vcoubard | 1183:1589830dbdb7 | 53 | * Derived class should implement the function bool toBool() const to make this work. Inheritance |
vcoubard | 1148:0340d5bbbeba | 54 | * should be public. |
vcoubard | 1148:0340d5bbbeba | 55 | * |
vcoubard | 1148:0340d5bbbeba | 56 | * @tparam T Type of the derived class |
vcoubard | 1183:1589830dbdb7 | 57 | * |
vcoubard | 1183:1589830dbdb7 | 58 | * @code |
vcoubard | 1183:1589830dbdb7 | 59 | * |
vcoubard | 1183:1589830dbdb7 | 60 | * class A : public SafeBool<A> { |
vcoubard | 1148:0340d5bbbeba | 61 | * public: |
vcoubard | 1183:1589830dbdb7 | 62 | * |
vcoubard | 1148:0340d5bbbeba | 63 | * // boolean conversion |
vcoubard | 1183:1589830dbdb7 | 64 | * bool toBool() { |
vcoubard | 1183:1589830dbdb7 | 65 | * |
vcoubard | 1183:1589830dbdb7 | 66 | * } |
vcoubard | 1148:0340d5bbbeba | 67 | * }; |
vcoubard | 1183:1589830dbdb7 | 68 | * |
vcoubard | 1183:1589830dbdb7 | 69 | * class B : public SafeBool<B> { |
vcoubard | 1148:0340d5bbbeba | 70 | * public: |
vcoubard | 1183:1589830dbdb7 | 71 | * |
vcoubard | 1148:0340d5bbbeba | 72 | * // boolean conversion |
vcoubard | 1183:1589830dbdb7 | 73 | * bool toBool() const { |
vcoubard | 1183:1589830dbdb7 | 74 | * |
vcoubard | 1183:1589830dbdb7 | 75 | * } |
vcoubard | 1148:0340d5bbbeba | 76 | * }; |
vcoubard | 1183:1589830dbdb7 | 77 | * |
vcoubard | 1148:0340d5bbbeba | 78 | * A a; |
vcoubard | 1148:0340d5bbbeba | 79 | * B b; |
vcoubard | 1183:1589830dbdb7 | 80 | * |
vcoubard | 1183:1589830dbdb7 | 81 | * // will compile |
vcoubard | 1183:1589830dbdb7 | 82 | * if(a) { |
vcoubard | 1183:1589830dbdb7 | 83 | * |
vcoubard | 1148:0340d5bbbeba | 84 | * } |
vcoubard | 1183:1589830dbdb7 | 85 | * |
vcoubard | 1183:1589830dbdb7 | 86 | * // compilation error |
vcoubard | 1183:1589830dbdb7 | 87 | * if(a == b) { |
vcoubard | 1183:1589830dbdb7 | 88 | * |
vcoubard | 1148:0340d5bbbeba | 89 | * } |
vcoubard | 1183:1589830dbdb7 | 90 | * |
vcoubard | 1183:1589830dbdb7 | 91 | * |
vcoubard | 1183:1589830dbdb7 | 92 | * @endcode |
vcoubard | 1148:0340d5bbbeba | 93 | */ |
vcoubard | 1183:1589830dbdb7 | 94 | template <typename T> |
vcoubard | 1148:0340d5bbbeba | 95 | class SafeBool : public SafeBool_::base { |
vcoubard | 1148:0340d5bbbeba | 96 | public: |
vcoubard | 1183:1589830dbdb7 | 97 | /** |
vcoubard | 1183:1589830dbdb7 | 98 | * Bool operator implementation, derived class has to provide bool toBool() const function. |
vcoubard | 1183:1589830dbdb7 | 99 | */ |
vcoubard | 1183:1589830dbdb7 | 100 | operator BoolType_t() const { |
vcoubard | 1183:1589830dbdb7 | 101 | return (static_cast<const T*>(this))->toBool() |
vcoubard | 1183:1589830dbdb7 | 102 | ? &SafeBool<T>::trueTag : 0; |
vcoubard | 1183:1589830dbdb7 | 103 | } |
vcoubard | 1148:0340d5bbbeba | 104 | }; |
vcoubard | 1148:0340d5bbbeba | 105 | |
vcoubard | 1183:1589830dbdb7 | 106 | /** |
vcoubard | 1183:1589830dbdb7 | 107 | * Avoid conversion to bool between different classes. |
vcoubard | 1183:1589830dbdb7 | 108 | */ |
vcoubard | 1148:0340d5bbbeba | 109 | template <typename T, typename U> |
vcoubard | 1148:0340d5bbbeba | 110 | void operator==(const SafeBool<T>& lhs,const SafeBool<U>& rhs) { |
vcoubard | 1148:0340d5bbbeba | 111 | lhs.invalidTag(); |
vcoubard | 1183:1589830dbdb7 | 112 | // return false; |
vcoubard | 1148:0340d5bbbeba | 113 | } |
vcoubard | 1148:0340d5bbbeba | 114 | |
vcoubard | 1183:1589830dbdb7 | 115 | /** |
vcoubard | 1183:1589830dbdb7 | 116 | * Avoid conversion to bool between different classes. |
vcoubard | 1183:1589830dbdb7 | 117 | */ |
vcoubard | 1148:0340d5bbbeba | 118 | template <typename T,typename U> |
vcoubard | 1148:0340d5bbbeba | 119 | void operator!=(const SafeBool<T>& lhs,const SafeBool<U>& rhs) { |
vcoubard | 1183:1589830dbdb7 | 120 | lhs.invalidTag(); |
vcoubard | 1183:1589830dbdb7 | 121 | // return false; |
vcoubard | 1148:0340d5bbbeba | 122 | } |
vcoubard | 1148:0340d5bbbeba | 123 | |
rgrover1 | 948:1bb402105289 | 124 | #endif /* BLE_API_SAFE_BOOL_H_ */ |