| OLD | NEW |
| (Empty) |
| 1 /* | |
| 2 * Copyright 2015 The WebRTC Project Authors. All rights reserved. | |
| 3 * | |
| 4 * Use of this source code is governed by a BSD-style license | |
| 5 * that can be found in the LICENSE file in the root of the source | |
| 6 * tree. An additional intellectual property rights grant can be found | |
| 7 * in the file PATENTS. All contributing project authors may | |
| 8 * be found in the AUTHORS file in the root of the source tree. | |
| 9 */ | |
| 10 | |
| 11 #ifndef WEBRTC_BASE_MAYBE_H_ | |
| 12 #define WEBRTC_BASE_MAYBE_H_ | |
| 13 | |
| 14 #include <algorithm> | |
| 15 #include <utility> | |
| 16 | |
| 17 #include "webrtc/base/checks.h" | |
| 18 | |
| 19 namespace rtc { | |
| 20 | |
| 21 // Simple std::experimental::optional-wannabe. It either contains a T or not. | |
| 22 // In order to keep the implementation simple and portable, this implementation | |
| 23 // actually contains a (default-constructed) T even when it supposedly doesn't | |
| 24 // contain a value; use e.g. rtc::scoped_ptr<T> instead if that's too | |
| 25 // expensive. | |
| 26 // | |
| 27 // A moved-from Maybe<T> may only be destroyed, and assigned to if T allows | |
| 28 // being assigned to after having been moved from. Specifically, you may not | |
| 29 // assume that it just doesn't contain a value anymore. | |
| 30 // | |
| 31 // TODO(kwiberg): Get rid of this class when the standard library has | |
| 32 // std::optional (and we're allowed to use it). | |
| 33 template <typename T> | |
| 34 class Maybe final { | |
| 35 public: | |
| 36 // Construct an empty Maybe. | |
| 37 Maybe() : has_value_(false) {} | |
| 38 | |
| 39 // Construct a Maybe that contains a value. | |
| 40 explicit Maybe(const T& val) : value_(val), has_value_(true) {} | |
| 41 explicit Maybe(T&& val) : value_(static_cast<T&&>(val)), has_value_(true) {} | |
| 42 | |
| 43 // Copy and move constructors. | |
| 44 // TODO(kwiberg): =default the move constructor when MSVC supports it. | |
| 45 Maybe(const Maybe&) = default; | |
| 46 Maybe(Maybe&& m) | |
| 47 : value_(static_cast<T&&>(m.value_)), has_value_(m.has_value_) {} | |
| 48 | |
| 49 // Assignment. | |
| 50 // TODO(kwiberg): =default the move assignment op when MSVC supports it. | |
| 51 Maybe& operator=(const Maybe&) = default; | |
| 52 Maybe& operator=(Maybe&& m) { | |
| 53 value_ = static_cast<T&&>(m.value_); | |
| 54 has_value_ = m.has_value_; | |
| 55 return *this; | |
| 56 } | |
| 57 | |
| 58 friend void swap(Maybe& m1, Maybe& m2) { | |
| 59 using std::swap; | |
| 60 swap(m1.value_, m2.value_); | |
| 61 swap(m1.has_value_, m2.has_value_); | |
| 62 } | |
| 63 | |
| 64 // Conversion to bool to test if we have a value. | |
| 65 explicit operator bool() const { return has_value_; } | |
| 66 | |
| 67 // Dereferencing. Only allowed if we have a value. | |
| 68 const T* operator->() const { | |
| 69 RTC_DCHECK(has_value_); | |
| 70 return &value_; | |
| 71 } | |
| 72 T* operator->() { | |
| 73 RTC_DCHECK(has_value_); | |
| 74 return &value_; | |
| 75 } | |
| 76 const T& operator*() const { | |
| 77 RTC_DCHECK(has_value_); | |
| 78 return value_; | |
| 79 } | |
| 80 T& operator*() { | |
| 81 RTC_DCHECK(has_value_); | |
| 82 return value_; | |
| 83 } | |
| 84 | |
| 85 // Dereference with a default value in case we don't have a value. | |
| 86 const T& value_or(const T& default_val) const { | |
| 87 return has_value_ ? value_ : default_val; | |
| 88 } | |
| 89 | |
| 90 // Equality tests. Two Maybes are equal if they contain equivalent values, or | |
| 91 // if they're both empty. | |
| 92 friend bool operator==(const Maybe& m1, const Maybe& m2) { | |
| 93 return m1.has_value_ && m2.has_value_ ? m1.value_ == m2.value_ | |
| 94 : m1.has_value_ == m2.has_value_; | |
| 95 } | |
| 96 friend bool operator!=(const Maybe& m1, const Maybe& m2) { | |
| 97 return m1.has_value_ && m2.has_value_ ? m1.value_ != m2.value_ | |
| 98 : m1.has_value_ != m2.has_value_; | |
| 99 } | |
| 100 | |
| 101 private: | |
| 102 // Invariant: Unless *this has been moved from, value_ is default-initialized | |
| 103 // (or copied or moved from a default-initialized T) if !has_value_. | |
| 104 T value_; | |
| 105 bool has_value_; | |
| 106 }; | |
| 107 | |
| 108 } // namespace rtc | |
| 109 | |
| 110 #endif // WEBRTC_BASE_MAYBE_H_ | |
| OLD | NEW |