面试题：C++ 预处理器与模板元编程的结合及优化

预处理器指令优缺点

优点：
- 简单直接：语法简单，易于理解和使用。例如 #define PI 3.14159 就定义了一个常量。
- 广泛支持：几乎所有C++ 编译器都支持，具有很好的兼容性。
- 文本替换高效：在编译早期进行文本替换，速度快。
缺点：
- 缺乏类型检查：例如 #define ADD(a, b) a + b，如果调用 ADD(1, 2 * 3) 会得到 1 + 2 * 3，并非预期的 (1 + 2) * 3，因为它只是简单文本替换。
- 难以调试：预处理器处理后的代码与原始代码差异较大，调试困难。比如宏展开后可能出现意外的符号重定义等问题。

模板元编程优缺点

优点：
- 类型安全：在编译期进行计算，基于类型推导和检查，能发现类型相关错误。例如模板函数 template <typename T> T add(T a, T b) { return a + b; }，传入不同类型会在编译期报错。
- 代码复用性高：通过模板，可以为不同类型生成相同逻辑代码，如标准库中的容器模板。
- 编译期优化：可以在编译期完成复杂计算，减少运行时开销。比如计算阶乘 template <int N> struct Factorial { static const int value = N * Factorial<N - 1>::value; }; template <> struct Factorial<0> { static const int value = 1; }。
缺点：
- 语法复杂：模板元编程涉及复杂的模板嵌套、递归等，代码可读性差。
- 编译时间长：复杂模板实例化可能导致编译时间显著增加，因为要在编译期进行大量计算。

结合使用优化代码示例

假设我们要计算数组元素之和，同时希望在编译期确定数组大小。

#include <iostream>

// 预处理器定义数组大小
#define ARRAY_SIZE 5

// 模板元编程计算数组元素之和
template <typename T, int N, int... Indices>
constexpr T sum_helper(const T(&arr)[N], std::index_sequence<Indices...>) {
    return (arr[Indices] + ...);
}

template <typename T, int N>
constexpr T sum(const T(&arr)[N]) {
    return sum_helper(arr, std::make_index_sequence<N>{});
}

int main() {
    int arr[ARRAY_SIZE] = {1, 2, 3, 4, 5};
    constexpr int result = sum(arr);
    std::cout << "Sum: " << result << std::endl;
    return 0;
}

这里预处理器指令 #define ARRAY_SIZE 5 定义数组大小，模板元编程 sum 函数在编译期计算数组元素之和，提高运行时性能。

结合方式带来的维护挑战

代码可读性降低：预处理器指令和模板元编程语法本身都不简单，结合使用会使代码更难理解，增加新开发者理解和维护代码的难度。
调试难度增加：预处理器处理后的代码和模板展开后的代码都与原始代码差异大，一旦出现编译错误，定位和解决问题更加困难。
潜在冲突：预处理器宏可能与模板中的标识符冲突，例如宏定义与模板参数同名，导致意外行为。

星途面试题库

面试题：C++ 预处理器与模板元编程的结合及优化

知识考点

面试题答案

预处理器指令优缺点

模板元编程优缺点

结合使用优化代码示例

结合方式带来的维护挑战