Question

我正在尝试修改is_detected习惯用法，以允许将可变参数传递给它。我需要这样做，因为某些检测到的成员函数将具有用户提供的参数。

到目前为止，这就是我的工作。您将额外的args赋予is_detected_args_v，从理论上讲，模板特化将开始并正确编译。因此给出std::true_type。

#include <type_traits>
#include <cstdio>

// slightly modified (and simplified) is_detected
template <template <class, class...> class Op, class T, class = void, class...>
struct is_detected_args : std::false_type {};
template <template <class, class...> class Op, class T, class... Args>
struct is_detected_args<Op, T, std::void_t<Op<T, Args...>>, Args...>
        : std::true_type {};

template <template <class, class...> class Op, class T, class... Args>
inline constexpr bool is_detected_args_v
        = is_detected_args<Op, T, Args...>::value;

// has_func, checks the function starts with int, and then Args&...
template <class T, class... Args>
using has_func = decltype(std::declval<T>().func(
        std::declval<int>(), std::declval<Args&>()...));


// has the func
struct obj {
    void func(int, double&, double&) {
        printf("potato\n");
    }
};

int main(int, char**) {
    obj o;

    if constexpr(is_detected_args_v<has_func, obj, double, double>) {
        double d = 0;
        double d2 = 42;
        o.func(42, d, d2);
    }
}

您可以在此处运行示例（在所有3个编译器上都经过测试）：https://wandbox.org/permlink/ttCmWSVl1XVZjty7

问题在于，永远不会选择专业化，而条件总是错误的。我的问题有两个方面。

这有可能吗？
is_detected为什么不变得专业化？

Thx

Answer 1

这里的主要问题是误解void_t的作用。作为复习，请参阅how does void_t work?。关键思想是主模板具有一个void参数，而专业化则需要包装在void_t中，以便您可以匹配主模板的参数进行检查。在您的示例中没有发生这种情况。

我们可以通过两个简单的步骤对其进行修复。首先，您将T与Args...一起使用，实际上没有任何理由将其分开，如果没有多余的参数，则更容易查看。因此，这只是减少了您的尝试（我还给应该命名为void的参数起了个名字）：

template <template <class...> class Op, class AlwaysVoid, class...>
struct is_detected_args : std::false_type {};
template <template <class...> class Op, class... Args>
struct is_detected_args<Op, std::void_t<Op<Args...>>, Args...>
        : std::true_type {};

template <template <class...> class Op, class... Args>
inline constexpr bool is_detected_args_v = is_detected_args<Op, Args...>::value;

现在应该更容易看到缺少的内容：void参数！您没有传递void，而是需要传递。不过，这很容易解决：

template <template <class...> class Op, class... Args>
inline constexpr bool is_detected_args_v = is_detected_args<Op, void, Args...>::value;
//                                                              ~~~~~

现在它可以按预期运行。

如果您也想查看Cppreference，它还提供了is_detected的完整实现。

使用可变参数函数泛化is_detected

1 个答案: