g++编译时加-o2或-o3需置于源文件后、-o前，如g++ -o2 main.cpp -o main；-o2启用安全优化，-o3额外增加激进优化但可能降低性能或暴露未定义行为；配合-march=native可提升性能但牺牲兼容性。
g++ 编译时怎么加 -O2 或 -O3 优化选项
直接在 g++ 命令末尾加上 -O2 或 -O3 即可，比如：
g++ -O2 main.cpp -o main或者
g++ -O3 utils.cpp main.cpp -o program。注意它必须出现在源文件和输出选项（如
-o）之间，位置错乱不会报错但可能不生效——例如写成 g++ main.cpp -O3 -o main 是有效的，但写成 g++ main.cpp -o main -O3 就会被忽略（g++ 把 -O3 当作输出文件名的一部分处理了）。
-O2 和 -O3 的实际差异在哪
-O2 启用绝大多数安全的优化：内联小函数、循环展开（有限）、常量传播、死代码消除等；-O3 在 -O2 基础上额外开启更激进的策略，比如：
-
-funroll-loops（无条件展开循环，可能增大代码体积） -
-finline-functions（更积极地内联，哪怕函数稍大） -
-ftree-vectorize（尝试自动向量化，依赖目标 CPU 支持 AVX/SSE）
但 -O3 不总比 -O2 快：某些场景下向量化引入额外对齐检查或寄存器压力，反而变慢；调试信息（-g）与 -O3 共存时，行号映射可能错乱，断点位置不可靠。
为什么开了 -O3 程序反而崩溃或结果不对
常见原因不是编译器 bug，而是代码本身存在未定义行为（UB），比如：
- 读写越界数组（
arr[10]访问arr[10]，注意 C++ 数组下标从 0 开始） - 使用未初始化的局部变量（
int x; return x * 2;） - 有符号整数溢出（
int y = INT_MAX; y++;） - 违反严格别名规则（用
float*强转访问int内存）
-O2/-O3 会让编译器基于“程序没有 UB”做假设，从而删掉看似冗余实则承载逻辑的代码。用 -fsanitize=undefined 或 -fsanitize=address 配合 -O2 先跑一遍，能快速暴露这类问题。
要不要加 -march=native 配合 -O3
可以加，但要清楚后果：-march=native 告诉 g++ 生成仅在当前机器运行的指令（比如启用 AVX-512），这会提升性能，但也导致二进制无法在老 CPU 上运行（直接报 Illegal instruction）。生产环境建议用更保守的 -march=x86-64 或 -march=haswell；开发机调试时用 -march=native 没问题。另外，-O3 -march=native 可能触发更多向量化机会，但也让编译时间明显变长，CI 构建中需权衡。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
