std:: size_t

std::size_t 是以下运算符结果的無符号整数类型：

• sizeof

如果程序试图构成过大的类型（即其 对象表示 中的字节数超过 std::size_t 可表示的最大值），则该程序是非良构的。

注释

std::size_t 能够存储理论上任何类型对象（包括数组）的最大尺寸。在许多平台上（采用分段寻址的系统除外）， std::size_t 可以安全地存储任何非成员指针的值，此时它与 std::uintptr_t 同义。

std::size_t 通常用于数组索引和循环计数。若程序使用其他类型（如 unsigned int ）进行数组索引，则可能在索引值超过 UINT_MAX 时（例如在64位系统上）失效，或当程序依赖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 的结果类型是实现定义的无符号整型。

参考文献

参见