Двухфазный поиск имени для шаблонов C++ - почему?

Они могут. Это самый ранний способ реализации шаблонов работал, и все еще так, как работал компилятор Microsoft. Чувствовалось (в комитете), что это было слишком подвержено ошибкам; это сделало слишком легким случайно захватить имя, с созданием экземпляра в одном переводе единица подбирая локальное имя, а не нужный глобальный символ. (Ля типичная единица перевода будет состоять из последовательности #includes, объявляя имена, которые все должны видеть, а затем реализация код. В точке создания экземпляра все, что предшествует точке instantation виден, включая код реализации.)

окончательное решение состояло в том, чтобы классифицировать символы в шаблоне на два категории: зависимые и не зависимые, и настаивать на том, что не зависимые символы разрешаются в точке определения шаблон, чтобы уменьшить риск их случайной привязки к некоторым символы локальной реализации. В сочетании с требованием указывать typename и template при необходимости для зависимых символов, это также позволяет анализировать и проверять некоторые ошибки в точке определения шаблона, а не только при создании экземпляра шаблона.