Constexpr tests

This commit is contained in:
Simon Brand
2017-10-02 14:17:45 +01:00
parent d8b6da9b3b
commit b3f93bc9d0
2 changed files with 46 additions and 2 deletions

View File

@ -14,7 +14,8 @@ set(TEST_SOURCES ${CMAKE_CURRENT_SOURCE_DIR}/tests/main.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/in_place.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/relops.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/observers.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/monadic.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/monadic.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/constexpr.cpp
${CMAKE_CURRENT_SOURCE_DIR}/tests/nullopt.cpp)
add_executable(tests ${TEST_SOURCES})

View File

@ -1,4 +1,47 @@
#include "catch.hpp"
#include "optional.hpp"
TEST_CASE("Constexpr", "[constexpr]") {}
#define TOKENPASTE(x, y) x##y
#define TOKENPASTE2(x, y) TOKENPASTE(x, y)
#define STATIC_REQUIRE(e) \
constexpr bool TOKENPASTE2(rqure, __LINE__) = e; \
REQUIRE(e);
TEST_CASE("Constexpr", "[constexpr]") {
SECTION("empty construct") {
constexpr tl::optional<int> o1;
constexpr tl::optional<int> o2{};
constexpr tl::optional<int> o3 = {};
constexpr tl::optional<int> o4 = tl::nullopt;
constexpr tl::optional<int> o5 = {tl::nullopt};
constexpr tl::optional<int> o6(tl::nullopt);
STATIC_REQUIRE(!o1);
STATIC_REQUIRE(!o2);
STATIC_REQUIRE(!o3);
STATIC_REQUIRE(!o4);
STATIC_REQUIRE(!o5);
STATIC_REQUIRE(!o6);
}
SECTION("value construct") {
constexpr tl::optional<int> o1 = 42;
constexpr tl::optional<int> o2{42};
constexpr tl::optional<int> o3(42);
constexpr tl::optional<int> o4 = {42};
constexpr int i = 42;
constexpr tl::optional<int> o5 = std::move(i);
constexpr tl::optional<int> o6{std::move(i)};
constexpr tl::optional<int> o7(std::move(i));
constexpr tl::optional<int> o8 = {std::move(i)};
STATIC_REQUIRE(*o1 == 42);
STATIC_REQUIRE(*o2 == 42);
STATIC_REQUIRE(*o3 == 42);
STATIC_REQUIRE(*o4 == 42);
STATIC_REQUIRE(*o5 == 42);
STATIC_REQUIRE(*o6 == 42);
STATIC_REQUIRE(*o7 == 42);
STATIC_REQUIRE(*o8 == 42);
}
}