blob: bcdef36c3bfa5b9ed147ee0342dbed11c32e7b25 [file] [log] [blame]
Austin Schuh36244a12019-09-21 17:52:38 -07001// Copyright 2017 The Abseil Authors.
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7// https://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14
15#include "absl/base/internal/invoke.h"
16
17#include <functional>
18#include <memory>
19#include <string>
20#include <utility>
21
22#include "gmock/gmock.h"
23#include "gtest/gtest.h"
24#include "absl/memory/memory.h"
25#include "absl/strings/str_cat.h"
26
27namespace absl {
Austin Schuhb4691e92020-12-31 12:37:18 -080028ABSL_NAMESPACE_BEGIN
Austin Schuh36244a12019-09-21 17:52:38 -070029namespace base_internal {
30namespace {
31
32int Function(int a, int b) { return a - b; }
33
34int Sink(std::unique_ptr<int> p) {
35 return *p;
36}
37
38std::unique_ptr<int> Factory(int n) {
39 return make_unique<int>(n);
40}
41
42void NoOp() {}
43
44struct ConstFunctor {
45 int operator()(int a, int b) const { return a - b; }
46};
47
48struct MutableFunctor {
49 int operator()(int a, int b) { return a - b; }
50};
51
52struct EphemeralFunctor {
53 int operator()(int a, int b) && { return a - b; }
54};
55
56struct OverloadedFunctor {
57 template <typename... Args>
58 std::string operator()(const Args&... args) & {
59 return StrCat("&", args...);
60 }
61 template <typename... Args>
62 std::string operator()(const Args&... args) const& {
63 return StrCat("const&", args...);
64 }
65 template <typename... Args>
66 std::string operator()(const Args&... args) && {
67 return StrCat("&&", args...);
68 }
69};
70
71struct Class {
72 int Method(int a, int b) { return a - b; }
73 int ConstMethod(int a, int b) const { return a - b; }
74 int RefMethod(int a, int b) & { return a - b; }
75 int RefRefMethod(int a, int b) && { return a - b; }
76 int NoExceptMethod(int a, int b) noexcept { return a - b; }
77 int VolatileMethod(int a, int b) volatile { return a - b; }
78
79 int member;
80};
81
82struct FlipFlop {
83 int ConstMethod() const { return member; }
84 FlipFlop operator*() const { return {-member}; }
85
86 int member;
87};
88
Austin Schuhb4691e92020-12-31 12:37:18 -080089// CallMaybeWithArg(f) resolves either to invoke(f) or invoke(f, 42), depending
Austin Schuh36244a12019-09-21 17:52:38 -070090// on which one is valid.
91template <typename F>
Austin Schuhb4691e92020-12-31 12:37:18 -080092decltype(base_internal::invoke(std::declval<const F&>())) CallMaybeWithArg(
93 const F& f) {
94 return base_internal::invoke(f);
Austin Schuh36244a12019-09-21 17:52:38 -070095}
96
97template <typename F>
Austin Schuhb4691e92020-12-31 12:37:18 -080098decltype(base_internal::invoke(std::declval<const F&>(), 42)) CallMaybeWithArg(
99 const F& f) {
100 return base_internal::invoke(f, 42);
Austin Schuh36244a12019-09-21 17:52:38 -0700101}
102
103TEST(InvokeTest, Function) {
Austin Schuhb4691e92020-12-31 12:37:18 -0800104 EXPECT_EQ(1, base_internal::invoke(Function, 3, 2));
105 EXPECT_EQ(1, base_internal::invoke(&Function, 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700106}
107
108TEST(InvokeTest, NonCopyableArgument) {
Austin Schuhb4691e92020-12-31 12:37:18 -0800109 EXPECT_EQ(42, base_internal::invoke(Sink, make_unique<int>(42)));
Austin Schuh36244a12019-09-21 17:52:38 -0700110}
111
112TEST(InvokeTest, NonCopyableResult) {
Austin Schuhb4691e92020-12-31 12:37:18 -0800113 EXPECT_THAT(base_internal::invoke(Factory, 42), ::testing::Pointee(42));
Austin Schuh36244a12019-09-21 17:52:38 -0700114}
115
Austin Schuhb4691e92020-12-31 12:37:18 -0800116TEST(InvokeTest, VoidResult) { base_internal::invoke(NoOp); }
Austin Schuh36244a12019-09-21 17:52:38 -0700117
118TEST(InvokeTest, ConstFunctor) {
Austin Schuhb4691e92020-12-31 12:37:18 -0800119 EXPECT_EQ(1, base_internal::invoke(ConstFunctor(), 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700120}
121
122TEST(InvokeTest, MutableFunctor) {
123 MutableFunctor f;
Austin Schuhb4691e92020-12-31 12:37:18 -0800124 EXPECT_EQ(1, base_internal::invoke(f, 3, 2));
125 EXPECT_EQ(1, base_internal::invoke(MutableFunctor(), 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700126}
127
128TEST(InvokeTest, EphemeralFunctor) {
129 EphemeralFunctor f;
Austin Schuhb4691e92020-12-31 12:37:18 -0800130 EXPECT_EQ(1, base_internal::invoke(std::move(f), 3, 2));
131 EXPECT_EQ(1, base_internal::invoke(EphemeralFunctor(), 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700132}
133
134TEST(InvokeTest, OverloadedFunctor) {
135 OverloadedFunctor f;
136 const OverloadedFunctor& cf = f;
137
Austin Schuhb4691e92020-12-31 12:37:18 -0800138 EXPECT_EQ("&", base_internal::invoke(f));
139 EXPECT_EQ("& 42", base_internal::invoke(f, " 42"));
Austin Schuh36244a12019-09-21 17:52:38 -0700140
Austin Schuhb4691e92020-12-31 12:37:18 -0800141 EXPECT_EQ("const&", base_internal::invoke(cf));
142 EXPECT_EQ("const& 42", base_internal::invoke(cf, " 42"));
Austin Schuh36244a12019-09-21 17:52:38 -0700143
Austin Schuhb4691e92020-12-31 12:37:18 -0800144 EXPECT_EQ("&&", base_internal::invoke(std::move(f)));
145
146 OverloadedFunctor f2;
147 EXPECT_EQ("&& 42", base_internal::invoke(std::move(f2), " 42"));
Austin Schuh36244a12019-09-21 17:52:38 -0700148}
149
150TEST(InvokeTest, ReferenceWrapper) {
151 ConstFunctor cf;
152 MutableFunctor mf;
Austin Schuhb4691e92020-12-31 12:37:18 -0800153 EXPECT_EQ(1, base_internal::invoke(std::cref(cf), 3, 2));
154 EXPECT_EQ(1, base_internal::invoke(std::ref(cf), 3, 2));
155 EXPECT_EQ(1, base_internal::invoke(std::ref(mf), 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700156}
157
158TEST(InvokeTest, MemberFunction) {
159 std::unique_ptr<Class> p(new Class);
160 std::unique_ptr<const Class> cp(new Class);
161 std::unique_ptr<volatile Class> vp(new Class);
162
Austin Schuhb4691e92020-12-31 12:37:18 -0800163 EXPECT_EQ(1, base_internal::invoke(&Class::Method, p, 3, 2));
164 EXPECT_EQ(1, base_internal::invoke(&Class::Method, p.get(), 3, 2));
165 EXPECT_EQ(1, base_internal::invoke(&Class::Method, *p, 3, 2));
166 EXPECT_EQ(1, base_internal::invoke(&Class::RefMethod, p, 3, 2));
167 EXPECT_EQ(1, base_internal::invoke(&Class::RefMethod, p.get(), 3, 2));
168 EXPECT_EQ(1, base_internal::invoke(&Class::RefMethod, *p, 3, 2));
169 EXPECT_EQ(1, base_internal::invoke(&Class::RefRefMethod, std::move(*p), 3,
170 2)); // NOLINT
171 EXPECT_EQ(1, base_internal::invoke(&Class::NoExceptMethod, p, 3, 2));
172 EXPECT_EQ(1, base_internal::invoke(&Class::NoExceptMethod, p.get(), 3, 2));
173 EXPECT_EQ(1, base_internal::invoke(&Class::NoExceptMethod, *p, 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700174
Austin Schuhb4691e92020-12-31 12:37:18 -0800175 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, p, 3, 2));
176 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, p.get(), 3, 2));
177 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, *p, 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700178
Austin Schuhb4691e92020-12-31 12:37:18 -0800179 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, cp, 3, 2));
180 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, cp.get(), 3, 2));
181 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, *cp, 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700182
Austin Schuhb4691e92020-12-31 12:37:18 -0800183 EXPECT_EQ(1, base_internal::invoke(&Class::VolatileMethod, p, 3, 2));
184 EXPECT_EQ(1, base_internal::invoke(&Class::VolatileMethod, p.get(), 3, 2));
185 EXPECT_EQ(1, base_internal::invoke(&Class::VolatileMethod, *p, 3, 2));
186 EXPECT_EQ(1, base_internal::invoke(&Class::VolatileMethod, vp, 3, 2));
187 EXPECT_EQ(1, base_internal::invoke(&Class::VolatileMethod, vp.get(), 3, 2));
188 EXPECT_EQ(1, base_internal::invoke(&Class::VolatileMethod, *vp, 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700189
Austin Schuhb4691e92020-12-31 12:37:18 -0800190 EXPECT_EQ(1,
191 base_internal::invoke(&Class::Method, make_unique<Class>(), 3, 2));
192 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod, make_unique<Class>(),
193 3, 2));
194 EXPECT_EQ(1, base_internal::invoke(&Class::ConstMethod,
195 make_unique<const Class>(), 3, 2));
Austin Schuh36244a12019-09-21 17:52:38 -0700196}
197
198TEST(InvokeTest, DataMember) {
199 std::unique_ptr<Class> p(new Class{42});
200 std::unique_ptr<const Class> cp(new Class{42});
Austin Schuhb4691e92020-12-31 12:37:18 -0800201 EXPECT_EQ(42, base_internal::invoke(&Class::member, p));
202 EXPECT_EQ(42, base_internal::invoke(&Class::member, *p));
203 EXPECT_EQ(42, base_internal::invoke(&Class::member, p.get()));
Austin Schuh36244a12019-09-21 17:52:38 -0700204
Austin Schuhb4691e92020-12-31 12:37:18 -0800205 base_internal::invoke(&Class::member, p) = 42;
206 base_internal::invoke(&Class::member, p.get()) = 42;
Austin Schuh36244a12019-09-21 17:52:38 -0700207
Austin Schuhb4691e92020-12-31 12:37:18 -0800208 EXPECT_EQ(42, base_internal::invoke(&Class::member, cp));
209 EXPECT_EQ(42, base_internal::invoke(&Class::member, *cp));
210 EXPECT_EQ(42, base_internal::invoke(&Class::member, cp.get()));
Austin Schuh36244a12019-09-21 17:52:38 -0700211}
212
213TEST(InvokeTest, FlipFlop) {
214 FlipFlop obj = {42};
215 // This call could resolve to (obj.*&FlipFlop::ConstMethod)() or
216 // ((*obj).*&FlipFlop::ConstMethod)(). We verify that it's the former.
Austin Schuhb4691e92020-12-31 12:37:18 -0800217 EXPECT_EQ(42, base_internal::invoke(&FlipFlop::ConstMethod, obj));
218 EXPECT_EQ(42, base_internal::invoke(&FlipFlop::member, obj));
Austin Schuh36244a12019-09-21 17:52:38 -0700219}
220
221TEST(InvokeTest, SfinaeFriendly) {
222 CallMaybeWithArg(NoOp);
223 EXPECT_THAT(CallMaybeWithArg(Factory), ::testing::Pointee(42));
224}
225
226} // namespace
227} // namespace base_internal
Austin Schuhb4691e92020-12-31 12:37:18 -0800228ABSL_NAMESPACE_END
Austin Schuh36244a12019-09-21 17:52:38 -0700229} // namespace absl