一聚教程网:一个值得你收藏的教程网站

热门教程

boost::preprocessor库之文件重复与自我重复

时间:2022-07-02 11:01:59 编辑:袖梨 来源:一聚教程网

上回中,我们利用LOCAL重复将3个模板类生成到了单独的三行,可是我们还是不会满足,毕竟,一行一个类还是不便于阅读和调试。要进一步改进,我们需要运用新的方法:文件重复(File重复)。

顾名思义,文件重复需要用到文件,我们将用于重复的模式单独写到一个文件中,然后调用这个模式重复产生代码。

开始动手,首先创建一个单独的文件:pattern.hpp:

#define n BOOST_PP_ITERATION()

#define TINY_print(~,~,data) data

template
struct tiny_size<
BOOST_PP_ENUM_PARAMS(n,T)
BOOST_PP_COMMA_IF(n)
BOOST_PP_ENUM(BOOST_PP_SUB(M,n), TINY_print, none)
> : mpl::int_ {};

#undef n

这个文件将不会用于编译,而作为一个模式的承载。我们应该注意到,没有了每行后面的’''符号,因为,它并不是用来产生一行的代码,而是用了产生一个代码块。宏函数ITERATION()则用来获得当前重复的索引。

为了触发这个模式,我们在我们的主代码中这样写:(test.cpp

#include 
#include
#include
#include

#define M 3

#define BOOST_PP_ITERATION_LIMITS (0,M-1)
#define BOOST_PP_FILENAME_1 "pattern.hpp"
#include BOOST_PP_ITERATE()

现在,我们有了两个文件,主文件是test.cpp,模式文件是pattern.hpp。可 以看出,文件重复和LOCAL重复一样,需要预先定义两个东西:一个是重复的范围LIMITS;另一个是重复的内容,不过这次不是MACRO了,而是模式 文件的文件名。另外,我们注意到,FILENAME宏后面有个1,这个是用来指明循环的嵌套层次,用于多层嵌套循环。

编译执行的命令行稍微有所变化:

> g++ -P -E -I. test.cpp > test.out.cpp

区别在于,多了一个-I参数,这个参数指定了当前目录为头文件搜索目录,这是因为,我们的模式文件在当前目录。如果不加这个参数,预编译器就找不到模式文件了。

好了,我们来看下预编译的输出:

template <>
struct tiny_size<
none , none , none
> : mpl::int_<0> {};

template < class T0>
struct tiny_size<
T0
,
none , none
> : mpl::int_<1> {};

template < class T0 , class T1>
struct tiny_size<
T0 , T1
,
none
> : mpl::int_<2> {};

不错,这下每个模板类被分散到了多行,阅读起来方便多了。

然而,虽然结果满意了,但附加引入的模式文件增加了我们项目管理的负担,不用担心,boost还为我们提供了一个文件重复的改进:自我重复。它的目的很直接:消除这额外的模式文件。

其实,自我重复,并没有引入新的宏函数,它只是用到了我们常常碰到的一个小trick。还记得我们在每个头文件中都包含的宏吧:

#ifndef __THIS_HEADER_FILE__
#define __THIS_HEADER_FILE__

相关文章