Microblaze嵌入式C++程序使用new/static变量时.text段异常膨胀问题

问题背景 #

我正在为Microblaze微控制器系统开发嵌入式C++程序，该IP仅支持最大128Kb内存。希望在堆上分配内存，但使用new关键字后，.text段（代码长度）瞬间膨胀178Kb（推测是引入了标准库，但很多符号名称不熟悉）。

核心问题 #

1. new导致程序如此大幅度膨胀是否正常？
2. 若情况正常，有哪些替代方案？能否使用malloc在堆上初始化类？

代码示例 #

有无膨胀对比（new关键字） #

// .text 3,844 B
int main() {
    return 0;
}

// .text 179,020 B
int main() {
    new int;
    return 0;
}

局部静态变量的膨胀情况 #

class A {
public:
    A(){}
};

// .text 3,804 B
int main() {
    A a;
    return 0;
}

// .text 179,056 B
int main() {
    static A a;
    return 0;
}

添加new后新增的大符号 #

00005054 l     F .text  000010c0 execute_stack_op
0013614 l     F .text   00003540 d_print_comp_inner
0001b934 g     F .text  00002ff4 _svfprintf_r
00024320 g     F .text  000015f4 _svfiprintf_r
000262c0 g     F .text  000018ec _vfiprintf_r

系统与编译环境 #

• 系统：Windows 11
• 目标平台：Microblaze MCS 128Kb，Nexys A7-100T
• 工具链：Vitis 2024.1，mb-g++ 12.2.0，独立工具链（无操作系统）
• 编译选项：

mb-g++.exe -isystem <include-dirs> -O2 -mlittle-endian -mno-xl-reorder -mxl-soft-mul -mcpu=v11.0 -DSDT  -MMD -MP -specs=<spec-path> -I<include-path> -Wall -Wextra -Os -fno-exceptions -fno-rtti -U__clang__ -MD -MT <obj> -MF <obj.d> -o <obj> -c <src-file>

注：同时设置-O2和-Os不合理，-O2由Vitis自动添加，-Os -fno-exceptions -fno-rtti为手动添加的优化选项；new示例可能需要-O0才能运行，但static示例及实际场景中-Os仍会出现膨胀问题。

问题解答 #

1. new导致代码大幅膨胀是否正常？ #

这种膨胀是正常但需警惕的，原因如下：

• 标准new默认关联了标准库的内存分配、错误处理逻辑：即便添加了-fno-exceptions，部分工具链仍会引入诊断或打印代码（从新增的_svfprintf_r等格式化输出符号可以看出，这些是用于内存分配失败时的错误提示）。
• 局部静态变量的膨胀同理：C++标准要求静态变量的初始化具备线程安全性，即便在裸机环境下，工具链也会插入初始化检查和保护逻辑，同时静态变量的构造/析构管理会引入标准库辅助代码，导致.text段膨胀。

2. 替代方案及malloc初始化类的可行性 #

完全可以用malloc配合手动构造/析构来初始化类，以下是几种实用方案：

方案1：malloc + Placement New手动管理

对于无复杂依赖的类，直接用malloc分配内存，通过placement new调用构造函数，析构时手动调用析构函数再free：

class A {
public:
    A() {}
    ~A() {}
};

int main() {
    // 分配内存
    A* a = static_cast<A*>(malloc(sizeof(A)));
    if (a == nullptr) {
        // 处理分配失败，如进入死循环
        while(1);
    }
    // 调用构造函数（placement new）
    new(a) A();
    
    // 使用对象
    // ...
    
    // 手动调用析构函数
    a->~A();
    // 释放内存
    free(a);
    return 0;
}

该方式完全避开标准new带来的额外库代码，仅依赖基础的malloc/free（Xilinx libc提供的基础堆管理代码量极小）。

方案2：自定义operator new

全局重载operator new，让其直接调用malloc，去掉异常或错误打印逻辑，保留new/delete语法的同时控制内存分配：

#include <cstdlib>

// 重载全局operator new
void* operator new(size_t size) noexcept {
    return malloc(size);
}

// 重载全局operator delete
void operator delete(void* ptr) noexcept {
    if (ptr) free(ptr);
}

// 数组版本（按需实现）
void* operator new[](size_t size) noexcept {
    return malloc(size);
}

void operator delete[](void* ptr) noexcept {
    if (ptr) free(ptr);
}

class A {
public:
    A() {}
};

int main() {
    A* a = new A(); // 调用自定义new，无额外库代码
    delete a;
    return 0;
}

方案3：静态内存池

嵌入式系统中，内存池是更高效的选择，提前在静态内存中划出区域作为堆，自行实现简单分配逻辑，完全脱离标准库堆管理：

// 定义16KB静态内存池
static uint8_t memory_pool[16384];
static size_t pool_ptr = 0;

void* my_malloc(size_t size) {
    // 简单线性分配（可按需实现更复杂的回收算法）
    if (pool_ptr + size > sizeof(memory_pool)) {
        return nullptr;
    }
    void* ptr = &memory_pool[pool_ptr];
    pool_ptr += size;
    // 内存对齐（可选，根据平台要求）
    pool_ptr = (pool_ptr + 3) & ~3;
    return ptr;
}

void my_free(void* ptr) {
    // 线性分配池可简化处理，或实现标记式回收
}

class A {
public:
    A() {}
};

int main() {
    A* a = static_cast<A*>(my_malloc(sizeof(A)));
    if (a) {
        new(a) A();
        // 使用对象
        a->~A();
    }
    return 0;
}

额外优化建议 #

• 修正编译选项：移除冲突的-O2，保留-Os（针对代码大小优化），可在Vitis项目设置中关闭自动添加的-O2。
• 检查spec文件：使用更轻量的spec文件（如nosys.specs），减少不必要的标准库依赖。
• 禁用错误打印：通过定义工具链特定宏（如_NO_DEBUG_PRINT）关闭printf/fprintf相关代码，避免其被链接进程序。

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