c - IAR EWARM (ICC) - 表达式必须有一个常量值

Question

我正在尝试使用 IAR EWARM 编译以下 C 代码，但出现三个编译错误(错误 [Pe028]:表达式必须具有常量值)。见下文:

#include<stdio.h>
#include<stdlib.h>
#include<stdint.h>

typedef uint8_t I2C_BusIdentifier;
typedef uint8_t I2C_SlaveAddress;

typedef enum {
    I2C_BUS_STATE_UNINITIALIZED = 0,
    I2C_BUS_STATE_GPIO_HARDWARE_READY,
    I2C_BUS_STATE_READY_TO_OPERATE,
} I2C_BusState;

typedef struct BUS_I2C_BUS_INSTANCE_TYPE {
    I2C_BusIdentifier BusIdentifer;                                         // 0 for I2C0, 1 for I2C1
    I2C_BusState CurrentState;                                              // bus status
} I2C_Bus; // I²C Bus Instance Type, I2C_BusInstanceType


typedef struct DEVICE_I2C_GENERIC {
    I2C_Bus* DeviceBusPointer;
    I2C_SlaveAddress DeviceAddress;
} I2C_Device;

// inherits from I2C_Device
typedef struct DEVICE_ADC123 {
    I2C_Device Device;
} ADC123_Device;

#define NUMBER_OF_I2C_PORTS   2

static I2C_Bus g_I2C_Bus[NUMBER_OF_I2C_PORTS] = {
    { 0, I2C_BUS_STATE_UNINITIALIZED, },
    { 1, I2C_BUS_STATE_UNINITIALIZED, },
};

I2C_Bus* const g_I2C_BusPtr_Port0 = &(g_I2C_Bus[0]);
I2C_Bus* const g_I2C_BusPtr_Port1 = &(g_I2C_Bus[1]);


const ADC123_Device g_Device_ADC123_U14 = {
    { g_I2C_BusPtr_Port0, 0xAE, }, // <--- Error[Pe028]: expression must have a constant value
};

const ADC123_Device g_Device_ADC123_U15 = {
    { g_I2C_BusPtr_Port1, 0x8A, }, // <--- Error[Pe028]: expression must have a constant value
};

const ADC123_Device g_Device_ADC123_U9 = {
    { g_I2C_BusPtr_Port1, 0xAA, }, // <--- Error[Pe028]: expression must have a constant value
};

#define NUMBER_OF_ADC123_DEVICES   3

const ADC123_Device* g_ADC123_Array[NUMBER_OF_ADC123_DEVICES] = {
    &g_Device_ADC123_U14,
    &g_Device_ADC123_U15,
    &g_Device_ADC123_U9,
};

int main(void)
{
    while(1);
}

但是，如果我直接使用 g_I2C_Bus 地址而不是通过 g_I2C_BusPtr_PortX 指针，一切都可以编译:

const ADC123_Device g_Device_ADC123_U14 = {
    { &(g_I2C_Bus[0]), 0xAE, },
};

const ADC123_Device g_Device_ADC123_U15 = {
    { &(g_I2C_Bus[1]), 0x8A, },
};

const ADC123_Device g_Device_ADC123_U9 = {
    { &(g_I2C_Bus[1]), 0xAA, },
};

我想使用常量指针 (g_I2C_BusPtr_Port0, g_I2C_BusPtr_Port1)，因为它们在 .h 文件中是外部的，而数组 (g_I2C_Bus[]) 不会在全局公开，而是在特定的 .c 文件中是静态的。

当定义/值应该相同时，为什么编译器对此不满意，因为它们引用相同的东西？

Answer 1

这是 C 语言的限制。变量的值，例如

int const a = 1;

不能用在常量表达式中，比如初始化器:

int b = a; /* Will not work */

甚至没有 const 限定符。推理是编译器无法知道变量的值，即使它看起来完全微不足道。 const 的变量在 C 语言中不是常量，它只是你不能改变的变量。

全局变量的地址是另一回事。链接器完全控制这些变量所在的位置，并且可以将相同的信息用于初始化程序。

解决方法是使用预处理器:

#define g_I2C_BusPtr_Port0 (&(g_I2C_Bus[0]))