IAR编译报错‘Expression must have a const value’，GCC正常求解决

问题根源 #

这个问题的核心是IAR和GCC对全局变量初始化时的常量表达式要求不一致，再加上代码里的函数指针转void*操作在C标准里属于未定义行为，导致IAR严格检查时报错，而GCC的扩展特性允许这种写法：

1. IAR的严格标准遵循：IAR默认严格遵循C标准（如C90/C99），全局/静态数组的初始化值必须是编译期可确定的常量表达式。虽然函数地址本身是常量，但将函数指针强制转换为void*的操作，在IAR的检查逻辑中会被判定为“非const值表达式”——因为C标准并未规定函数指针和void*之间的转换属于合法的常量转换。
2. GCC的扩展特性：GCC提供了语言扩展，允许这种转换后的表达式作为全局初始化的常量，因此你的代码在GCC下能正常编译。

解决方案 #

结合你的需求（在数组中使用函数地址，且兼容遗留代码），推荐两种可行方案：

方案1：修正结构体类型，避免void*转换（推荐）

既然value_1和value_2实际用于存储函数指针，直接把结构体成员定义为对应的函数指针类型，既符合C标准，又能让IAR通过编译：

// 先定义匹配的函数指针类型
typedef uint32 (*CountGetFunc)(void);

// 修改结构体成员类型
typedef struct KEY_VALUE {
    uint32_t key;
    CountGetFunc value_1;  // 替换原void*为函数指针类型
    CountGetFunc value_2;  // 替换原void*为函数指针类型
    uint16_t publish;
    uint16_t attributes;
} KEY_VALUE_STRUCT;

// 宏定义直接使用函数名（本身就是合法的函数指针）
#define CTESTCODE_1 GetCount
#define CTESTCODE_2 NULL

// 全局数组初始化，此时所有元素都是合法的编译期常量
KEY_VALUE_STRUCT RelayCount[] = {
    {100, CTESTCODE_2, CTESTCODE_1, TRUE, 0}
};

方案2：保留结构体，运行期赋值（适合无法修改结构体的遗留代码）

如果不能修改结构体定义，可将数组初始化拆分到运行期，避开编译期的常量检查：

// 先以默认值初始化数组（用NULL占位）
static KEY_VALUE_STRUCT RelayCount[] = {
    {100, CTESTCODE_2, NULL, TRUE, 0}
};

// 在程序初始化阶段（比如main函数开头）手动赋值
void InitRelayCount(void) {
    RelayCount[0].value_2 = (void*)GetCount;
}

可选方案：调整IAR编译器设置（不推荐）

你可以尝试在IAR项目设置中启用GCC兼容模式，或放宽对常量表达式的检查（搜索“Constant Expression”相关编译选项），但这种做法可能引入潜在兼容性问题，且不符合C标准，不建议用于长期维护的遗留代码。

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