Вопрос про шаблоны ("нет соответствующей функции для вызова")

[cyberpunks01]

Обращаюсь к знатокам шаблонов. Подскажите, пожалуйста, почему не компилится код:
$ cat 1.cc

template<typename T>
class event {
public:
	class const_iterator {
	};
};
template<typename T>
inline bool a1abcd(typename event<T>::const_iterator i1, typename event<T>::const_iterator i2) {
	return false;
}

class MyClass {};

static void A() {
	event<MyClass>::const_iterator i;
	a1abcd(i, i);
}

$ g++ -c 1.cc
1.cc: In function ‘void A()’:
1.cc:16: ошибка: нет соответствующей функции для вызова ‘a1abcd(event<MyClass>::const_itera tor&, event<MyClass>::const_iterator&)’

Я уже весь мозг сломал, пытаясь понять в чём причина и как быть.

[pproger]

2cyberpunks01
если хочешь, чтобы работал твой код, ты должен вызывать свою шаблонную функцию так:

a1abcd<MyClass>(i, i);

ибо параметры шаблонной функции компилятор может определить только по передаваемым ей аргументам. но обычно делают как то так:

template<typename T>
class event {
public:
	class const_iterator {
	public:
		typedef T MyType;
	};
};

template <typename Iter>
bool a1abcd(Iter i1, Iter i2) {
	return false;
}

class MyClass { };

void A() {
	event<MyClass>::const_iterator i;
	a1abcd(i, i);
}

и если нужно, до шаблонного параметра всегда можно добраться из функции a1abcd:

typename Iter::MyType t;

[cyberpunks01]

Сообщение от pproger

2cyberpunks01
если хочешь, чтобы работал твой код, ты должен вызывать свою шаблонную функцию так:

Да, так оно работает. Но дело в том, что a1abcd - это, на самом деле, operator==. И вызывать его таким образом было бы ну очень неудобно. Значит я правильно понял, что в таком случае компилятор никак не может вывести тип шаблона и operator== (вместо которого в приведённом тестовом коде a1abcd) надо делать обязательно членом?

[pproger]

2cyberpunks01
Ну я же показал, как можно делать.

и да, раз это у тебя operator==, зачем делать его отдельной функцией? сделай функцией-членом

[cyberpunks01]

Сообщение от pproger

2cyberpunks01
и да, раз это у тебя operator==, зачем делать его отдельной функцией? сделай функцией-членом

Я рассуждал как раз наоборот - раз это operator== (бинарный) зачем делать его членом? надо делать отдельной функцией.
У меня в этом проекте все бинарные операторы сделаны friend-функциями. И если не идти на сделку с совестью, то надо их все переделывать на функции-члены получается (т.к. рассуждение "если класс вложенный, то бинарные операторы надо делать членами, а если нет - то внешними функциями" - это бред какой-то)

Во всяком случае спасибо, я понял в чём заключается проблема, хотя и непонятно как её решить безболезненно.