Updating test

njoy · Oct 15, 2024 · 3f312ac · 3f312ac
1 parent 464b6b2
commit 3f312ac
Showing 1 changed file with 33 additions and 0 deletions.
diff --git a/src/tools/std23/views/test/stride.test.cpp b/src/tools/std23/views/test/stride.test.cpp
@@ -41,6 +41,17 @@ SCENARIO( "stride_view" ) {
         CHECK( std20::ranges::common_range< Range > );
       }
 
+      THEN( "the stride_view range and iterator associated types are correct" ) {
+
+        CHECK( std20::same_as< std20::ranges::range_value_t< Range >, int > );
+        CHECK( std20::same_as< std20::ranges::range_reference_t< Range >, int& > );
+        CHECK( std20::same_as< std20::ranges::range_difference_t< Range >, std::ptrdiff_t > );
+
+        CHECK( std20::same_as< std20::ranges::iter_value_t< Iterator >, int > );
+        CHECK( std20::same_as< std20::ranges::iter_reference_t< Iterator >, int& > );
+        CHECK( std20::same_as< std20::ranges::iter_difference_t< Iterator >, std::ptrdiff_t > );
+      }
+
       THEN( "a stride_view can be constructed and members can be tested" ) {
 
         CHECK( false == chunk.empty() );
@@ -90,6 +101,17 @@ SCENARIO( "stride_view" ) {
         CHECK( std20::ranges::common_range< Range > );
       }
 
+      THEN( "the stride_view range and iterator associated types are correct" ) {
+
+        CHECK( std20::same_as< std20::ranges::range_value_t< Range >, int > );
+        CHECK( std20::same_as< std20::ranges::range_reference_t< Range >, int& > );
+        CHECK( std20::same_as< std20::ranges::range_difference_t< Range >, std::ptrdiff_t > );
+
+        CHECK( std20::same_as< std20::ranges::iter_value_t< Iterator >, int > );
+        CHECK( std20::same_as< std20::ranges::iter_reference_t< Iterator >, int& > );
+        CHECK( std20::same_as< std20::ranges::iter_difference_t< Iterator >, std::ptrdiff_t > );
+      }
+
       THEN( "a stride_view can be constructed and members can be tested" ) {
 
         CHECK( 5 == chunk.size() );
@@ -154,6 +176,17 @@ SCENARIO( "stride_view" ) {
         CHECK( std20::ranges::common_range< Range > );
       }
 
+      THEN( "the stride_view range and iterator associated types are correct" ) {
+
+        CHECK( std20::same_as< std20::ranges::range_value_t< Range >, int > );
+        CHECK( std20::same_as< std20::ranges::range_reference_t< Range >, int& > );
+        CHECK( std20::same_as< std20::ranges::range_difference_t< Range >, std::ptrdiff_t > );
+
+        CHECK( std20::same_as< std20::ranges::iter_value_t< Iterator >, int > );
+        CHECK( std20::same_as< std20::ranges::iter_reference_t< Iterator >, int& > );
+        CHECK( std20::same_as< std20::ranges::iter_difference_t< Iterator >, std::ptrdiff_t > );
+      }
+
       THEN( "a stride_view can be constructed and members can be tested" ) {
 
         CHECK( 5 == chunk.size() );