如何让GCC编译器/链接器移除可执行文件中未使用的静态数组

针对你在AVR设备上遇到的「未使用的模板特化静态数组仍占用程序内存」的问题，核心解决方案是让链接器能够识别并丢弃未被引用的数据段，再配合调整模板的实现方式，确保只有用到的字符位图才会被实例化到内存中。下面是具体的可行方案：

1. 开启链接器垃圾回收（关键第一步） #

AVR-GCC默认不会自动移除未使用的代码或数据段，你需要添加编译/链接选项来启用这个功能：

g++ -Os -ffunction-sections -fdata-sections -Wl,--gc-sections -mmcu=atmegaXX your_code.cpp

• -ffunction-sections -fdata-sections：将每个函数、全局/静态数据项单独放在一个段中，方便链接器精准识别未使用的内容。
• -Wl,--gc-sections：告诉链接器丢弃所有未被引用的段（代码段和数据段）。

2. 调整模板特化的实现方式 #

方案A：优化模板静态成员的属性 #

修改你的模板代码，给静态数组添加只读数据段属性，同时确保它是const类型（帮助链接器识别可回收的只读数据）：

#include <stdint.h>

template <char C>
struct BitMap {
    static const uint8_t cols[5];
};

// 特化时指定放在只读数据段，链接器可轻松回收未使用的实例
template <>
const uint8_t BitMap<'3'>::cols[] __attribute__((section(".rodata"))) = {0xFF, 0xFC, 0xAB, 0x00, 0x00};

template <>
const uint8_t BitMap<'A'>::cols[] __attribute__((section(".rodata"))) = {0x7E, 0x81, 0x81, 0x7E, 0x00};

int main() {
    // 只有当你主动使用BitMap<'3'>::cols（比如取地址、读取值）时，该数组才会被保留
    // return BitMap<'3'>::cols[0]; 
    return 0;
}

此时如果main里没有引用某个特化的cols数组，链接器就会把它从最终的ELF文件中彻底移除。

方案B：使用C++17的inline静态变量（更简洁） #

如果你使用的AVR-GCC版本支持C++17，推荐用inline static constexpr来实现，这样不需要单独的定义，且只有被ODR使用（如取地址、绑定引用）时才会实例化：

#include <stdint.h>

template <char C>
struct BitMap;

template <>
struct BitMap<'3'> {
    inline static constexpr uint8_t cols[5] = {0xFF, 0xFC, 0xAB, 0x00, 0x00};
};

template <>
struct BitMap<'B'> {
    inline static constexpr uint8_t cols[5] = {0xFF, 0x81, 0xFF, 0x81, 0xFF};
};

int main() {
    // 仅当调用BitMap<'B'>::cols相关操作时，该数组才会被加入程序内存
    return 0;
}

方案C：用函数模板延迟实例化 #

如果你需要兼容更老的C++标准，可以用函数模板来包裹位图数组，只有当函数被调用时，对应的数组才会被实例化：

#include <stdint.h>

template <char C>
const uint8_t* get_bitmap() {
    // 默认空实现，可加静态断言强制用户必须提供特化
    static const uint8_t empty[5] = {0};
    return empty;
}

template <>
const uint8_t* get_bitmap<'3'>() {
    static const uint8_t cols[5] = {0xFF, 0xFC, 0xAB, 0x00, 0x00};
    return cols;
}

int main() {
    // 只有调用get_bitmap<'3'>()时，对应的数组才会占用内存
    // auto ptr = get_bitmap<'3'>();
    return 0;
}

3. 验证效果 #

编译完成后，你可以用AVR工具链的avr-size命令来检查内存占用：

avr-size -C --mcu=atmega328p your_program.elf

观察.rodata段的大小，当你注释掉对某个位图的引用后，该段的大小应该会对应减小，说明未使用的数组已经被成功移除。

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