C语言中的size_t是多少？

我size_t对C 感到困惑。我知道它是由sizeof运算符返回的。但是到底是什么呢？它是数据类型吗？

假设我有一个for循环：

for(i = 0; i < some_size; i++)

我应该使用int i;还是size_t i;？

从维基百科：

根据1999 ISO C标准（C99），它size_t是至少16位的无符号整数类型（请参阅第7.17和7.18.3节）。

size_t是由多种C / C ++标准（例如在中定义的C99 ISO / IEC 9899标准）定义的无符号数据类型stddef.h。1可以通过包含进一步导入， stdlib.h因为此文件在内部包含了stddef.h。

此类型用于表示对象的大小。具有或返回大小的库函数期望它们是类型或具有的返回类型size_t。此外，最常用的基于编译器的运算符sizeof应该评估为与兼容的常数 size_t。

暗示地，size_t一种保证包含任何数组索引的类型。

size_t是无符号类型。因此，它不能表示任何负值（<0）。您在计数某物时使用它，并确保它不能为负数。例如，strlen()返回a，size_t因为字符串的长度必须至少为0。

在您的示例中，如果循环索引将始终大于0，则可以使用size_t或任何其他无符号数据类型。

使用size_t对象时，必须确保在使用它的所有上下文（包括算术）中都需要非负值。例如，假设您有：

size_t s1 = strlen(str1);
size_t s2 = strlen(str2);

你想找到的长度的差异str2和str1。您不能：

int diff = s2 - s1; /* bad */

这是因为diff，即使使用s2 < s1，分配给的值也总是正数，因为计算是使用无符号类型完成的。在这种情况下，这取决于你的使用情况是什么，你可能会关闭使用更好的int（或long long）为s1和s2。

C / POSIX中有一些功能可以/应该使用size_t，但由于历史原因而没有使用。例如，fgets理想情况下size_t，第二个参数to 应该是，但是是int。

size_t 是可以容纳任何数组索引的类型。

根据实现的不同，它可以是以下任意一种：

unsigned char

unsigned short

unsigned int

unsigned long

unsigned long long

这size_t是stddef.h我的机器中的定义方式：

typedef unsigned long size_t;

如果您是经验类型，

echo | gcc -E -xc -include 'stddef.h' - | grep size_t

Ubuntu 14.04 64位GCC 4.8的输出：

typedef long unsigned int size_t;

请注意，它stddef.h是由GCC提供的，而不是src/gcc/ginclude/stddef.hGCC 4.2中的glibc 。

有趣的C99外观

• malloc取size_t作为参数，所以它确定可分配的最大尺寸。

  并且由于它也由返回sizeof，因此我认为它限制了任何数组的最大大小。

  另请参阅：C中数组的最大大小是多少？

types.h的联机帮助页显示：

size_t应为无符号整数类型

由于没有人提及它，因此语言的主要意义size_t是sizeof运算符返回该类型的值。同样，的主要含义ptrdiff_t是从另一个指针中减去一个指针将产生该类型的值。接受它的库函数之所以这样做，是因为它将允许此类函数与大小可能超过UINT_MAX的对象一起工作（在可能存在此类对象的系统上），而不会强迫调用者浪费代码在较大类型的系统上传递大于“ unsigned int”的值满足所有可能的对象。

要探讨为什么size_t需要存在以及我们如何到达这里：

在实用方面，size_t并ptrdiff_t保证是64个位宽上的64位的实施方案中，32个比特宽上的32位实现，等等。他们不能在不破坏旧代码的情况下，在每个编译器上强制使用任何现有类型来表示这一点。

甲size_t或者ptrdiff_t不一定是相同的作为intptr_t或uintptr_t。他们对仍然在使用的时候一定结构不同size_t而ptrdiff_t被添加到标准的80年代后期，并变得过时，当C99增加了许多新类型，但尚未消失（如16位Windows）。在16位保护模式下的x86具有分段存储器，其中最大可能的数组或结构的大小只能是65,536字节，但是far指针需要32位宽，比寄存器宽。在这些，intptr_t本来是32个位宽，但size_t并ptrdiff_t可以是16位宽并适合寄存器。谁知道将来会写什么样的操作系统？从理论上讲，i386体系结构提供了具有48位指针的32位分段模型，这是操作系统从未真正使用过的模型。

内存偏移量的类型之所以不能，是long因为太多的旧代码假定该long宽度恰好是32位宽。该假设甚至已内置到UNIX和Windows API中。不幸的是，许多其他遗留代码也假定a long足够宽以容纳指针，文件偏移，自1970年以来经过的秒数等等。POSIX现在提供了一种标准的方法来强制使后一个假设正确，而不是前一个假设，但这两个都不是可移植的假设。

可能不是int因为90年代只有极少数的编译器制作了int64位宽。然后，通过保持long32位宽，他们真的变得很奇怪。该标准的下一个修订版声明int，其宽度大于long，int是非法的，但在大多数64位系统上仍为32位宽。

它不可能是long long int，后来又添加了它，因为即使在32位系统上，它被创建为至少64位宽。

因此，需要一种新的类型。即使不是，所有其他类型也意味着数组或对象中的偏移量以外的其他内容。而且，如果从32到64位迁移的惨败中汲取了一个教训，那就是要明确类型需要具备的属性，而不要在不同的程序中使用不同的含义。

size_t并且int不可互换。例如，在64位Linux size_t上，其大小为64位（即sizeof(void*)），但int为32位。

另请注意，这size_t是未签名的。如果您需要签名版本，则ssize_t某些平台上会有签名版本，它将与您的示例更相关。

作为一般规则，我建议int在大多数一般情况下使用，仅在有特殊需要时才使用size_t/ ssize_t（mmap()例如）。

通常，如果您从0开始并向上移动，请始终使用无符号类型，以避免溢出导致您进入负值情况。这非常重要，因为如果您的数组边界恰好小于循环的最大值，但是循环的最大值恰好大于您的类型的最大值，那么您将环绕负值，并且可能会遇到分段错误（SIGSEGV ）。因此，一般而言，永远不要将int用作从0开始向上的循环。使用未签名的。

size_t是无符号整数数据类型。在使用GNU C库的系统上，这将是unsigned int或unsigned long int。size_t通常用于数组索引和循环计数。

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

当使用size_t对象时，我们必须确保在所有上下文（包括算术）中都使用它，我们只需要非负值。例如，以下程序肯定会给出意外的结果：

// C program to demonstrate that size_t or
// any unsigned int type should be used 
// carefully when used in a loop

#include<stdio.h>
int main()
{
const size_t N = 10;
int a[N];

// This is fine
for (size_t n = 0; n < N; ++n)
a[n] = n;

// But reverse cycles are tricky for unsigned 
// types as can lead to infinite loop
for (size_t n = N-1; n >= 0; --n)
printf("%d ", a[n]);
}

Output
Infinite loop and then segmentation fault

size_t是无符号整数数据类型，只能分配0且大于0的整数值。它测量任何对象大小的字节，并由sizeof运算符返回。 const是的语法表示形式size_t，但是如果没有const，则可以运行程序。

const size_t number;

size_t通常用于数组索引和循环计数。如果是编译器，32-bit它将继续工作unsigned int。如果是编译器，64-bit它也可以工作unsigned long long int。此处的最大大小size_t取决于编译器类型。

size_t已经定义的<stdio.h>头文件，但它也可以被定义 <stddef.h>，<stdlib.h>，<string.h>，<time.h>，<wchar.h>头。

• 示例（带有const）

#include <stdio.h>

int main()
{
    const size_t value = 200;
    size_t i;
    int arr[value];

    for (i = 0 ; i < value ; ++i)
    {
        arr[i] = i;
    }

    size_t size = sizeof(arr);
    printf("size = %zu\n", size);
}

输出- size = 800

• 示例（无const）

#include <stdio.h>

int main()
{
    size_t value = 200;
    size_t i;
    int arr[value];

    for (i = 0 ; i < value ; ++i)
    {
        arr[i] = i;
    }

    size_t size = sizeof(arr);
    printf("size = %zu\n", size);
}

输出- size = 800

据我了解，size_t是一个unsigned整数，其位大小足以容纳本机体系结构的指针。

所以：

sizeof(size_t) >= sizeof(void*)