通常最好不要在循环中使用size_t。例如,

vector<int> a = {1,2,3,4};
for (size_t i=0; i<a.size(); i++) {
    std::cout << a[i] << std::endl;
}
size_t n = a.size();
for (size_t i=n-1; i>=0; i--) {
    std::cout << a[i] << std::endl;
}

第一个循环就可以了。但是对于第二个循环: 当i=0时，i——的结果将是ULLONG_MAX(假设size_t = unsigned long long)，这不是你在循环中想要的结果。 此外，如果a是空的，那么n=0和n-1=ULLONG_MAX，这也是不好的。

使用std::size_t对c风格数组进行索引/计数。

对于STL容器，你会有(例如)vector<int>::size_type，它应该用于索引和计数vector元素。

实际上，它们通常都是无符号整型，但这并不能保证，特别是在使用自定义分配器时。

我一直在努力理解什么时候使用它。但size_t只是一个无符号整型数据类型，它定义在各种头文件中，如<stddef.h>， <stdio.h>， <stdlib.h>， <string.h>， <time.h>， <wchar.h>等。

It is used to represent the size of objects in bytes hence it's used as the return type by the sizeof operator. The maximum permissible size is dependent on the compiler; if the compiler is 32 bit then it is simply a typedef (alias) for unsigned int but if the compiler is 64 bit then it would be a typedef for unsigned long long. The size_t data type is never negative(excluding ssize_t) Therefore many C library functions like malloc, memcpy and strlen declare their arguments and return type as size_t.

/ Declaration of various standard library functions.
  
// Here argument of 'n' refers to maximum blocks that can be
// allocated which is guaranteed to be non-negative.
void *malloc(size_t n);
  
// While copying 'n' bytes from 's2' to 's1'
// n must be non-negative integer.
void *memcpy(void *s1, void const *s2, size_t n);
  
// the size of any string or `std::vector<char> st;` will always be at least 0.
size_t strlen(char const *s);

Size_t或任何无符号类型可能被视为循环变量，因为循环变量通常大于或等于0。

Size_t是sizeof操作符的结果类型。

size_t用于对数组的大小或索引进行建模的变量。Size_t传达语义:您立即知道它表示字节或索引的大小，而不仅仅是另一个整数。

此外，使用size_t表示字节大小有助于使代码可移植。

size_t类型是用来指定某个东西的大小，所以使用它是很自然的，例如，获取一个字符串的长度，然后处理每个字符:

for (size_t i = 0, max = strlen (str); i < max; i++)
    doSomethingWith (str[i]);

当然，您必须注意边界条件，因为它是无符号类型。顶部的边界通常不那么重要，因为最大值通常很大(尽管有可能达到最大值)。大多数人只使用int型来处理这类事情，因为他们很少有足够大的结构或数组来超过int型的容量。

但要注意以下情况:

for (size_t i = strlen (str) - 1; i >= 0; i--)

这将导致一个无限循环，因为无符号值的包装行为(尽管我看到编译器警告反对这一点)。这也可以通过以下方法来缓解(稍难理解，但至少不会受到包装问题的影响):

for (size_t i = strlen (str); i-- > 0; )

通过将递减转换为延续条件的后检查副作用，这在递减之前对值进行了延续检查，但仍然在循环中使用递减后的值(这就是为什么循环从len ..1而不是镜头1 ..0)。

一个很好的经验法则是，对于需要在循环条件中与std::size_t本身的东西进行比较的任何东西。

std::size_t是任何sizeof表达式的类型，as被保证能够在c++中表示任何对象(包括任何数组)的最大大小。通过扩展，它也保证足够大，可以用于任何数组下标，因此它是数组上按下标循环的自然类型。

如果你只是数到一个数字，那么使用保存该数字的变量类型或int或unsigned int(如果足够大)可能更自然，因为这些应该是机器的自然大小。