一、preprocessor_streambuf::underflow
/**
* Called by an STL stream whenever it has reached the end of #out_buffer_.
* Fills #buffer_ by calling the #current_ preprocessor, then copies its
* content into #out_buffer_.
* @return the first character of #out_buffer_ if any, EOF otherwise.
*/
int preprocessor_streambuf::underflow()
{
unsigned sz = 0;
if (char *gp = gptr()) {
if (gp < egptr()) {
// Sanity check: the internal buffer has not been totally consumed,
// should we force the caller to use what remains first?
return *gp;
}
// The buffer has been completely read; fill it again.
// Keep part of the previous buffer, to ensure putback capabilities.
sz = out_buffer_.size();
buffer_.str(std::string());
if (sz > 3) {
buffer_ << out_buffer_.substr(sz - 3);
sz = 3;
}
else
{
buffer_ << out_buffer_;
}
} else {
// The internal get-data pointer is null
}
const int desired_fill_amount = 2000;
int in_avail;
while (current_ && (in_avail = buffer_.rdbuf()->in_avail()) < desired_fill_amount)
{
// Process files and data chunks until the desired buffer size is reached
if (!current_->get_chunk()) {
// Delete the current preprocessor item to restore its predecessor
delete current_;
}
}
// Update the internal state and data pointers
out_buffer_ = buffer_.str();
char *begin = &*out_buffer_.begin();
unsigned bs = out_buffer_.size();
setg(begin, begin + sz, begin + bs);
if (sz >= bs)
return EOF;
return static_cast<unsigned char>(*(begin + sz));
}STL，例如istream::get()，会在读#out_buffer_到结末时调用这函数
函数主要执行，1）调用#current_把数据放入#buffer_，2）#buffer_数据复制向#out_buffer。
返回值是#out_buffer_的第一个有效数据值
这函数存在一处较难理解地方。
const int desired_fill_amount = 2000;
while (current_ && buffer_.rdbuf()->in_avail() < desired_fill_amount)
{
// Process files and data chunks until the desired buffer size is reached
if (!current_->get_chunk()) {
// Delete the current preprocessor item to restore its predecessor
delete current_;
}
}以通常认为，delete current_是不会把current置null（为之后!ptr判断，一般程序会在delete后面跟一个ptr = NULL），但是分析以上代码的while条件，当一个文件已没有数据后buffer_.rdbuf()->in_avail() < desired_fill_amount判断将总是true，要退出while除非!current_成立，那么current_是如何、何时被置null的？——这里delete current_确实可以在释放掉current_内存块同时把current_置null！
二、delete current_确实可以在释放掉current_内存块同时把current_置null
这里以读取D:\Program Files\Battle for Wesnoth 1.6.1\data\hardwired\fonts.cfg为例来作具体说明。
fonts.cfg：文件大小，23,149 字节
1、preprocess_file执行到了new preprocessor_file(*buf, callstack, fname)，
@buf，一个指向preprocessor_streambuf对像的指针；
@fname：D:\Program Files\Battle for Wesnoth 1.6.1\data\hardwired\fonts.cfg；
2、new操作从堆出申请出sizeof(preprocessor_file)大小的内存块，内存块地址：0x1d49660
3、new操作开始执行preprocessor_file构造函数。
3.1、执行构造函数时首先执行其父类preprocessor的构造函数，注意这构造函数执行后一些成员的值：
old_preprocessor_: 0x00000000
target_.depth_ = 1
target_.current = 0x1d49660(此次分配的processor_file)
3.2、判断出name是文件，于是执行new preprocessor_data(t, called_macros_, file_stream, "", name, 1, directory_name(name), t.textdomain_)
3.2.1、new操作从堆出申请出sizeof(preprocessor_data)大小的内存块，内存块地址：0x1d49858
3.2.2、new操作开始执行preprocessor_data构造函数。
3.2.2.1、执行构造函数时首先执行其父类preprocessor的构造函数，注意这构造函数执行后一些成员的值：
old_preprocessor_: 0x1d49660, 也即以上的processor_file
target_.depth_ = 2
target_.current = 0x1d49858(此次分配的processor_data)
注：processor_file和processor_data中的target是同一个，其值就是那个指向preprocessor_streambuf对像的指针，buf
4、程序开始读取数据，istream.get()调用preprocessor_streambuf::underflow()，underflow以着每一次2459字节向上送（>2000），这样读了9次后，最后一次只剩下了325字节（这个数字不等于23,149 - 2459*9 = 1018，为什么需要再解释，但不是这里要涉及的。!!!!!while (current_ && (in_avail = buffer_.rdbuf()->in_avail()) < desired_fill_amount), in_avail被变掉，217-->325!!（当然会变，上次没有把最后一次的current->get_chunk计算在内）。每次读取时underflow一些数值：
1th: current_: 0x1d49858, 2459
2th: current_: 0x1d49858, 2459
3th: current_: 0x1d49858, 2459
4th: current_: 0x1d49858, 2459
5th: current_: 0x1d49858, 2459
6th: current_: 0x1d49858, 2459
7th: current_: 0x1d49858, 2459
8th: current_: 0x1d49858, 2459
9th: current_: 0x1d49858, 2459
10th: current_: 0x1d49858, 325
5、在最后一次读时，current_->get_chunk()返回flase，至此开始调用delete current_。
5.1、这个current_指向preprocessor_data，delete析构preprocessor_data，析构了自己后去折构父类preprocessor，即调用preprocessor::~preprocessor()，该函数执行后注意几个变量值：
target_.current_ = old_preprocessor_ = 0x1d49660;
--target_.depth_ = --2 = 1;
经过这么个析构，preprocessor_streambuf中的current_被换到了0x1d49660，即指向preprocessor_file那个
6、underflow执行current_->get_chunk，processor_file::get_chunk执行时pos_ == end_，不执行任何操作就返回false，至此又一次调用delete current_（这次是processor_file的了）
6.1、这个current_指向preprocessor_file，delete析构preprocessor_file，析构了自己后去折构父类preprocessor，即调用preprocessor::~preprocessor()，该函数执行后注意几个变量值：
old_preprocessor_: 0x00000000
target_.depth_ = --1 = 0
target_.current = 0x00000000这个target_就是那个指向preprocessor_streambuf对像的指针，buf
到此delete current_在析构掉自己同时把current_也给置null了！
三、tellg
要判断std::istream长度，一般是用以下代码。in是std::istream对象。
in.seekg(0, std::ios_base::end); size_t size = in.tellg();
但in是preprocess_file返回的对象时，值是-1！原因是这个istream不是通常意义上磁盘文件，它的长度要随着不断std::istream::get而增长。具体表现在要get时，会问是否还有可读数据，此时就会调用underflow，如果有数据就被从preprocessor_data取出来，——如此循环，直到preprocessor_data没数据了。
当然，tellg可安全计算磁盘文件的长度。
四、preprocess_file
生成一个可用于解析*.cfg文件/目录的istream句柄。
语法
std::istream* preprocess_file(std::string const &fname, preproc_map *defines)
参数
| fname | 要解析的文件或目录。 |
| defines | 预定义宏。preprocess_file会复制一份，调用程序在它之后可安全释放defines内存。 |
返回值
可用于接下read的句柄。
注释
- 只是构造相关对象，不执行任何的读文件。
- 它是把WML配置(*.cfg)转换为config两步中的第一步。有了它生成的句柄in后就可用read(cfg, in)去生成config，生成的config放在cfg。
五、read
从in不断读WML配置，去生成config，生成的结果放在cfg。
语法
void read(config &cfg, std::istream &in, abstract_validator * validator)
参数
| cfg | 存放生成的config。 |
| in | 能够读取WML配置的句柄。它分两种情况，一是源于磁盘上文件，此时用preprocess_file生成句柄，二是一个内存中的字符串，此可能就是std::istringstream。 |
返回值
无
注释
它读取数据靠的是in.get()，对preprocess_file生成的句柄，会触发preprocessor_streambuf::underflow()。
它是把WML配置(*.cfg)转换为config两步中的第二步。从in不断读WML配置，去生成config，生成的结果放在cfg。
当in表示的是磁盘上文件时的read逻辑。
1、in.get()没了数据时，触发读preprocessor_streambuf::underflow()。
2、underflow调用current->get_chunk读数据，current_总是指向preprocessor栈的栈顶单元。preprocessor有两种类型，分别是preprocessor_file，preprocessor_data，它们都重载了get_chunk。[color=Blue]preprocessor_file封装一个文件或目录，get_chunk功能是读取下一个文件/目录[/color]，所以对单文件来说，它第一次调用get_chunk就返回false（构造时已生成该文件的preprocessor_data）。[color=Blue]preprocessor_data封装一个文件，get_chunk功能是读取该文件中数据。[/color]让以preprocess_file中的fname是文件还是目录进行分析。
fname是文件。preprocessor_file构造函数会同时构造preprocessor_data。preprocessor_streambuf的preprocessor栈就有了两个单元。underflow()调用栈顶的preprocessor_data.get_chunk要数据，一旦它没了数据后，把preprocessor_data弹出preprocessor栈，调用栈顶preprocessor_file.get_chunk，它立即返回false，underflow不再有数据，生成结束。
fname是目录。preprocess_file构造函数时不会生成preprocessor_data，preprocessor_streambuf的preprocessor栈只有preprocess_file这个单元。underflow()调用栈顶的preprocessor_file.get_chunk要数据，此函数为目录中第一个文件构造preprocessor_file（它不会为子目录构造，但如果该子目录下有_main.cfg，那它会构造该文件）！接下处理类似“fname是文件”，只是到了preprocessor_data时，preprocessor_streambuf的preprocessor栈有三个单元！所以preprocessor栈回到一个单元时，调用会回到preprocess_file.get_chunk，get_chunk处理第二个文件。依次类推，直到最后一个，underflow不再有数据，生成结束。
对preprocessor_file.get_chunk枚举出的文件/目录的路径，它由preprocess_file决定，没有当前目录的概念。