GCC是否支持编译时判断变量所属存储段的编程查询机制？

问题背景 #

我正在开发一款特殊嵌入式系统的代码，该系统读取只读存储器（ROM）需要使用特定处理器指令。要将变量放入ROM，必须为其添加属性指定到对应存储段，该段内容会被存入ROM。我希望在编译时通过编程方式确定变量所在的存储段，以此区分RAM（可使用普通指针解引用和引用读取）和ROM（需汇编编写的专用访问代码）中的变量，目标是实现如下代码：

template<typename Type>
struct data_pointer
{
    Type * pointer;

    data_pointer(Type * pointer, bool) :
        pointer { pointer } {}

    // 非const数据不可能在只读段
    Type & operator *()
    {
        return *pointer;
    }
};

template<typename Type>
struct data_pointer<const Type>
{
    const Type * pointer;
    bool is_readonly;

    data_pointer(const Type * pointer, bool is_readonly) :
        pointer { pointer },
        is_readonly { is_readonly }
    {}

    // const数据可能在RAM或ROM
    const Type operator *()
    {
        return (is_readonly ? readonly_dereference(pointer) : *pointer);
    }
};

#define make_data_pointer(object) \
    (data_pointer(&object, is_in_readonly_section(object)))

其中：

• readonly_dereference是读取ROM中值的专用指针访问机制；
• is_in_readonly_section(object)是实现该机制所需的假设性编译时谓词。

请问GCC是否有类似is_in_readonly_section的编译时谓词？还是无法实现？如果没有该功能，用户需自行确保data_pointer指向正确类型的内存，这比由编译器承担此责任更容易出错。

解决方案 #

GCC没有直接内置的编译时谓词可以判断变量是否位于只读段，但可以通过以下几种变通方案实现类似需求：

方案1：自定义宏+编译时常量标记 #

通过宏声明变量时，同时定义一个编译时布尔常量来标记变量是否在ROM段：

// 声明ROM段变量的宏，附带编译时标记
#define ROM_VAR(type, name, value) \
    type name __attribute__((section(".rom_section"))) = value; \
    constexpr bool is_rom_##name = true;

// 声明RAM段变量的宏，标记为false
#define RAM_VAR(type, name, value) \
    type name = value; \
    constexpr bool is_rom_##name = false;

// 修改make_data_pointer宏，直接使用预定义的编译时标记
#define make_data_pointer(object) \
    data_pointer(&object, is_rom_##object)

这种方式在变量声明阶段就明确了存储类型，编译时即可确定is_readonly的值，完全避免运行时判断开销。

方案2：链接脚本+地址范围判断 #

通过链接脚本暴露ROM段的地址范围，在代码中用constexpr函数判断变量地址是否处于该范围：

1. 链接脚本配置：

MEMORY {
    ROM : ORIGIN = 0x00000000, LENGTH = 0x10000
    RAM : ORIGIN = 0x20000000, LENGTH = 0x8000
}

SECTIONS {
    .rom_section : {
        __rom_start = .;
        *(.rom_section)
        __rom_end = .;
    } > ROM
    // 其他段定义...
}

2. C++代码实现：

extern const char __rom_start[];
extern const char __rom_end[];

// 编译时判断变量地址是否在ROM范围内
template<typename T>
constexpr bool is_in_readonly_section(const T& obj) {
    const uintptr_t addr = reinterpret_cast<uintptr_t>(&obj);
    return (addr >= reinterpret_cast<uintptr_t>(__rom_start)) && 
           (addr < reinterpret_cast<uintptr_t>(__rom_end));
}

注意：该方案的constexpr有效性依赖GCC版本（GCC 7+支持此类指针转换的编译时计算）。全局/静态变量的地址在编译时即可确定，能得到编译时布尔值；局部变量则只能在运行时判断。

方案3：类型区分（最可靠的编译时方案） #

直接通过自定义类型区分ROM和RAM变量，利用模板特化自动匹配正确的解引用逻辑：

// ROM专用类型，指定到ROM段
template<typename T>
struct ROMValue {
    T value;
    constexpr ROMValue(T v) : value(v) {}
} __attribute__((section(".rom_section")));

// 针对ROMValue特化data_pointer
template<typename Type>
struct data_pointer<ROMValue<Type>> {
    const Type* pointer;

    data_pointer(const ROMValue<Type>* obj) : pointer(&obj->value) {}

    const Type operator*() {
        return readonly_dereference(pointer);
    }
};

// 普通RAM变量的data_pointer实现
template<typename Type>
struct data_pointer {
    Type* pointer;

    data_pointer(Type* ptr) : pointer(ptr) {}

    Type& operator*() {
        return *pointer;
    }
};

// 简化make_data_pointer宏
#define make_data_pointer(object) data_pointer(&object)

这种方式完全通过类型在编译时区分存储位置，编译器会自动推导调用正确的解引用逻辑，无需额外布尔标记，出错概率最低。

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