c5c4db4f51
-- f8fe0f483378c7520d8f8bdfabe4b20de4d96c7e by Andy Soffer <asoffer@google.com>: Ensure that Invoke can support C++17 in the sense that noexcept is part of the type. PiperOrigin-RevId: 261730155 -- bf796ab71653a80498f9374bc8c5111d065c64ba by Abseil Team <absl-team@google.com>: Fix typo in static_assert message for copy/move constructible by replacing "by" with "be". PiperOrigin-RevId: 261713992 -- 8c7c17c40d03a322f304a2fd73ed34462dbf265a by Andy Soffer <asoffer@google.com>: Add absl::is_function drop-in replacement for std::is_function. Some standard libraries incorrectly implement std::is_function in a few corner cases. In particular, libstdc++ functions marked noexcept. The trick being used here is that function types decay to pointers. After excluding cases like is_class, etc, we can distinguish function types by testing for this decay. Many thanks to ericwf@ for essentially writing this CL. PiperOrigin-RevId: 261705008 -- c5adf42d0a132c2525d17a719329eab2ffe0aa94 by Abseil Team <absl-team@google.com>: Add microbenchmark for StrSplit that uses delimiter ByAnyChar. PiperOrigin-RevId: 261424010 -- 66a342f9381ec56be2fe3aa5b3193dd3538a9740 by Andy Soffer <asoffer@google.com>: CMake support for Abseil Random This change touches almost build-related files for CMake almost exclusively. The one minor exception is random/internal/salted_seed_seq.h. The default warnings configuration for one of our CI builds requests not having named but unused parameters. The change in this file cleans up that warning. PiperOrigin-RevId: 261192369 GitOrigin-RevId: f8fe0f483378c7520d8f8bdfabe4b20de4d96c7e Change-Id: I05f662baacfe78750651535aa658f61c2327bc44
221 lines
6.3 KiB
C++
221 lines
6.3 KiB
C++
// Copyright 2017 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include "absl/base/internal/invoke.h"
|
|
|
|
#include <functional>
|
|
#include <memory>
|
|
#include <string>
|
|
#include <utility>
|
|
|
|
#include "gmock/gmock.h"
|
|
#include "gtest/gtest.h"
|
|
#include "absl/memory/memory.h"
|
|
#include "absl/strings/str_cat.h"
|
|
|
|
namespace absl {
|
|
namespace base_internal {
|
|
namespace {
|
|
|
|
int Function(int a, int b) { return a - b; }
|
|
|
|
int Sink(std::unique_ptr<int> p) {
|
|
return *p;
|
|
}
|
|
|
|
std::unique_ptr<int> Factory(int n) {
|
|
return make_unique<int>(n);
|
|
}
|
|
|
|
void NoOp() {}
|
|
|
|
struct ConstFunctor {
|
|
int operator()(int a, int b) const { return a - b; }
|
|
};
|
|
|
|
struct MutableFunctor {
|
|
int operator()(int a, int b) { return a - b; }
|
|
};
|
|
|
|
struct EphemeralFunctor {
|
|
int operator()(int a, int b) && { return a - b; }
|
|
};
|
|
|
|
struct OverloadedFunctor {
|
|
template <typename... Args>
|
|
std::string operator()(const Args&... args) & {
|
|
return StrCat("&", args...);
|
|
}
|
|
template <typename... Args>
|
|
std::string operator()(const Args&... args) const& {
|
|
return StrCat("const&", args...);
|
|
}
|
|
template <typename... Args>
|
|
std::string operator()(const Args&... args) && {
|
|
return StrCat("&&", args...);
|
|
}
|
|
};
|
|
|
|
struct Class {
|
|
int Method(int a, int b) { return a - b; }
|
|
int ConstMethod(int a, int b) const { return a - b; }
|
|
int RefMethod(int a, int b) & { return a - b; }
|
|
int RefRefMethod(int a, int b) && { return a - b; }
|
|
int NoExceptMethod(int a, int b) noexcept { return a - b; }
|
|
int VolatileMethod(int a, int b) volatile { return a - b; }
|
|
|
|
int member;
|
|
};
|
|
|
|
struct FlipFlop {
|
|
int ConstMethod() const { return member; }
|
|
FlipFlop operator*() const { return {-member}; }
|
|
|
|
int member;
|
|
};
|
|
|
|
// CallMaybeWithArg(f) resolves either to Invoke(f) or Invoke(f, 42), depending
|
|
// on which one is valid.
|
|
template <typename F>
|
|
decltype(Invoke(std::declval<const F&>())) CallMaybeWithArg(const F& f) {
|
|
return Invoke(f);
|
|
}
|
|
|
|
template <typename F>
|
|
decltype(Invoke(std::declval<const F&>(), 42)) CallMaybeWithArg(const F& f) {
|
|
return Invoke(f, 42);
|
|
}
|
|
|
|
TEST(InvokeTest, Function) {
|
|
EXPECT_EQ(1, Invoke(Function, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Function, 3, 2));
|
|
}
|
|
|
|
TEST(InvokeTest, NonCopyableArgument) {
|
|
EXPECT_EQ(42, Invoke(Sink, make_unique<int>(42)));
|
|
}
|
|
|
|
TEST(InvokeTest, NonCopyableResult) {
|
|
EXPECT_THAT(Invoke(Factory, 42), ::testing::Pointee(42));
|
|
}
|
|
|
|
TEST(InvokeTest, VoidResult) {
|
|
Invoke(NoOp);
|
|
}
|
|
|
|
TEST(InvokeTest, ConstFunctor) {
|
|
EXPECT_EQ(1, Invoke(ConstFunctor(), 3, 2));
|
|
}
|
|
|
|
TEST(InvokeTest, MutableFunctor) {
|
|
MutableFunctor f;
|
|
EXPECT_EQ(1, Invoke(f, 3, 2));
|
|
EXPECT_EQ(1, Invoke(MutableFunctor(), 3, 2));
|
|
}
|
|
|
|
TEST(InvokeTest, EphemeralFunctor) {
|
|
EphemeralFunctor f;
|
|
EXPECT_EQ(1, Invoke(std::move(f), 3, 2));
|
|
EXPECT_EQ(1, Invoke(EphemeralFunctor(), 3, 2));
|
|
}
|
|
|
|
TEST(InvokeTest, OverloadedFunctor) {
|
|
OverloadedFunctor f;
|
|
const OverloadedFunctor& cf = f;
|
|
|
|
EXPECT_EQ("&", Invoke(f));
|
|
EXPECT_EQ("& 42", Invoke(f, " 42"));
|
|
|
|
EXPECT_EQ("const&", Invoke(cf));
|
|
EXPECT_EQ("const& 42", Invoke(cf, " 42"));
|
|
|
|
EXPECT_EQ("&&", Invoke(std::move(f)));
|
|
EXPECT_EQ("&& 42", Invoke(std::move(f), " 42"));
|
|
}
|
|
|
|
TEST(InvokeTest, ReferenceWrapper) {
|
|
ConstFunctor cf;
|
|
MutableFunctor mf;
|
|
EXPECT_EQ(1, Invoke(std::cref(cf), 3, 2));
|
|
EXPECT_EQ(1, Invoke(std::ref(cf), 3, 2));
|
|
EXPECT_EQ(1, Invoke(std::ref(mf), 3, 2));
|
|
}
|
|
|
|
TEST(InvokeTest, MemberFunction) {
|
|
std::unique_ptr<Class> p(new Class);
|
|
std::unique_ptr<const Class> cp(new Class);
|
|
std::unique_ptr<volatile Class> vp(new Class);
|
|
|
|
EXPECT_EQ(1, Invoke(&Class::Method, p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::Method, p.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::Method, *p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::RefMethod, p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::RefMethod, p.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::RefMethod, *p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::RefRefMethod, std::move(*p), 3, 2)); // NOLINT
|
|
EXPECT_EQ(1, Invoke(&Class::NoExceptMethod, p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::NoExceptMethod, p.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::NoExceptMethod, *p, 3, 2));
|
|
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, p.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, *p, 3, 2));
|
|
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, cp, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, cp.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, *cp, 3, 2));
|
|
|
|
EXPECT_EQ(1, Invoke(&Class::VolatileMethod, p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::VolatileMethod, p.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::VolatileMethod, *p, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::VolatileMethod, vp, 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::VolatileMethod, vp.get(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::VolatileMethod, *vp, 3, 2));
|
|
|
|
EXPECT_EQ(1, Invoke(&Class::Method, make_unique<Class>(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, make_unique<Class>(), 3, 2));
|
|
EXPECT_EQ(1, Invoke(&Class::ConstMethod, make_unique<const Class>(), 3, 2));
|
|
}
|
|
|
|
TEST(InvokeTest, DataMember) {
|
|
std::unique_ptr<Class> p(new Class{42});
|
|
std::unique_ptr<const Class> cp(new Class{42});
|
|
EXPECT_EQ(42, Invoke(&Class::member, p));
|
|
EXPECT_EQ(42, Invoke(&Class::member, *p));
|
|
EXPECT_EQ(42, Invoke(&Class::member, p.get()));
|
|
|
|
Invoke(&Class::member, p) = 42;
|
|
Invoke(&Class::member, p.get()) = 42;
|
|
|
|
EXPECT_EQ(42, Invoke(&Class::member, cp));
|
|
EXPECT_EQ(42, Invoke(&Class::member, *cp));
|
|
EXPECT_EQ(42, Invoke(&Class::member, cp.get()));
|
|
}
|
|
|
|
TEST(InvokeTest, FlipFlop) {
|
|
FlipFlop obj = {42};
|
|
// This call could resolve to (obj.*&FlipFlop::ConstMethod)() or
|
|
// ((*obj).*&FlipFlop::ConstMethod)(). We verify that it's the former.
|
|
EXPECT_EQ(42, Invoke(&FlipFlop::ConstMethod, obj));
|
|
EXPECT_EQ(42, Invoke(&FlipFlop::member, obj));
|
|
}
|
|
|
|
TEST(InvokeTest, SfinaeFriendly) {
|
|
CallMaybeWithArg(NoOp);
|
|
EXPECT_THAT(CallMaybeWithArg(Factory), ::testing::Pointee(42));
|
|
}
|
|
|
|
} // namespace
|
|
} // namespace base_internal
|
|
} // namespace absl
|