Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
freebsd
GitHub Repository: freebsd/freebsd-src
Path: blob/main/contrib/googletest/googlemock/test/gmock-actions_test.cc
48254 views
1
// Copyright 2007, Google Inc.
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
11
// copyright notice, this list of conditions and the following disclaimer
12
// in the documentation and/or other materials provided with the
13
// distribution.
14
// * Neither the name of Google Inc. nor the names of its
15
// contributors may be used to endorse or promote products derived from
16
// this software without specific prior written permission.
17
//
18
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29
30
// Google Mock - a framework for writing C++ mock classes.
31
//
32
// This file tests the built-in actions.
33
34
#include "gmock/gmock-actions.h"
35
36
#include <algorithm>
37
#include <functional>
38
#include <iterator>
39
#include <memory>
40
#include <sstream>
41
#include <string>
42
#include <tuple>
43
#include <type_traits>
44
#include <utility>
45
#include <vector>
46
47
#include "gmock/gmock.h"
48
#include "gmock/internal/gmock-port.h"
49
#include "gtest/gtest-spi.h"
50
#include "gtest/gtest.h"
51
#include "gtest/internal/gtest-port.h"
52
53
// Silence C4100 (unreferenced formal parameter) and C4503 (decorated name
54
// length exceeded) for MSVC.
55
GTEST_DISABLE_MSC_WARNINGS_PUSH_(4100 4503)
56
#if defined(_MSC_VER) && (_MSC_VER == 1900)
57
// and silence C4800 (C4800: 'int *const ': forcing value
58
// to bool 'true' or 'false') for MSVC 15
59
GTEST_DISABLE_MSC_WARNINGS_PUSH_(4800)
60
#endif
61
62
namespace testing {
63
namespace {
64
65
using ::testing::internal::BuiltInDefaultValue;
66
67
TEST(TypeTraits, Negation) {
68
// Direct use with std types.
69
static_assert(std::is_base_of<std::false_type,
70
internal::negation<std::true_type>>::value,
71
"");
72
73
static_assert(std::is_base_of<std::true_type,
74
internal::negation<std::false_type>>::value,
75
"");
76
77
// With other types that fit the requirement of a value member that is
78
// convertible to bool.
79
static_assert(std::is_base_of<
80
std::true_type,
81
internal::negation<std::integral_constant<int, 0>>>::value,
82
"");
83
84
static_assert(std::is_base_of<
85
std::false_type,
86
internal::negation<std::integral_constant<int, 1>>>::value,
87
"");
88
89
static_assert(std::is_base_of<
90
std::false_type,
91
internal::negation<std::integral_constant<int, -1>>>::value,
92
"");
93
}
94
95
// Weird false/true types that aren't actually bool constants (but should still
96
// be legal according to [meta.logical] because `bool(T::value)` is valid), are
97
// distinct from std::false_type and std::true_type, and are distinct from other
98
// instantiations of the same template.
99
//
100
// These let us check finicky details mandated by the standard like
101
// "std::conjunction should evaluate to a type that inherits from the first
102
// false-y input".
103
template <int>
104
struct MyFalse : std::integral_constant<int, 0> {};
105
106
template <int>
107
struct MyTrue : std::integral_constant<int, -1> {};
108
109
TEST(TypeTraits, Conjunction) {
110
// Base case: always true.
111
static_assert(std::is_base_of<std::true_type, internal::conjunction<>>::value,
112
"");
113
114
// One predicate: inherits from that predicate, regardless of value.
115
static_assert(
116
std::is_base_of<MyFalse<0>, internal::conjunction<MyFalse<0>>>::value,
117
"");
118
119
static_assert(
120
std::is_base_of<MyTrue<0>, internal::conjunction<MyTrue<0>>>::value, "");
121
122
// Multiple predicates, with at least one false: inherits from that one.
123
static_assert(
124
std::is_base_of<MyFalse<1>, internal::conjunction<MyTrue<0>, MyFalse<1>,
125
MyTrue<2>>>::value,
126
"");
127
128
static_assert(
129
std::is_base_of<MyFalse<1>, internal::conjunction<MyTrue<0>, MyFalse<1>,
130
MyFalse<2>>>::value,
131
"");
132
133
// Short circuiting: in the case above, additional predicates need not even
134
// define a value member.
135
struct Empty {};
136
static_assert(
137
std::is_base_of<MyFalse<1>, internal::conjunction<MyTrue<0>, MyFalse<1>,
138
Empty>>::value,
139
"");
140
141
// All predicates true: inherits from the last.
142
static_assert(
143
std::is_base_of<MyTrue<2>, internal::conjunction<MyTrue<0>, MyTrue<1>,
144
MyTrue<2>>>::value,
145
"");
146
}
147
148
TEST(TypeTraits, Disjunction) {
149
// Base case: always false.
150
static_assert(
151
std::is_base_of<std::false_type, internal::disjunction<>>::value, "");
152
153
// One predicate: inherits from that predicate, regardless of value.
154
static_assert(
155
std::is_base_of<MyFalse<0>, internal::disjunction<MyFalse<0>>>::value,
156
"");
157
158
static_assert(
159
std::is_base_of<MyTrue<0>, internal::disjunction<MyTrue<0>>>::value, "");
160
161
// Multiple predicates, with at least one true: inherits from that one.
162
static_assert(
163
std::is_base_of<MyTrue<1>, internal::disjunction<MyFalse<0>, MyTrue<1>,
164
MyFalse<2>>>::value,
165
"");
166
167
static_assert(
168
std::is_base_of<MyTrue<1>, internal::disjunction<MyFalse<0>, MyTrue<1>,
169
MyTrue<2>>>::value,
170
"");
171
172
// Short circuiting: in the case above, additional predicates need not even
173
// define a value member.
174
struct Empty {};
175
static_assert(
176
std::is_base_of<MyTrue<1>, internal::disjunction<MyFalse<0>, MyTrue<1>,
177
Empty>>::value,
178
"");
179
180
// All predicates false: inherits from the last.
181
static_assert(
182
std::is_base_of<MyFalse<2>, internal::disjunction<MyFalse<0>, MyFalse<1>,
183
MyFalse<2>>>::value,
184
"");
185
}
186
187
TEST(TypeTraits, IsInvocableRV) {
188
struct C {
189
int operator()() const { return 0; }
190
void operator()(int) & {}
191
std::string operator()(int) && { return ""; };
192
};
193
194
// The first overload is callable for const and non-const rvalues and lvalues.
195
// It can be used to obtain an int, cv void, or anything int is convertible
196
// to.
197
static_assert(internal::is_callable_r<int, C>::value, "");
198
static_assert(internal::is_callable_r<int, C&>::value, "");
199
static_assert(internal::is_callable_r<int, const C>::value, "");
200
static_assert(internal::is_callable_r<int, const C&>::value, "");
201
202
static_assert(internal::is_callable_r<void, C>::value, "");
203
static_assert(internal::is_callable_r<const volatile void, C>::value, "");
204
static_assert(internal::is_callable_r<char, C>::value, "");
205
206
// It's possible to provide an int. If it's given to an lvalue, the result is
207
// void. Otherwise it is std::string (which is also treated as allowed for a
208
// void result type).
209
static_assert(internal::is_callable_r<void, C&, int>::value, "");
210
static_assert(!internal::is_callable_r<int, C&, int>::value, "");
211
static_assert(!internal::is_callable_r<std::string, C&, int>::value, "");
212
static_assert(!internal::is_callable_r<void, const C&, int>::value, "");
213
214
static_assert(internal::is_callable_r<std::string, C, int>::value, "");
215
static_assert(internal::is_callable_r<void, C, int>::value, "");
216
static_assert(!internal::is_callable_r<int, C, int>::value, "");
217
218
// It's not possible to provide other arguments.
219
static_assert(!internal::is_callable_r<void, C, std::string>::value, "");
220
static_assert(!internal::is_callable_r<void, C, int, int>::value, "");
221
222
// In C++17 and above, where it's guaranteed that functions can return
223
// non-moveable objects, everything should work fine for non-moveable rsult
224
// types too.
225
#if defined(GTEST_INTERNAL_CPLUSPLUS_LANG) && \
226
GTEST_INTERNAL_CPLUSPLUS_LANG >= 201703L
227
{
228
struct NonMoveable {
229
NonMoveable() = default;
230
NonMoveable(NonMoveable&&) = delete;
231
};
232
233
static_assert(!std::is_move_constructible_v<NonMoveable>);
234
235
struct Callable {
236
NonMoveable operator()() { return NonMoveable(); }
237
};
238
239
static_assert(internal::is_callable_r<NonMoveable, Callable>::value);
240
static_assert(internal::is_callable_r<void, Callable>::value);
241
static_assert(
242
internal::is_callable_r<const volatile void, Callable>::value);
243
244
static_assert(!internal::is_callable_r<int, Callable>::value);
245
static_assert(!internal::is_callable_r<NonMoveable, Callable, int>::value);
246
}
247
#endif // C++17 and above
248
249
// Nothing should choke when we try to call other arguments besides directly
250
// callable objects, but they should not show up as callable.
251
static_assert(!internal::is_callable_r<void, int>::value, "");
252
static_assert(!internal::is_callable_r<void, void (C::*)()>::value, "");
253
static_assert(!internal::is_callable_r<void, void (C::*)(), C*>::value, "");
254
}
255
256
// Tests that BuiltInDefaultValue<T*>::Get() returns NULL.
257
TEST(BuiltInDefaultValueTest, IsNullForPointerTypes) {
258
EXPECT_TRUE(BuiltInDefaultValue<int*>::Get() == nullptr);
259
EXPECT_TRUE(BuiltInDefaultValue<const char*>::Get() == nullptr);
260
EXPECT_TRUE(BuiltInDefaultValue<void*>::Get() == nullptr);
261
}
262
263
// Tests that BuiltInDefaultValue<T*>::Exists() return true.
264
TEST(BuiltInDefaultValueTest, ExistsForPointerTypes) {
265
EXPECT_TRUE(BuiltInDefaultValue<int*>::Exists());
266
EXPECT_TRUE(BuiltInDefaultValue<const char*>::Exists());
267
EXPECT_TRUE(BuiltInDefaultValue<void*>::Exists());
268
}
269
270
// Tests that BuiltInDefaultValue<T>::Get() returns 0 when T is a
271
// built-in numeric type.
272
TEST(BuiltInDefaultValueTest, IsZeroForNumericTypes) {
273
EXPECT_EQ(0U, BuiltInDefaultValue<unsigned char>::Get());
274
EXPECT_EQ(0, BuiltInDefaultValue<signed char>::Get());
275
EXPECT_EQ(0, BuiltInDefaultValue<char>::Get());
276
#if GMOCK_WCHAR_T_IS_NATIVE_
277
#if !defined(__WCHAR_UNSIGNED__)
278
EXPECT_EQ(0, BuiltInDefaultValue<wchar_t>::Get());
279
#else
280
EXPECT_EQ(0U, BuiltInDefaultValue<wchar_t>::Get());
281
#endif
282
#endif
283
EXPECT_EQ(0U, BuiltInDefaultValue<unsigned short>::Get()); // NOLINT
284
EXPECT_EQ(0, BuiltInDefaultValue<signed short>::Get()); // NOLINT
285
EXPECT_EQ(0, BuiltInDefaultValue<short>::Get()); // NOLINT
286
EXPECT_EQ(0U, BuiltInDefaultValue<unsigned int>::Get());
287
EXPECT_EQ(0, BuiltInDefaultValue<signed int>::Get());
288
EXPECT_EQ(0, BuiltInDefaultValue<int>::Get());
289
EXPECT_EQ(0U, BuiltInDefaultValue<unsigned long>::Get()); // NOLINT
290
EXPECT_EQ(0, BuiltInDefaultValue<signed long>::Get()); // NOLINT
291
EXPECT_EQ(0, BuiltInDefaultValue<long>::Get()); // NOLINT
292
EXPECT_EQ(0U, BuiltInDefaultValue<unsigned long long>::Get()); // NOLINT
293
EXPECT_EQ(0, BuiltInDefaultValue<signed long long>::Get()); // NOLINT
294
EXPECT_EQ(0, BuiltInDefaultValue<long long>::Get()); // NOLINT
295
EXPECT_EQ(0, BuiltInDefaultValue<float>::Get());
296
EXPECT_EQ(0, BuiltInDefaultValue<double>::Get());
297
}
298
299
// Tests that BuiltInDefaultValue<T>::Exists() returns true when T is a
300
// built-in numeric type.
301
TEST(BuiltInDefaultValueTest, ExistsForNumericTypes) {
302
EXPECT_TRUE(BuiltInDefaultValue<unsigned char>::Exists());
303
EXPECT_TRUE(BuiltInDefaultValue<signed char>::Exists());
304
EXPECT_TRUE(BuiltInDefaultValue<char>::Exists());
305
#if GMOCK_WCHAR_T_IS_NATIVE_
306
EXPECT_TRUE(BuiltInDefaultValue<wchar_t>::Exists());
307
#endif
308
EXPECT_TRUE(BuiltInDefaultValue<unsigned short>::Exists()); // NOLINT
309
EXPECT_TRUE(BuiltInDefaultValue<signed short>::Exists()); // NOLINT
310
EXPECT_TRUE(BuiltInDefaultValue<short>::Exists()); // NOLINT
311
EXPECT_TRUE(BuiltInDefaultValue<unsigned int>::Exists());
312
EXPECT_TRUE(BuiltInDefaultValue<signed int>::Exists());
313
EXPECT_TRUE(BuiltInDefaultValue<int>::Exists());
314
EXPECT_TRUE(BuiltInDefaultValue<unsigned long>::Exists()); // NOLINT
315
EXPECT_TRUE(BuiltInDefaultValue<signed long>::Exists()); // NOLINT
316
EXPECT_TRUE(BuiltInDefaultValue<long>::Exists()); // NOLINT
317
EXPECT_TRUE(BuiltInDefaultValue<unsigned long long>::Exists()); // NOLINT
318
EXPECT_TRUE(BuiltInDefaultValue<signed long long>::Exists()); // NOLINT
319
EXPECT_TRUE(BuiltInDefaultValue<long long>::Exists()); // NOLINT
320
EXPECT_TRUE(BuiltInDefaultValue<float>::Exists());
321
EXPECT_TRUE(BuiltInDefaultValue<double>::Exists());
322
}
323
324
// Tests that BuiltInDefaultValue<bool>::Get() returns false.
325
TEST(BuiltInDefaultValueTest, IsFalseForBool) {
326
EXPECT_FALSE(BuiltInDefaultValue<bool>::Get());
327
}
328
329
// Tests that BuiltInDefaultValue<bool>::Exists() returns true.
330
TEST(BuiltInDefaultValueTest, BoolExists) {
331
EXPECT_TRUE(BuiltInDefaultValue<bool>::Exists());
332
}
333
334
// Tests that BuiltInDefaultValue<T>::Get() returns "" when T is a
335
// string type.
336
TEST(BuiltInDefaultValueTest, IsEmptyStringForString) {
337
EXPECT_EQ("", BuiltInDefaultValue<::std::string>::Get());
338
}
339
340
// Tests that BuiltInDefaultValue<T>::Exists() returns true when T is a
341
// string type.
342
TEST(BuiltInDefaultValueTest, ExistsForString) {
343
EXPECT_TRUE(BuiltInDefaultValue<::std::string>::Exists());
344
}
345
346
// Tests that BuiltInDefaultValue<const T>::Get() returns the same
347
// value as BuiltInDefaultValue<T>::Get() does.
348
TEST(BuiltInDefaultValueTest, WorksForConstTypes) {
349
EXPECT_EQ("", BuiltInDefaultValue<const std::string>::Get());
350
EXPECT_EQ(0, BuiltInDefaultValue<const int>::Get());
351
EXPECT_TRUE(BuiltInDefaultValue<char* const>::Get() == nullptr);
352
EXPECT_FALSE(BuiltInDefaultValue<const bool>::Get());
353
}
354
355
// A type that's default constructible.
356
class MyDefaultConstructible {
357
public:
358
MyDefaultConstructible() : value_(42) {}
359
360
int value() const { return value_; }
361
362
private:
363
int value_;
364
};
365
366
// A type that's not default constructible.
367
class MyNonDefaultConstructible {
368
public:
369
// Does not have a default ctor.
370
explicit MyNonDefaultConstructible(int a_value) : value_(a_value) {}
371
372
int value() const { return value_; }
373
374
private:
375
int value_;
376
};
377
378
TEST(BuiltInDefaultValueTest, ExistsForDefaultConstructibleType) {
379
EXPECT_TRUE(BuiltInDefaultValue<MyDefaultConstructible>::Exists());
380
}
381
382
TEST(BuiltInDefaultValueTest, IsDefaultConstructedForDefaultConstructibleType) {
383
EXPECT_EQ(42, BuiltInDefaultValue<MyDefaultConstructible>::Get().value());
384
}
385
386
TEST(BuiltInDefaultValueTest, DoesNotExistForNonDefaultConstructibleType) {
387
EXPECT_FALSE(BuiltInDefaultValue<MyNonDefaultConstructible>::Exists());
388
}
389
390
// Tests that BuiltInDefaultValue<T&>::Get() aborts the program.
391
TEST(BuiltInDefaultValueDeathTest, IsUndefinedForReferences) {
392
EXPECT_DEATH_IF_SUPPORTED({ BuiltInDefaultValue<int&>::Get(); }, "");
393
EXPECT_DEATH_IF_SUPPORTED({ BuiltInDefaultValue<const char&>::Get(); }, "");
394
}
395
396
TEST(BuiltInDefaultValueDeathTest, IsUndefinedForNonDefaultConstructibleType) {
397
EXPECT_DEATH_IF_SUPPORTED(
398
{ BuiltInDefaultValue<MyNonDefaultConstructible>::Get(); }, "");
399
}
400
401
// Tests that DefaultValue<T>::IsSet() is false initially.
402
TEST(DefaultValueTest, IsInitiallyUnset) {
403
EXPECT_FALSE(DefaultValue<int>::IsSet());
404
EXPECT_FALSE(DefaultValue<MyDefaultConstructible>::IsSet());
405
EXPECT_FALSE(DefaultValue<const MyNonDefaultConstructible>::IsSet());
406
}
407
408
// Tests that DefaultValue<T> can be set and then unset.
409
TEST(DefaultValueTest, CanBeSetAndUnset) {
410
EXPECT_TRUE(DefaultValue<int>::Exists());
411
EXPECT_FALSE(DefaultValue<const MyNonDefaultConstructible>::Exists());
412
413
DefaultValue<int>::Set(1);
414
DefaultValue<const MyNonDefaultConstructible>::Set(
415
MyNonDefaultConstructible(42));
416
417
EXPECT_EQ(1, DefaultValue<int>::Get());
418
EXPECT_EQ(42, DefaultValue<const MyNonDefaultConstructible>::Get().value());
419
420
EXPECT_TRUE(DefaultValue<int>::Exists());
421
EXPECT_TRUE(DefaultValue<const MyNonDefaultConstructible>::Exists());
422
423
DefaultValue<int>::Clear();
424
DefaultValue<const MyNonDefaultConstructible>::Clear();
425
426
EXPECT_FALSE(DefaultValue<int>::IsSet());
427
EXPECT_FALSE(DefaultValue<const MyNonDefaultConstructible>::IsSet());
428
429
EXPECT_TRUE(DefaultValue<int>::Exists());
430
EXPECT_FALSE(DefaultValue<const MyNonDefaultConstructible>::Exists());
431
}
432
433
// Tests that DefaultValue<T>::Get() returns the
434
// BuiltInDefaultValue<T>::Get() when DefaultValue<T>::IsSet() is
435
// false.
436
TEST(DefaultValueDeathTest, GetReturnsBuiltInDefaultValueWhenUnset) {
437
EXPECT_FALSE(DefaultValue<int>::IsSet());
438
EXPECT_TRUE(DefaultValue<int>::Exists());
439
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible>::IsSet());
440
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible>::Exists());
441
442
EXPECT_EQ(0, DefaultValue<int>::Get());
443
444
EXPECT_DEATH_IF_SUPPORTED({ DefaultValue<MyNonDefaultConstructible>::Get(); },
445
"");
446
}
447
448
TEST(DefaultValueTest, GetWorksForMoveOnlyIfSet) {
449
EXPECT_TRUE(DefaultValue<std::unique_ptr<int>>::Exists());
450
EXPECT_TRUE(DefaultValue<std::unique_ptr<int>>::Get() == nullptr);
451
DefaultValue<std::unique_ptr<int>>::SetFactory(
452
[] { return std::make_unique<int>(42); });
453
EXPECT_TRUE(DefaultValue<std::unique_ptr<int>>::Exists());
454
std::unique_ptr<int> i = DefaultValue<std::unique_ptr<int>>::Get();
455
EXPECT_EQ(42, *i);
456
}
457
458
// Tests that DefaultValue<void>::Get() returns void.
459
TEST(DefaultValueTest, GetWorksForVoid) { return DefaultValue<void>::Get(); }
460
461
// Tests using DefaultValue with a reference type.
462
463
// Tests that DefaultValue<T&>::IsSet() is false initially.
464
TEST(DefaultValueOfReferenceTest, IsInitiallyUnset) {
465
EXPECT_FALSE(DefaultValue<int&>::IsSet());
466
EXPECT_FALSE(DefaultValue<MyDefaultConstructible&>::IsSet());
467
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible&>::IsSet());
468
}
469
470
// Tests that DefaultValue<T&>::Exists is false initially.
471
TEST(DefaultValueOfReferenceTest, IsInitiallyNotExisting) {
472
EXPECT_FALSE(DefaultValue<int&>::Exists());
473
EXPECT_FALSE(DefaultValue<MyDefaultConstructible&>::Exists());
474
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible&>::Exists());
475
}
476
477
// Tests that DefaultValue<T&> can be set and then unset.
478
TEST(DefaultValueOfReferenceTest, CanBeSetAndUnset) {
479
int n = 1;
480
DefaultValue<const int&>::Set(n);
481
MyNonDefaultConstructible x(42);
482
DefaultValue<MyNonDefaultConstructible&>::Set(x);
483
484
EXPECT_TRUE(DefaultValue<const int&>::Exists());
485
EXPECT_TRUE(DefaultValue<MyNonDefaultConstructible&>::Exists());
486
487
EXPECT_EQ(&n, &(DefaultValue<const int&>::Get()));
488
EXPECT_EQ(&x, &(DefaultValue<MyNonDefaultConstructible&>::Get()));
489
490
DefaultValue<const int&>::Clear();
491
DefaultValue<MyNonDefaultConstructible&>::Clear();
492
493
EXPECT_FALSE(DefaultValue<const int&>::Exists());
494
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible&>::Exists());
495
496
EXPECT_FALSE(DefaultValue<const int&>::IsSet());
497
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible&>::IsSet());
498
}
499
500
// Tests that DefaultValue<T&>::Get() returns the
501
// BuiltInDefaultValue<T&>::Get() when DefaultValue<T&>::IsSet() is
502
// false.
503
TEST(DefaultValueOfReferenceDeathTest, GetReturnsBuiltInDefaultValueWhenUnset) {
504
EXPECT_FALSE(DefaultValue<int&>::IsSet());
505
EXPECT_FALSE(DefaultValue<MyNonDefaultConstructible&>::IsSet());
506
507
EXPECT_DEATH_IF_SUPPORTED({ DefaultValue<int&>::Get(); }, "");
508
EXPECT_DEATH_IF_SUPPORTED({ DefaultValue<MyNonDefaultConstructible>::Get(); },
509
"");
510
}
511
512
// Tests that ActionInterface can be implemented by defining the
513
// Perform method.
514
515
typedef int MyGlobalFunction(bool, int);
516
517
class MyActionImpl : public ActionInterface<MyGlobalFunction> {
518
public:
519
int Perform(const std::tuple<bool, int>& args) override {
520
return std::get<0>(args) ? std::get<1>(args) : 0;
521
}
522
};
523
524
TEST(ActionInterfaceTest, CanBeImplementedByDefiningPerform) {
525
MyActionImpl my_action_impl;
526
(void)my_action_impl;
527
}
528
529
TEST(ActionInterfaceTest, MakeAction) {
530
Action<MyGlobalFunction> action = MakeAction(new MyActionImpl);
531
532
// When exercising the Perform() method of Action<F>, we must pass
533
// it a tuple whose size and type are compatible with F's argument
534
// types. For example, if F is int(), then Perform() takes a
535
// 0-tuple; if F is void(bool, int), then Perform() takes a
536
// std::tuple<bool, int>, and so on.
537
EXPECT_EQ(5, action.Perform(std::make_tuple(true, 5)));
538
}
539
540
// Tests that Action<F> can be constructed from a pointer to
541
// ActionInterface<F>.
542
TEST(ActionTest, CanBeConstructedFromActionInterface) {
543
Action<MyGlobalFunction> action(new MyActionImpl);
544
}
545
546
// Tests that Action<F> delegates actual work to ActionInterface<F>.
547
TEST(ActionTest, DelegatesWorkToActionInterface) {
548
const Action<MyGlobalFunction> action(new MyActionImpl);
549
550
EXPECT_EQ(5, action.Perform(std::make_tuple(true, 5)));
551
EXPECT_EQ(0, action.Perform(std::make_tuple(false, 1)));
552
}
553
554
// Tests that Action<F> can be copied.
555
TEST(ActionTest, IsCopyable) {
556
Action<MyGlobalFunction> a1(new MyActionImpl);
557
Action<MyGlobalFunction> a2(a1); // Tests the copy constructor.
558
559
// a1 should continue to work after being copied from.
560
EXPECT_EQ(5, a1.Perform(std::make_tuple(true, 5)));
561
EXPECT_EQ(0, a1.Perform(std::make_tuple(false, 1)));
562
563
// a2 should work like the action it was copied from.
564
EXPECT_EQ(5, a2.Perform(std::make_tuple(true, 5)));
565
EXPECT_EQ(0, a2.Perform(std::make_tuple(false, 1)));
566
567
a2 = a1; // Tests the assignment operator.
568
569
// a1 should continue to work after being copied from.
570
EXPECT_EQ(5, a1.Perform(std::make_tuple(true, 5)));
571
EXPECT_EQ(0, a1.Perform(std::make_tuple(false, 1)));
572
573
// a2 should work like the action it was copied from.
574
EXPECT_EQ(5, a2.Perform(std::make_tuple(true, 5)));
575
EXPECT_EQ(0, a2.Perform(std::make_tuple(false, 1)));
576
}
577
578
// Tests that an Action<From> object can be converted to a
579
// compatible Action<To> object.
580
581
class IsNotZero : public ActionInterface<bool(int)> { // NOLINT
582
public:
583
bool Perform(const std::tuple<int>& arg) override {
584
return std::get<0>(arg) != 0;
585
}
586
};
587
588
TEST(ActionTest, CanBeConvertedToOtherActionType) {
589
const Action<bool(int)> a1(new IsNotZero); // NOLINT
590
const Action<int(char)> a2 = Action<int(char)>(a1); // NOLINT
591
EXPECT_EQ(1, a2.Perform(std::make_tuple('a')));
592
EXPECT_EQ(0, a2.Perform(std::make_tuple('\0')));
593
}
594
595
// The following two classes are for testing MakePolymorphicAction().
596
597
// Implements a polymorphic action that returns the second of the
598
// arguments it receives.
599
class ReturnSecondArgumentAction {
600
public:
601
// We want to verify that MakePolymorphicAction() can work with a
602
// polymorphic action whose Perform() method template is either
603
// const or not. This lets us verify the non-const case.
604
template <typename Result, typename ArgumentTuple>
605
Result Perform(const ArgumentTuple& args) {
606
return std::get<1>(args);
607
}
608
};
609
610
// Implements a polymorphic action that can be used in a nullary
611
// function to return 0.
612
class ReturnZeroFromNullaryFunctionAction {
613
public:
614
// For testing that MakePolymorphicAction() works when the
615
// implementation class' Perform() method template takes only one
616
// template parameter.
617
//
618
// We want to verify that MakePolymorphicAction() can work with a
619
// polymorphic action whose Perform() method template is either
620
// const or not. This lets us verify the const case.
621
template <typename Result>
622
Result Perform(const std::tuple<>&) const {
623
return 0;
624
}
625
};
626
627
// These functions verify that MakePolymorphicAction() returns a
628
// PolymorphicAction<T> where T is the argument's type.
629
630
PolymorphicAction<ReturnSecondArgumentAction> ReturnSecondArgument() {
631
return MakePolymorphicAction(ReturnSecondArgumentAction());
632
}
633
634
PolymorphicAction<ReturnZeroFromNullaryFunctionAction>
635
ReturnZeroFromNullaryFunction() {
636
return MakePolymorphicAction(ReturnZeroFromNullaryFunctionAction());
637
}
638
639
// Tests that MakePolymorphicAction() turns a polymorphic action
640
// implementation class into a polymorphic action.
641
TEST(MakePolymorphicActionTest, ConstructsActionFromImpl) {
642
Action<int(bool, int, double)> a1 = ReturnSecondArgument(); // NOLINT
643
EXPECT_EQ(5, a1.Perform(std::make_tuple(false, 5, 2.0)));
644
}
645
646
// Tests that MakePolymorphicAction() works when the implementation
647
// class' Perform() method template has only one template parameter.
648
TEST(MakePolymorphicActionTest, WorksWhenPerformHasOneTemplateParameter) {
649
Action<int()> a1 = ReturnZeroFromNullaryFunction();
650
EXPECT_EQ(0, a1.Perform(std::make_tuple()));
651
652
Action<void*()> a2 = ReturnZeroFromNullaryFunction();
653
EXPECT_TRUE(a2.Perform(std::make_tuple()) == nullptr);
654
}
655
656
// Tests that Return() works as an action for void-returning
657
// functions.
658
TEST(ReturnTest, WorksForVoid) {
659
const Action<void(int)> ret = Return(); // NOLINT
660
return ret.Perform(std::make_tuple(1));
661
}
662
663
// Tests that Return(v) returns v.
664
TEST(ReturnTest, ReturnsGivenValue) {
665
Action<int()> ret = Return(1); // NOLINT
666
EXPECT_EQ(1, ret.Perform(std::make_tuple()));
667
668
ret = Return(-5);
669
EXPECT_EQ(-5, ret.Perform(std::make_tuple()));
670
}
671
672
// Tests that Return("string literal") works.
673
TEST(ReturnTest, AcceptsStringLiteral) {
674
Action<const char*()> a1 = Return("Hello");
675
EXPECT_STREQ("Hello", a1.Perform(std::make_tuple()));
676
677
Action<std::string()> a2 = Return("world");
678
EXPECT_EQ("world", a2.Perform(std::make_tuple()));
679
}
680
681
// Return(x) should work fine when the mock function's return type is a
682
// reference-like wrapper for decltype(x), as when x is a std::string and the
683
// mock function returns std::string_view.
684
TEST(ReturnTest, SupportsReferenceLikeReturnType) {
685
// A reference wrapper for std::vector<int>, implicitly convertible from it.
686
struct Result {
687
const std::vector<int>* v;
688
Result(const std::vector<int>& vec) : v(&vec) {} // NOLINT
689
};
690
691
// Set up an action for a mock function that returns the reference wrapper
692
// type, initializing it with an actual vector.
693
//
694
// The returned wrapper should be initialized with a copy of that vector
695
// that's embedded within the action itself (which should stay alive as long
696
// as the mock object is alive), rather than e.g. a reference to the temporary
697
// we feed to Return. This should work fine both for WillOnce and
698
// WillRepeatedly.
699
MockFunction<Result()> mock;
700
EXPECT_CALL(mock, Call)
701
.WillOnce(Return(std::vector<int>{17, 19, 23}))
702
.WillRepeatedly(Return(std::vector<int>{29, 31, 37}));
703
704
EXPECT_THAT(mock.AsStdFunction()(),
705
Field(&Result::v, Pointee(ElementsAre(17, 19, 23))));
706
707
EXPECT_THAT(mock.AsStdFunction()(),
708
Field(&Result::v, Pointee(ElementsAre(29, 31, 37))));
709
}
710
711
TEST(ReturnTest, PrefersConversionOperator) {
712
// Define types In and Out such that:
713
//
714
// * In is implicitly convertible to Out.
715
// * Out also has an explicit constructor from In.
716
//
717
struct In;
718
struct Out {
719
int x;
720
721
explicit Out(const int val) : x(val) {}
722
explicit Out(const In&) : x(0) {}
723
};
724
725
struct In {
726
operator Out() const { return Out{19}; } // NOLINT
727
};
728
729
// Assumption check: the C++ language rules are such that a function that
730
// returns Out which uses In a return statement will use the implicit
731
// conversion path rather than the explicit constructor.
732
EXPECT_THAT([]() -> Out { return In(); }(), Field(&Out::x, 19));
733
734
// Return should work the same way: if the mock function's return type is Out
735
// and we feed Return an In value, then the Out should be created through the
736
// implicit conversion path rather than the explicit constructor.
737
MockFunction<Out()> mock;
738
EXPECT_CALL(mock, Call).WillOnce(Return(In()));
739
EXPECT_THAT(mock.AsStdFunction()(), Field(&Out::x, 19));
740
}
741
742
// It should be possible to use Return(R) with a mock function result type U
743
// that is convertible from const R& but *not* R (such as
744
// std::reference_wrapper). This should work for both WillOnce and
745
// WillRepeatedly.
746
TEST(ReturnTest, ConversionRequiresConstLvalueReference) {
747
using R = int;
748
using U = std::reference_wrapper<const int>;
749
750
static_assert(std::is_convertible<const R&, U>::value, "");
751
static_assert(!std::is_convertible<R, U>::value, "");
752
753
MockFunction<U()> mock;
754
EXPECT_CALL(mock, Call).WillOnce(Return(17)).WillRepeatedly(Return(19));
755
756
EXPECT_EQ(17, mock.AsStdFunction()());
757
EXPECT_EQ(19, mock.AsStdFunction()());
758
}
759
760
// Return(x) should not be usable with a mock function result type that's
761
// implicitly convertible from decltype(x) but requires a non-const lvalue
762
// reference to the input. It doesn't make sense for the conversion operator to
763
// modify the input.
764
TEST(ReturnTest, ConversionRequiresMutableLvalueReference) {
765
// Set up a type that is implicitly convertible from std::string&, but not
766
// std::string&& or `const std::string&`.
767
//
768
// Avoid asserting about conversion from std::string on MSVC, which seems to
769
// implement std::is_convertible incorrectly in this case.
770
struct S {
771
S(std::string&) {} // NOLINT
772
};
773
774
static_assert(std::is_convertible<std::string&, S>::value, "");
775
#ifndef _MSC_VER
776
static_assert(!std::is_convertible<std::string&&, S>::value, "");
777
#endif
778
static_assert(!std::is_convertible<const std::string&, S>::value, "");
779
780
// It shouldn't be possible to use the result of Return(std::string) in a
781
// context where an S is needed.
782
//
783
// Here too we disable the assertion for MSVC, since its incorrect
784
// implementation of is_convertible causes our SFINAE to be wrong.
785
using RA = decltype(Return(std::string()));
786
787
static_assert(!std::is_convertible<RA, Action<S()>>::value, "");
788
#ifndef _MSC_VER
789
static_assert(!std::is_convertible<RA, OnceAction<S()>>::value, "");
790
#endif
791
}
792
793
TEST(ReturnTest, MoveOnlyResultType) {
794
// Return should support move-only result types when used with WillOnce.
795
{
796
MockFunction<std::unique_ptr<int>()> mock;
797
EXPECT_CALL(mock, Call)
798
// NOLINTNEXTLINE
799
.WillOnce(Return(std::unique_ptr<int>(new int(17))));
800
801
EXPECT_THAT(mock.AsStdFunction()(), Pointee(17));
802
}
803
804
// The result of Return should not be convertible to Action (so it can't be
805
// used with WillRepeatedly).
806
static_assert(!std::is_convertible<decltype(Return(std::unique_ptr<int>())),
807
Action<std::unique_ptr<int>()>>::value,
808
"");
809
}
810
811
// Tests that Return(v) is covariant.
812
813
struct Base {
814
bool operator==(const Base&) { return true; }
815
};
816
817
struct Derived : public Base {
818
bool operator==(const Derived&) { return true; }
819
};
820
821
TEST(ReturnTest, IsCovariant) {
822
Base base;
823
Derived derived;
824
Action<Base*()> ret = Return(&base);
825
EXPECT_EQ(&base, ret.Perform(std::make_tuple()));
826
827
ret = Return(&derived);
828
EXPECT_EQ(&derived, ret.Perform(std::make_tuple()));
829
}
830
831
// Tests that the type of the value passed into Return is converted into T
832
// when the action is cast to Action<T(...)> rather than when the action is
833
// performed. See comments on testing::internal::ReturnAction in
834
// gmock-actions.h for more information.
835
class FromType {
836
public:
837
explicit FromType(bool* is_converted) : converted_(is_converted) {}
838
bool* converted() const { return converted_; }
839
840
private:
841
bool* const converted_;
842
};
843
844
class ToType {
845
public:
846
// Must allow implicit conversion due to use in ImplicitCast_<T>.
847
ToType(const FromType& x) { *x.converted() = true; } // NOLINT
848
};
849
850
TEST(ReturnTest, ConvertsArgumentWhenConverted) {
851
bool converted = false;
852
FromType x(&converted);
853
Action<ToType()> action(Return(x));
854
EXPECT_TRUE(converted) << "Return must convert its argument in its own "
855
<< "conversion operator.";
856
converted = false;
857
action.Perform(std::tuple<>());
858
EXPECT_FALSE(converted) << "Action must NOT convert its argument "
859
<< "when performed.";
860
}
861
862
// Tests that ReturnNull() returns NULL in a pointer-returning function.
863
TEST(ReturnNullTest, WorksInPointerReturningFunction) {
864
const Action<int*()> a1 = ReturnNull();
865
EXPECT_TRUE(a1.Perform(std::make_tuple()) == nullptr);
866
867
const Action<const char*(bool)> a2 = ReturnNull(); // NOLINT
868
EXPECT_TRUE(a2.Perform(std::make_tuple(true)) == nullptr);
869
}
870
871
// Tests that ReturnNull() returns NULL for shared_ptr and unique_ptr returning
872
// functions.
873
TEST(ReturnNullTest, WorksInSmartPointerReturningFunction) {
874
const Action<std::unique_ptr<const int>()> a1 = ReturnNull();
875
EXPECT_TRUE(a1.Perform(std::make_tuple()) == nullptr);
876
877
const Action<std::shared_ptr<int>(std::string)> a2 = ReturnNull();
878
EXPECT_TRUE(a2.Perform(std::make_tuple("foo")) == nullptr);
879
}
880
881
// Tests that ReturnRef(v) works for reference types.
882
TEST(ReturnRefTest, WorksForReference) {
883
const int n = 0;
884
const Action<const int&(bool)> ret = ReturnRef(n); // NOLINT
885
886
EXPECT_EQ(&n, &ret.Perform(std::make_tuple(true)));
887
}
888
889
// Tests that ReturnRef(v) is covariant.
890
TEST(ReturnRefTest, IsCovariant) {
891
Base base;
892
Derived derived;
893
Action<Base&()> a = ReturnRef(base);
894
EXPECT_EQ(&base, &a.Perform(std::make_tuple()));
895
896
a = ReturnRef(derived);
897
EXPECT_EQ(&derived, &a.Perform(std::make_tuple()));
898
}
899
900
template <typename T, typename = decltype(ReturnRef(std::declval<T&&>()))>
901
bool CanCallReturnRef(T&&) {
902
return true;
903
}
904
bool CanCallReturnRef(Unused) { return false; }
905
906
// Tests that ReturnRef(v) is working with non-temporaries (T&)
907
TEST(ReturnRefTest, WorksForNonTemporary) {
908
int scalar_value = 123;
909
EXPECT_TRUE(CanCallReturnRef(scalar_value));
910
911
std::string non_scalar_value("ABC");
912
EXPECT_TRUE(CanCallReturnRef(non_scalar_value));
913
914
const int const_scalar_value{321};
915
EXPECT_TRUE(CanCallReturnRef(const_scalar_value));
916
917
const std::string const_non_scalar_value("CBA");
918
EXPECT_TRUE(CanCallReturnRef(const_non_scalar_value));
919
}
920
921
// Tests that ReturnRef(v) is not working with temporaries (T&&)
922
TEST(ReturnRefTest, DoesNotWorkForTemporary) {
923
auto scalar_value = []() -> int { return 123; };
924
EXPECT_FALSE(CanCallReturnRef(scalar_value()));
925
926
auto non_scalar_value = []() -> std::string { return "ABC"; };
927
EXPECT_FALSE(CanCallReturnRef(non_scalar_value()));
928
929
// cannot use here callable returning "const scalar type",
930
// because such const for scalar return type is ignored
931
EXPECT_FALSE(CanCallReturnRef(static_cast<const int>(321)));
932
933
auto const_non_scalar_value = []() -> const std::string { return "CBA"; };
934
EXPECT_FALSE(CanCallReturnRef(const_non_scalar_value()));
935
}
936
937
// Tests that ReturnRefOfCopy(v) works for reference types.
938
TEST(ReturnRefOfCopyTest, WorksForReference) {
939
int n = 42;
940
const Action<const int&()> ret = ReturnRefOfCopy(n);
941
942
EXPECT_NE(&n, &ret.Perform(std::make_tuple()));
943
EXPECT_EQ(42, ret.Perform(std::make_tuple()));
944
945
n = 43;
946
EXPECT_NE(&n, &ret.Perform(std::make_tuple()));
947
EXPECT_EQ(42, ret.Perform(std::make_tuple()));
948
}
949
950
// Tests that ReturnRefOfCopy(v) is covariant.
951
TEST(ReturnRefOfCopyTest, IsCovariant) {
952
Base base;
953
Derived derived;
954
Action<Base&()> a = ReturnRefOfCopy(base);
955
EXPECT_NE(&base, &a.Perform(std::make_tuple()));
956
957
a = ReturnRefOfCopy(derived);
958
EXPECT_NE(&derived, &a.Perform(std::make_tuple()));
959
}
960
961
// Tests that ReturnRoundRobin(v) works with initializer lists
962
TEST(ReturnRoundRobinTest, WorksForInitList) {
963
Action<int()> ret = ReturnRoundRobin({1, 2, 3});
964
965
EXPECT_EQ(1, ret.Perform(std::make_tuple()));
966
EXPECT_EQ(2, ret.Perform(std::make_tuple()));
967
EXPECT_EQ(3, ret.Perform(std::make_tuple()));
968
EXPECT_EQ(1, ret.Perform(std::make_tuple()));
969
EXPECT_EQ(2, ret.Perform(std::make_tuple()));
970
EXPECT_EQ(3, ret.Perform(std::make_tuple()));
971
}
972
973
// Tests that ReturnRoundRobin(v) works with vectors
974
TEST(ReturnRoundRobinTest, WorksForVector) {
975
std::vector<double> v = {4.4, 5.5, 6.6};
976
Action<double()> ret = ReturnRoundRobin(v);
977
978
EXPECT_EQ(4.4, ret.Perform(std::make_tuple()));
979
EXPECT_EQ(5.5, ret.Perform(std::make_tuple()));
980
EXPECT_EQ(6.6, ret.Perform(std::make_tuple()));
981
EXPECT_EQ(4.4, ret.Perform(std::make_tuple()));
982
EXPECT_EQ(5.5, ret.Perform(std::make_tuple()));
983
EXPECT_EQ(6.6, ret.Perform(std::make_tuple()));
984
}
985
986
// Tests that DoDefault() does the default action for the mock method.
987
988
class MockClass {
989
public:
990
MockClass() = default;
991
992
MOCK_METHOD1(IntFunc, int(bool flag)); // NOLINT
993
MOCK_METHOD0(Foo, MyNonDefaultConstructible());
994
MOCK_METHOD0(MakeUnique, std::unique_ptr<int>());
995
MOCK_METHOD0(MakeUniqueBase, std::unique_ptr<Base>());
996
MOCK_METHOD0(MakeVectorUnique, std::vector<std::unique_ptr<int>>());
997
MOCK_METHOD1(TakeUnique, int(std::unique_ptr<int>));
998
MOCK_METHOD2(TakeUnique,
999
int(const std::unique_ptr<int>&, std::unique_ptr<int>));
1000
1001
private:
1002
MockClass(const MockClass&) = delete;
1003
MockClass& operator=(const MockClass&) = delete;
1004
};
1005
1006
// Tests that DoDefault() returns the built-in default value for the
1007
// return type by default.
1008
TEST(DoDefaultTest, ReturnsBuiltInDefaultValueByDefault) {
1009
MockClass mock;
1010
EXPECT_CALL(mock, IntFunc(_)).WillOnce(DoDefault());
1011
EXPECT_EQ(0, mock.IntFunc(true));
1012
}
1013
1014
// Tests that DoDefault() throws (when exceptions are enabled) or aborts
1015
// the process when there is no built-in default value for the return type.
1016
TEST(DoDefaultDeathTest, DiesForUnknowType) {
1017
MockClass mock;
1018
EXPECT_CALL(mock, Foo()).WillRepeatedly(DoDefault());
1019
#if GTEST_HAS_EXCEPTIONS
1020
EXPECT_ANY_THROW(mock.Foo());
1021
#else
1022
EXPECT_DEATH_IF_SUPPORTED({ mock.Foo(); }, "");
1023
#endif
1024
}
1025
1026
// Tests that using DoDefault() inside a composite action leads to a
1027
// run-time error.
1028
1029
void VoidFunc(bool /* flag */) {}
1030
1031
TEST(DoDefaultDeathTest, DiesIfUsedInCompositeAction) {
1032
MockClass mock;
1033
EXPECT_CALL(mock, IntFunc(_))
1034
.WillRepeatedly(DoAll(Invoke(VoidFunc), DoDefault()));
1035
1036
// Ideally we should verify the error message as well. Sadly,
1037
// EXPECT_DEATH() can only capture stderr, while Google Mock's
1038
// errors are printed on stdout. Therefore we have to settle for
1039
// not verifying the message.
1040
EXPECT_DEATH_IF_SUPPORTED({ mock.IntFunc(true); }, "");
1041
}
1042
1043
// Tests that DoDefault() returns the default value set by
1044
// DefaultValue<T>::Set() when it's not overridden by an ON_CALL().
1045
TEST(DoDefaultTest, ReturnsUserSpecifiedPerTypeDefaultValueWhenThereIsOne) {
1046
DefaultValue<int>::Set(1);
1047
MockClass mock;
1048
EXPECT_CALL(mock, IntFunc(_)).WillOnce(DoDefault());
1049
EXPECT_EQ(1, mock.IntFunc(false));
1050
DefaultValue<int>::Clear();
1051
}
1052
1053
// Tests that DoDefault() does the action specified by ON_CALL().
1054
TEST(DoDefaultTest, DoesWhatOnCallSpecifies) {
1055
MockClass mock;
1056
ON_CALL(mock, IntFunc(_)).WillByDefault(Return(2));
1057
EXPECT_CALL(mock, IntFunc(_)).WillOnce(DoDefault());
1058
EXPECT_EQ(2, mock.IntFunc(false));
1059
}
1060
1061
// Tests that using DoDefault() in ON_CALL() leads to a run-time failure.
1062
TEST(DoDefaultTest, CannotBeUsedInOnCall) {
1063
MockClass mock;
1064
EXPECT_NONFATAL_FAILURE(
1065
{ // NOLINT
1066
ON_CALL(mock, IntFunc(_)).WillByDefault(DoDefault());
1067
},
1068
"DoDefault() cannot be used in ON_CALL()");
1069
}
1070
1071
// Tests that SetArgPointee<N>(v) sets the variable pointed to by
1072
// the N-th (0-based) argument to v.
1073
TEST(SetArgPointeeTest, SetsTheNthPointee) {
1074
typedef void MyFunction(bool, int*, char*);
1075
Action<MyFunction> a = SetArgPointee<1>(2);
1076
1077
int n = 0;
1078
char ch = '\0';
1079
a.Perform(std::make_tuple(true, &n, &ch));
1080
EXPECT_EQ(2, n);
1081
EXPECT_EQ('\0', ch);
1082
1083
a = SetArgPointee<2>('a');
1084
n = 0;
1085
ch = '\0';
1086
a.Perform(std::make_tuple(true, &n, &ch));
1087
EXPECT_EQ(0, n);
1088
EXPECT_EQ('a', ch);
1089
}
1090
1091
// Tests that SetArgPointee<N>() accepts a string literal.
1092
TEST(SetArgPointeeTest, AcceptsStringLiteral) {
1093
typedef void MyFunction(std::string*, const char**);
1094
Action<MyFunction> a = SetArgPointee<0>("hi");
1095
std::string str;
1096
const char* ptr = nullptr;
1097
a.Perform(std::make_tuple(&str, &ptr));
1098
EXPECT_EQ("hi", str);
1099
EXPECT_TRUE(ptr == nullptr);
1100
1101
a = SetArgPointee<1>("world");
1102
str = "";
1103
a.Perform(std::make_tuple(&str, &ptr));
1104
EXPECT_EQ("", str);
1105
EXPECT_STREQ("world", ptr);
1106
}
1107
1108
TEST(SetArgPointeeTest, AcceptsWideStringLiteral) {
1109
typedef void MyFunction(const wchar_t**);
1110
Action<MyFunction> a = SetArgPointee<0>(L"world");
1111
const wchar_t* ptr = nullptr;
1112
a.Perform(std::make_tuple(&ptr));
1113
EXPECT_STREQ(L"world", ptr);
1114
1115
#if GTEST_HAS_STD_WSTRING
1116
1117
typedef void MyStringFunction(std::wstring*);
1118
Action<MyStringFunction> a2 = SetArgPointee<0>(L"world");
1119
std::wstring str = L"";
1120
a2.Perform(std::make_tuple(&str));
1121
EXPECT_EQ(L"world", str);
1122
1123
#endif
1124
}
1125
1126
// Tests that SetArgPointee<N>() accepts a char pointer.
1127
TEST(SetArgPointeeTest, AcceptsCharPointer) {
1128
typedef void MyFunction(bool, std::string*, const char**);
1129
const char* const hi = "hi";
1130
Action<MyFunction> a = SetArgPointee<1>(hi);
1131
std::string str;
1132
const char* ptr = nullptr;
1133
a.Perform(std::make_tuple(true, &str, &ptr));
1134
EXPECT_EQ("hi", str);
1135
EXPECT_TRUE(ptr == nullptr);
1136
1137
char world_array[] = "world";
1138
char* const world = world_array;
1139
a = SetArgPointee<2>(world);
1140
str = "";
1141
a.Perform(std::make_tuple(true, &str, &ptr));
1142
EXPECT_EQ("", str);
1143
EXPECT_EQ(world, ptr);
1144
}
1145
1146
TEST(SetArgPointeeTest, AcceptsWideCharPointer) {
1147
typedef void MyFunction(bool, const wchar_t**);
1148
const wchar_t* const hi = L"hi";
1149
Action<MyFunction> a = SetArgPointee<1>(hi);
1150
const wchar_t* ptr = nullptr;
1151
a.Perform(std::make_tuple(true, &ptr));
1152
EXPECT_EQ(hi, ptr);
1153
1154
#if GTEST_HAS_STD_WSTRING
1155
1156
typedef void MyStringFunction(bool, std::wstring*);
1157
wchar_t world_array[] = L"world";
1158
wchar_t* const world = world_array;
1159
Action<MyStringFunction> a2 = SetArgPointee<1>(world);
1160
std::wstring str;
1161
a2.Perform(std::make_tuple(true, &str));
1162
EXPECT_EQ(world_array, str);
1163
#endif
1164
}
1165
1166
// Tests that SetArgumentPointee<N>(v) sets the variable pointed to by
1167
// the N-th (0-based) argument to v.
1168
TEST(SetArgumentPointeeTest, SetsTheNthPointee) {
1169
typedef void MyFunction(bool, int*, char*);
1170
Action<MyFunction> a = SetArgumentPointee<1>(2);
1171
1172
int n = 0;
1173
char ch = '\0';
1174
a.Perform(std::make_tuple(true, &n, &ch));
1175
EXPECT_EQ(2, n);
1176
EXPECT_EQ('\0', ch);
1177
1178
a = SetArgumentPointee<2>('a');
1179
n = 0;
1180
ch = '\0';
1181
a.Perform(std::make_tuple(true, &n, &ch));
1182
EXPECT_EQ(0, n);
1183
EXPECT_EQ('a', ch);
1184
}
1185
1186
// Sample functions and functors for testing Invoke() and etc.
1187
int Nullary() { return 1; }
1188
1189
class NullaryFunctor {
1190
public:
1191
int operator()() { return 2; }
1192
};
1193
1194
bool g_done = false;
1195
void VoidNullary() { g_done = true; }
1196
1197
class VoidNullaryFunctor {
1198
public:
1199
void operator()() { g_done = true; }
1200
};
1201
1202
short Short(short n) { return n; } // NOLINT
1203
char Char(char ch) { return ch; }
1204
1205
const char* CharPtr(const char* s) { return s; }
1206
1207
bool Unary(int x) { return x < 0; }
1208
1209
const char* Binary(const char* input, short n) { return input + n; } // NOLINT
1210
1211
void VoidBinary(int, char) { g_done = true; }
1212
1213
int Ternary(int x, char y, short z) { return x + y + z; } // NOLINT
1214
1215
int SumOf4(int a, int b, int c, int d) { return a + b + c + d; }
1216
1217
class Foo {
1218
public:
1219
Foo() : value_(123) {}
1220
1221
int Nullary() const { return value_; }
1222
1223
private:
1224
int value_;
1225
};
1226
1227
// Tests InvokeWithoutArgs(function).
1228
TEST(InvokeWithoutArgsTest, Function) {
1229
// As an action that takes one argument.
1230
Action<int(int)> a = InvokeWithoutArgs(Nullary); // NOLINT
1231
EXPECT_EQ(1, a.Perform(std::make_tuple(2)));
1232
1233
// As an action that takes two arguments.
1234
Action<int(int, double)> a2 = InvokeWithoutArgs(Nullary); // NOLINT
1235
EXPECT_EQ(1, a2.Perform(std::make_tuple(2, 3.5)));
1236
1237
// As an action that returns void.
1238
Action<void(int)> a3 = InvokeWithoutArgs(VoidNullary); // NOLINT
1239
g_done = false;
1240
a3.Perform(std::make_tuple(1));
1241
EXPECT_TRUE(g_done);
1242
}
1243
1244
// Tests InvokeWithoutArgs(functor).
1245
TEST(InvokeWithoutArgsTest, Functor) {
1246
// As an action that takes no argument.
1247
Action<int()> a = InvokeWithoutArgs(NullaryFunctor()); // NOLINT
1248
EXPECT_EQ(2, a.Perform(std::make_tuple()));
1249
1250
// As an action that takes three arguments.
1251
Action<int(int, double, char)> a2 = // NOLINT
1252
InvokeWithoutArgs(NullaryFunctor());
1253
EXPECT_EQ(2, a2.Perform(std::make_tuple(3, 3.5, 'a')));
1254
1255
// As an action that returns void.
1256
Action<void()> a3 = InvokeWithoutArgs(VoidNullaryFunctor());
1257
g_done = false;
1258
a3.Perform(std::make_tuple());
1259
EXPECT_TRUE(g_done);
1260
}
1261
1262
// Tests InvokeWithoutArgs(obj_ptr, method).
1263
TEST(InvokeWithoutArgsTest, Method) {
1264
Foo foo;
1265
Action<int(bool, char)> a = // NOLINT
1266
InvokeWithoutArgs(&foo, &Foo::Nullary);
1267
EXPECT_EQ(123, a.Perform(std::make_tuple(true, 'a')));
1268
}
1269
1270
// Tests using IgnoreResult() on a polymorphic action.
1271
TEST(IgnoreResultTest, PolymorphicAction) {
1272
Action<void(int)> a = IgnoreResult(Return(5)); // NOLINT
1273
a.Perform(std::make_tuple(1));
1274
}
1275
1276
// Tests using IgnoreResult() on a monomorphic action.
1277
1278
int ReturnOne() {
1279
g_done = true;
1280
return 1;
1281
}
1282
1283
TEST(IgnoreResultTest, MonomorphicAction) {
1284
g_done = false;
1285
Action<void()> a = IgnoreResult(Invoke(ReturnOne));
1286
a.Perform(std::make_tuple());
1287
EXPECT_TRUE(g_done);
1288
}
1289
1290
// Tests using IgnoreResult() on an action that returns a class type.
1291
1292
MyNonDefaultConstructible ReturnMyNonDefaultConstructible(double /* x */) {
1293
g_done = true;
1294
return MyNonDefaultConstructible(42);
1295
}
1296
1297
TEST(IgnoreResultTest, ActionReturningClass) {
1298
g_done = false;
1299
Action<void(int)> a =
1300
IgnoreResult(Invoke(ReturnMyNonDefaultConstructible)); // NOLINT
1301
a.Perform(std::make_tuple(2));
1302
EXPECT_TRUE(g_done);
1303
}
1304
1305
TEST(AssignTest, Int) {
1306
int x = 0;
1307
Action<void(int)> a = Assign(&x, 5);
1308
a.Perform(std::make_tuple(0));
1309
EXPECT_EQ(5, x);
1310
}
1311
1312
TEST(AssignTest, String) {
1313
::std::string x;
1314
Action<void(void)> a = Assign(&x, "Hello, world");
1315
a.Perform(std::make_tuple());
1316
EXPECT_EQ("Hello, world", x);
1317
}
1318
1319
TEST(AssignTest, CompatibleTypes) {
1320
double x = 0;
1321
Action<void(int)> a = Assign(&x, 5);
1322
a.Perform(std::make_tuple(0));
1323
EXPECT_DOUBLE_EQ(5, x);
1324
}
1325
1326
// DoAll should support &&-qualified actions when used with WillOnce.
1327
TEST(DoAll, SupportsRefQualifiedActions) {
1328
struct InitialAction {
1329
void operator()(const int arg) && { EXPECT_EQ(17, arg); }
1330
};
1331
1332
struct FinalAction {
1333
int operator()() && { return 19; }
1334
};
1335
1336
MockFunction<int(int)> mock;
1337
EXPECT_CALL(mock, Call).WillOnce(DoAll(InitialAction{}, FinalAction{}));
1338
EXPECT_EQ(19, mock.AsStdFunction()(17));
1339
}
1340
1341
// DoAll should never provide rvalue references to the initial actions. If the
1342
// mock action itself accepts an rvalue reference or a non-scalar object by
1343
// value then the final action should receive an rvalue reference, but initial
1344
// actions should receive only lvalue references.
1345
TEST(DoAll, ProvidesLvalueReferencesToInitialActions) {
1346
struct Obj {};
1347
1348
// Mock action accepts by value: the initial action should be fed a const
1349
// lvalue reference, and the final action an rvalue reference.
1350
{
1351
struct InitialAction {
1352
void operator()(Obj&) const { FAIL() << "Unexpected call"; }
1353
void operator()(const Obj&) const {}
1354
void operator()(Obj&&) const { FAIL() << "Unexpected call"; }
1355
void operator()(const Obj&&) const { FAIL() << "Unexpected call"; }
1356
};
1357
1358
MockFunction<void(Obj)> mock;
1359
EXPECT_CALL(mock, Call)
1360
.WillOnce(DoAll(InitialAction{}, InitialAction{}, [](Obj&&) {}))
1361
.WillRepeatedly(DoAll(InitialAction{}, InitialAction{}, [](Obj&&) {}));
1362
1363
mock.AsStdFunction()(Obj{});
1364
mock.AsStdFunction()(Obj{});
1365
}
1366
1367
// Mock action accepts by const lvalue reference: both actions should receive
1368
// a const lvalue reference.
1369
{
1370
struct InitialAction {
1371
void operator()(Obj&) const { FAIL() << "Unexpected call"; }
1372
void operator()(const Obj&) const {}
1373
void operator()(Obj&&) const { FAIL() << "Unexpected call"; }
1374
void operator()(const Obj&&) const { FAIL() << "Unexpected call"; }
1375
};
1376
1377
MockFunction<void(const Obj&)> mock;
1378
EXPECT_CALL(mock, Call)
1379
.WillOnce(DoAll(InitialAction{}, InitialAction{}, [](const Obj&) {}))
1380
.WillRepeatedly(
1381
DoAll(InitialAction{}, InitialAction{}, [](const Obj&) {}));
1382
1383
mock.AsStdFunction()(Obj{});
1384
mock.AsStdFunction()(Obj{});
1385
}
1386
1387
// Mock action accepts by non-const lvalue reference: both actions should get
1388
// a non-const lvalue reference if they want them.
1389
{
1390
struct InitialAction {
1391
void operator()(Obj&) const {}
1392
void operator()(Obj&&) const { FAIL() << "Unexpected call"; }
1393
};
1394
1395
MockFunction<void(Obj&)> mock;
1396
EXPECT_CALL(mock, Call)
1397
.WillOnce(DoAll(InitialAction{}, InitialAction{}, [](Obj&) {}))
1398
.WillRepeatedly(DoAll(InitialAction{}, InitialAction{}, [](Obj&) {}));
1399
1400
Obj obj;
1401
mock.AsStdFunction()(obj);
1402
mock.AsStdFunction()(obj);
1403
}
1404
1405
// Mock action accepts by rvalue reference: the initial actions should receive
1406
// a non-const lvalue reference if it wants it, and the final action an rvalue
1407
// reference.
1408
{
1409
struct InitialAction {
1410
void operator()(Obj&) const {}
1411
void operator()(Obj&&) const { FAIL() << "Unexpected call"; }
1412
};
1413
1414
MockFunction<void(Obj&&)> mock;
1415
EXPECT_CALL(mock, Call)
1416
.WillOnce(DoAll(InitialAction{}, InitialAction{}, [](Obj&&) {}))
1417
.WillRepeatedly(DoAll(InitialAction{}, InitialAction{}, [](Obj&&) {}));
1418
1419
mock.AsStdFunction()(Obj{});
1420
mock.AsStdFunction()(Obj{});
1421
}
1422
1423
// &&-qualified initial actions should also be allowed with WillOnce.
1424
{
1425
struct InitialAction {
1426
void operator()(Obj&) && {}
1427
};
1428
1429
MockFunction<void(Obj&)> mock;
1430
EXPECT_CALL(mock, Call)
1431
.WillOnce(DoAll(InitialAction{}, InitialAction{}, [](Obj&) {}));
1432
1433
Obj obj;
1434
mock.AsStdFunction()(obj);
1435
}
1436
1437
{
1438
struct InitialAction {
1439
void operator()(Obj&) && {}
1440
};
1441
1442
MockFunction<void(Obj&&)> mock;
1443
EXPECT_CALL(mock, Call)
1444
.WillOnce(DoAll(InitialAction{}, InitialAction{}, [](Obj&&) {}));
1445
1446
mock.AsStdFunction()(Obj{});
1447
}
1448
}
1449
1450
// DoAll should support being used with type-erased Action objects, both through
1451
// WillOnce and WillRepeatedly.
1452
TEST(DoAll, SupportsTypeErasedActions) {
1453
// With only type-erased actions.
1454
const Action<void()> initial_action = [] {};
1455
const Action<int()> final_action = [] { return 17; };
1456
1457
MockFunction<int()> mock;
1458
EXPECT_CALL(mock, Call)
1459
.WillOnce(DoAll(initial_action, initial_action, final_action))
1460
.WillRepeatedly(DoAll(initial_action, initial_action, final_action));
1461
1462
EXPECT_EQ(17, mock.AsStdFunction()());
1463
1464
// With &&-qualified and move-only final action.
1465
{
1466
struct FinalAction {
1467
FinalAction() = default;
1468
FinalAction(FinalAction&&) = default;
1469
1470
int operator()() && { return 17; }
1471
};
1472
1473
EXPECT_CALL(mock, Call)
1474
.WillOnce(DoAll(initial_action, initial_action, FinalAction{}));
1475
1476
EXPECT_EQ(17, mock.AsStdFunction()());
1477
}
1478
}
1479
1480
// Tests using WithArgs and with an action that takes 1 argument.
1481
TEST(WithArgsTest, OneArg) {
1482
Action<bool(double x, int n)> a = WithArgs<1>(Invoke(Unary)); // NOLINT
1483
EXPECT_TRUE(a.Perform(std::make_tuple(1.5, -1)));
1484
EXPECT_FALSE(a.Perform(std::make_tuple(1.5, 1)));
1485
}
1486
1487
// Tests using WithArgs with an action that takes 2 arguments.
1488
TEST(WithArgsTest, TwoArgs) {
1489
Action<const char*(const char* s, double x, short n)> a = // NOLINT
1490
WithArgs<0, 2>(Invoke(Binary));
1491
const char s[] = "Hello";
1492
EXPECT_EQ(s + 2, a.Perform(std::make_tuple(CharPtr(s), 0.5, Short(2))));
1493
}
1494
1495
struct ConcatAll {
1496
std::string operator()() const { return {}; }
1497
template <typename... I>
1498
std::string operator()(const char* a, I... i) const {
1499
return a + ConcatAll()(i...);
1500
}
1501
};
1502
1503
// Tests using WithArgs with an action that takes 10 arguments.
1504
TEST(WithArgsTest, TenArgs) {
1505
Action<std::string(const char*, const char*, const char*, const char*)> a =
1506
WithArgs<0, 1, 2, 3, 2, 1, 0, 1, 2, 3>(Invoke(ConcatAll{}));
1507
EXPECT_EQ("0123210123",
1508
a.Perform(std::make_tuple(CharPtr("0"), CharPtr("1"), CharPtr("2"),
1509
CharPtr("3"))));
1510
}
1511
1512
// Tests using WithArgs with an action that is not Invoke().
1513
class SubtractAction : public ActionInterface<int(int, int)> {
1514
public:
1515
int Perform(const std::tuple<int, int>& args) override {
1516
return std::get<0>(args) - std::get<1>(args);
1517
}
1518
};
1519
1520
TEST(WithArgsTest, NonInvokeAction) {
1521
Action<int(const std::string&, int, int)> a =
1522
WithArgs<2, 1>(MakeAction(new SubtractAction));
1523
std::tuple<std::string, int, int> dummy =
1524
std::make_tuple(std::string("hi"), 2, 10);
1525
EXPECT_EQ(8, a.Perform(dummy));
1526
}
1527
1528
// Tests using WithArgs to pass all original arguments in the original order.
1529
TEST(WithArgsTest, Identity) {
1530
Action<int(int x, char y, short z)> a = // NOLINT
1531
WithArgs<0, 1, 2>(Invoke(Ternary));
1532
EXPECT_EQ(123, a.Perform(std::make_tuple(100, Char(20), Short(3))));
1533
}
1534
1535
// Tests using WithArgs with repeated arguments.
1536
TEST(WithArgsTest, RepeatedArguments) {
1537
Action<int(bool, int m, int n)> a = // NOLINT
1538
WithArgs<1, 1, 1, 1>(Invoke(SumOf4));
1539
EXPECT_EQ(4, a.Perform(std::make_tuple(false, 1, 10)));
1540
}
1541
1542
// Tests using WithArgs with reversed argument order.
1543
TEST(WithArgsTest, ReversedArgumentOrder) {
1544
Action<const char*(short n, const char* input)> a = // NOLINT
1545
WithArgs<1, 0>(Invoke(Binary));
1546
const char s[] = "Hello";
1547
EXPECT_EQ(s + 2, a.Perform(std::make_tuple(Short(2), CharPtr(s))));
1548
}
1549
1550
// Tests using WithArgs with compatible, but not identical, argument types.
1551
TEST(WithArgsTest, ArgsOfCompatibleTypes) {
1552
Action<long(short x, char y, double z, char c)> a = // NOLINT
1553
WithArgs<0, 1, 3>(Invoke(Ternary));
1554
EXPECT_EQ(123,
1555
a.Perform(std::make_tuple(Short(100), Char(20), 5.6, Char(3))));
1556
}
1557
1558
// Tests using WithArgs with an action that returns void.
1559
TEST(WithArgsTest, VoidAction) {
1560
Action<void(double x, char c, int n)> a = WithArgs<2, 1>(Invoke(VoidBinary));
1561
g_done = false;
1562
a.Perform(std::make_tuple(1.5, 'a', 3));
1563
EXPECT_TRUE(g_done);
1564
}
1565
1566
TEST(WithArgsTest, ReturnReference) {
1567
Action<int&(int&, void*)> aa = WithArgs<0>([](int& a) -> int& { return a; });
1568
int i = 0;
1569
const int& res = aa.Perform(std::forward_as_tuple(i, nullptr));
1570
EXPECT_EQ(&i, &res);
1571
}
1572
1573
TEST(WithArgsTest, InnerActionWithConversion) {
1574
Action<Derived*()> inner = [] { return nullptr; };
1575
1576
MockFunction<Base*(double)> mock;
1577
EXPECT_CALL(mock, Call)
1578
.WillOnce(WithoutArgs(inner))
1579
.WillRepeatedly(WithoutArgs(inner));
1580
1581
EXPECT_EQ(nullptr, mock.AsStdFunction()(1.1));
1582
EXPECT_EQ(nullptr, mock.AsStdFunction()(1.1));
1583
}
1584
1585
// It should be possible to use an &&-qualified inner action as long as the
1586
// whole shebang is used as an rvalue with WillOnce.
1587
TEST(WithArgsTest, RefQualifiedInnerAction) {
1588
struct SomeAction {
1589
int operator()(const int arg) && {
1590
EXPECT_EQ(17, arg);
1591
return 19;
1592
}
1593
};
1594
1595
MockFunction<int(int, int)> mock;
1596
EXPECT_CALL(mock, Call).WillOnce(WithArg<1>(SomeAction{}));
1597
EXPECT_EQ(19, mock.AsStdFunction()(0, 17));
1598
}
1599
1600
#ifndef GTEST_OS_WINDOWS_MOBILE
1601
1602
class SetErrnoAndReturnTest : public testing::Test {
1603
protected:
1604
void SetUp() override { errno = 0; }
1605
void TearDown() override { errno = 0; }
1606
};
1607
1608
TEST_F(SetErrnoAndReturnTest, Int) {
1609
Action<int(void)> a = SetErrnoAndReturn(ENOTTY, -5);
1610
EXPECT_EQ(-5, a.Perform(std::make_tuple()));
1611
EXPECT_EQ(ENOTTY, errno);
1612
}
1613
1614
TEST_F(SetErrnoAndReturnTest, Ptr) {
1615
int x;
1616
Action<int*(void)> a = SetErrnoAndReturn(ENOTTY, &x);
1617
EXPECT_EQ(&x, a.Perform(std::make_tuple()));
1618
EXPECT_EQ(ENOTTY, errno);
1619
}
1620
1621
TEST_F(SetErrnoAndReturnTest, CompatibleTypes) {
1622
Action<double()> a = SetErrnoAndReturn(EINVAL, 5);
1623
EXPECT_DOUBLE_EQ(5.0, a.Perform(std::make_tuple()));
1624
EXPECT_EQ(EINVAL, errno);
1625
}
1626
1627
#endif // !GTEST_OS_WINDOWS_MOBILE
1628
1629
// Tests ByRef().
1630
1631
// Tests that the result of ByRef() is copyable.
1632
TEST(ByRefTest, IsCopyable) {
1633
const std::string s1 = "Hi";
1634
const std::string s2 = "Hello";
1635
1636
auto ref_wrapper = ByRef(s1);
1637
const std::string& r1 = ref_wrapper;
1638
EXPECT_EQ(&s1, &r1);
1639
1640
// Assigns a new value to ref_wrapper.
1641
ref_wrapper = ByRef(s2);
1642
const std::string& r2 = ref_wrapper;
1643
EXPECT_EQ(&s2, &r2);
1644
1645
auto ref_wrapper1 = ByRef(s1);
1646
// Copies ref_wrapper1 to ref_wrapper.
1647
ref_wrapper = ref_wrapper1;
1648
const std::string& r3 = ref_wrapper;
1649
EXPECT_EQ(&s1, &r3);
1650
}
1651
1652
// Tests using ByRef() on a const value.
1653
TEST(ByRefTest, ConstValue) {
1654
const int n = 0;
1655
// int& ref = ByRef(n); // This shouldn't compile - we have a
1656
// negative compilation test to catch it.
1657
const int& const_ref = ByRef(n);
1658
EXPECT_EQ(&n, &const_ref);
1659
}
1660
1661
// Tests using ByRef() on a non-const value.
1662
TEST(ByRefTest, NonConstValue) {
1663
int n = 0;
1664
1665
// ByRef(n) can be used as either an int&,
1666
int& ref = ByRef(n);
1667
EXPECT_EQ(&n, &ref);
1668
1669
// or a const int&.
1670
const int& const_ref = ByRef(n);
1671
EXPECT_EQ(&n, &const_ref);
1672
}
1673
1674
// Tests explicitly specifying the type when using ByRef().
1675
TEST(ByRefTest, ExplicitType) {
1676
int n = 0;
1677
const int& r1 = ByRef<const int>(n);
1678
EXPECT_EQ(&n, &r1);
1679
1680
// ByRef<char>(n); // This shouldn't compile - we have a negative
1681
// compilation test to catch it.
1682
1683
Derived d;
1684
Derived& r2 = ByRef<Derived>(d);
1685
EXPECT_EQ(&d, &r2);
1686
1687
const Derived& r3 = ByRef<const Derived>(d);
1688
EXPECT_EQ(&d, &r3);
1689
1690
Base& r4 = ByRef<Base>(d);
1691
EXPECT_EQ(&d, &r4);
1692
1693
const Base& r5 = ByRef<const Base>(d);
1694
EXPECT_EQ(&d, &r5);
1695
1696
// The following shouldn't compile - we have a negative compilation
1697
// test for it.
1698
//
1699
// Base b;
1700
// ByRef<Derived>(b);
1701
}
1702
1703
// Tests that Google Mock prints expression ByRef(x) as a reference to x.
1704
TEST(ByRefTest, PrintsCorrectly) {
1705
int n = 42;
1706
::std::stringstream expected, actual;
1707
testing::internal::UniversalPrinter<const int&>::Print(n, &expected);
1708
testing::internal::UniversalPrint(ByRef(n), &actual);
1709
EXPECT_EQ(expected.str(), actual.str());
1710
}
1711
1712
struct UnaryConstructorClass {
1713
explicit UnaryConstructorClass(int v) : value(v) {}
1714
int value;
1715
};
1716
1717
// Tests using ReturnNew() with a unary constructor.
1718
TEST(ReturnNewTest, Unary) {
1719
Action<UnaryConstructorClass*()> a = ReturnNew<UnaryConstructorClass>(4000);
1720
UnaryConstructorClass* c = a.Perform(std::make_tuple());
1721
EXPECT_EQ(4000, c->value);
1722
delete c;
1723
}
1724
1725
TEST(ReturnNewTest, UnaryWorksWhenMockMethodHasArgs) {
1726
Action<UnaryConstructorClass*(bool, int)> a =
1727
ReturnNew<UnaryConstructorClass>(4000);
1728
UnaryConstructorClass* c = a.Perform(std::make_tuple(false, 5));
1729
EXPECT_EQ(4000, c->value);
1730
delete c;
1731
}
1732
1733
TEST(ReturnNewTest, UnaryWorksWhenMockMethodReturnsPointerToConst) {
1734
Action<const UnaryConstructorClass*()> a =
1735
ReturnNew<UnaryConstructorClass>(4000);
1736
const UnaryConstructorClass* c = a.Perform(std::make_tuple());
1737
EXPECT_EQ(4000, c->value);
1738
delete c;
1739
}
1740
1741
class TenArgConstructorClass {
1742
public:
1743
TenArgConstructorClass(int a1, int a2, int a3, int a4, int a5, int a6, int a7,
1744
int a8, int a9, int a10)
1745
: value_(a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10) {}
1746
int value_;
1747
};
1748
1749
// Tests using ReturnNew() with a 10-argument constructor.
1750
TEST(ReturnNewTest, ConstructorThatTakes10Arguments) {
1751
Action<TenArgConstructorClass*()> a = ReturnNew<TenArgConstructorClass>(
1752
1000000000, 200000000, 30000000, 4000000, 500000, 60000, 7000, 800, 90,
1753
0);
1754
TenArgConstructorClass* c = a.Perform(std::make_tuple());
1755
EXPECT_EQ(1234567890, c->value_);
1756
delete c;
1757
}
1758
1759
std::unique_ptr<int> UniquePtrSource() { return std::make_unique<int>(19); }
1760
1761
std::vector<std::unique_ptr<int>> VectorUniquePtrSource() {
1762
std::vector<std::unique_ptr<int>> out;
1763
out.emplace_back(new int(7));
1764
return out;
1765
}
1766
1767
TEST(MockMethodTest, CanReturnMoveOnlyValue_Return) {
1768
MockClass mock;
1769
std::unique_ptr<int> i(new int(19));
1770
EXPECT_CALL(mock, MakeUnique()).WillOnce(Return(ByMove(std::move(i))));
1771
EXPECT_CALL(mock, MakeVectorUnique())
1772
.WillOnce(Return(ByMove(VectorUniquePtrSource())));
1773
Derived* d = new Derived;
1774
EXPECT_CALL(mock, MakeUniqueBase())
1775
.WillOnce(Return(ByMove(std::unique_ptr<Derived>(d))));
1776
1777
std::unique_ptr<int> result1 = mock.MakeUnique();
1778
EXPECT_EQ(19, *result1);
1779
1780
std::vector<std::unique_ptr<int>> vresult = mock.MakeVectorUnique();
1781
EXPECT_EQ(1u, vresult.size());
1782
EXPECT_NE(nullptr, vresult[0]);
1783
EXPECT_EQ(7, *vresult[0]);
1784
1785
std::unique_ptr<Base> result2 = mock.MakeUniqueBase();
1786
EXPECT_EQ(d, result2.get());
1787
}
1788
1789
TEST(MockMethodTest, CanReturnMoveOnlyValue_DoAllReturn) {
1790
testing::MockFunction<void()> mock_function;
1791
MockClass mock;
1792
std::unique_ptr<int> i(new int(19));
1793
EXPECT_CALL(mock_function, Call());
1794
EXPECT_CALL(mock, MakeUnique())
1795
.WillOnce(DoAll(InvokeWithoutArgs(&mock_function,
1796
&testing::MockFunction<void()>::Call),
1797
Return(ByMove(std::move(i)))));
1798
1799
std::unique_ptr<int> result1 = mock.MakeUnique();
1800
EXPECT_EQ(19, *result1);
1801
}
1802
1803
TEST(MockMethodTest, CanReturnMoveOnlyValue_Invoke) {
1804
MockClass mock;
1805
1806
// Check default value
1807
DefaultValue<std::unique_ptr<int>>::SetFactory(
1808
[] { return std::make_unique<int>(42); });
1809
EXPECT_EQ(42, *mock.MakeUnique());
1810
1811
EXPECT_CALL(mock, MakeUnique()).WillRepeatedly(Invoke(UniquePtrSource));
1812
EXPECT_CALL(mock, MakeVectorUnique())
1813
.WillRepeatedly(Invoke(VectorUniquePtrSource));
1814
std::unique_ptr<int> result1 = mock.MakeUnique();
1815
EXPECT_EQ(19, *result1);
1816
std::unique_ptr<int> result2 = mock.MakeUnique();
1817
EXPECT_EQ(19, *result2);
1818
EXPECT_NE(result1, result2);
1819
1820
std::vector<std::unique_ptr<int>> vresult = mock.MakeVectorUnique();
1821
EXPECT_EQ(1u, vresult.size());
1822
EXPECT_NE(nullptr, vresult[0]);
1823
EXPECT_EQ(7, *vresult[0]);
1824
}
1825
1826
TEST(MockMethodTest, CanTakeMoveOnlyValue) {
1827
MockClass mock;
1828
auto make = [](int i) { return std::make_unique<int>(i); };
1829
1830
EXPECT_CALL(mock, TakeUnique(_)).WillRepeatedly([](std::unique_ptr<int> i) {
1831
return *i;
1832
});
1833
// DoAll() does not compile, since it would move from its arguments twice.
1834
// EXPECT_CALL(mock, TakeUnique(_, _))
1835
// .WillRepeatedly(DoAll(Invoke([](std::unique_ptr<int> j) {}),
1836
// Return(1)));
1837
EXPECT_CALL(mock, TakeUnique(testing::Pointee(7)))
1838
.WillOnce(Return(-7))
1839
.RetiresOnSaturation();
1840
EXPECT_CALL(mock, TakeUnique(testing::IsNull()))
1841
.WillOnce(Return(-1))
1842
.RetiresOnSaturation();
1843
1844
EXPECT_EQ(5, mock.TakeUnique(make(5)));
1845
EXPECT_EQ(-7, mock.TakeUnique(make(7)));
1846
EXPECT_EQ(7, mock.TakeUnique(make(7)));
1847
EXPECT_EQ(7, mock.TakeUnique(make(7)));
1848
EXPECT_EQ(-1, mock.TakeUnique({}));
1849
1850
// Some arguments are moved, some passed by reference.
1851
auto lvalue = make(6);
1852
EXPECT_CALL(mock, TakeUnique(_, _))
1853
.WillOnce([](const std::unique_ptr<int>& i, std::unique_ptr<int> j) {
1854
return *i * *j;
1855
});
1856
EXPECT_EQ(42, mock.TakeUnique(lvalue, make(7)));
1857
1858
// The unique_ptr can be saved by the action.
1859
std::unique_ptr<int> saved;
1860
EXPECT_CALL(mock, TakeUnique(_)).WillOnce([&saved](std::unique_ptr<int> i) {
1861
saved = std::move(i);
1862
return 0;
1863
});
1864
EXPECT_EQ(0, mock.TakeUnique(make(42)));
1865
EXPECT_EQ(42, *saved);
1866
}
1867
1868
// It should be possible to use callables with an &&-qualified call operator
1869
// with WillOnce, since they will be called only once. This allows actions to
1870
// contain and manipulate move-only types.
1871
TEST(MockMethodTest, ActionHasRvalueRefQualifiedCallOperator) {
1872
struct Return17 {
1873
int operator()() && { return 17; }
1874
};
1875
1876
// Action is directly compatible with mocked function type.
1877
{
1878
MockFunction<int()> mock;
1879
EXPECT_CALL(mock, Call).WillOnce(Return17());
1880
1881
EXPECT_EQ(17, mock.AsStdFunction()());
1882
}
1883
1884
// Action doesn't want mocked function arguments.
1885
{
1886
MockFunction<int(int)> mock;
1887
EXPECT_CALL(mock, Call).WillOnce(Return17());
1888
1889
EXPECT_EQ(17, mock.AsStdFunction()(0));
1890
}
1891
}
1892
1893
// Edge case: if an action has both a const-qualified and an &&-qualified call
1894
// operator, there should be no "ambiguous call" errors. The &&-qualified
1895
// operator should be used by WillOnce (since it doesn't need to retain the
1896
// action beyond one call), and the const-qualified one by WillRepeatedly.
1897
TEST(MockMethodTest, ActionHasMultipleCallOperators) {
1898
struct ReturnInt {
1899
int operator()() && { return 17; }
1900
int operator()() const& { return 19; }
1901
};
1902
1903
// Directly compatible with mocked function type.
1904
{
1905
MockFunction<int()> mock;
1906
EXPECT_CALL(mock, Call).WillOnce(ReturnInt()).WillRepeatedly(ReturnInt());
1907
1908
EXPECT_EQ(17, mock.AsStdFunction()());
1909
EXPECT_EQ(19, mock.AsStdFunction()());
1910
EXPECT_EQ(19, mock.AsStdFunction()());
1911
}
1912
1913
// Ignores function arguments.
1914
{
1915
MockFunction<int(int)> mock;
1916
EXPECT_CALL(mock, Call).WillOnce(ReturnInt()).WillRepeatedly(ReturnInt());
1917
1918
EXPECT_EQ(17, mock.AsStdFunction()(0));
1919
EXPECT_EQ(19, mock.AsStdFunction()(0));
1920
EXPECT_EQ(19, mock.AsStdFunction()(0));
1921
}
1922
}
1923
1924
// WillOnce should have no problem coping with a move-only action, whether it is
1925
// &&-qualified or not.
1926
TEST(MockMethodTest, MoveOnlyAction) {
1927
// &&-qualified
1928
{
1929
struct Return17 {
1930
Return17() = default;
1931
Return17(Return17&&) = default;
1932
1933
Return17(const Return17&) = delete;
1934
Return17 operator=(const Return17&) = delete;
1935
1936
int operator()() && { return 17; }
1937
};
1938
1939
MockFunction<int()> mock;
1940
EXPECT_CALL(mock, Call).WillOnce(Return17());
1941
EXPECT_EQ(17, mock.AsStdFunction()());
1942
}
1943
1944
// Not &&-qualified
1945
{
1946
struct Return17 {
1947
Return17() = default;
1948
Return17(Return17&&) = default;
1949
1950
Return17(const Return17&) = delete;
1951
Return17 operator=(const Return17&) = delete;
1952
1953
int operator()() const { return 17; }
1954
};
1955
1956
MockFunction<int()> mock;
1957
EXPECT_CALL(mock, Call).WillOnce(Return17());
1958
EXPECT_EQ(17, mock.AsStdFunction()());
1959
}
1960
}
1961
1962
// It should be possible to use an action that returns a value with a mock
1963
// function that doesn't, both through WillOnce and WillRepeatedly.
1964
TEST(MockMethodTest, ActionReturnsIgnoredValue) {
1965
struct ReturnInt {
1966
int operator()() const { return 0; }
1967
};
1968
1969
MockFunction<void()> mock;
1970
EXPECT_CALL(mock, Call).WillOnce(ReturnInt()).WillRepeatedly(ReturnInt());
1971
1972
mock.AsStdFunction()();
1973
mock.AsStdFunction()();
1974
}
1975
1976
// Despite the fanciness around move-only actions and so on, it should still be
1977
// possible to hand an lvalue reference to a copyable action to WillOnce.
1978
TEST(MockMethodTest, WillOnceCanAcceptLvalueReference) {
1979
MockFunction<int()> mock;
1980
1981
const auto action = [] { return 17; };
1982
EXPECT_CALL(mock, Call).WillOnce(action);
1983
1984
EXPECT_EQ(17, mock.AsStdFunction()());
1985
}
1986
1987
// A callable that doesn't use SFINAE to restrict its call operator's overload
1988
// set, but is still picky about which arguments it will accept.
1989
struct StaticAssertSingleArgument {
1990
template <typename... Args>
1991
static constexpr bool CheckArgs() {
1992
static_assert(sizeof...(Args) == 1, "");
1993
return true;
1994
}
1995
1996
template <typename... Args, bool = CheckArgs<Args...>()>
1997
int operator()(Args...) const {
1998
return 17;
1999
}
2000
};
2001
2002
// WillOnce and WillRepeatedly should both work fine with naïve implementations
2003
// of actions that don't use SFINAE to limit the overload set for their call
2004
// operator. If they are compatible with the actual mocked signature, we
2005
// shouldn't probe them with no arguments and trip a static_assert.
2006
TEST(MockMethodTest, ActionSwallowsAllArguments) {
2007
MockFunction<int(int)> mock;
2008
EXPECT_CALL(mock, Call)
2009
.WillOnce(StaticAssertSingleArgument{})
2010
.WillRepeatedly(StaticAssertSingleArgument{});
2011
2012
EXPECT_EQ(17, mock.AsStdFunction()(0));
2013
EXPECT_EQ(17, mock.AsStdFunction()(0));
2014
}
2015
2016
struct ActionWithTemplatedConversionOperators {
2017
template <typename... Args>
2018
operator OnceAction<int(Args...)>() && { // NOLINT
2019
return [] { return 17; };
2020
}
2021
2022
template <typename... Args>
2023
operator Action<int(Args...)>() const { // NOLINT
2024
return [] { return 19; };
2025
}
2026
};
2027
2028
// It should be fine to hand both WillOnce and WillRepeatedly a function that
2029
// defines templated conversion operators to OnceAction and Action. WillOnce
2030
// should prefer the OnceAction version.
2031
TEST(MockMethodTest, ActionHasTemplatedConversionOperators) {
2032
MockFunction<int()> mock;
2033
EXPECT_CALL(mock, Call)
2034
.WillOnce(ActionWithTemplatedConversionOperators{})
2035
.WillRepeatedly(ActionWithTemplatedConversionOperators{});
2036
2037
EXPECT_EQ(17, mock.AsStdFunction()());
2038
EXPECT_EQ(19, mock.AsStdFunction()());
2039
}
2040
2041
// Tests for std::function based action.
2042
2043
int Add(int val, int& ref, int* ptr) { // NOLINT
2044
int result = val + ref + *ptr;
2045
ref = 42;
2046
*ptr = 43;
2047
return result;
2048
}
2049
2050
int Deref(std::unique_ptr<int> ptr) { return *ptr; }
2051
2052
struct Double {
2053
template <typename T>
2054
T operator()(T t) {
2055
return 2 * t;
2056
}
2057
};
2058
2059
std::unique_ptr<int> UniqueInt(int i) { return std::make_unique<int>(i); }
2060
2061
TEST(FunctorActionTest, ActionFromFunction) {
2062
Action<int(int, int&, int*)> a = &Add;
2063
int x = 1, y = 2, z = 3;
2064
EXPECT_EQ(6, a.Perform(std::forward_as_tuple(x, y, &z)));
2065
EXPECT_EQ(42, y);
2066
EXPECT_EQ(43, z);
2067
2068
Action<int(std::unique_ptr<int>)> a1 = &Deref;
2069
EXPECT_EQ(7, a1.Perform(std::make_tuple(UniqueInt(7))));
2070
}
2071
2072
TEST(FunctorActionTest, ActionFromLambda) {
2073
Action<int(bool, int)> a1 = [](bool b, int i) { return b ? i : 0; };
2074
EXPECT_EQ(5, a1.Perform(std::make_tuple(true, 5)));
2075
EXPECT_EQ(0, a1.Perform(std::make_tuple(false, 5)));
2076
2077
std::unique_ptr<int> saved;
2078
Action<void(std::unique_ptr<int>)> a2 = [&saved](std::unique_ptr<int> p) {
2079
saved = std::move(p);
2080
};
2081
a2.Perform(std::make_tuple(UniqueInt(5)));
2082
EXPECT_EQ(5, *saved);
2083
}
2084
2085
TEST(FunctorActionTest, PolymorphicFunctor) {
2086
Action<int(int)> ai = Double();
2087
EXPECT_EQ(2, ai.Perform(std::make_tuple(1)));
2088
Action<double(double)> ad = Double(); // Double? Double double!
2089
EXPECT_EQ(3.0, ad.Perform(std::make_tuple(1.5)));
2090
}
2091
2092
TEST(FunctorActionTest, TypeConversion) {
2093
// Numeric promotions are allowed.
2094
const Action<bool(int)> a1 = [](int i) { return i > 1; };
2095
const Action<int(bool)> a2 = Action<int(bool)>(a1);
2096
EXPECT_EQ(1, a1.Perform(std::make_tuple(42)));
2097
EXPECT_EQ(0, a2.Perform(std::make_tuple(42)));
2098
2099
// Implicit constructors are allowed.
2100
const Action<bool(std::string)> s1 = [](std::string s) { return !s.empty(); };
2101
const Action<int(const char*)> s2 = Action<int(const char*)>(s1);
2102
EXPECT_EQ(0, s2.Perform(std::make_tuple("")));
2103
EXPECT_EQ(1, s2.Perform(std::make_tuple("hello")));
2104
2105
// Also between the lambda and the action itself.
2106
const Action<bool(std::string)> x1 = [](Unused) { return 42; };
2107
const Action<bool(std::string)> x2 = [] { return 42; };
2108
EXPECT_TRUE(x1.Perform(std::make_tuple("hello")));
2109
EXPECT_TRUE(x2.Perform(std::make_tuple("hello")));
2110
2111
// Ensure decay occurs where required.
2112
std::function<int()> f = [] { return 7; };
2113
Action<int(int)> d = f;
2114
f = nullptr;
2115
EXPECT_EQ(7, d.Perform(std::make_tuple(1)));
2116
2117
// Ensure creation of an empty action succeeds.
2118
Action<void(int)>(nullptr);
2119
}
2120
2121
TEST(FunctorActionTest, UnusedArguments) {
2122
// Verify that users can ignore uninteresting arguments.
2123
Action<int(int, double y, double z)> a = [](int i, Unused, Unused) {
2124
return 2 * i;
2125
};
2126
std::tuple<int, double, double> dummy = std::make_tuple(3, 7.3, 9.44);
2127
EXPECT_EQ(6, a.Perform(dummy));
2128
}
2129
2130
// Test that basic built-in actions work with move-only arguments.
2131
TEST(MoveOnlyArgumentsTest, ReturningActions) {
2132
Action<int(std::unique_ptr<int>)> a = Return(1);
2133
EXPECT_EQ(1, a.Perform(std::make_tuple(nullptr)));
2134
2135
a = testing::WithoutArgs([]() { return 7; });
2136
EXPECT_EQ(7, a.Perform(std::make_tuple(nullptr)));
2137
2138
Action<void(std::unique_ptr<int>, int*)> a2 = testing::SetArgPointee<1>(3);
2139
int x = 0;
2140
a2.Perform(std::make_tuple(nullptr, &x));
2141
EXPECT_EQ(x, 3);
2142
}
2143
2144
ACTION(ReturnArity) { return std::tuple_size<args_type>::value; }
2145
2146
TEST(ActionMacro, LargeArity) {
2147
EXPECT_EQ(
2148
1, testing::Action<int(int)>(ReturnArity()).Perform(std::make_tuple(0)));
2149
EXPECT_EQ(
2150
10,
2151
testing::Action<int(int, int, int, int, int, int, int, int, int, int)>(
2152
ReturnArity())
2153
.Perform(std::make_tuple(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)));
2154
EXPECT_EQ(
2155
20,
2156
testing::Action<int(int, int, int, int, int, int, int, int, int, int, int,
2157
int, int, int, int, int, int, int, int, int)>(
2158
ReturnArity())
2159
.Perform(std::make_tuple(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13,
2160
14, 15, 16, 17, 18, 19)));
2161
}
2162
2163
} // namespace
2164
} // namespace testing
2165
2166
#if defined(_MSC_VER) && (_MSC_VER == 1900)
2167
GTEST_DISABLE_MSC_WARNINGS_POP_() // 4800
2168
#endif
2169
GTEST_DISABLE_MSC_WARNINGS_POP_() // 4100 4503
2170
2171