Стенли Липпман - Язык программирования C++. Пятое издание

Класс TextQueryиз раздела 12.3.2 определял сопутствующий класс QueryResult. Класс QueryResultжестко связан с классом TextQuery. Класс QueryResultимело бы смысл использовать и для других целей, а не только для результатов операции запроса к объекту класса TextQuery. Для отражения этой жесткой связи сделаем класс QueryResultчленом класса TextQuery.

class TextQuery {

public:

class QueryResult; // вложенный класс будет определен позже

// другие члены, как в разделе 12.3.2

};

В первоначальный класс TextQueryнеобходимо внести только одно изменение — объявить о намерении определить класс QueryResultкак вложенный. Поскольку класс QueryResultбудет типом-членом (см. раздел 7.3.4), его следует объявить прежде, чем использовать. В частности, класс QueryResultследует объявить прежде, чем использовать его как тип возвращаемого значения функции-члена query(). Остальные члены первоначального класса неизменны.

В классе TextQueryкласс QueryResultобъявлен, но не определен. Подобно функциям-членам, вложенные классы следует объявить в классе, но определен он может быть в или вне класса.

При определении вложенного класса вне его содержащего класса следует квалифицировать имя вложенного класса именем его содержащего класса:

// определение класса QueryResult как члена класса TextQuery

class TextQuery::QueryResult {

// в области видимости класса не нужно квалифицировать имя

// параметров QueryResult

friend std::ostream&

print(std::ostream&, const QueryResult&);

public:

// не нужно определять QueryResult::line_no; вложенный класс способен

// использовать член своего содержащего класса без необходимости

// квалифицировать его имя

QueryResult(std::string,

std::shared_ptr>,

std::shared_ptr>);

// другие члены, как в разделе 12.3.2

};

Единственное изменение, внесенное в первоначальный класс, заключается в том, что в классе QueryResultбольше не определяется переменная-член line_no. Члены класса QueryResultмогут обращаться к этому имени непосредственно в классе TextQuery, таким образом, нет никакой необходимости определять его снова.

Пока не встретится фактическое определение вложенного класса, расположенное вне тела класса, этот класс является незавершенным типом (см. раздел 7.3.3).

В этой версии конструктор QueryResult()не определяется в теле класса. Чтобы определить конструктор, следует указать, что класс QueryResultвложен в пределы класса TextQuery. Для этого имя вложенного класса квалифицируют именем содержащего его класса:

// определение члена класса по имени QueryResult для класса по

// имени QueryResult, вложенного в класс TextQuery

TextQuery::QueryResult::QueryResult(string s,

shared_ptr> p,

shared_ptr> f):

sought(s), lines (p), file(f) { }

Читая имя функции справа налево, можно заметить, что это определение конструктора для класса QueryResult, который вложен в пределы класса TextQuery. Сам код только сохраняет данные аргументов в переменных-членах и не делает больше ничего.

Если бы класс QueryResultобъявлял статический член, его определение находилось бы вне области видимости класса TextQuery. Например, статический член класса QueryResultбыл бы определен как-то так:

// определение статического члена типа int класса QueryResult

// вложенного в класс TextQuery

int TextQuery::QueryResult::static_mem = 1024;

Во вложенном классе выполняются обычные правила поиска имен (см. раздел 7.4.1). Конечно, поскольку вложенный класс — это вложенная область видимости, для поиска у него есть дополнительные области видимости в содержащем классе. Такое вложение областей видимости объясняет, почему переменная-член line_noне определялась во вложенной версии класса QueryResult. Первоначальный класс QueryResultопределял этот член для того, чтобы его собственные члены могли избежать необходимости записи TextQuery::line_no. После вложения определения класса результатов в класс TextQueryтакое определение типа больше не нужно. Вложенный класс QueryResultможет обратиться к переменной line_noбез указания, что она определена в классе TextQuery.