Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1197)

Side by Side Diff: webrtc/base/maybe.h

Issue 1432553007: Rename Maybe to Optional (Closed) Base URL: https://chromium.googlesource.com/external/webrtc.git@master
Patch Set: rebase Created 5 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « webrtc/base/base_tests.gyp ('k') | webrtc/base/maybe_unittest.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(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_
OLDNEW
« no previous file with comments | « webrtc/base/base_tests.gyp ('k') | webrtc/base/maybe_unittest.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698