Segundo esse artigo o tipo serve para representar tamanhos em bytes de objetos
Corretíssimo.
As respostas (até o momento da postagem dessa aqui) estão equivocadas ao dizerem que size_t
é equivalente ao primitivo unsigned int
.
Primeiro, o parágrafo relevante da padronização é o seguinte:
[support.types.layout]/3
The type size_t
is an implementation-defined unsigned integer type that is large enough to contain the size in bytes of any object ([expr.sizeof]).
As ênfases (minhas) claramente dizem: size_t
é um tipo inteiro sem sinal. Em outras palavras, size_t
pode muito bem ser equivalente a uint16_t
, como também pode ser equivalente a uint64_t
, ou outros tipos de característica similar. Portanto, size_t
não é garantido de ser equivalente a unsigned int
. É permitido, sim, mas é diferente de ser garantido. E hoje em dia, com a esmagadora maioria das arquiteturas sendo de 64 bits, o std::size_t
é definido como unsigned long long
pelas bibliotecas padrão.
Voltando para a pergunta:
[…] porém sempre vejo em livros e códigos usando o tipo size_t em vários lugares que não representam tamanhos.
size_t
é normalmente usado pra indexar arranjos (arrays) e fazer contagem em laços (loops). Por quê? Vamos usar um exemplo: ao usar um tipo diferente, como unsigned int
, para indexar um arranjo, é possível que a operação de indexação falhe em sistemas 64-bit quando o índice exceder o valor de UINT_MAX
, ou se o índice depende de aritmética modular para voltar ao valor zero após incrementar o índice máximo 1.
Mas, mesmo assim, o tipo apropriado pra indexar os contêineres (std::vector
, std::string
etc) é sempre o membro ::size_type
, um typedef que é dado por tais contêineres (std::vector<int>::size_type
por exemplo). Normalmente, entretanto, ::size_type
é definido como sinônimo de size_t
1. As funções membros size()
dos contêineres também retornam um ::size_type
.