c++++中的constexpr和noexcept特性提升了代码性能、简洁性和可移植性。constexpr将函数或变量标记为常量表达式，实现编译时求值，例如计算斐波那契数列。noexcept指示函数不会引发异常，编译器优化调用，例如优化异常处理。

C++ 函数的超级进化：发掘 constexpr 与归一

随着 C++ 编程语言的不断发展，constexpr 和归一已成为现代化代码的关键特征。这两个特性共同作用，提供了提高性能、代码简洁性和可移植性的强大工具。

constexpr

立即学习“C++免费学习笔记（深入）”；

constexpr 关键字可将函数或变量标记为常量表达式。这意味着它们可以像文字一样在编译时求值，无需运行时计算。这在创建模板代码、生成元编程元祖以及定义性能敏感的算法时非常有用。

示例：

constexpr int sum(int a, int b) {
  return a + b;
}

int main() {
  constexpr int result = sum(1, 2); // 编译时求值，result 为 3
  return result;
}

归一

noexcept 关键字指示函数在任何情况下都不会引发异常。这意味着编译器可以优化对该函数的调用，无需执行异常处理代码，从而提高性能。

示例：

noexcept int divide(int a, int b) {
  if (b == 0) throw std::runtime_error("Division by zero");
  return a / b;
}

int main() {
  try {
    int result = divide(10, 2); // 不会引发异常
  } catch (std::runtime_error) {
    // 仅在除数为 0 时捕获异常
  }
}

实战案例

提升模板代码性能：

将 constexpr 应用于模板函数可以实现编译时代码生成，从而消除运行时开销。例如，以下模板函数计算斐波那契数列：

constexpr int fib(int n) {
  return n < 2 ? 1 : fib(n - 1) + fib(n - 2);
}

生成元编程元组：

constexpr 可用于在编译时生成类型安全的元组。例如，以下代码创建一个包含 three 整形值的元组：

constexpr std::tuple<int> values = std::make_tuple(1, 2, 3);

优化异常处理：

通过使用 noexcept 标记已知不会引发异常的函数，可以减少不必要的异常检查和处理开销。例如，以下函数不会引发错误：

noexcept int max(int a, int b) {
  return a > b ? a : b;
}

通过结合 constexpr 和 noexcept，C++ 开发人员可以创建高效、简洁和可移植的代码。这些特性是现代 C++ 编程中的重要工具，可帮助提高代码质量并满足不断增长的性能要求。