Ворчания пост e02

Войны с компиляторами продолжаются! На сей раз под руку Маньяку попал ни кто иной, как великий и ужасный MSVC собственной персоной.

Начну я издалека. Представьте себе класс.. Да что там представлять? Вот он:

struct X
{
  void SomeMethod() {}
  X SomeOtherMethod() { return X(); }
};

То есть, класс с методом, возвращающим экземпляр этого класса. Компилируется? Компилируется. И работает.

А теперь давайте дружно представим, что код X x; x.SomeMethod(); генерит "C2039: SomeMethod is not a member of X". Не получается? Я вам помогу. :) Для этого код придётся "слегка" усложнить.

Нам понадобится: (1)шаблон класса хотя бы с двумя параметрами, (2)неполная специализация этого шаблона с (3)содержимым, похожим на содержимое X.

// 1
template<int A, int B>
struct X
{
};

// 2
template<int A>
struct X<A,0>
{
  // 3
  void SomeMethod() {}
  X<0,0> SomeOtherMethod() { /*не суть*/ }
};

Пишем X<0,0> x; x.SomeMethod(); и напарываемся на то, за что и боролись:

error C2039: 'SomeMethod' : is not a member of 'X<A,B>'
with
[
  A=0,
  B=0
]

То есть, в переводе на человеческий, компилятор нам английским по белому туманно намекает: "X<0,0>::SomeMethod не является членом X<0,0>". Весело, да?

А теперь мы будем шаманить.

Определим SomeMethod в базовом шаблоне:

template<int A, int B>
struct X
{
  void SomeMethod() { assert(!"X<A,B>::SomeMethod()"); }
};
/*
  остальное - как раньше
*/

О, чудо! Никаких ошибок.. при компиляции. По наличию ассерта вы, вероятно, уже поняли, что он срабатывает. Другими словами: вызвается метод в базовом шаблоне, будто специализации и нет вовсе! Весело, да?

Ещё нет? Тогда продолжим наше шаманство!

Откатим предыдущее изменение и поменяем определение SomeOtherMethod в специализации на такое:

void SomeOtherMethod( X<0,0> x ) { (void)x; }

Функция теперь не возвращает X<0,0>, и, не смотря на использование этого типа в другом месте, весь код gracefully компилируется. Весело, да?

Уже пробивает на нездоровое гыгы? Всё равно шаманим дальше.

Вернёмся к изначальному виду функции SomeOtherMethod и отрежем ей тело:

X<0,0> SomeOtherMethod();

Вы, поди, уже догадались, но я всё же озвучу: Взлетело. Уже не так смешно, правда?)

Совсем грустно вам станет, когда я напишу

template<int A>
inline X<0,0> X<A,0>::SomeOtherMethod()
{
}

вне класса и скажу, что и так оно тоже взлетело.

Ну и дабы вам окончательно поплохело:

1. Изменив возвращаемое значение с X<0,0> на X<A,0> мы волшебным образом ликвидируем еггог.

2. Изменив возвращаемое значение с X<0,0> на X<A,0> & или X<A,0> * мы опять же избавляемся от ошибки.

3. Добавив в специализацию член X<0,0> m_x, получаем точно такую же ошибку вместо ожидаемого "C2460: X<0,0>::m_x uses X<0,0>, which is being defined".

Баг? Maybe, maybe.. Но как он выжил в течение всего срока существования MSVC 8, 9, 10 и наверняка более ранних? Я не знаю, что говорит по этому поводу стандарт, но сдаётся мне: майкрософт при делах. =\