Redstone1024/Redcraft
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

style(ranges): clarify the semantic requirements of CRange and CSizedRange

Browse Source
This commit is contained in:
Redstone1024 2024-12-22 11:11:56 +08:00
parent 04bb4be901
commit db855d27a1
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Redcraft.Utility/Source/Public/Ranges/Utility.h
View File

@ -222,7 +222,8 @@ NAMESPACE_END(Ranges)
* A concept specifies a type is a range. * A concept specifies a type is a range.
* A range is an iterator-sentinel pair that represents a sequence of elements. * A range is an iterator-sentinel pair that represents a sequence of elements.
* This concept does not require that iterator-sentinel pair can be fetched multiple times * This concept does not require that iterator-sentinel pair can be fetched multiple times
* from the range object. again this means that const R may not be a range if R is a range, * if the range does not satisfy the forward range, otherwise it is equality-preserving.
* Again, this means that const R may not be a range if R is a range,
* e.g. fetching the iterator-sentinel pair from the input range may require moving the iterator * e.g. fetching the iterator-sentinel pair from the input range may require moving the iterator
* directly from the range object and thus the range object may be modified. * directly from the range object and thus the range object may be modified.
*/ */
@ -262,9 +263,8 @@ concept CBorrowedRange = CRange<R> && (CLValueReference<R> || bEnableBorrowedRan
/** /**
* A concept specifies a type is a sized range. * A concept specifies a type is a sized range.
* Indicates the expression 'Ranges::Num(Range)' can get the size of the range at constant time * Indicates the expression 'Ranges::Num(Range)' can get the size of the range at constant time
* without modifying the range object. Modifying the range usually occurs when the iterator of * without modifying the range object. A sized range may support fetched size before fetched iterator-sentinel pair
* the range is an input iterator. Indirect calculation of the range by obtaining the iterator * if the range does not satisfy the forward range, otherwise it is equality-preserving.
* may cause the range to become invalid, that is, the iterator cannot be obtained again.
*/ */
template <typename R> template <typename R>
concept CSizedRange = CRange<R> concept CSizedRange = CRange<R>