c++中如何定义常量_c++ const与define定义常量区别【详解】

结论：C++中优先用const/constexpr定义常量，#define仅用于宏替换（如头文件卫士、条件编译）；const有类型、作用域和调试支持，#define仅为文本替换、无类型安全；constexpr用于编译期常量表达式场景。

直接说结论：在 C++ 中，优先用 const（或 constexpr）定义常量，#define 仅用于宏替换场景（如条件编译、头文件卫士），不推荐用来定义数值或对象常量。

为什么 const 比 define 更安全

#define 是预处理器指令，只做文本替换，不经过类型检查、作用域控制或调试符号生成；const 是语言级关键字，有类型、有作用域、可被调试器识别。

• 错误示例：#define PI 3.14159 后，double x = PI * r * r; 看似正常，但若误写成 #define PI 3.14159;（多加分号），编译器会在展开后报错，且错误位置指向使用处而非定义处
• const double PI = 3.14159; 编译时检查类型，链接时保留符号名，GDB 可直接打印 PI 值
• const 遵守作用域规则：函数内 const int MAX = 100; 不会污染全局命名空间；#define MAX 100 全局生效，易冲突

const 和 constexpr 的适用场景差异

const 表示“运行期不可修改”，constexpr 要求“编译期可求值”，后者才能用于需要常量表达式的地方（如数组长度、模板参数）。

• 普通常量：用 const int bufsize = 1024; 即可
• 需编译期确定的：必须用 constexpr，例如 constexpr std::size_t N = 256; 才能写 int arr[N];
• 函数返回值不能是 const 类型来满足常量表达式要求，但可以是 constexpr 函数：

  constexpr int square(int x) { return x * x; }
  int arr[square(16)]; // OK，因为 square(16) 在编译期计算为 2
  56

• const 对象若初始化依赖运行时值（如用户输入），就不能加 constexpr

define 仍不可替代的三个真实用途

#define 并非完全淘汰，它在 C++ 中仍有不可替代性，但和“定义常量”无关。

• 头文件卫士：

  #ifndef MY_HEADER_H
  #define MY_HEADER_H
  // ...
  #endif

• 条件编译：

  #ifdef DEBUG
  std::cout << "Debug: " << x << "\n";
  #endif

• 带参宏（注意副作用！）：

  #define MIN(a, b) ((a) < (b) ? (a) : (b))

  ——虽然 std::min 更安全，但某些嵌入式或性能极端场景仍需宏展开避免函数调用开销
• 禁止用 #define 定义类成员常量（无作用域）、字符串常量（类型丢失）、或浮点常量（精度问题）

容易忽略的 const 细节：引用与指针

const 修饰位置影响语义，尤其在指针和引用中极易出错。

• const int* p; → 指向常量的指针（*p 不可改，p 可改）
• int* const p = &x; → 常量指针（p 不可改，*p 可改）
• const int& ref = x; → 常量引用（不能通过 ref 修改 x）
• 类内 static const int MAX = 100; 必须在类外定义（C++17 前），否则 ODR 违反；C++17 起可用 inline static const 或直接 static constexpr

最常被忽视的是：const 变量是否进入符号表，取决于是否取地址或外部链接需求。如果只在单个 .cpp 内使用且未取地址，编译器可能彻底内联优化掉它——这和 #define 的文本替换效果类似，但机制完全不同，也更可控。