Для перегрузки шаблонных функций и для специализации классов используются SFINAE и концепты. static_assert
же предназначен исключительно для генерации ошибки в случае, когда в процессе инстанцирования куска кода, в которой вставлен static_assert
, его аргументом окажется false
. Не важно, по каким причинам будет инстацирован этот кусок кода, ошибка компиляции возникнет, даже если результат инстанцирования используется только при проверке SFINAE или концепта. А SFINAE и концепты оценивают только сигнатуру, тело шаблона инстанцируется только в случае, если это нужно для вывода типа.
Пример:
#include <type_traits>
template<class... > using void_t = void;
template<class T, class = void>
struct test: std::false_type{};
template<class T>
struct test<T, void_t<decltype(T::foo())>>: std::true_type{};
template<class T>
struct Ok{
// Тип возвращаемого значения определен явно в сигнатуре
static T foo(){
static_assert(std::is_same<T, int>{}, "Ok<T>: T is not an integer");
return T{};
}
};
template<class T>
struct Err{
// Тип возвращаемого значения выводится в результате инстанцирования тела функции
static auto foo(){
static_assert(std::is_same<T, int>{}, "Err<T>: T is not an integer");
return T{};
}
};
static_assert(test<Ok<char>>{}, "Ok<char> test"); // Ok
static_assert(test<Err<char>>{}, "Err<char> test"); // static assertion failed: Err<T>: T is not an integer
// При этом нет ошибки "Err<char> test"
// static_assert(!test<Err<char>>{}, "!test<Err<char>>{}") - а тут была бы ошибка в двух static_assert
Т.е. вместо static_assert вы должны были написать следующее:
template<class Ty, std::enable_if_t<!is_same_v<Ty, int>, bool> = true>
void foo(const Ty& value) {
// do_something();
}
Или использовать концепты.