<分区>
假设我有类型 bar和 foo .如何构建模板类 has_call_with_arg<>这样 has_call_with_arg<bar,foo>::value为真当且仅当
bar b;
foo f;
b(f);
会编译吗？我调查了各种相关问题(包括上面提到的)并尝试了
template<typename Func, typename Arg>
class has_call_with_arg
{
struct bad {};
struct test : Func
{
template<typename C>
bad operator()(C const&r);
};
public:
static const bool value =
!std::is_same<bad, typename std::result_of<test(Arg const&)>::type >::value;
};
但这没有用(没有检测到正确的匹配项)。怎么了？
最佳答案
template<typename sig, typename functor> struct is_callable;
template<typename Ret, typename... Arg, typename functor>
struct is_callable<Ret(Arg...), functor> { // partial spec
private:
struct no {};
public:
template<typename U> static auto f(std::nullptr_t) -> decltype(std::declval<U>()(std::declval<Arg>()...));
template<typename U> static no f(...);
static const int value = std::is_convertible<decltype(f<functor>(nullptr)), Ret>::value;
};
我创建了此内容 for my tutorials ，它解释了这个特征的构造(首先是非可变形式)。
关于c++ - 如何检查成员运算符(类型)？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15163512/