xref: /freebsd/contrib/kyua/utils/optional.hpp (revision ebacd8013fe5f7fdf9f6a5b286f6680dd2891036)
1 // Copyright 2010 The Kyua Authors.
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are
6 // met:
7 //
8 // * Redistributions of source code must retain the above copyright
9 //   notice, this list of conditions and the following disclaimer.
10 // * Redistributions in binary form must reproduce the above copyright
11 //   notice, this list of conditions and the following disclaimer in the
12 //   documentation and/or other materials provided with the distribution.
13 // * Neither the name of Google Inc. nor the names of its contributors
14 //   may be used to endorse or promote products derived from this software
15 //   without specific prior written permission.
16 //
17 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 
29 /// \file utils/optional.hpp
30 /// Provides the utils::optional class.
31 ///
32 /// The class is provided as a separate module on its own to minimize
33 /// header-inclusion side-effects.
34 
35 #if !defined(UTILS_OPTIONAL_HPP)
36 #define UTILS_OPTIONAL_HPP
37 
38 #include "utils/optional_fwd.hpp"
39 
40 #include <ostream>
41 
42 namespace utils {
43 
44 
45 /// Holds a data value or none.
46 ///
47 /// This class allows users to represent values that may be uninitialized.
48 /// Instead of having to keep separate variables to track whether a variable is
49 /// supposed to have a value or not, this class allows multiplexing the
50 /// behaviors.
51 ///
52 /// This class is a simplified version of Boost.Optional.
53 template< class T >
54 class optional {
55     /// Internal representation of the optional data value.
56     T* _data;
57 
58 public:
59     optional(void);
60     optional(utils::detail::none_t);
61     optional(const optional< T >&);
62     explicit optional(const T&);
63     ~optional(void);
64 
65     optional& operator=(utils::detail::none_t);
66     optional& operator=(const T&);
67     optional& operator=(const optional< T >&);
68 
69     bool operator==(const optional< T >&) const;
70     bool operator!=(const optional< T >&) const;
71 
72     operator bool(void) const;
73 
74     const T& get(void) const;
75     const T& get_default(const T&) const;
76     T& get(void);
77 };
78 
79 
80 template< class T >
81 std::ostream& operator<<(std::ostream&, const optional< T >&);
82 
83 
84 template< class T >
85 optional< T > make_optional(const T&);
86 
87 
88 }  // namespace utils
89 
90 #endif  // !defined(UTILS_OPTIONAL_HPP)
91