Я столкнулся с некоторым кодом, который я думаю должен компилироваться, но не делает этого. Поэтому я надеюсь, что некоторые из экспертов по местным стандартам здесь, в SO, могут помочь: -).
У меня в основном есть код, который напоминает это:
#include <iostream>
template <class T = int>
class A {
public:
class U {
};
public:
U f() const { return U(); }
};
// test either the work around or the code I want...
#ifndef USE_FIX
template <class T>
bool operator==(const typename A<T>::U &x, int y) {
return true;
}
#else
typedef A<int> AI;
bool operator==(const AI::U &x, int y) {
return true;
}
#endif
int main() {
A<int> a;
std::cout << (a.f() == 1) << std::endl;
}
Итак, чтобы описать, что здесь происходит. У меня есть шаблон класса (A
), который имеет внутренний класс (U
) и по крайней мере одну функцию-член, которая может возвращать экземпляр этого внутреннего класса (f()
).
Затем я пытаюсь создать функцию operator==
, которая сравнивает этот внутренний тип с каким-либо другим типом (в данном случае a int
, но это, похоже, не имеет значения).
Если USE_FIX
определено не, я получаю следующую ошибку:
test.cc: In function 'int main()':
test.cc:27:25: error: no match for 'operator==' in 'a.A<T>::f [with T = int]() == 1'
Что кажется странным, потому что я ясно (я думаю), определяя шаблонный operator==
, который должен охватывать это, на самом деле, если я просто немного поработаю над компилятором (включите USE_FIX), то я больше не получаю ошибка. К сожалению, "исправление" не работает в общем случае, только для конкретного экземпляра шаблона.
Должен ли он работать так, как я ожидал? Или это просто не разрешено?
Кстати: если это важно, я использую gcc 4.5.2.