C++ 数据转换实现.docVIP

C++ 数据类型转换的一种实现 在使用C++语言开发软件的过程中，常常会遇到这样一种情况：一个模块可以处理一定数量的数据类型(包括简单数据类型和自定义数据类型)，这种情况下我们可以针对该模块所支持的数据类型，设计多个重载的处理函数来实现，但是这种设计对于后期扩展有一定不便，如果需要该模块支持新的数据类型，我们必须不断的添加新的处理函数。此外我们可以采用多类型参数（例如VARIANT类型）作为函数的输入参数来实现，即将输入参数统一为多类型，然后在处理过程中将多类型转换为真实的数据类型进行处理，这需要我们在处理过程中添加大量繁琐的if-else判断，而且可能要在多处进行这样的操作，造成软件的可扩展性和可维护性都很差。 解决方案 针对上述复杂类型的判断与转换问题，本文将介绍一种以C++开源库Boost的多类型any和Loki库的数据类型列表来实现数据类自动推演处理的方法，其本质是利用C++ 的模板参数推理机制自动为我们产生判断和处理代码，大大方便软件的可扩展性和可维护性。 Loki是一套高质量的C++开源库，有丰富的功能组件，其中的类型列表技术就是一个数据类型定义和处理工具。Boost库更是一个重量级的C++开源库，有下一代C++标准库的美誉，本文将使用该库中any类型作为多类型数据对象模型。假定我们的处理模块支持几种简单数据类型和std::string类型（当然我们也可以支持其他类型或自定义数据类型），定义模块处理类型列表如下： Typedef LOKI_TYPELIST_7(int, long, float, double, char, bool, std::string) MyTypeList MyTypeList定义了模块所支持的所有数据类型列表。如果需要支持新的数据类型（包括自定义数据类型）只需要将新的类型添加到上述列表即可。在定义了数据列表后，我们开始设计使用上述类型列表的类型匹配和处理算法。 首先，定义一个数据类型匹配器，它可以逐个匹配所有数据类型列表中的数据类型，并执行特定的操作；然后定义针对每个匹配类型的处理器，匹配器最终将调用处理器执行针对特定数据类型的处理任务，我们针对不同的处理需求可以设计不同的处理器。 我们采用模板类的形式设计匹配器和处理器，相应代码如下： template typename Executor, typename BaseTypeList class TStaticDispatcher { public: typedef typename Executor::ParamType ParamType; typedef typename Executor::ResultType ResultType; typedef typename BaseTypeList::Head Head; typedef typename BaseTypeList::Tail Tail; public: static ResultType execute(ParamType value) { if(Executor::checkConditionHead(value)) return Executor::executeHead(value); else return TStaticDispatcherExecutor, Tail, ParamType, ResultType::execute(value); } } 上述匹配器类模板中有两个模板参数，第一个参数Executor是将要设计的执行数据处理的执行器，我们对执行器的设计做出了规范，必须在执行器内部定义相应的输入参数类型和输出参数类型，名称分别为ParamType和ResultType，这两个参数类型在匹配器中被提取；第二个参数BaseTypeList是我们预先定义的数据类型列表。 匹配器的execute（ParamType value）函数事实上在编译过程中会根据我们定义的数据类型列表进行递归展开处理，即调用模板中的执行器对每一个类型做判断，如果判断成功就执行相应的处理过程，而此递归过程将终止于Loki库中内定的NullType，即表示空的类型列表，下面将定义该模板类在遇到空类型列表时的特化版本，相应代码如下： templatetypename Executor class TStaticDispatcherExecutor, Loki::NullType { public: typedef typename Executor::ParamType ParamType; typedef typename Executor::ResultT