им удовлетворяет - он им удовлетворяет. В С++ это больше нужно для ограничения полиморфизма шаблонов. На этом не построен тайпчекинг, как в тех же генериках
Ну ты описал требования к типу, но потом вызвал у этого типа метод которого там не было. Получается теперь твои требования это не достаточное условие для вызова функции
Обсуждают сегодня