c++ - 我们可以使用检测成语来检查类是否具有具有特定签名的成员函数吗？

Question

给定 detection idiom 的(简化)实现

namespace type_traits
{
    template<typename... Ts>
    using void_t = void;

    namespace detail
    {
        template<typename, template<typename...> class, typename...>
        struct is_detected : std::false_type {};

        template<template<class...> class Operation, typename... Arguments>
        struct is_detected<void_t<Operation<Arguments...>>, Operation, Arguments...> : std::true_type {};
    }

    template<template<class...> class Operation, typename... Arguments>
    using is_detected = detail::is_detected<void_t<>, Operation, Arguments...>;

    template<template<class...> class Operation, typename... Arguments>
    constexpr bool is_detected_v = detail::is_detected<void_t<>, Operation, Arguments...>::value;
}

我们可以轻松地检查类 foo 是否包含成员函数 bar

struct  foo {
    int const& bar(int&&) { return 0; }
};

template<class T>
using bar_t = decltype(std::declval<T>().bar(0));

int main()
{
    static_assert(type_traits::is_detected_v<bar_t, foo>, "not detected");
    return 0;
}

但是，如您所见，我们无法检测到foo::bar 的参数类型是int&&。检测成功，因为0可以传递给foo::bar。我知道有很多选项可以检查(成员)函数的精确 签名。但我想知道，是否可以修改此检测工具包以检测 foo::bar 的参数类型恰好是 int&&。

[我创建了一个 live demo这个例子。]

Answer 1

在不改变你的 type_traits 的情况下，你可以这样做

template<typename T, T> struct helper {};

template<class T>
using bar_t = decltype(helper<const int& (T::*)(int&&), &T::bar>{});

Demo