std::size_t

typedef /* implementation-defined */ size_t;

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

• sizeof

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

注記

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の使用を要求する場合であっても、この名前を導入しないことを選択できます。

例

#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演算子の結果の型は実装定義の符号なし整数型であるためである。

参考文献

関連項目