在 c++ 中，利用模板元编程 (tmp) 实现库扩展，可以通过注入自定义类型、函数或代码来增强现有库，增添新功能或修改原有行为，而无需修改原始库实现。这是一个扩展 std::vector 添加自定义排序的实战案例，按字符串长度排序字符串。
如何在 C++ 中使用元编程实现库扩展
元编程简介
元编程是一种在编译时执行程序的编程技术。它允许您操纵代码本身，而不是仅操作运行时数据。这提供了极大的灵活性，例如允许您在编译时生成代码或类型。
C++ 中的元编程
立即学习“C++免费学习笔记（深入）”；
C++ 使用模板元编程 (TMP) 实现元编程。模板元编程允许您创建通用代码，该代码可以针对特定类型或上下文进行定制。此定制发生在编译时，允许您根据需求生成高效且类型安全的代码。
库扩展
可以使用元编程通过将自定义类型、函数或其他代码注入现有库来扩展库。这允许您添加新功能或修改现有行为，而不修改原始库实现。
实战案例
扩展 std::vector 添加自定义排序
假设我们要扩展 std::vector，为其添加自定义排序功能，该功能可以按字符串长度对字符串进行排序。我们可以使用 TMP 来实现此操作：
#include <vector>
template <typename T>
struct str_len {
static constexpr size_t value = sizeof(T) - 1;
};
template <typename T>
bool operator<(const T& a, const T& b) {
return str_len<T>::value < str_len<T>::value;
}
int main() {
std::vector<std::string> v = {"abc", "def", "ghi"};
std::sort(v.begin(), v.end()); // 编译时使用自定义排序
for (const auto& s : v) {
std::cout << s << " "; // 输出：abc def ghi
}
}在这个例子中，我们定义了一个模板 struct str_len 来计算字符串长度，并重载了运算符< 来按字符串长度对字符串进行比较。现在，当我们调用 std::sort 时，它将使用我们定义的自定义排序。
结论
使用元编程对 C++ 库进行扩展是一种有效且灵活的技术。通过模板元编程，您可以根据特定要求定制通用代码并创建类型安全且高效的扩展。
