C++中枚举数组指针无法获取正确值的问题排查

我定义了如下枚举数组及查找函数：

typedef enum {
    Item0,
    Item1,
    Item2
} ITEMS_TYPE;

ITEMS_TYPE MyItemsArray[] = {
    Item0,
    Item1,
    Item2
};

bool findIndexOfItemInArray(int32_t valueToFind, int32_t* arrayToScan, int32_t arrayLastIndex, int32_t* indexOfTheSearchedValue)
{
    int32_t index;
    int32_t value;

    for(index = 0; index < arrayLastIndex; index++)
    {
        //value = static_cast<int32_t>(arrayToScan[index]); //this when C++
        value = (int32_t)(arrayToScan[index]); //this when C
        if(value == valueToFind)
        {
            *indexOfTheSearchedValue = index;
            return true;
        }
    }
    return false;
}

int main(void)
{
    int32_t valueToFind = 0;
    int32_t itemIndex;

    findIndexOfItemInArray((int32_t)valueToFind, (int32_t*)MyItemsArray, Item2, &itemIndex));
}

问题在于，findIndexOfItemInArray函数中的arrayToScan[index]始终无法获取枚举项的整数值，而是得到奇怪的长数字。该代码在C编译环境下可正常运行，但在C++中失效，请问我忽略了什么？

核心原因 #

C和C++对枚举类型的内存宽度处理规则不同：

• 在C中，枚举类型的底层默认等同于int类型（宽度与int32_t一致），因此将ITEMS_TYPE*强制转换为int32_t*后，内存访问不会错位。
• 在C++中，枚举类型的底层宽度由编译器根据枚举值的范围自动选择——如果枚举值都很小，编译器会用最小的可用类型（比如uint8_t或int8_t）存储枚举变量。此时将ITEMS_TYPE*强制转为int32_t*，会导致每次读取4字节（int32_t的宽度），而实际枚举项仅占1或2字节，从而读取到相邻内存的垃圾数据，也就是你看到的“奇怪长数字”。

此外，C++中这种跨类型的指针强制转换属于未定义行为，编译器不保证其安全性，而C对类型转换的限制更宽松，所以代码在C环境下侥幸运行正常。

修复方案 #

方案1：修改函数参数类型（最直接安全） #

将函数的arrayToScan参数类型改为ITEMS_TYPE*，避免不安全的指针转换：

bool findIndexOfItemInArray(int32_t valueToFind, ITEMS_TYPE* arrayToScan, int32_t arrayLastIndex, int32_t* indexOfTheSearchedValue)
{
    int32_t index;
    int32_t value;

    for(index = 0; index < arrayLastIndex; index++)
    {
        value = static_cast<int32_t>(arrayToScan[index]); // C++安全的静态转换
        if(value == valueToFind)
        {
            *indexOfTheSearchedValue = index;
            return true;
        }
    }
    return false;
}

调用时无需强制转换数组指针：

findIndexOfItemInArray(static_cast<int32_t>(valueToFind), MyItemsArray, Item2, &itemIndex);

方案2：保持函数通用性（支持任意类型数组） #

如果需要函数兼容多种类型的数组，可以通过void*接收数组，同时传入元素的字节宽度，用memcpy安全读取元素：

#include <cstring> // 需包含memcpy的头文件

bool findIndexOfItemInArray(int32_t valueToFind, const void* arrayToScan, size_t elemSize, int32_t arrayLastIndex, int32_t* indexOfTheSearchedValue)
{
    for(int32_t index = 0; index < arrayLastIndex; index++)
    {
        int32_t value;
        // 按元素宽度偏移内存地址，拷贝到value变量中
        memcpy(&value, static_cast<const char*>(arrayToScan) + index * elemSize, elemSize);
        if(value == valueToFind)
        {
            *indexOfTheSearchedValue = index;
            return true;
        }
    }
    return false;
}

调用时传入枚举类型的大小：

findIndexOfItemInArray(static_cast<int32_t>(valueToFind), MyItemsArray, sizeof(ITEMS_TYPE), Item2, &itemIndex);

额外修正点 #

原main函数中的调用代码多了一个右括号，需修正为：

findIndexOfItemInArray(static_cast<int32_t>(valueToFind), (int32_t*)MyItemsArray, Item2, &itemIndex);

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