如何理解C++primer第15章的Query文本查询程序

    这篇文章是本人在学习C++primer第15章Query程序时对自己所遇到困惑的总结，我发现其实这节最难理解的正如书中所说是理解这个程序的设计思路。因此本文也主要是记录本人如何理解这个程序的设计思路的。

    要理解这一章的文本查询程序应回顾下12.3.2中的TextQuery类，该类还是比较容易理解，就不在此赘述。15.9.1节首先讲了为什么不直接继承12.3.2节的TextQuery类，来实现不同类型的查询。书中举的例子就是如果用这种方法的话，要实现逻辑非查询，就必须要知道除了待查询的单词之外的所有单词，然而这一般是不可能的。所以才设计出一套独立的继承体系：

其中每个类都将包含eval和rep两种方法。其中eval函数接收一个TextQuery用于保存文本和所有单词及其出现的行的集合，返回一个包含特定单词及其出现行的QueryResult类。为什么要有这个函数也是比较好理解的，因为无非输入是所有内容，而输出是一种经过处理的特殊内容。

    下面开始设计这个程序。首先要明确需求，即最终代码应该要能实现如下形式的查询：查询形式

std::ifstream file("test.txt");

TextQuery tQuery(file);

Query q = Query("fiery") & Query("bird") | Query("wind"); 

std::cout << q.eval(tQuery);

这是我从Github上一份已经设计好的程序中拷贝过来的测试主程序，看到这种查询方式，对我们理解这一节有非常大的帮助（书中只给了第三句，非常不方便我们理解这套程序）。如果我们把这个作为一个需求，就不难理解书中为什么要隐藏之前想要设计的那一套继承体系的类。因为我们并不想用户去使用各种不同的类来实现不同形式的查询，如果只用一个Query类来实现不是最好的吗？

    Query q的目的是构造一张图：

而q.eval(tQuery)就是沿着这张图进行求值（显示）的过程。这样我们就很容易理解为什么要给Query设计eval和rep操作。q = Query("fiery")的含义是q绑定到一个存放着string的新WordQuery对象上。对于重载运算符应该需要完成的任务，例如AndQuery就应该是保存两个Query对象，其他类似。

    如果理解了以上内容再去看书中的内容的话，就容易很多了。

 待更：如何构建这张图，以及如何沿着这张图求值。