为什么在 C++ 容器中，它返回 size_type 而不是 int？如果我们正在创建自己的结构，是否也应该鼓励我们使用size_type？
【问题讨论】：
一般来说，当您测量某物的大小时，应该使用size_t。 size_t 只需要表示 0 到 SIZE_MAX 字节之间，SIZE_MAX 只需要 65,535 个字节，这真的很奇怪......
来自 C++ 和 C 标准的其他有趣的限制是：
sizeof() 的返回类型是size_t，它是一个无符号整数
operator new() 将要分配的字节数作为size_t 参数size_t 在 <cstddef> 中定义
SIZE_MAX 在 C99 的 <limits.h> 中定义，但在 C++98 中没有提及？！size_t 不包括在基本整数类型列表中，所以我一直认为size_t 是基本类型之一的类型别名：char、short int、@987654337 @ 和 long int。如果您计算字节数，那么您绝对应该使用size_t。如果您正在计算元素的数量，那么您可能应该使用size_t，因为这似乎是 C++ 一直在使用的。在任何情况下，您都不想使用 int - 如果您使用的是 TR1，至少使用 unsigned long 或 unsigned long long。或者......甚至更好...... typedef 无论你最终使用什么到 size_type 或只包括 <cstddef> 并使用 std::size_t。
【讨论】：
可能有几个原因：
如果您正在编写一个专为您和/或一次性使用的应用程序，您可能可以使用基本的 int。如果您正在编写库或其他内容，size_t 可能是更好的选择。
【讨论】：
new char[6 gigs]，如果您有足够的 RAM 或交换空间，它就会工作。现在，您如何使用 int 进行管理？这就是size_t背后的原因。
有些答案比必要的更复杂。 size_t 是一种无符号整数类型，保证足够大以存储内存中任何对象的字节大小。在实践中，它总是与指针类型的大小相同。在 32 位系统上，它是 32 位。在 64 位系统上，它是 64 位。
【讨论】：
stl 中的所有容器都有不同的 typedef。例如，value_type 是元素类型，size_type 是数字存储类型。通过这种方式，容器是基于平台和实现的完全通用的。
如果您要创建自己的容器，您也应该使用size_type。通常这样做
typedef std::size_t size_type;
如果你想要一个容器的大小，你应该写
typedef vector<int> ints;
ints v;
v.push_back(4);
ints::size_type s = v.size();
好在以后如果想使用列表，只要把typedef改成
typedef list<int> ints;
它仍然可以工作！
【讨论】：
我假设你的意思是“size_t”——这是一种表示无符号整数（只能是正数，不能是负数）的方式——它对容器的大小有意义，因为你不能有一个数组大小为-7。我不会说您必须使用 size_t 但它确实使用您的代码向其他人表明“这里的数字始终是正数”。它还为您提供更大范围的正数，但这可能并不重要，除非您有一些非常大的容器。
【讨论】：
C++ 是一种可以在不同硬件架构和平台上实现的语言。随着时间的推移，它已经支持 16 位、32 位和 64 位架构，未来可能还会支持其他架构。 size_type 和其他类型别名是库将程序员/代码与实现细节隔离开来的方式。
假设size_type 在 32 位机器上使用 32 位，在 64 位机器上使用 64 位，如果您在需要的地方使用了 size_type，相同的源代码可能会更好地工作。在大多数情况下，您可以假设它与unsigned int 相同，但不能保证。
size_type 用于表示 STL 容器的容量，如std::vector，而size_t 用于表示 C/C++ 中对象的字节大小。
【讨论】：
int 在规范中不保证为 4 个字节，因此它们不可靠。是的，size_type 比 ints 更受欢迎
【讨论】：
size_t 是无符号的，因此即使它们都是 32 位，它与不合格的 int 并不完全一样。我不确定他们为什么添加该类型，但在今天的许多平台上sizeof (size_t) == sizeof (int) == sizeof (long)，所以您选择哪种类型取决于您。请注意，这些关系不受标准的保证，并且随着 64 位平台的加入而迅速过时。
对于您自己的代码，如果您需要在概念上表示某种“大小”并且永远不能为负数，size_t 将是一个不错的选择。
【讨论】：
void f1(size_t n) {
if (n <= myVector.size()) { assert(false); }
size_t n1 = n - myVector.size(); // bug! myVector.size() can be > n
do_stuff_n_times(n1);
}
void f2(int n) {
int n1 = n - static_cast<int>(myVector.size());
assert(n1 >= 0);
do_stuff_n_times(n1);
}
f1() 和 f2() 都有相同的错误，但在 f2() 中检测问题更容易。对于更复杂的代码，无符号整数算术错误并不那么容易识别。
我个人对所有尺寸都使用有符号整数，除非应该使用无符号整数。我从来没有遇到过我的大小不适合 32 位有符号整数的情况。在使用无符号 32 位整数之前，我可能会使用 64 位有符号整数。
使用有符号整数来表示大小的问题是代码中有很多从size_t 到int 的static_cast。
【讨论】：
assert(n >= myVector.size()) ; 可以完美地检测到错误。