std::ranges:: ssize

t 内の要素数を定数時間で計算し、結果を符号付き型に変換します。

与えられた 部分式 において、 t が（ 実体化された 可能性もある）結果オブジェクトを表し、 E とする：

• ranges:: size ( t ) が ill-formed の場合、 ranges :: ssize ( E ) も ill-formed となる。
• それ以外の場合、 Signed を make-signed-like-t  < decltype ( ranges:: size ( t ) ) > とする：
  • std::ptrdiff_t が Signed より広い場合、 ranges :: ssize ( E ) は expression-equivalent で static_cast < std:: ptrdiff_t > ( ranges:: size ( t ) ) となる。
  • それ以外の場合、 ranges :: ssize ( E ) は expression-equivalent で static_cast < Signed > ( ranges:: size ( t ) ) となる。

カスタマイゼーションポイントオブジェクト

名前 ranges::ssize は カスタマイゼーションポイントオブジェクト を表し、これは 関数オブジェクト のconstな リテラル semiregular クラス型です。詳細は CustomizationPointObject を参照してください。

注記

式 ranges :: ssize ( e ) が有効な場合、戻り値の型は signed-integer-like type です。

例

#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++規格に対して遡及的に適用されました。

関連項目