3a06391166
In the current implementation, compilation would fail because operator<< is not defined for enum classes. For others, the compiler finds more than one operator<<, so it fails because it's ambiguous. This CL fixes this by printing the integer value for enums, uses the operator<< for all values that support it, and prints "<unprintable>" otherwise. Also, lots of unit tests. R=ishell@chromium.org Bug: v8:6837 Change-Id: I895ed226672aa07213f9605e094b87af186ec2e4 Reviewed-on: https://chromium-review.googlesource.com/671016 Commit-Queue: Clemens Hammacher <clemensh@chromium.org> Reviewed-by: Igor Sheludko <ishell@chromium.org> Cr-Commit-Position: refs/heads/master@{#48110}
105 lines
3.7 KiB
C++
105 lines
3.7 KiB
C++
// Copyright 2017 the V8 project authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style license that can be
|
|
// found in the LICENSE file.
|
|
|
|
#include "src/base/template-utils.h"
|
|
|
|
#include "test/unittests/test-utils.h"
|
|
|
|
namespace v8 {
|
|
namespace base {
|
|
|
|
////////////////////////////
|
|
// Test make_array.
|
|
////////////////////////////
|
|
|
|
namespace {
|
|
template <typename T, size_t Size>
|
|
void CheckArrayEquals(const std::array<T, Size>& arr1,
|
|
const std::array<T, Size>& arr2) {
|
|
for (size_t i = 0; i < Size; ++i) {
|
|
CHECK_EQ(arr1[i], arr2[i]);
|
|
}
|
|
}
|
|
} // namespace
|
|
|
|
TEST(TemplateUtilsTest, MakeArraySimple) {
|
|
auto computed_array = base::make_array<3>([](int i) { return 1 + (i * 3); });
|
|
std::array<int, 3> expected{{1, 4, 7}};
|
|
CheckArrayEquals(computed_array, expected);
|
|
}
|
|
|
|
namespace {
|
|
constexpr int doubleIntValue(int i) { return i * 2; }
|
|
}; // namespace
|
|
|
|
TEST(TemplateUtilsTest, MakeArrayConstexpr) {
|
|
constexpr auto computed_array = base::make_array<3>(doubleIntValue);
|
|
constexpr std::array<int, 3> expected{{0, 2, 4}};
|
|
CheckArrayEquals(computed_array, expected);
|
|
}
|
|
|
|
////////////////////////////
|
|
// Test pass_value_or_ref.
|
|
////////////////////////////
|
|
|
|
// Wrap into this helper struct, such that the type is printed on errors.
|
|
template <typename T1, typename T2>
|
|
struct CheckIsSame {
|
|
static_assert(std::is_same<T1, T2>::value, "test failure");
|
|
};
|
|
|
|
#define TEST_PASS_VALUE_OR_REF0(remove_extend, expected, given) \
|
|
static_assert( \
|
|
sizeof(CheckIsSame<expected, \
|
|
pass_value_or_ref<given, remove_extend>::type>) > 0, \
|
|
"check")
|
|
|
|
#define TEST_PASS_VALUE_OR_REF(expected, given) \
|
|
static_assert( \
|
|
sizeof(CheckIsSame<expected, pass_value_or_ref<given>::type>) > 0, \
|
|
"check")
|
|
|
|
TEST_PASS_VALUE_OR_REF(int, int&);
|
|
TEST_PASS_VALUE_OR_REF(int, int&&);
|
|
TEST_PASS_VALUE_OR_REF(const char*, const char[14]);
|
|
TEST_PASS_VALUE_OR_REF(const char*, const char*&&);
|
|
TEST_PASS_VALUE_OR_REF(const char*, const char (&)[14]);
|
|
TEST_PASS_VALUE_OR_REF(const std::string&, std::string);
|
|
TEST_PASS_VALUE_OR_REF(const std::string&, std::string&);
|
|
TEST_PASS_VALUE_OR_REF(const std::string&, const std::string&);
|
|
TEST_PASS_VALUE_OR_REF(int, const int);
|
|
TEST_PASS_VALUE_OR_REF(int, const int&);
|
|
TEST_PASS_VALUE_OR_REF(const int*, const int*);
|
|
TEST_PASS_VALUE_OR_REF(const int*, const int* const);
|
|
TEST_PASS_VALUE_OR_REF0(false, const char[14], const char[14]);
|
|
TEST_PASS_VALUE_OR_REF0(false, const char[14], const char (&)[14]);
|
|
TEST_PASS_VALUE_OR_REF0(false, const std::string&, std::string);
|
|
TEST_PASS_VALUE_OR_REF0(false, const std::string&, std::string&);
|
|
TEST_PASS_VALUE_OR_REF0(false, const std::string&, const std::string&);
|
|
TEST_PASS_VALUE_OR_REF0(false, int, const int);
|
|
TEST_PASS_VALUE_OR_REF0(false, int, const int&);
|
|
|
|
//////////////////////////////
|
|
// Test has_output_operator.
|
|
//////////////////////////////
|
|
|
|
// Intrinsic types:
|
|
static_assert(has_output_operator<int>::value, "int can be output");
|
|
static_assert(has_output_operator<void*>::value, "void* can be output");
|
|
static_assert(has_output_operator<uint64_t>::value, "int can be output");
|
|
|
|
// Classes:
|
|
class TestClass1 {};
|
|
class TestClass2 {};
|
|
extern std::ostream& operator<<(std::ostream& str, TestClass2&);
|
|
static_assert(!has_output_operator<TestClass1>::value,
|
|
"TestClass1 can not be output");
|
|
static_assert(has_output_operator<TestClass2>::value,
|
|
"non-const TestClass2 can be output");
|
|
static_assert(!has_output_operator<const TestClass2>::value,
|
|
"const TestClass2 can not be output");
|
|
|
|
} // namespace base
|
|
} // namespace v8
|