в программе идентификатор, ко

Автор admin Среда, 20 мая 2009 11:32

в программе идентификатор, компилятор должен сначала определить тип и область видимости (а в случае переменных — срок жизни) для сущности, пред- 218 Глава 5 • Шаблоны ставляемой данным идентификатором. Использование шаблонов усложняет ситуацию. Когда компилятор впервые встречает шаблон, он еще не располагает полной информацией о нем, а значит, не может определить, правильно ли он используется. По этой причине компиляция шаблонов выполняется в два этапа. Имена в шаблонах В первой фазе компилятор разбирает определение шаблона, ищет очевидные синтаксические ошибки и разрешает все имена, которые может разрешить на этой стадии. К этой категории относятся имена, не зависящие от параметров шаблона и разрешаемые стандартным способом или, при необходимости, с помощью аргументов (см. далее). Имена, которые компилятор разрешить не может, называются зависимыми именами, поскольку они так или иначе зависят от параметров шаблона. Разрешение этих имен невозможно до специализации шаблона с фактически переданными аргументами. Следовательно, вторая фаза компиляции шаблона наступает при специализации. Здесь компилятор оп