blob: 50e293a3dcc6303ef9a919ad495490b789e460c4 [file] [log] [blame]
// Copyright 2022 Google LLC
//
// 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
//
// http://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 "./fuzztest/internal/polymorphic_value.h"
#include <string>
#include <type_traits>
#include <utility>
#include "gtest/gtest.h"
#include "absl/strings/str_cat.h"
namespace fuzztest::internal {
namespace {
TEST(PolymorphicValue, BasicOperationsWork) {
PolymorphicValue<> v(std::in_place, 0);
EXPECT_TRUE(v.Has<int>());
EXPECT_FALSE(v.Has<double>());
auto copy = v;
ASSERT_TRUE(copy.Has<int>());
EXPECT_FALSE(copy.Has<double>());
EXPECT_EQ(copy.GetAs<int>(), 0);
}
TEST(PolymorphicValue, NonTrivialTypesWorkCopyAndDestroyCorrectly) {
std::string str = "A very long string that uses heap.";
PolymorphicValue<> v(std::in_place, str);
EXPECT_EQ(str, v.GetAs<std::string>());
EXPECT_EQ(str, PolymorphicValue<>(v).GetAs<std::string>());
}
struct PrintVisitor {
template <typename T>
std::string operator()(const T& v) {
return absl::StrCat(v);
}
};
struct IncrementVisitor {
template <typename T>
void operator()(T& v, int d) {
v += d;
}
};
TEST(PolymorphicValue, VisitingValueWorks) {
using P = PolymorphicValue<PrintVisitor, IncrementVisitor>;
P an_int(std::in_place, 10);
P a_double(std::in_place, 1.5);
EXPECT_EQ("10", an_int.Visit(PrintVisitor{}));
EXPECT_EQ("1.5", a_double.Visit(PrintVisitor{}));
an_int.Visit(IncrementVisitor{}, 8);
a_double.Visit(IncrementVisitor{}, 10);
EXPECT_EQ("18", an_int.Visit(PrintVisitor{}));
EXPECT_EQ("11.5", a_double.Visit(PrintVisitor{}));
// Can also print a const value because PrintVisitor takes by const&.
EXPECT_EQ("18", std::as_const(an_int).Visit(PrintVisitor{}));
EXPECT_EQ("11.5", std::as_const(a_double).Visit(PrintVisitor{}));
}
} // namespace
} // namespace fuzztest::internal