检查一个类是否有一个函数（返回类型和 const 检查）

Question

给定

class A {
public:
    bool foo(int) const {return true;}
};

我想要HasFooWithStringReturnTypeAndIsConst<A>::value 和 HasFooWithBoolReturnTypeAndIsNotConst<A>::value 为假（HasFooWithBoolReturnTypeAndIsConst<A>::value 已经返回真，所以工作正常）。这是我所拥有的：

#include <iostream>
#include <type_traits>
#include <string>

class A {
public:
    bool foo(int) const {return true;}
};

template <typename...> struct voider {using type = void;};

template <typename... Ts>
using void_t = typename voider<Ts...>::type;

template <typename T, typename = void_t<T>>
struct HasFooWithBoolReturnTypeAndIsNotConst : std::false_type {};

template <typename T>
struct HasFooWithBoolReturnTypeAndIsNotConst<T,
        void_t<decltype(std::declval<T&>().foo(std::declval<int>()))>> {
    using Foo = bool (T::*)(int);
    template <typename U> static std::true_type test (Foo*);
    template <typename U> static std::false_type test (...);
    static constexpr bool value = std::is_same<decltype(test<T>(nullptr)), std::true_type>::value;
};

template <typename T, typename = void_t<T>>
struct HasFooWithStringReturnTypeAndIsConst : std::false_type {};

template <typename T>
struct HasFooWithStringReturnTypeAndIsConst<T,
        void_t<decltype(std::declval<T&>().foo(std::declval<int>()))>> {
    using Foo = std::string (T::*)(int) const;
    template <typename U> static std::true_type test (Foo*);
    template <typename U> static std::false_type test (...);
    static constexpr bool value = std::is_same<decltype(test<T>(nullptr)), std::true_type>::value;
};

int main() {
    std::cout << HasFooWithStringReturnTypeAndIsConst<A>::value << '\n';  // true (should be false!)
    std::cout << HasFooWithBoolReturnTypeAndIsNotConst<A>::value << '\n';  // true (should be false!)
}

谁能解释他们为什么返回true 而不是false？如何修复它们以使它们返回错误？ A::foo(int) 是一个返回 bool 的 const 函数，所以它们应该返回 false，不是吗？

Answer 1

您的支票用于：

decltype(test<T>(nullptr))

而这两个重载是：

template <typename U> static std::true_type test(Foo*);
template <typename U> static std::false_type test(...);

您实际上没有考虑&T::foo。您只是在检查是否可以将 nullptr 转换为任意指针类型。当然，你可以。这就是它以true_type 结尾的原因。您要检查的是是否可以将 &T::foo 专门转换为该类型：

template <typename U> static std::true_type test (std::string (U::*)(int) const );
template <typename U> static std::false_type test (...);
static constexpr bool value = decltype(test<T>(&T::foo))::value;

请注意，您可以直接通过以下方式在部分专业化中更简单地完成这一切：

template <typename T>
struct HasFooWithStringReturnTypeAndIsConst<T,
            std::enable_if_t<
                std::is_same<std::string,
                             decltype(std::declval<const T&>().foo(0))
                             >::value
            >> : std::true_type { };

在这里，我们通过在const T& 上调用它来检查foo() 是否为const，然后简单地检查其返回类型是否为std::string。