在 C++ 机器人开发中，代码的复用性与可维护性至关重要。本教程将深入探讨两种强大的语言特性：宏（Macro）与模板（Template）。通过实际代码示例，我们将展示如何利用宏定义常量与简单逻辑，以及如何利用模板构建适用于多种数据类型的通用函数与类。这些技巧能显著减少重复代码，提升开发效率。
宏定义：预处理的力量与局限
宏是 C++ 预处理器指令，允许在编译前进行文本替换。虽然现代 C++ 更推崇使用 const 变量、内联函数或模板，但在某些场景下（如条件编译或快速原型开发），宏依然有其用武之地。理解宏有助于阅读遗留代码或处理特定配置需求。
常量宏与函数式宏
首先，我们创建一个名为 basic_macro.cpp 的文件来演示基础用法。我们可以定义一个表示圆周率的常量宏，以及一个计算圆面积的"类函数"宏。
cpp
#include <iostream>
// 定义常量宏 PI，值为 3.141592654
#define PI 3.141592654
// 定义函数式宏 AreaCircle，用于计算圆面积
// 注意：参数需加括号以避免运算符优先级问题
#define AreaCircle(radius) (PI * (radius) * (radius))
int main() {
double radius = 5.0;
// 调用宏计算面积
double area = AreaCircle(radius);
std::cout << "半径为 " << radius << " 的圆的面积: " << area << std::endl;
return 0;
}在上述代码中，#define 指令告诉预处理器将代码中出现的 AreaCircle(radius) 替换为 (PI * (radius) * (radius))。这种替换发生在编译之前，因此编译器看到的是展开后的表达式。运行该程序，输出结果为半径为 5.0 的圆面积约为 78.5398。
易错点 ：宏只是简单的文本替换，不进行类型检查。如果参数包含副作用（如
AreaCircle(i++)），可能导致未定义行为。此外，忘记包裹参数的括号会导致运算优先级错误。
尽管宏方便，但需谨慎使用。在现代 C++ 项目中，除非必要，否则应优先选择更安全、更具类型安全性的替代方案。
模板函数：编写通用算法
模板允许我们编写与数据类型无关的代码。这对于处理传感器数据、数学运算等需要支持多种数值类型的场景非常有用。下面通过一个查找最大值的例子来展示模板函数的威力。
新建文件 template_functions_example.cpp，定义一个通用的 findMax 函数：
cpp
#include <iostream>
// 定义模板函数 findMax，T 为类型参数
template <typename T>
T findMax(T a, T b) {
// 使用三元运算符返回较大值
return a > b ? a : b;
}
int main() {
// 测试整数类型
int maxInt = findMax<int>(10, 20);
std::cout << "10 和 20 的最大值是: " << maxInt << std::endl;
// 测试双精度浮点数类型
double maxDouble = findMax<double>(5.5, 2.1);
std::cout << "5.5 和 2.1 的最大值是: " << maxDouble << std::endl;
return 0;
}这里的关键在于 template <typename T> 声明。它告诉编译器 findMax 是一个模板，T 是一个占位符，代表任意类型。当我们在 main 函数中调用 findMax<int> 或 findMax<double> 时，编译器会根据传入的参数类型自动生成对应的函数实例。
运行结果将显示整数比较结果为 20，浮点数比较结果为 5.5。这证明了同一份代码可以无缝适配不同的数据类型，极大地提高了代码的复用率。
模板类：构建灵活的数据结构
除了函数，C++ 还支持模板类。这使得我们可以创建能够存储和操作不同类型数据的通用数据结构。例如，我们可以定义一个通用的二维点类 Point。
新建文件 template_class.cpp，实现如下：
cpp
#include <iostream>
// 定义模板类 Point，T 为坐标数据类型
template <typename T>
class Point {
private:
T x, y; // 私有成员变量，类型为 T
public:
// 构造函数，初始化 x 和 y
Point(T x, T y) : x(x), y(y) {}
// Getter 函数，获取 x 坐标
T getX() const { return x; }
// Getter 函数，获取 y 坐标
T getY() const { return y; }
// 打印点坐标
void printPoint() const {
std::cout << "(" << x << ", " << y << ")" << std::endl;
}
};
int main() {
// 创建整数类型的点
Point<int> intPoint(5, 10);
std::cout << "整数点: ";
intPoint.printPoint();
// 创建双精度类型的点
Point<double> doublePoint(3.14, 2.71);
std::cout << "双精度点: ";
doublePoint.printPoint();
return 0;
}在这个 Point 类中，成员变量 x 和 y 的类型由模板参数 T 决定。构造函数使用初始化列表 : x(x), y(y) 高效地初始化成员。通过提供 getX、getY 和 printPoint 方法，我们封装了数据访问逻辑。
在 main 函数中，我们分别实例化了 Point<int> 和 Point<double>。编译器会为这两种类型生成独立的类版本，确保类型安全和内存布局的正确性。输出结果将清晰展示两种不同精度的点坐标。
小结：模板类通过参数化类型，实现了数据结构的通用化。这不仅减少了代码冗余，还使得代码更易维护和扩展，是构建复杂机器人应用底层库的核心技术。
总结
通过本教程，我们掌握了 C++ 中宏与模板的基本用法。宏适用于简单的文本替换和常量定义，但需注意其潜在风险；模板则提供了强大的泛型编程能力，无论是函数还是类，都能通过模板适应多种数据类型，从而显著提升代码的复用性和灵活性。在实际 ROS2 开发中，合理结合这两者，能让你的代码更加健壮且易于维护。
速查表
- 宏定义 ：使用
#define进行预处理文本替换，适合常量或简单表达式，但缺乏类型检查。 - 模板函数 ：使用
template <typename T>定义通用函数，如findMax，支持自动类型推导或显式指定。 - 模板类 ：定义如
Point<T>的通用类，成员变量和方法均基于类型参数T，实现数据结构复用。 - 最佳实践：优先使用模板而非宏来实现通用逻辑，以获得更好的类型安全和调试体验。