std::ranges::ssize
定义于头文件 <ranges>
|
||
inline namespace /*unspecified*/ { inline constexpr /*unspecified*/ ssize = /*unspecified*/; |
(C++20 起) (定制点对象) |
|
调用签名 |
||
template< class T > requires /* see below */ |
||
返回转换到有符号类型的范围大小。
调用 ranges::ssize
表达式等价于:
- static_cast<std::ptrdiff_t>(ranges::size(std::forward<T>(t))) ,若 std::numeric_limits<ranges::range_difference_t<T>>::digits 小于 std::numeric_limits<std::ptrdiff_t>::digits ,
- 否则为 static_cast<ranges::range_difference_t>(ranges::size(std::forward<T>(t))) 。
表达式等价
表达式 e 表达式等价于表达式 f ,若 e 与 f 拥有相同效果,均为潜在抛出或均非潜在抛出(即 noexcept(e) == noexcept(f) ),且均为常量子表达式或均非常量子表达式。
定制点对象
名字 ranges::ssize
代表一个定制点对象,它是字面 semiregular 类类型(为说明目的以 ssize_ftor
表示)的 const 函数对象。ssize_ftor
的所有实例均相等。从而能自由地复制 ranges::ssize
,且能交替使用其副本。
给定类型集合 Args...
,若 std::declval<Args>()... 满足上面对于 ranges::ssize
的参数要求,则 ssize_ftor
将满足 std::invocable<const ssize_ftor&, Args...> 。否则, ssize_ftor
的函数调用运算符不参与重载决议。
注解
若 ranges::ssize(e) 对于表达式 e 合法,则返回类型为有符号整数式类型,即 std::is_signed_v 对其为 true 的整数类型,或有符号整数类类型。
示例
运行此代码
#include <array> #include <iostream> #include <ranges> #include <type_traits> int main() { std::array arr{1, 2, 3, 4, 5}; auto s = std::ranges::ssize(arr); std::cout << "ranges::ssize(arr) = " << s << '\n' << "ranges::ssize is " << (std::is_signed_v<decltype(s)> ? "signed" : "unsigned") << '\n'; std::cout << "reversed arr: "; for (--s; s >= 0; --s) std::cout << arr[s] << ' '; std::cout << "\n" "s = " << s << '\n'; }
输出:
ranges::ssize(arr) = 5 ranges::ssize is signed reversed arr: 5 4 3 2 1 s = -1
参阅
(C++20) |
获得能在常数时间内计算大小的范围的大小 (定制点对象) |
(C++17)(C++20) |
返回容器或数组的大小 (函数模板) |