std:: size_t

std::size_t es el tipo entero sin signo del resultado de los siguientes operadores:

• sizeof

Si un programa intenta formar un tipo de tamaño excesivo (es decir, el número de bytes en su object representation excede el valor máximo representable en std::size_t ), el programa está mal formado.

Notas

std::size_t puede almacenar el tamaño máximo de un objeto teóricamente posible de cualquier tipo (incluyendo arreglos). En muchas plataformas (una excepción son los sistemas con direccionamiento segmentado) std::size_t puede almacenar de forma segura el valor de cualquier puntero que no sea miembro, en cuyo caso es sinónimo de std::uintptr_t .

std::size_t se utiliza comúnmente para indexación de arreglos y conteo de bucles. Los programas que utilizan otros tipos, como unsigned int , para indexación de arreglos pueden fallar en, por ejemplo, sistemas de 64 bits cuando el índice excede UINT_MAX o si depende de aritmética modular de 32 bits.

Al indexar contenedores de C++, como std::string , std::vector , etc., el tipo apropiado es el tipo anidado size_type proporcionado por dichos contenedores. Normalmente se define como un sinónimo de std::size_t .

No está especificado si la declaración de std::size_t está disponible en cualquier otro encabezado de la biblioteca estándar. Una implementación puede evitar introducir este nombre incluso cuando el estándar requiere std::size_t que sea utilizado.

Implementación posible

using size_t = decltype ( sizeof 0 ) ;

Ejemplo

#include <array>
#include <cstddef>
#include <iostream>
int main()
{
    std::array<std::size_t, 10> a;
    // Ejemplo con literal std::size_t de C++23
    for (auto i = 0uz; i != a.size(); ++i)
        std::cout << (a[i] = i) << ' ';
    std::cout << '\n';
    // Ejemplo de bucle decremental
    for (std::size_t i = a.size(); i--;)
        std::cout << a[i] << ' ';
    std::cout << '\n';
    // Nótese que el bucle decremental ingenuo:
    //  for (std::size_t i = a.size() - 1; i >= 0; --i) ...
    // es un bucle infinito, porque los números sin signo son siempre no negativos
}

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

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

1. ↑ La definición de std::size_t era exactamente igual a la definición de size_t en C, que es "el tipo de resultado de sizeof ". No hay una definición circular en C porque el tipo de resultado de sizeof en C es un tipo entero sin signo definido por la implementación.

Referencias

Véase también