std:: size_t

std::size_t は以下の演算子の結果の符号なし整数型です：

• sizeof

プログラムが過大な型を形成しようとする場合（つまり、その オブジェクト表現 のバイト数が std::size_t で表現可能な最大値を超える場合）、プログラムは不適格となります。

注記

std::size_t は、理論上可能なあらゆる型（配列を含む）のオブジェクトの最大サイズを格納できます。多くのプラットフォームでは（セグメント方式のアドレス指定を使用するシステムは例外）、 std::size_t は非メンバーポインタの値を安全に格納でき、その場合は std::uintptr_t と同義となります。

std::size_t は配列のインデックス指定やループカウントによく使用されます。 unsigned int のような他の型を配列インデックスに使用するプログラムは、例えば64ビットシステムでインデックスが UINT_MAX を超える場合や、32ビットのモジュラー演算に依存している場合に失敗する可能性があります。

C++コンテナ（例： std::string 、 std::vector など）をインデックスする際に適切な型は、そのコンテナが提供するネスト型 size_type です。これは通常 std::size_t のシノニムとして定義されます。

std::size_t の宣言が他の標準ライブラリヘッダで利用可能かどうかは未規定です。実装は、規格が std::size_t の使用を要求する場合であっても、この名前を導入しないことを選択できます。

実装例

using size_t = decltype ( sizeof 0 ) ;

例

#include <array>
#include <cstddef>
#include <iostream>
int main()
{
    std::array<std::size_t, 10> a;
    // C++23 std::size_t リテラルの使用例
    for (auto i = 0uz; i != a.size(); ++i)
        std::cout << (a[i] = i) << ' ';
    std::cout << '\n';
    // デクリメントループの例
    for (std::size_t i = a.size(); i--;)
        std::cout << a[i] << ' ';
    std::cout << '\n';
    // 単純なデクリメントループ:
    //  for (std::size_t i = a.size() - 1; i >= 0; --i) ...
    // は無限ループとなる。符号なし整数は常に非負であるため
}

0 1 2 3 4 5 6 7 8 9
9 8 7 6 5 4 3 2 1 0

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

1. ↑ std::size_t の定義は、C言語における size_t の定義と完全に同一であり、それは「 sizeof 演算子の結果の型」である。C言語では循環定義は存在しない。なぜなら、C言語における sizeof 演算子の結果の型は実装定義の符号なし整数型であるためである。

参考文献

関連項目