не зафейлился
sfinae работает только для исключения из перегрузок шаблонных функций, объявление которых становится некорректных, это не распространяется на статик-ассерты или любые другие проверки в теле функции, учитывается только заголовок (тело вообще может быть отдельно же)
речь идёт о SFINAE для другой шаблонной функции, в зависимости от того, можно ли вызвать функцию, где static_assert'ы
да, просто перенеси условие из static_assert'а в enable_if
то условие — деталь реализации, так что не вариант
Обсуждают сегодня