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

上回中，我们利用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__