Перевантаження функції за допомогою шаблонів

Я намагаюся визначити функцію за допомогою шаблонів, і я хочу, щоб ім'я типу було або int, або anEnum (конкретна перерахунок, яку я визначив). Я спробував наступне, але не зміг:

template <int | anEnum T> // or <int T, anEnum T> or <int, anEnum T>
bool isFunction(const T &aVariable){}

Що я намагаюся зробити - це використовувати шаблони, а не визначати дві перевантажені функції. Я вважаю за краще функцію називати наступною, без програміста враховувати тип

isFunction(aVariable) // and not isFunction<int> (aVariable) nor isFunction<anEnum> (aVariable)

В основному я хочу, щоб ця функція була шаблонна для типів int та aNum. Я шукав це, але не зміг знайти відповіді. Що я можу бракувати? Дякую,

На додаток до відповіді, яка не стосується C ++ 20, якщо ви, випадково, зможете використовувати C ++ 20 та її conceptsфункцію, я б запропонував вам наступну реалізацію:

#include <iostream>
#include <concepts>

enum class MyEnum {
    A,
    B,
    C
};

template <typename T>
concept IntegralOrEnum = std::same_as<MyEnum, T> || std::integral<T>;

template <IntegralOrEnum T>
bool isFunction(T const& aVariable) {
    return true;
}

int main() {
    isFunction(MyEnum::A);
    isFunction(3);
    isFunction("my_string"); // error
    return 0;
}

Демо

ОНОВЛЕННЯ

Відповідно до коментаря @RichardSmith , тут є більш масштабований і багаторазовий підхід:

template <typename T, typename ...U>
concept one_of = (std::is_same_v<T, U> || ...);

template <one_of<int, MyEnum> T>
bool isFunction(T const& aVariable) {
    return true;
}

Є кілька способів цього досягти. Усі стосуються використання type_traitsзаголовка. Наприклад, ви можете статично стверджувати про типи, про які йдеться в тій частині функції.

Або, якщо вам потрібно розглянути цю функцію серед інших перевантажень, може застосовуватися техніка SFINAE.

template<typename T>
auto isFunction(const T &aVariable) 
  -> std::enable_if_t<std::is_same<T, int>::value || std::is_same<T,anEnum>::value, bool> {
}

Це видалить функцію з набору перевантажень до виклику, якщо типи не збігаються. Але якщо вам не потрібна така поведінка, статичне твердження дійсно допускає більш дружнє для програміста повідомлення про помилку.

Що з цим рішенням? Код з функцією буде складено, якщо тип T задовольнить ваші вимоги. В іншому випадку статичне твердження не вдалося.

#include <type_traits>
enum anEnum {
    //
};

template <typename T, bool defined = std::is_same<T, int>::value ||
                                     std::is_same<T, anEnum>::value>
bool isFunction(const T& aVariable)
{
    static_assert(defined, "Invalid specialization");

    bool result = false;
    // Put your code here
    return result;
}

Я покращив https://stackoverflow.com/a/60271100/12894563 відповідь. "Якщо constexpr" може допомогти в цій ситуації:

template <typename T>
struct always_false : std::false_type {};

template <typename T>
bool isFunction(const T& aVariable)
{
    if constexpr(std::is_same_v<T, int> || std::is_same_v<T, anEnum>)
    {
        std::cout << "int\n";
        // put your code here
        return true;
    }
    else
    {
        static_assert(always_false<T>::value, "You should declare non-template function or write if constexpr branch for your type");
        return false;
    }
}

bool isFunction(std::string_view)
{
    std::cout << "std::string_view\n";
    return true;
}

int main()
{
    isFunction(std::string_view("1L"));
    isFunction(1);
    //isFunction(1L); // will produce an error message from static_assert
}

isFunction (1L) вийде з ладу, оскільки немає перевантаженої функції або гілки "якщо constexpr".

ОНОВЛЕННЯ: Виправлена ​​помилка

template <typename T>
struct always_false : std::false_type {};

https://godbolt.org/z/eh4pVn