const变量有类型且受编译器类型系统管理，#define宏无类型、仅为预处理器文本替换；前者支持类型检查、作用域控制、调试识别和模板推导，后者易引发命名污染、调试困难及求值错误。

const 变量有类型，#define 宏没有类型

这是最根本的差异。const 声明的变量参与编译器的类型系统，能做类型检查、重载解析、模板推导；而 #define 是纯文本替换，预处理器根本不认识类型。

比如：

const double PI = 3.14159;
#define PI_MACRO 3.14159

当你写 auto x = PI * 2;，编译器知道 x 是 double；但写 auto y = PI_MACRO * 2;，预处理后变成 auto y = 3.14159 * 2;，虽然结果一样，但若你误写成 #define PI_MACRO "3.14159"，错误会出现在后续使用点（比如参与数值运算时报错），且报错位置远离定义处，调试困难。

• const 支持引用绑定：const double& r = PI; 合法；#define 展开后无法形成左值，不能取地址或绑定引用
• 函数参数若声明为 const int&，传 #define 的字面量可能触发临时对象绑定，而 const 变量更直观安全
• 模板中推荐用 constexpr const 而非 #define，否则无法参与非类型模板参数推导（如 std::array 中的 N）

const 遵守作用域，#define 是全局文本替换

#define 不受命名空间、类、函数作用域约束。一旦定义，直到被 #undef 或文件结束都生效，容易污染全局命名空间，引发意外交替。

例如在头文件中写：

#define max(a,b) ((a)>(b)?(a):(b))

它会把所有后续代码里出现的 max（包括 std::max 调用、变量名、成员函数名）全部替换，导致编译失败或逻辑错误。

• const 可以放在命名空间内：namespace math { const double PI = 3.14159; }，完全隔离
• 类内 static const 成员（C++17 起可用 inline constexpr）可控制可见性；#define 在类定义里毫无意义
• 头文件中用 const 或 constexpr 更安全，避免宏重复定义冲突（#define 重复定义不报错，但行为不可控）

const 可被调试器识别，#define 在调试时“消失”

现代调试器（GDB / LLDB / VS）能显示 const 变量的值、地址、类型；但 #define 在预处理阶段就被替换成字面量，源码里找不到对应符号，调试时看不到“PI”这个名称。

• 发布版中 const 若未取地址且无外部链接，通常被优化掉，但调试版保留符号信息
• #define 宏定义无法设置断点（你不能对一个文本片段下断点）
• IDE 的跳转定义（Go to Definition）、重命名（Rename）等功能对 const 有效，对 #define 失效或不准

什么时候还不得不写 #define？

绝大多数常量场景应优先用 constexpr const（C++11 起），但仍有少数预处理专属用途无法替代：

• 条件编译：#if defined(_WIN32) || defined(__linux__)
• 生成字符串字面量：#define STR(x) #x，用于日志或反射式拼接
• 防止头文件重复包含：#ifndef HEADER_H —— 这仍是标准做法，const 无法做到
• 可变参数宏（C++11 起有可变参数模板，但某些日志宏仍依赖 __VA_ARGS__）

注意：C++17 引入 inline constexpr 后，连“定义在头文件中的整型常量”这种经典 #define 用例也基本淘汰了——现在直接写 inline constexpr int MAX_SIZE = 1024; 即可。

真正容易被忽略的是宏的求值时机：它发生在编译前，不经过语法分析，所以括号缺失、副作用表达式（如 #define SQUARE(x) x*x）极易出错；而 const 和 constexpr 是语言级构造，语义确定、可预测。