如果定义了具有特定签名的函数/运算符/方法，则检测

Question

来自this问题，我们如何才能（在编译时）检测是否定义了具有特定签名的函数/运算符/方法？

从链接的问题开始，然后查看关于std::void_t的cppreference，我们可以编写（前面的C ++ 17）

#include<iostream>
#include<type_traits>
#include<utility>

class X { public: int someFunc() const{ return 9; } };
class Y{};

template<typename, typename = std::void_t<>> struct Has_someFunc
    : std::false_type{};
template<typename T> struct Has_someFunc<T, std::void_t<decltype(std::declval<T>().someFunc())>>
    : std::true_type{};

template<typename T>
void f(const T& v){
    if constexpr(Has_someFunc<T>::value)
        std::cout << "has someFunc()\n";
    else
        std::cout << "has NOT someFunc()\n";
}

int main()
{
    std::cout << "X "; f(X{});
    std::cout << "Y "; f(Y{});

    return 0;
}

打印

X has someFunc()
Y has NOT someFunc()

但是如果我们想测试一个类型，使其不仅具有someFunc且具有一定的签名，该怎么办？

尽管我使用的是C ++ 17，也欢迎在该标准的任何其他版本中进行回答。

Answer 1

如果要检查类型是否具有与给定签名兼容（可与之兼容）的方法someFunc()并返回给定类型，则可以按以下方式修改代码]

#include<iostream>
#include<type_traits>
#include<utility>

class X
 { public: int someFunc (int, long) const { return 9; } };

class Y
 { };

template <typename, typename = void>
struct Has_someFunc : public std::false_type
 { };

template <typename T, typename RType, typename ... Args>
struct Has_someFunc<std::tuple<T, RType, Args...>, std::enable_if_t<
   std::is_same_v<RType, 
      decltype(std::declval<T>().someFunc(std::declval<Args>()...))>>>
    : public std::true_type
 { };

template <typename RType, typename ... Args, typename T>
void f (T const & v)
 {
   if constexpr (Has_someFunc<std::tuple<T, RType, Args...>>::value)
      std::cout << "has someFunc()\n";
   else
      std::cout << "has NOT someFunc()\n";
 }

int main()
{
    std::cout << "X "; f<int>(X{});
    std::cout << "X "; f<int, int, long>(X{});
    std::cout << "X "; f<int, int, int>(X{});
    std::cout << "Y "; f<int>(Y{});
}

缺点：由于最后一个参数（a int）与最后一个预期参数（a long）兼容，因此从第三次调用中也获得了“具有someFunc（）”。