编译器构造 - 有没有办法在 c++ 中使用不会花费我 60k 的二进制大小的异常？

compiler construction - Is there a way to use exceptions in c++ that doesn't cost me 60k in added binary size?

本文关键字：60k 二进制 异常 有没有 c++ 编译器      更新时间：2023-10-16

我在一个嵌入式平台上工作，我不愿意在二进制文件中添加60k。无论如何，有一些论点可以避免嵌入式系统出现异常，但我认为大多数都是假的。例外是有道理的，但我无法证明目前的成本是合理的。我使用的是gcc 4.6.3，可能我缺少了一个选项，也可能这只是异常的开销。我尝试过-O，并将异常更改为longjmp，但没有成功。我可能错过了什么。

感谢您的真知灼见。

您可以使用-fno-exceptions关闭GCC中的异常。

然而，你不能既有蛋糕又吃。关闭异常意味着你无法捕捉到它们，如果你链接到使用异常编译的代码，它也会中断。但它确实会按照你的意图减少二进制大小。

没有例外的代码（但具有相同级别的错误检查）与罪恶一样丑陋，但这是你必须付出的代价。

可爱的无异常健壮代码示例（C：）

error_t foo(void) {
    if (!do_foo()) {
        error_code = E_FOO;
        goto bail;
    }
    if (!do_bar()) {
        error_code = E_BAR;
        goto bail;
    }
    /* repeat 100 times */
bail:
    cleanup();
    return error_code;
}

第一次，没有

异常处理会带来一些成本，主要是需要RTTI支持，主要是IMHO（到目前为止还没有通过实验证明这一点）。RTTI支持将导致对代码文本段的一些开销使用，尤其是在有大量模板实例化的情况下（例如，广泛使用各种类型的STL模板类/容器类）。

另一方面，与减少例如newlib所需实现的其他可能性相比，60k开销的成本并不那么高。

对于放弃异常支持，您真的应该三思而后行

有趣的是，我今天和同事们讨论了这个话题，当时我们面临的错误显然是由记忆不足引起的。有问题的固件（以及它与FreeRTOS的操作系统绑定）不支持异常，但如果无法使用new()获取一定数量的堆内存，内存管理实现将触发处理器异常。使用某些STL诱导的算法可能会发生这种情况，并且您没有机会在失败时使用try/catch块来拦截这种情况（例如使用简单的std::vector）。

因此，您应该决定如何处理错误情况，而不使用异常或不使用异常，并确保提供一致的行为，例如使用常见的STL模式等，并将其与您为.text节大小支付的成本进行权衡。

相关文章：