diff --git a/AK/StdLibExtras.h b/AK/StdLibExtras.h index 74c2f590d9..66e5166d58 100644 --- a/AK/StdLibExtras.h +++ b/AK/StdLibExtras.h @@ -372,6 +372,22 @@ template<> struct MakeUnsigned { using Type = unsigned char; }; +template<> +struct MakeUnsigned { + using Type = char8_t; +}; +template<> +struct MakeUnsigned { + using Type = char16_t; +}; +template<> +struct MakeUnsigned { + using Type = char32_t; +}; +template<> +struct MakeUnsigned { + using Type = bool; +}; template struct MakeSigned { @@ -469,9 +485,21 @@ template struct __IsIntegral : FalseType { }; template<> +struct __IsIntegral : TrueType { +}; +template<> struct __IsIntegral : TrueType { }; template<> +struct __IsIntegral : TrueType { +}; +template<> +struct __IsIntegral : TrueType { +}; +template<> +struct __IsIntegral : TrueType { +}; +template<> struct __IsIntegral : TrueType { }; template<> @@ -495,6 +523,9 @@ struct __IsFloatingPoint : TrueType { template<> struct __IsFloatingPoint : TrueType { }; +template<> +struct __IsFloatingPoint : TrueType { +}; template using IsFloatingPoint = __IsFloatingPoint::Type>; diff --git a/AK/Tests/CMakeLists.txt b/AK/Tests/CMakeLists.txt index aba78f9409..02ea1e5ac1 100644 --- a/AK/Tests/CMakeLists.txt +++ b/AK/Tests/CMakeLists.txt @@ -15,6 +15,7 @@ set(AK_TEST_SOURCES TestFormat.cpp TestHashFunctions.cpp TestHashMap.cpp + TestIndexSequence.cpp TestIPv4Address.cpp TestJSON.cpp TestLexicalPath.cpp @@ -35,6 +36,7 @@ set(AK_TEST_SOURCES TestStringView.cpp TestTrie.cpp TestTypedTransfer.cpp + TestTypeTraits.cpp TestURL.cpp TestUtf8.cpp TestVector.cpp diff --git a/AK/Tests/TestIndexSequence.cpp b/AK/Tests/TestIndexSequence.cpp new file mode 100644 index 0000000000..8ae15cfea5 --- /dev/null +++ b/AK/Tests/TestIndexSequence.cpp @@ -0,0 +1,70 @@ +/* + * Copyright (c) 2020, the SerenityOS developers. + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * 1. Redistributions of source code must retain the above copyright notice, this + * list of conditions and the following disclaimer. + * + * 2. Redistributions in binary form must reproduce the above copyright notice, + * this list of conditions and the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE + * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE + * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR + * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER + * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, + * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include +#include +#include + +template +F for_each_argument(F f, Args&&... args) +{ + (f(forward(args)), ...); + return f; +} + +template +void verify_sequence(IntegerSequence seq, std::initializer_list expected) +{ + EXPECT_EQ(seq.size(), expected.size()); + for_each_argument([idx = expected.begin()](T t) mutable { EXPECT_EQ(t, *(idx++)); }, ints...); +} + +TEST_CASE(TestIndexSequence) +{ + constexpr auto integer_seq1 = IntegerSequence {}; + constexpr auto integer_seq2 = MakeIntegerSequence {}; + static_assert(IsSame::value, ""); + + static_assert(integer_seq1.size() == 5, ""); + static_assert(integer_seq2.size() == 5, ""); + + constexpr auto index_seq1 = IndexSequence<0, 1, 2> {}; + constexpr auto index_seq2 = MakeIndexSequence<3> {}; + static_assert(IsSame::value, ""); + + verify_sequence(MakeIndexSequence<10> {}, std::initializer_list { 0U, 1U, 2U, 3U, 4U, 5U, 6U, 7U, 8U, 9U }); + verify_sequence(MakeIntegerSequence {}, std::initializer_list { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 }); +} + +TEST_CASE(TypeList) +{ + using MyTypes = TypeList; + static_assert(IsSame, int>::value, ""); + static_assert(IsSame, bool>::value, ""); + static_assert(IsSame, char>::value, ""); +} + +TEST_MAIN(IndexSequence); diff --git a/AK/Tests/TestTypeTraits.cpp b/AK/Tests/TestTypeTraits.cpp new file mode 100644 index 0000000000..0492160a9a --- /dev/null +++ b/AK/Tests/TestTypeTraits.cpp @@ -0,0 +1,95 @@ +/* + * Copyright (c) 2020, the SerenityOS developers. + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions are met: + * + * 1. Redistributions of source code must retain the above copyright notice, this + * list of conditions and the following disclaimer. + * + * 2. Redistributions in binary form must reproduce the above copyright notice, + * this list of conditions and the following disclaimer in the documentation + * and/or other materials provided with the distribution. + * + * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" + * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE + * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE + * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE + * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL + * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR + * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER + * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, + * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE + * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include +#include +#include + +#define STATIC_EXPECT_EQ(lhs, rhs) \ + static_assert(IsSame::value, ""); + +#define STATIC_EXPECT_FALSE(Expression) \ + static_assert(!Expression::value, ""); + +#define STATIC_EXPECT_TRUE(Expression) \ + static_assert(Expression::value, ""); + +#define EXPECT_TRAIT_TRUE(trait, ...) \ + for_each_type>([](TypeWrapper) { \ + STATIC_EXPECT_TRUE(trait); \ + }) + +#define EXPECT_TRAIT_FALSE(trait, ...) \ + for_each_type>([](TypeWrapper) { \ + STATIC_EXPECT_FALSE(trait); \ + }) + +#define EXPECT_EQ_WITH_TRAIT(trait, ListA, ListB) \ + for_each_type_zipped([](TypeWrapper, TypeWrapper) { \ + STATIC_EXPECT_EQ(typename trait::Type, B); \ + }) + +struct Empty { +}; + +TEST_CASE(FundamentalTypeClassification) +{ + EXPECT_TRAIT_TRUE(IsVoid, void); + EXPECT_TRAIT_FALSE(IsVoid, int, Empty, nullptr_t); + + EXPECT_TRAIT_TRUE(IsNullPointer, std::nullptr_t); + EXPECT_TRAIT_FALSE(IsNullPointer, void, int, Empty, decltype(0)); + + EXPECT_TRAIT_TRUE(IsFloatingPoint, float, double, long double); + EXPECT_TRAIT_FALSE(IsFloatingPoint, int, Empty, std::nullptr_t, void); + + EXPECT_TRAIT_TRUE(IsArithmetic, float, double, long double, bool, size_t); + EXPECT_TRAIT_TRUE(IsArithmetic, char, signed char, unsigned char, char8_t, char16_t, char32_t); + EXPECT_TRAIT_TRUE(IsArithmetic, short, int, long, long long); + EXPECT_TRAIT_TRUE(IsArithmetic, unsigned short, unsigned int, unsigned long, unsigned long long); + + EXPECT_TRAIT_FALSE(IsArithmetic, void, std::nullptr_t, Empty); + + EXPECT_TRAIT_TRUE(IsFundamental, void, std::nullptr_t); + EXPECT_TRAIT_TRUE(IsFundamental, float, double, long double, bool, size_t); + EXPECT_TRAIT_TRUE(IsFundamental, char, signed char, unsigned char, char8_t, char16_t, char32_t); + EXPECT_TRAIT_TRUE(IsFundamental, short, int, long, long long); + EXPECT_TRAIT_TRUE(IsFundamental, unsigned short, unsigned int, unsigned long, unsigned long long); + + EXPECT_TRAIT_FALSE(IsFundamental, Empty, int*, int&); +} + +TEST_CASE(AddConst) +{ + // clang-format off + using NoConstList = TypeList; + using YesConstList = TypeList; + // clang-format on + + EXPECT_EQ_WITH_TRAIT(AddConst, NoConstList, YesConstList); +} + +TEST_MAIN(TypeTraits)