Здравствуйте, so5team, Вы писали:

BFE>>Не согласен. Приведённый пример может демонстрировать три различных проблемы:
S>Три не может.
Может и больше, так как всё зависит от того, что в голове у автора. Другой автор, не вы, может с помощью этого примера демонстрировать совершенно другую проблему. Страуструп, наверное, сказал бы, что здесь не хватает обобщённых методов. Ещё можно сказать, что задачу (возможно, не проверял) можно разрешить с помощью deducing this...

S>Он демонстрирует возможность или невозможность решить средствами языка программирования одну единственную проблему:
BFE>>3) пересечение по именам в названии наследуемого метода (это когда методы делают совершенно разное, но совпали по именам)
А почему вы отвергаете другие интерпретации? Они ничем не хуже.

S>Из-за чего она возникла -- ошибки в дизайне или отшибки в ДНК спорящих на RSDN -- вообще не важно.
Да, причина не важна. Хотелось бы другого — понять в чём, собственно, проблема. Если в том, чтобы знать приведённый тип объекта, от которого был вызван метод, то нужны либо deducing this, либо чтобы deducing this был виртуальным (чего нет).