Загнал себя в угол.

Есть абстрактный класс


есть наследник



Классы Y и Z это чернорабочие, они юзают разные сторонние библиотеки, подключают разные хедеры.
А класс X это как бы такой чистый интерфейс (only стандартные заголовки).

И вот как мне вывернуться что бы в Y реализовать это самое сравнение, что то мне не особо понятно. Потому что там я имею только указатель на чистый интерфейс, которые не содержит НЕ нужных для сравнения данных, НЕ методов обращения к ним. Эти методы могут появиться только в Y. Но тогда мне надо делать down cast чего я не хочу делать.

значит тебе необходимо сделать виртуальные методы у X, которые позволят получить данные, необходимые для сравнивания. Иначе сделать без downcasting и/или typeinfo нельзя.

так и пришлось, сделать метод для доступа к данным которые пользователю по сути и не нужны. Теперь это новая "фича".

сделай функцию защищенной, а оператор сравнения френдом.

Иерархия стабильна ? т.е. Вам (разработчику) известны все наследники этого интерфейса или пользователю позволено наследоваться и расширять иеррархию ?

Добавлено через 5 минут и 53 секунды
если да то поиск по мультиметоды.. 

А по-моему, тут не надо усложнять себе жизнь; dynamic_cast для таких случаев и нужен. Тем более, что здесь он весьма уместен: если аргумент equal имеет не тот тип (т.e. Y), то, очевидно, false.

Вот именно. Лишние функции и прочие извраты в X не нужны.