optional_test.cpp revision 1.1.1.1.12.2 1 1.1.1.1.12.2 yamt // Copyright 2010 Google Inc.
2 1.1.1.1.12.2 yamt // All rights reserved.
3 1.1.1.1.12.2 yamt //
4 1.1.1.1.12.2 yamt // Redistribution and use in source and binary forms, with or without
5 1.1.1.1.12.2 yamt // modification, are permitted provided that the following conditions are
6 1.1.1.1.12.2 yamt // met:
7 1.1.1.1.12.2 yamt //
8 1.1.1.1.12.2 yamt // * Redistributions of source code must retain the above copyright
9 1.1.1.1.12.2 yamt // notice, this list of conditions and the following disclaimer.
10 1.1.1.1.12.2 yamt // * Redistributions in binary form must reproduce the above copyright
11 1.1.1.1.12.2 yamt // notice, this list of conditions and the following disclaimer in the
12 1.1.1.1.12.2 yamt // documentation and/or other materials provided with the distribution.
13 1.1.1.1.12.2 yamt // * Neither the name of Google Inc. nor the names of its contributors
14 1.1.1.1.12.2 yamt // may be used to endorse or promote products derived from this software
15 1.1.1.1.12.2 yamt // without specific prior written permission.
16 1.1.1.1.12.2 yamt //
17 1.1.1.1.12.2 yamt // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18 1.1.1.1.12.2 yamt // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19 1.1.1.1.12.2 yamt // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20 1.1.1.1.12.2 yamt // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21 1.1.1.1.12.2 yamt // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22 1.1.1.1.12.2 yamt // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23 1.1.1.1.12.2 yamt // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 1.1.1.1.12.2 yamt // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 1.1.1.1.12.2 yamt // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 1.1.1.1.12.2 yamt // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27 1.1.1.1.12.2 yamt // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 1.1.1.1.12.2 yamt
29 1.1.1.1.12.2 yamt #include "utils/optional.ipp"
30 1.1.1.1.12.2 yamt
31 1.1.1.1.12.2 yamt #include <iostream>
32 1.1.1.1.12.2 yamt #include <sstream>
33 1.1.1.1.12.2 yamt
34 1.1.1.1.12.2 yamt #include <atf-c++.hpp>
35 1.1.1.1.12.2 yamt
36 1.1.1.1.12.2 yamt using utils::none;
37 1.1.1.1.12.2 yamt using utils::optional;
38 1.1.1.1.12.2 yamt
39 1.1.1.1.12.2 yamt
40 1.1.1.1.12.2 yamt namespace {
41 1.1.1.1.12.2 yamt
42 1.1.1.1.12.2 yamt
43 1.1.1.1.12.2 yamt /// Fake class to capture calls to the new and delete operators.
44 1.1.1.1.12.2 yamt class test_alloc {
45 1.1.1.1.12.2 yamt public:
46 1.1.1.1.12.2 yamt /// Value to disambiguate objects after construction.
47 1.1.1.1.12.2 yamt int value;
48 1.1.1.1.12.2 yamt
49 1.1.1.1.12.2 yamt /// Balance of alive instances of this class in dynamic memory.
50 1.1.1.1.12.2 yamt static size_t instances;
51 1.1.1.1.12.2 yamt
52 1.1.1.1.12.2 yamt /// Constructs a new optional object.
53 1.1.1.1.12.2 yamt ///
54 1.1.1.1.12.2 yamt /// \param value_ The value to store in this object for disambiguation.
55 1.1.1.1.12.2 yamt test_alloc(int value_) : value(value_)
56 1.1.1.1.12.2 yamt {
57 1.1.1.1.12.2 yamt }
58 1.1.1.1.12.2 yamt
59 1.1.1.1.12.2 yamt /// Allocates a new object and records its existence.
60 1.1.1.1.12.2 yamt ///
61 1.1.1.1.12.2 yamt /// \param size The amount of memory to allocate.
62 1.1.1.1.12.2 yamt ///
63 1.1.1.1.12.2 yamt /// \return A pointer to the allocated memory.
64 1.1.1.1.12.2 yamt ///
65 1.1.1.1.12.2 yamt /// \throw std::bad_alloc If the memory allocation fails.
66 1.1.1.1.12.2 yamt void*
67 1.1.1.1.12.2 yamt operator new(size_t size)
68 1.1.1.1.12.2 yamt {
69 1.1.1.1.12.2 yamt instances++;
70 1.1.1.1.12.2 yamt std::cout << "test_alloc::operator new called\n";
71 1.1.1.1.12.2 yamt return ::operator new(size);
72 1.1.1.1.12.2 yamt }
73 1.1.1.1.12.2 yamt
74 1.1.1.1.12.2 yamt /// Deallocates an existing object and unrecords its existence.
75 1.1.1.1.12.2 yamt ///
76 1.1.1.1.12.2 yamt /// \param mem The pointer to the memory to deallocate.
77 1.1.1.1.12.2 yamt void
78 1.1.1.1.12.2 yamt operator delete(void* mem)
79 1.1.1.1.12.2 yamt {
80 1.1.1.1.12.2 yamt instances--;
81 1.1.1.1.12.2 yamt std::cout << "test_alloc::operator delete called\n";
82 1.1.1.1.12.2 yamt ::operator delete(mem);
83 1.1.1.1.12.2 yamt }
84 1.1.1.1.12.2 yamt };
85 1.1.1.1.12.2 yamt
86 1.1.1.1.12.2 yamt
87 1.1.1.1.12.2 yamt size_t test_alloc::instances = 0;
88 1.1.1.1.12.2 yamt
89 1.1.1.1.12.2 yamt
90 1.1.1.1.12.2 yamt /// Constructs and returns an optional object.
91 1.1.1.1.12.2 yamt ///
92 1.1.1.1.12.2 yamt /// This is used by tests to validate that returning an object from within a
93 1.1.1.1.12.2 yamt /// function works (i.e. the necessary constructors are available).
94 1.1.1.1.12.2 yamt ///
95 1.1.1.1.12.2 yamt /// \tparam Type The type of the object included in the optional wrapper.
96 1.1.1.1.12.2 yamt /// \param value The value to put inside the optional wrapper.
97 1.1.1.1.12.2 yamt ///
98 1.1.1.1.12.2 yamt /// \return The constructed optional object.
99 1.1.1.1.12.2 yamt template< typename Type >
100 1.1.1.1.12.2 yamt optional< Type >
101 1.1.1.1.12.2 yamt return_optional(const Type& value)
102 1.1.1.1.12.2 yamt {
103 1.1.1.1.12.2 yamt return optional< Type >(value);
104 1.1.1.1.12.2 yamt }
105 1.1.1.1.12.2 yamt
106 1.1.1.1.12.2 yamt
107 1.1.1.1.12.2 yamt } // anonymous namespace
108 1.1.1.1.12.2 yamt
109 1.1.1.1.12.2 yamt
110 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(ctors__native_type);
111 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(ctors__native_type)
112 1.1.1.1.12.2 yamt {
113 1.1.1.1.12.2 yamt const optional< int > no_args;
114 1.1.1.1.12.2 yamt ATF_REQUIRE(!no_args);
115 1.1.1.1.12.2 yamt
116 1.1.1.1.12.2 yamt const optional< int > with_none(none);
117 1.1.1.1.12.2 yamt ATF_REQUIRE(!with_none);
118 1.1.1.1.12.2 yamt
119 1.1.1.1.12.2 yamt const optional< int > with_arg(3);
120 1.1.1.1.12.2 yamt ATF_REQUIRE(with_arg);
121 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(3, with_arg.get());
122 1.1.1.1.12.2 yamt
123 1.1.1.1.12.2 yamt const optional< int > copy_none(with_none);
124 1.1.1.1.12.2 yamt ATF_REQUIRE(!copy_none);
125 1.1.1.1.12.2 yamt
126 1.1.1.1.12.2 yamt const optional< int > copy_arg(with_arg);
127 1.1.1.1.12.2 yamt ATF_REQUIRE(copy_arg);
128 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(3, copy_arg.get());
129 1.1.1.1.12.2 yamt }
130 1.1.1.1.12.2 yamt
131 1.1.1.1.12.2 yamt
132 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(ctors__complex_type);
133 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(ctors__complex_type)
134 1.1.1.1.12.2 yamt {
135 1.1.1.1.12.2 yamt const optional< std::string > no_args;
136 1.1.1.1.12.2 yamt ATF_REQUIRE(!no_args);
137 1.1.1.1.12.2 yamt
138 1.1.1.1.12.2 yamt const optional< std::string > with_none(none);
139 1.1.1.1.12.2 yamt ATF_REQUIRE(!with_none);
140 1.1.1.1.12.2 yamt
141 1.1.1.1.12.2 yamt const optional< std::string > with_arg("foo");
142 1.1.1.1.12.2 yamt ATF_REQUIRE(with_arg);
143 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ("foo", with_arg.get());
144 1.1.1.1.12.2 yamt
145 1.1.1.1.12.2 yamt const optional< std::string > copy_none(with_none);
146 1.1.1.1.12.2 yamt ATF_REQUIRE(!copy_none);
147 1.1.1.1.12.2 yamt
148 1.1.1.1.12.2 yamt const optional< std::string > copy_arg(with_arg);
149 1.1.1.1.12.2 yamt ATF_REQUIRE(copy_arg);
150 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ("foo", copy_arg.get());
151 1.1.1.1.12.2 yamt }
152 1.1.1.1.12.2 yamt
153 1.1.1.1.12.2 yamt
154 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(assign);
155 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(assign)
156 1.1.1.1.12.2 yamt {
157 1.1.1.1.12.2 yamt optional< int > from_default;
158 1.1.1.1.12.2 yamt from_default = optional< int >();
159 1.1.1.1.12.2 yamt ATF_REQUIRE(!from_default);
160 1.1.1.1.12.2 yamt
161 1.1.1.1.12.2 yamt optional< int > from_none(3);
162 1.1.1.1.12.2 yamt from_none = none;
163 1.1.1.1.12.2 yamt ATF_REQUIRE(!from_none);
164 1.1.1.1.12.2 yamt
165 1.1.1.1.12.2 yamt optional< int > from_int;
166 1.1.1.1.12.2 yamt from_int = 6;
167 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(6, from_int.get());
168 1.1.1.1.12.2 yamt }
169 1.1.1.1.12.2 yamt
170 1.1.1.1.12.2 yamt
171 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(return);
172 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(return)
173 1.1.1.1.12.2 yamt {
174 1.1.1.1.12.2 yamt optional< long > from_return(return_optional< long >(123));
175 1.1.1.1.12.2 yamt ATF_REQUIRE(from_return);
176 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(123, from_return.get());
177 1.1.1.1.12.2 yamt }
178 1.1.1.1.12.2 yamt
179 1.1.1.1.12.2 yamt
180 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(memory);
181 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(memory)
182 1.1.1.1.12.2 yamt {
183 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(0, test_alloc::instances);
184 1.1.1.1.12.2 yamt {
185 1.1.1.1.12.2 yamt optional< test_alloc > optional1(test_alloc(3));
186 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(1, test_alloc::instances);
187 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(3, optional1.get().value);
188 1.1.1.1.12.2 yamt
189 1.1.1.1.12.2 yamt {
190 1.1.1.1.12.2 yamt optional< test_alloc > optional2(optional1);
191 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(2, test_alloc::instances);
192 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(3, optional2.get().value);
193 1.1.1.1.12.2 yamt
194 1.1.1.1.12.2 yamt optional2 = 5;
195 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(2, test_alloc::instances);
196 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(5, optional2.get().value);
197 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(3, optional1.get().value);
198 1.1.1.1.12.2 yamt }
199 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(1, test_alloc::instances);
200 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(3, optional1.get().value);
201 1.1.1.1.12.2 yamt }
202 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(0, test_alloc::instances);
203 1.1.1.1.12.2 yamt }
204 1.1.1.1.12.2 yamt
205 1.1.1.1.12.2 yamt
206 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(get_default);
207 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(get_default)
208 1.1.1.1.12.2 yamt {
209 1.1.1.1.12.2 yamt const std::string def_value = "hello";
210 1.1.1.1.12.2 yamt optional< std::string > optional;
211 1.1.1.1.12.2 yamt ATF_REQUIRE(&def_value == &optional.get_default(def_value));
212 1.1.1.1.12.2 yamt optional = "bye";
213 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ("bye", optional.get_default(def_value));
214 1.1.1.1.12.2 yamt }
215 1.1.1.1.12.2 yamt
216 1.1.1.1.12.2 yamt
217 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(make_optional);
218 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(make_optional)
219 1.1.1.1.12.2 yamt {
220 1.1.1.1.12.2 yamt optional< int > opt = utils::make_optional(576);
221 1.1.1.1.12.2 yamt ATF_REQUIRE(opt);
222 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ(576, opt.get());
223 1.1.1.1.12.2 yamt }
224 1.1.1.1.12.2 yamt
225 1.1.1.1.12.2 yamt
226 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(operators_eq_and_ne);
227 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(operators_eq_and_ne)
228 1.1.1.1.12.2 yamt {
229 1.1.1.1.12.2 yamt optional< int > opt1, opt2;
230 1.1.1.1.12.2 yamt
231 1.1.1.1.12.2 yamt opt1 = none; opt2 = none;
232 1.1.1.1.12.2 yamt ATF_REQUIRE( opt1 == opt2);
233 1.1.1.1.12.2 yamt ATF_REQUIRE(!(opt1 != opt2));
234 1.1.1.1.12.2 yamt
235 1.1.1.1.12.2 yamt opt1 = utils::make_optional(5); opt2 = none;
236 1.1.1.1.12.2 yamt ATF_REQUIRE(!(opt1 == opt2));
237 1.1.1.1.12.2 yamt ATF_REQUIRE( opt1 != opt2);
238 1.1.1.1.12.2 yamt
239 1.1.1.1.12.2 yamt opt1 = none; opt2 = utils::make_optional(5);
240 1.1.1.1.12.2 yamt ATF_REQUIRE(!(opt1 == opt2));
241 1.1.1.1.12.2 yamt ATF_REQUIRE( opt1 != opt2);
242 1.1.1.1.12.2 yamt
243 1.1.1.1.12.2 yamt opt1 = utils::make_optional(5); opt2 = utils::make_optional(5);
244 1.1.1.1.12.2 yamt ATF_REQUIRE( opt1 == opt2);
245 1.1.1.1.12.2 yamt ATF_REQUIRE(!(opt1 != opt2));
246 1.1.1.1.12.2 yamt
247 1.1.1.1.12.2 yamt opt1 = utils::make_optional(6); opt2 = utils::make_optional(5);
248 1.1.1.1.12.2 yamt ATF_REQUIRE(!(opt1 == opt2));
249 1.1.1.1.12.2 yamt ATF_REQUIRE( opt1 != opt2);
250 1.1.1.1.12.2 yamt }
251 1.1.1.1.12.2 yamt
252 1.1.1.1.12.2 yamt
253 1.1.1.1.12.2 yamt ATF_TEST_CASE_WITHOUT_HEAD(output);
254 1.1.1.1.12.2 yamt ATF_TEST_CASE_BODY(output)
255 1.1.1.1.12.2 yamt {
256 1.1.1.1.12.2 yamt {
257 1.1.1.1.12.2 yamt std::ostringstream str;
258 1.1.1.1.12.2 yamt str << optional< int >(none);
259 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ("none", str.str());
260 1.1.1.1.12.2 yamt }
261 1.1.1.1.12.2 yamt {
262 1.1.1.1.12.2 yamt std::ostringstream str;
263 1.1.1.1.12.2 yamt str << optional< int >(5);
264 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ("5", str.str());
265 1.1.1.1.12.2 yamt }
266 1.1.1.1.12.2 yamt {
267 1.1.1.1.12.2 yamt std::ostringstream str;
268 1.1.1.1.12.2 yamt str << optional< std::string >("this is a text");
269 1.1.1.1.12.2 yamt ATF_REQUIRE_EQ("this is a text", str.str());
270 1.1.1.1.12.2 yamt }
271 1.1.1.1.12.2 yamt }
272 1.1.1.1.12.2 yamt
273 1.1.1.1.12.2 yamt
274 1.1.1.1.12.2 yamt ATF_INIT_TEST_CASES(tcs)
275 1.1.1.1.12.2 yamt {
276 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, ctors__native_type);
277 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, ctors__complex_type);
278 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, assign);
279 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, return);
280 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, memory);
281 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, get_default);
282 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, make_optional);
283 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, operators_eq_and_ne);
284 1.1.1.1.12.2 yamt ATF_ADD_TEST_CASE(tcs, output);
285 1.1.1.1.12.2 yamt }
286