C9S/Catch2
2
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2026-07-21 13:53:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Constexpr matching support in the range equals matchers

Browse Source
This commit is contained in:
Martin Hořeňovský
2026-05-12 10:06:20 +02:00
parent d838f88b9c
commit 47ea57d74f
2 changed files with 17 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/matchers.md
+2
View File
@@ -504,6 +504,8 @@ matching. Currently, this includes:
* `AllTrue()`, `AnyTrue()`, `NoneTrue()`
* `Contains(T&& target_element, Comparator = std::equal_to<>{})`
* `Contains(Matcher element_matcher)`
* `RangeEquals(TargetRangeLike&&, Comparator = std::equal_to<>{})`
* `UnorderedRangeEquals(TargetRangeLike&&, Comparator = std::equal_to<>{})`
---
tests/SelfTest/UsageTests/MatchersConstexpr.tests.cpp
+15
View File
@@ -15,6 +15,7 @@
#include <catch2/matchers/catch_matchers_container_properties.hpp>
#include <catch2/matchers/catch_matchers_quantifiers.hpp>
#include <catch2/matchers/catch_matchers_contains.hpp>
#include <catch2/matchers/catch_matchers_range_equals.hpp>
#include <array>
@@ -56,6 +57,10 @@ namespace {
return { false, true, false };
case 2:
return { false, false, false };
case 3:
return { true, false, false };
case 4:
return { true, true, false };
default:
return { false, false, false };
}
@@ -98,6 +103,16 @@ TEST_CASE( "Generic Equals matchers can be used in constexpr contexts",
STATIC_REQUIRE_THAT( compute_bools( 2 ), Contains( true, std::not_equal_to<>{} ) );
}
TEST_CASE( "Range equals matchers can be used in constexpr contexts",
"[constexpr][matchers][approvals]" ) {
using Catch::Matchers::RangeEquals;
using Catch::Matchers::UnorderedRangeEquals;
STATIC_REQUIRE_THAT( compute_bools( 0 ), RangeEquals( compute_bools( 0 ) ) );
STATIC_REQUIRE_THAT( compute_bools( 2 ), RangeEquals( compute_bools( 0 ), std::not_equal_to<>{} ) );
STATIC_REQUIRE_THAT( compute_bools( 1 ), UnorderedRangeEquals( compute_bools( 3 ) ) );
STATIC_REQUIRE_THAT( compute_bools( 1 ), UnorderedRangeEquals( compute_bools( 4 ), std::not_equal_to<>{} ) );
}
// Combining matchers needs C++26 and P2738, so they are in separate preprocessor block
# if __cpp_constexpr >= 202306L