Есть ли способ проверить существование функции (конкретной сигнатуры) независимо от того, шаблонна она или нет? Например:
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()
не реализовано).
Кстати, вы хотите проверить, существует ли он только при принятии двух float
?
Нет, просто если реализована функция run()
.
Хорошо, тогда run<parameters...>
не существует, пока вы не создадите его экземпляр. Таким образом, вам нужно будет попробовать бесконечное количество комбинаций параметров, чтобы увидеть, успешно ли какая-либо комбинация создает экземпляр. Как это будет использоваться? Вероятно, существует решение, которое не требует этой проверки.
Представьте, что я могу чудесным образом сказать вам, что run
существует. Больше я вам ничего об этом не говорю. Как бы вы использовали эту информацию?
Вы рассказали нам, что хотите сделать, но не объяснили, почему вы хотите поступать таким образом (звучит как проблема XY). Может быть, вы могли бы рассказать нам немного больше о том, какую проблему вы пытаетесь решить, и тогда мы, возможно, предложим альтернативные/лучшие способы сделать это?
Более разумной проверкой в этом случае будет HasRun<T, Parameters...>
, которая может проверить, есть ли T
перегрузка run
с указанными вами параметрами. Однако это не работает, если шаблон функции имеет параметры шаблона, которые невозможно вывести.
«Как проверить, существует ли шаблонная функция в C++?», HasRun<B>::value; // <---- would return true
, но у B нет шаблонной функции...
@zhanginou Я этого не понимаю. Теперь вы приняли ответ, который работает только для определенных функций run
(принятие двух float
и возврат чего-то, что можно преобразовать в float
). Ты сказал «Нет», когда я спросил об этом.
@TedLyngmo Да, извини, я виноват. Оказалось, что в моем случае достаточно решения, работающего для конкретной сигнатуры. Я отредактировал вопрос соответствующим образом.
@zhanginou Нет проблем, но в следующий раз, когда кто-то попросит проверить реальность, обратите внимание :-)
Вы можете сделать это, используя концепции, если вы используете 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 Джарод42 Конечно, почему бы и нет?
Уважение nullptr
, даже в неоцененном контексте, кажется плохим...
На самом деле именно так это делалось до того, как declval
стало вещью, и как это делалось для других вещей, например offset_of
в оцениваемых контекстах. Но ты это уже знаешь, да?
Вы можете проверить, существует ли шаблон функции (!), протестировав его создание. Без параметров шаблона (выведенных или нет) нет функции.