面试题：C++静态函数在复杂模板元编程下的代码复用

静态函数与模板结合实现代码复用
- 模板参数推导与代码生成：模板允许将类型或值作为参数传递。静态函数在模板中可以利用这些参数，在编译期生成不同版本的代码。例如，对于不同类型的参数，静态函数可以执行相同逻辑但针对特定类型进行优化。
- 编译期计算：静态函数在模板中可以用于编译期计算。由于模板在编译期实例化，静态函数内部的逻辑如果只涉及编译期常量，就可以在编译期完成计算，从而提高运行时效率。
静态函数在模板递归中的作用
- 递归控制：模板递归是在编译期重复执行一段逻辑的技术。静态函数可以作为递归的驱动点，每次递归调用时，通过修改模板参数来推进递归过程。例如，计算阶乘的模板递归中，静态函数可以接收一个模板参数表示当前计算的数值，每次递归减少该参数值，直到达到终止条件。
- 结果返回：静态函数在模板递归结束时返回最终计算结果。因为递归过程是在编译期进行的，所以最终结果也是编译期常量，可以直接用于初始化变量或其他编译期操作。
静态函数在模板特化中的作用
- 针对特定类型的优化：模板特化允许为特定类型提供专门的模板实现。静态函数在模板特化中可以针对特定类型进行优化，提供更高效或更适合该类型的实现。例如，对于std::string类型的模板特化，静态函数可以利用std::string的特性实现更高效的操作，而不是使用通用模板的逻辑。
- 重载解析：模板特化的静态函数参与重载解析。编译器会根据传入的参数类型选择最合适的模板特化版本，从而调用相应的静态函数，实现代码的正确复用和优化。

以下是一段复杂的模板元编程代码示例：

#include <iostream>

// 模板元编程计算斐波那契数列
template <int N>
struct Fibonacci {
    static const int value;
};

template <>
struct Fibonacci<0> {
    static const int value = 0;
};

template <>
struct Fibonacci<1> {
    static const int value = 1;
};

template <int N>
const int Fibonacci<N>::value = Fibonacci<N - 1>::value + Fibonacci<N - 2>::value;

// 模板元编程判断一个数是否为质数
template <int N, int I = 2>
struct IsPrime {
    static const bool value;
};

template <int N>
struct IsPrime<N, N> {
    static const bool value = true;
};

template <int N, int I>
struct IsPrime<N, I> {
    static const bool value = (N % I!= 0) && IsPrime<N, I + 1>::value;
};

// 模板元编程生成指定长度的数组
template <typename T, int N>
struct Array {
    T data[N];

    static void fill(const T& value) {
        for (int i = 0; i < N; ++i) {
            data[i] = value;
        }
    }
};

int main() {
    std::cout << "Fibonacci(10): " << Fibonacci<10>::value << std::endl;
    std::cout << "Is 17 prime: " << (IsPrime<17>::value? "Yes" : "No") << std::endl;

    Array<int, 5> arr;
    arr.fill(42);
    for (int i = 0; i < 5; ++i) {
        std::cout << "arr[" << i << "]: " << arr.data[i] << std::endl;
    }

    return 0;
}

在这段代码中：

Fibonacci模板结构体通过模板递归计算斐波那契数列，静态成员value保存计算结果，实现了编译期计算斐波那契数的代码复用。
IsPrime模板结构体通过模板递归判断一个数是否为质数，静态成员value表示判断结果，复用了判断质数的逻辑。
Array模板结构体提供了一个静态函数fill，可以对不同类型和长度的数组进行填充操作，体现了代码复用的价值。

星途面试题库

面试题：C++静态函数在复杂模板元编程下的代码复用

知识考点

面试题答案