在 C/C++ 编程中，main() 函数通常被视为程序的“入口点”。然而，在某些高级应用场景（如性能分析、日志初始化、全局资源管理、测试框架、安全监控等）中，我们往往需要在 main() 执行前或执行后自动运行特定的代码。虽然标准 C/C++ 本身并未直接提供这样的机制，但借助编译器扩展、链接器特性以及语言本身的构造函数/析构函数机制，我们可以实现这一目标。

本文将全面、系统地总结在 C 和 C++ 中实现在 main() 前后执行自定义函数的各种方法，并对比其适用场景、可移植性与注意事项。

---

一、C++ 中的方法（推荐优先使用）

1. 全局对象的构造函数与析构函数（最标准、最便携）

原理：

C++ 标准规定：具有静态存储期的对象（如全局变量、命名空间作用域变量、静态局部变量）会在 main() 执行前构造，在程序终止时（main() 返回后）析构。

示例：

#include <iostream>

class InitGuard {
public:
    InitGuard() {
        std::cout << "✅ 在 main() 之前执行！\n";
        // 初始化日志、分配全局资源等
    }
    ~InitGuard() {
        std::cout << "🔚 在 main() 之后执行！\n";
        // 清理资源、写入统计信息等
    }
};

// 全局对象
InitGuard g_init;

int main() {
    std::cout << "🚀 正在执行 main()...\n";
    return 0;
}

优点：

• 符合 C++ 标准，高度可移植。
• 构造/析构自动管理，无需手动调用。
• 支持异常安全（若构造抛出异常，程序终止）。

注意事项：

• 多个全局对象的初始化顺序在不同编译单元间是未定义的（可通过 Meyer's Singleton 或 std::call_once 规避）。
• 析构顺序与构造顺序相反。

---

2. __attribute__((constructor)) / __attribute__((destructor))（GCC/Clang 扩展）

原擎：

GCC 和 Clang 提供了函数属性，允许指定函数在 main() 前/后自动调用。

示例：

优点：

• 简洁直观，无需定义类。
• 可定义多个 constructor/destructor，通过优先级控制顺序（如 __attribute__((constructor(101)))）。

缺点：

• 非标准，仅适用于 GCC、Clang 及兼容编译器（如 ICC）。
• MSVC 不支持（需用其他方式）。

---

3. C++11 及以后：std::atexit（main 之后）

原理：

注册一个在程序正常终止时（包括 main() 返回或调用 exit()）调用的函数。

示例：

特点：

• 标准 C/C++ 支持（C89 起即有 atexit）。
• 只能用于 main 之后，不能用于 main 之前。
• 注册顺序与调用顺序相反（LIFO）。
• 最多支持 ATEXIT_MAX 个函数（通常 ≥ 32）。

---

二、C 语言中的方法

1. __attribute__((constructor/destructor))（同上，GCC/Clang）

C 语言也可使用该扩展：

#include <stdio.h>

__attribute__((constructor))
void init(void) {
    puts("C: 在 main 前初始化");
}

__attribute__((destructor))
void fini(void) {
    puts("C: 在 main 后清理");
}

int main(void) {
    puts("C main running");
    return 0;
}

2. atexit()（C 标准库）

与 C++ 中相同，C 语言可通过 <stdlib.h> 使用 atexit 注册退出处理函数。

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

void cleanup(void) {
    puts("C cleanup via atexit");
}

int main(void) {
    atexit(cleanup);
    puts("C main");
    return 0;
}

3. 链接器脚本或 _init / _fini（不推荐，已废弃）

旧版 Unix 系统支持 _init 和 _fini 函数，但现代系统（glibc ≥ 2.24）已弃用，强烈不建议使用。

---

三、Windows (MSVC) 特定方法

1. #pragma init_seg + 全局对象（C++）

MSVC 不支持 __attribute__，但可通过 #pragma init_seg 控制初始化段：

#pragma init_seg(lib)
class MyInit {
public:
    MyInit() { /* before main */ }
    ~MyInit() { /* after main */ }
} g_myinit;

2. .CRT$XCU 节（C/C++，高级技巧）

利用 MSVC 链接器对 .CRT 段的特殊处理：

// C 示例（MSVC）
#include <stdio.h>

void my_ctor(void) {
    puts("MSVC: 自定义构造函数");
}

// 将函数指针放入 .CRT$XCU 段
#pragma section(".CRT$XCU", read)
__declspec(allocate(".CRT$XCU")) void (*p)(void) = my_ctor;

⚠️ 此方法复杂且易错，仅在无其他选择时使用。

---

四、跨平台统一方案建议

场景	推荐方案
C++ 项目，追求可移植性	✅ 全局对象构造/析构
GCC/Clang 专属项目	✅ __attribute__((constructor/destructor))
仅需 main 之后执行	✅ std::atexit / atexit
C 项目 + GCC/Clang	✅ __attribute__ + atexit
Windows + MSVC + C++	✅ 全局对象 + #pragma init_seg

---

五、典型应用场景

• 日志系统初始化：在 main 前打开日志文件。
• 性能计时：记录程序启动/退出时间。
• 内存泄漏检测：在退出时 dump 未释放内存。
• 插件系统加载：自动注册模块。
• 测试框架：设置/清理测试环境（如 Google Test 的 SetUpTestSuite 底层可能用到类似机制）。

---

六、总结

方法	标准性	main 前	main 后	适用语言	可移植性
全局对象构造/析构	✅ C++ 标准	✅	✅	C++	⭐⭐⭐⭐⭐
__attribute__((constructor))	❌ 编译器扩展	✅	✅	C/C++	⭐⭐⭐ (GCC/Clang)
atexit()	✅ C89/C++98	❌	✅	C/C++	⭐⭐⭐⭐⭐
MSVC .CRT$XCU	❌ MSVC 专属	✅	❌	C/C++	⭐ (仅 Windows)

💡 最佳实践：在 C++ 中优先使用全局对象；在 C 中若用 GCC/Clang，可结合 __attribute__ 与 atexit。

---

掌握这些技术，你就能像指挥家一样精准控制程序的“出生”与“谢幕”，为构建健壮、可维护的系统级软件打下坚实基础！

 优秀文章推荐：

当代码不再只是谋生工具：你真的热爱自己的工作吗？

SQLite不止于轻量：揭秘万亿级部署背后的核心力量​

山海重光：当〈山海经〉的神兽踏进芯片，古老幻想在硅基世界涅槃重生