Apple Clang编译器中memset初始化整数数组异常的技术问询

首先可以肯定地说，你遇到的问题完全不是编译器Bug，而是对memset函数的核心作用机制理解有误——它是一个字节级的内存填充函数，而非按你期望的int类型来填充内存。

为什么memset会得到错误结果？ #

我们来拆解问题根源：

• memset的函数原型是void* memset(void* ptr, int value, size_t num)，其中：
  • 第二个参数value虽然声明为int，但实际会被强制转换成unsigned char，也就是说它只会取这个值的低8位字节来填充内存；
  • 第三个参数num是要填充的字节总数，不是数组的元素个数。

你的代码中，INF是int的最大值2147483647，对应的十六进制是0x7FFFFFFF，它的低8位是0xFF（二进制11111111）。当你调用memset(arr2, INF, sizeof(arr2))时，函数会把arr2指向的内存区域的每一个字节都设置为0xFF。

对于32位int来说，每个int占4个字节，4个0xFF组成的int值是0xFFFFFFFF，这在有符号整数的补码规则下正好是-1——这就是你看到arr2所有元素都是-1的原因。

为什么循环初始化是正确的？ #

循环初始化arr1[i] = INF是直接给每个int类型的元素赋值，编译器会把INF的完整32位值写入对应的内存位置，自然能得到预期结果。

正确的替代方案 #

如果想高效初始化int数组为INF，可以使用C++标准库中的fill或fill_n算法（需要包含<algorithm>头文件），它们是按元素类型填充的，示例代码如下：

#include <cstdio>
#include <limits>
#include <cstring>
#include <algorithm> // 引入fill_n所需头文件
using namespace std;
const int SIZE = 10;
const int INF = numeric_limits<int>::max();
int arr1[SIZE];
int arr2[SIZE];
void printArray(int *arr, int n) {
    for(int i = 0; i < n; i++)
        printf("%-10d ", arr[i]);
}
int main() {
    // 循环初始化
    for(int i = 0; i < SIZE; i++)
        arr1[i] = INF;
    printf("\nINIT WITH LOOP\n");
    printArray(arr1, SIZE);
    // 使用fill_n初始化（正确替代memset的方式）
    fill_n(arr2, SIZE, INF);
    printf("\nINIT WITH FILL_N\n");
    printArray(arr2, SIZE);
    return 0;
}

运行这段修正后的代码，arr2的输出会和arr1完全一致，都是2147483647。

关于你的编译器版本 #

你使用的Apple clang 12.0.5完全符合C/C++标准，这个行为是memset的标准定义，所有编译器都会表现出同样的结果，不存在任何Bug。

内容的提问来源于stack exchange，提问作者Seokjin Kim