удалять функции из глобального скоупа
#define DeleteFOO(Type) int foo(Type) = delete;
template<typename T>
int foo(T)
{
return 5;
}
DeleteFOO(int);
через специализацию шаблона template<> int foo<int>(int) = delete;
Не уточнил сразу, это для примера, условно если макрос удаялет не 1 функцию, а 100
и ему надо передать 100 имен функций или как? не совсем понятно
Нет, он знает все 100 имён, ему нужно передать только тип Примерно вот так выглядит #define DeleteFOO(Type) int foo(Type) = delete; int foo2(Type) = delete; .... int foo100(Type) = delete;
а имена функций ты в рантайме получаешь?
Нет, они все захардкожены в макросе
а вот эти все функции они темплейтные?
можно к каждой функции приписать enable_if_t, передавая заданный Type #include <iostream> template <typename Type, typename T, typename = std::enable_if_t<!std::is_same_v<T, Type>>> int foo(T) { } int main() { foo<int>("bebra"); foo<int>(12); }
но есть же концепты
переписал на концептах, потому что захотелось попроще)) #include <iostream> template <typename Type, typename T> concept NotType = !std::is_same_v<Type, T>; template<typename Type, NotType<Type> T> void foo(T) { } int main() { foo<int>("bebra"); foo<int>(12); // error: no such function to call }
можно сделать через концепты: #include <iostream> #include <type_traits> template <typename T, typename... UndesirableTypes> concept IsNotUndesirableType = (!std::is_same_v<T, UndesirableTypes> && ...); template <typename T> concept FunctionAcceptsDesirableTypes = IsNotUndesirableType<T, long long, float, double>; // пишите сюда типы, с которыми не хотите работать template <FunctionAcceptsDesirableTypes T> void foo(T x) { std::cout << "foo, x = " << x << "\n"; } int main() { foo(std::string{"42"}); // ok - string // foo(42ll); // error - long long foo(42); // ok - int // foo(42.0d); // error - double // foo(42.0f); // error - float }
Обсуждают сегодня