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;
    // Пример с литералом std::size_t из C++23
    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 было точно таким же, как определение size_t в C, которое гласит: «тип результата sizeof ». В C нет циклического определения, потому что тип результата sizeof в C является реализационно-определённым беззнаковым целочисленным типом.

Ссылки

Смотрите также