йцyкeн (06.07.2020 12:58, просмотров: 610) ответил fk0 на В общем случае может быть 2-3 подхода перечисленных ниже. В базе
всегда SFINAE -- шаблон откидывается и просматриваются следующие,
если тип в шаблоне не может быть выведен. Сегодня, при
использовании C++17, можно использовать идиому void_t (см. на
cppreference.com) для того, чтобы написать шаблон типа
раскрывающийся по-разному (true/false) если для его параметра можно
или нельзя определить возвращаемое значение искомой функции (через
decltype) которая как будто-
- В данном случае -- ни за чем. Если decltype не сможет вывести тип, то раскроется верхний шаблон. Типовое применение void_t, когда ему пихают несуществующие выражения и типы без decltype. Если так сделать с твоим HasSuperF то будет ошибка компиляции, а с void_t сожрёт и не подавится (на cppreference первый пример применения void_t). - fk0(06.07.2020 13:40)