Компилятор Visual C++ позволяет зависимое имя как тип без “имени типа”?
Сегодня один из моих друзей сказал мне, что следующий код компилирует хорошо на его Visual Studio 2008:
#include <vector>
struct A
{
static int const const_iterator = 100;
};
int i;
template <typename T>
void PrintAll(const T & obj)
{
T::const_iterator *i;
}
int main()
{
std::vector<int> v;
A a;
PrintAll(a);
PrintAll(v);
return 0;
}
Я обычно использую g ++, и он всегда отказывается передавать второй PrintAll () вызов. Как я знаю для этой проблемы, g ++ делает стандартный способ перевести шаблон.
Так, мое знание неправильно, или действительно ли это - расширение VS2008?
2 ответа
Это вовсе не расширение.
VC++ никогда не реализовывал должным образом интерпретацию двух фаз:
- В точке определения, разобрать шаблон и определить все не зависимые имена
- В точке инстанцирования, проверить, что шаблон производит корректный код
VC++ никогда не реализовывал первую фазу... это неудобно, так как это означает не только то, что он принимает код, который не соответствует требованиям, но и то, что он производит совершенно другой код в некоторых ситуациях.
void foo(int) { std::cout << "int" << std::endl; }
template <class T> void tfoo() { foo(2.0); }
void foo(double) { std::cout << "double" << std::endl; }
int main(int argc, char* argv[])
{
tfoo<Dummy>();
}
С этим кодом:
- совместимые компиляторы выведут "int", потому что это было единственное определение, доступное в момент определения шаблона, и разрешение
fooне зависит отT. - VC++ выведет "double", потому что он никогда не беспокоился о фазе 1
Это может показаться глупым в плане различий, но если вы подумаете о количестве include в большой программе, есть риск, что кто-то введет перегрузку после кода вашего шаблона... и BAM :/
Я не уверен, что «расширение» - это именно то, как я бы описал VC ++ в этом отношении, но да, gcc в этом отношении лучше соответствует.