主要是演示C++模块的递归语法和实现机制,以阶乘为例。下面分别用类模板(factorial1)、函数模板(factorial3、factorial4)和变量模板(factorial2)分别实现。
这里的模板递归都是在编译期完成的。
#include <iostream>
using namespace std;
// 实现方式1
// 类模板:主模板
template <int n>
struct factorial1 {
static constexpr int value = n * factorial1<n - 1>::value;
};
// 类模板:终止case
template <>
struct factorial1<0> {
static constexpr int value = 1;
};
// 实现方式2
// 变量模板:主模板
template <int n>
inline constexpr int factorial2 = n * factorial2<n-1>;
// 变量模板:终止case
template <>
inline constexpr int factorial2<0> = 1;
// 实现方式3
// 函数模板,使用constexpr if,只定义一个函数即可
template <int n>
constexpr int factorial3 () {
if constexpr (n>0) {
return n * factorial3<n-1>();
} else {
return 1;
}
}
// 实现方式4
// 函数模板:主模板
template <int n>
constexpr int factorial4 () {
return n * factorial4<n-1>();
}
// 函数模板:终止case
template <>
constexpr int factorial4<0> () {
return 1;
}
int main() {
cout << "factorial1: " << factorial1<3>::value << endl;
cout << "factorial2: " << factorial2<4> << endl;
cout << "factorial3: " << factorial3<5>() << endl;
cout << "factorial4: " << factorial4<5>() << endl;
}
输出结果:
factorial1: 6
factorial2: 24
factorial3: 120
factorial4: 120