我需要找出一个给定类型是否具有函数X作为具有给定参数列表的可调用函数。检查应该 不 然而，关心回报价值。
我发现 这个解决方案 从 另一个Stack Overflow问题 这似乎运作良好。它的作用是：
#include <type_traits>
template <typename C, typename F, typename = void>
struct is_call_possible : public std::false_type {};
template <typename C, typename R, typename... A>
struct is_call_possible<C, R(A...),
typename std::enable_if<
std::is_same<R, void>::value ||
std::is_convertible<decltype(
std::declval<C>().operator()(std::declval<A>()...)
), R>::value
>::type
> : public std::true_type {};
这正是我想要的，除了在检查中你还提供了所需的返回类型。我试图找到一种方法来修改它，以便能够检查而不考虑返回类型，但我想不出办法。
有谁知道如何做到这一点？
只做表达SFINAE并丢弃结果：
template <typename C, typename... Args>
struct is_call_possible {
private:
template<typename T>
static auto check(int)
-> decltype( std::declval<T>().operator()(std::declval<Args>()...),
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
// overload is removed if this expression is ill-formed
std::true_type() );
template<typename>
static std::false_type check(...);
public:
static constexpr bool value = decltype(check<C>(0))::value;
};
实例。
您可以使用：
#include <iostream>
namespace Detail {
struct is_callable
{
template<typename F, typename... A>
static decltype(std::declval<F>()(std::declval<A>()...), std::true_type())
test(int);
template<typename F, typename... A>
static std::false_type
test(...);
};
} // namespace Detai
template<typename F, typename... A>
using is_callable = decltype(Detail::is_callable::test<F, A...>(0));
struct X {
int operator ()(int) { return 0; }
};
int main() {
std::cout << is_callable<X>() << '\n';
std::cout << is_callable<X, int>() << '\n';
}