Как проверить, существует ли шаблон функции в C++?

Есть ли способ проверить существование функции (конкретной сигнатуры) независимо от того, шаблонна она или нет? Например:

template <bool FLAG>
class A
{
public:
    template <bool FLAG_ = FLAG>
    std::enable_if_t<FLAG_, float> run(float a, float b)
    {
        return a + b;
    }
};

class B
{
public:
    float run(float a, float b)
    {
        return a + b;
    }
};

Можно ли написать общий признак, назовите его HasRun, который бы определял, реализован ли в классе метод run()? То есть:

HasRun<A<true>>::value;  // <---- would return true
HasRun<A<false>>::value; // <---- would return false
HasRun<B>::value;        // <---- would return true

Мне известно следующее возможное решение для нешаблонных функций-членов:

template <typename T, typename = void>
struct HasRun : std::false_type
{
};

template <typename T>
struct HasRun<T, std::enable_if_t<std::is_member_function_pointer<decltype(&T::run)>::value>> : std::true_type
{
};

Но это работает только для B. Точно так же я мог бы адаптировать его к

template <typename T>
struct HasRun<T, std::enable_if_t<std::is_member_function_pointer<decltype(&T::template run<true>)>::value>> : std::true_type
{
};

но это будет работать для A<true>, не будет работать для B и будет «ошибочно» работать для A<false> (в том смысле, что A<false>::run() не реализовано).

Вы можете проверить, существует ли шаблон функции (!), протестировав его создание. Без параметров шаблона (выведенных или нет) нет функции.

Ted Lyngmo 29.05.2024 23:43

Кстати, вы хотите проверить, существует ли он только при принятии двух float?

Ted Lyngmo 29.05.2024 23:54

Нет, просто если реализована функция run().

zhanginou 29.05.2024 23:56

Хорошо, тогда run<parameters...> не существует, пока вы не создадите его экземпляр. Таким образом, вам нужно будет попробовать бесконечное количество комбинаций параметров, чтобы увидеть, успешно ли какая-либо комбинация создает экземпляр. Как это будет использоваться? Вероятно, существует решение, которое не требует этой проверки.

Ted Lyngmo 29.05.2024 23:59

Представьте, что я могу чудесным образом сказать вам, что run существует. Больше я вам ничего об этом не говорю. Как бы вы использовали эту информацию?

n. m. could be an AI 30.05.2024 00:04

Вы рассказали нам, что хотите сделать, но не объяснили, почему вы хотите поступать таким образом (звучит как проблема XY). Может быть, вы могли бы рассказать нам немного больше о том, какую проблему вы пытаетесь решить, и тогда мы, возможно, предложим альтернативные/лучшие способы сделать это?

Jesper Juhl 30.05.2024 00:06

Более разумной проверкой в ​​этом случае будет HasRun<T, Parameters...>, которая может проверить, есть ли T перегрузка run с указанными вами параметрами. Однако это не работает, если шаблон функции имеет параметры шаблона, которые невозможно вывести.

Ted Lyngmo 30.05.2024 00:13

«Как проверить, существует ли шаблонная функция в C++?», HasRun<B>::value; // <---- would return true, но у B нет шаблонной функции...

Jarod42 30.05.2024 16:28

@zhanginou Я этого не понимаю. Теперь вы приняли ответ, который работает только для определенных функций run (принятие двух float и возврат чего-то, что можно преобразовать в float). Ты сказал «Нет», когда я спросил об этом.

Ted Lyngmo 31.05.2024 18:06

@TedLyngmo Да, извини, я виноват. Оказалось, что в моем случае достаточно решения, работающего для конкретной сигнатуры. Я отредактировал вопрос соответствующим образом.

zhanginou 31.05.2024 20:15

@zhanginou Нет проблем, но в следующий раз, когда кто-то попросит проверить реальность, обратите внимание :-)

Ted Lyngmo 01.06.2024 01:43
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
2
11
127
2
Перейти к ответу Данный вопрос помечен как решенный

Ответы 2

Вы можете сделать это, используя концепции, если вы используете C++20 или более позднюю версию.

Как упоминалось в комментариях, шаблоны не присутствуют в коде, пока вы не создадите их экземпляры. Вы можете «создать экземпляр» всего в теле концепции.

Простое решение выглядит так:

template <typename T>
concept runnable = requires(T inst, float x) { inst.run(x, x); };

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

template <runnable T>
struct HasRun<T> : std::true_type {};

int main() {
    // Using traits
    std::cout << "true = " << HasRun<A<true>>::value << '\n'
              << "false = " << HasRun<A<false>>::value << '\n'
              << "true = " << HasRun<B>::value << std::endl;

    // Using concepts directly
    std::cout << "true = " << runnable<A<true>> << '\n'
              << "false = " << runnable<A<false>> << '\n'
              << "true = " << runnable<B> << std::endl;
    return 0;
}

Конечно, если вы создаете концепцию, признак типа кажется излишним, и вы можете использовать значение концепции там, где это необходимо.

Обсуждение подобного случая и использования понятий в нем смотрите здесь

Ответ принят как подходящий

Как отметил Богдан Лакатош, ответ довольно прост, если использовать концепции. Если у вас нет доступа к концепциям, но вы можете использовать decltype, вот другой подход с использованием decltype, который будет работать для C++14 и более поздних версий:

#include <type_traits>
#include <iostream>

template <bool FLAG>
class A {
   public:
    template <bool FLAG_ = FLAG>
    std::enable_if_t<FLAG_, float> run(float a, float b) {
        return a + b;
    }
};

class B {
   public:
    float run(float a, float b) { return a + b; }
};

template <typename T, typename = void>
struct has_run : std::false_type {};

template <typename T>
struct has_run<T, std::enable_if_t<std::is_convertible<decltype(std::declval<T>().run(float{}, float{})), float>::value>> : std::true_type {};

template <typename T>
constexpr bool has_run_v = has_run<T>::value;

int main() {
    std::cout << "has_run_v<B> = " << has_run_v<B> << '\n';
    std::cout << "has_run_v<A<true>> = " << has_run_v<A<true>> << '\n';
    std::cout << "has_run_v<A<false>> = " << has_run_v<A<false>> << '\n';
}
((T*)nullptr) -> std::declval<T>().
Jarod42 30.05.2024 16:20

@Jarod42 Джарод42 Конечно, почему бы и нет?

Michaël Roy 30.05.2024 16:22

Уважение nullptr, даже в неоцененном контексте, кажется плохим...

Jarod42 30.05.2024 16:24

На самом деле именно так это делалось до того, как declval стало вещью, и как это делалось для других вещей, например offset_of в оцениваемых контекстах. Но ты это уже знаешь, да?

Michaël Roy 30.05.2024 16:31

Другие вопросы по теме