本文介绍了C++ Boost库中的泛型编程和模板元编程组件，包括Boost.Call_traits、Boost.Concept_check、Boost.Enable_if等。这些组件帮助开发者实现高效、类型安全的代码，例如通过Boost.Call_traits自动选择最佳参数传递方式，Boost.Concept_check确保模板参数符合特定概念，Boost.Enable_if控制模板特化的包含与排除。通过对这些工具的使用，可以提升C++代码的灵活性和可维护性。
泛型编程与模板元编程
Boost.Call_traits
这个库提供了传递参数给函数的最好方法的自动演绎，依据参数的类型。例如，当传递的是如int 和 double这样的内建类型，最高效的方式是传值。对于用户自定义类型，则传送const引用通常更好。Call_traits为你自动选择正确的参数类型。这个库还有助于声明参数为引用，而不用冒引用到引用的风险(在C++这是非法的)。Call_traits常用于要求以最高效方式传递参数而又不知道参数类型的泛型函数，并避免引用到引用的问题。
Call_traits 的作者是 Steve Cleary, Beman Dawes, Howard Hinnant, 和 John Maddock.
Boost.Concept_check
Concept_check提供一些类模板，用于测试特定的概念(需求的集合)。泛型(参数化的)代码要求实例化时的类型必须符合某些抽象概念，如LessThanComparable. 这个库提供了一些方法来明确地声明模板的参数化类型的特定需求。代码的用户可以获益，由于需求的文档化以及编译器可以产生错误信息以明确指出类型不符合这些概念的地方。Boost.Concept_check提供了超过30个可用于泛型代码的概念，其中一些原型可用于校验包括所有相关概念的组件的实现。它用于在泛型代码中声明和证明概念的需求。
Concept_check 的作者是 Jeremy Siek, 他从Alexander Stepanov and Matt Austern的前
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
