summaryrefslogtreecommitdiff
path: root/projects/SelfTest/UsageTests/ToStringVariant.tests.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'projects/SelfTest/UsageTests/ToStringVariant.tests.cpp')
-rw-r--r--projects/SelfTest/UsageTests/ToStringVariant.tests.cpp91
1 files changed, 0 insertions, 91 deletions
diff --git a/projects/SelfTest/UsageTests/ToStringVariant.tests.cpp b/projects/SelfTest/UsageTests/ToStringVariant.tests.cpp
deleted file mode 100644
index b97bb4bd..00000000
--- a/projects/SelfTest/UsageTests/ToStringVariant.tests.cpp
+++ /dev/null
@@ -1,91 +0,0 @@
-#define CATCH_CONFIG_ENABLE_VARIANT_STRINGMAKER
-#include "catch.hpp"
-
-#if defined(CATCH_CONFIG_CPP17_VARIANT) && !defined(CATCH_CONFIG_DISABLE_EXCEPTIONS)
-
-#include <string>
-#include <variant>
-
-// We need 2 types with non-trivial copies/moves
-struct MyType1 {
- MyType1() = default;
- [[noreturn]] MyType1(MyType1 const&) { throw 1; }
- MyType1& operator=(MyType1 const&) { throw 3; }
-};
-struct MyType2 {
- MyType2() = default;
- [[noreturn]] MyType2(MyType2 const&) { throw 2; }
- MyType2& operator=(MyType2 const&) { throw 4; }
-};
-
-TEST_CASE( "variant<std::monostate>", "[toString][variant][approvals]")
-{
- using type = std::variant<std::monostate>;
- CHECK( "{ }" == ::Catch::Detail::stringify(type{}) );
- type value {};
- CHECK( "{ }" == ::Catch::Detail::stringify(value) );
- CHECK( "{ }" == ::Catch::Detail::stringify(std::get<0>(value)) );
-}
-
-TEST_CASE( "variant<int>", "[toString][variant][approvals]")
-{
- using type = std::variant<int>;
- CHECK( "0" == ::Catch::Detail::stringify(type{0}) );
-}
-
-TEST_CASE( "variant<float, int>", "[toString][variant][approvals]")
-{
- using type = std::variant<float, int>;
- CHECK( "0.5f" == ::Catch::Detail::stringify(type{0.5f}) );
- CHECK( "0" == ::Catch::Detail::stringify(type{0}) );
-}
-
-TEST_CASE( "variant -- valueless-by-exception", "[toString][variant][approvals]" ) {
- using type = std::variant<MyType1, MyType2>;
-
- type value;
- REQUIRE_THROWS_AS(value.emplace<MyType2>(MyType2{}), int);
- REQUIRE(value.valueless_by_exception());
- CHECK("{valueless variant}" == ::Catch::Detail::stringify(value));
-}
-
-
-TEST_CASE( "variant<string, int>", "[toString][variant][approvals]")
-{
- using type = std::variant<std::string, int>;
- CHECK( "\"foo\"" == ::Catch::Detail::stringify(type{"foo"}) );
- CHECK( "0" == ::Catch::Detail::stringify(type{0}) );
-}
-
-TEST_CASE( "variant<variant<float, int>, string>", "[toString][variant][approvals]")
-{
- using inner = std::variant<MyType1, float, int>;
- using type = std::variant<inner, std::string>;
- CHECK( "0.5f" == ::Catch::Detail::stringify(type{0.5f}) );
- CHECK( "0" == ::Catch::Detail::stringify(type{0}) );
- CHECK( "\"foo\"" == ::Catch::Detail::stringify(type{"foo"}) );
-
- SECTION("valueless nested variant") {
- type value = inner{0.5f};
- REQUIRE( std::holds_alternative<inner>(value) );
- REQUIRE( std::holds_alternative<float>(std::get<inner>(value)) );
-
- REQUIRE_THROWS_AS( std::get<0>(value).emplace<MyType1>(MyType1{}), int );
-
- // outer variant is still valid and contains inner
- REQUIRE( std::holds_alternative<inner>(value) );
- // inner variant is valueless
- REQUIRE( std::get<inner>(value).valueless_by_exception() );
- CHECK( "{valueless variant}" == ::Catch::Detail::stringify(value) );
- }
-}
-
-TEST_CASE( "variant<nullptr,int,const char *>", "[toString][variant][approvals]" )
-{
- using type = std::variant<std::nullptr_t,int,const char *>;
- CHECK( "nullptr" == ::Catch::Detail::stringify(type{nullptr}) );
- CHECK( "42" == ::Catch::Detail::stringify(type{42}) );
- CHECK( "\"Catch me\"" == ::Catch::Detail::stringify(type{"Catch me"}) );
-}
-
-#endif // CATCH_INTERNAL_CONFIG_CPP17_VARIANT