std::experimental:: is_detected, std::experimental:: detected_t, std::experimental:: detected_or

别名模板 detected_or 是一个未指定类类型的别名，具有两个公共成员类型定义 value_t 和 type ，其定义如下：

• 若模板ID Op < Args... > 表示合法类型，则 value_t 是 std::true_type 的别名，且 type 是 Op < Args... > 的别名；
• 否则， value_t 是 std::false_type 的别名，且 type 是 Default 的别名。

别名模板 is_detected 等价于 typename detected_or < std:: experimental :: nonesuch , Op, Args... > :: value_t 。当 模板特化 Op < Args... > 表示有效类型时，它是 std::true_type 的别名；否则它是 std::false_type 的别名。

别名模板 detected_t 等价于 typename detected_or < std:: experimental :: nonesuch , Op, Args... > :: type 。当该 模板特化 表示有效类型时，它是 Op < Args... > 的别名；否则它是类 std::experimental::nonesuch 的别名。

附加工具

别名模板 is_detected_exact 用于检测 detected_t < Op, Args... > 是否为 Expected 类型。

别名模板 is_detected_convertible 用于检测 detected_t < Op, Args... > 是否可转换为 To 类型。

可能的实现

namespace detail
{
    template<class Default, class AlwaysVoid, template<class...> class Op, class... Args>
    struct detector
    {
        using value_t = std::false_type;
        using type = Default;
    };
    template<class Default, template<class...> class Op, class... Args>
    struct detector<Default, std::void_t<Op<Args...>>, Op, Args...>
    {
        using value_t = std::true_type;
        using type = Op<Args...>;
    };
} // 命名空间 detail
template<template<class...> class Op, class... Args>
using is_detected = typename detail::detector<nonesuch, void, Op, Args...>::value_t;
template<template<class...> class Op, class... Args>
using detected_t = typename detail::detector<nonesuch, void, Op, Args...>::type;
template<class Default, template<class...> class Op, class... Args>
using detected_or = detail::detector<Default, void, Op, Args...>;

示例

#include <cstddef>
#include <experimental/type_traits>
template<class T>
using copy_assign_t = decltype(std::declval<T&>() = std::declval<const T&>());
struct Meow {};
struct Purr { void operator=(const Purr&) = delete; };
static_assert(std::experimental::is_detected<copy_assign_t, Meow>::value,
              "Meow 应当支持拷贝赋值！");
static_assert(!std::experimental::is_detected_v<copy_assign_t, Purr>,
              "Purr 不应支持拷贝赋值！");
static_assert(std::experimental::is_detected_exact_v<Meow&, copy_assign_t, Meow>,
              "Meow 的拷贝赋值操作应返回 Meow&！");
template<class T>
using diff_t = typename T::difference_type;
template<class Ptr>
using difference_type = std::experimental::detected_or_t<std::ptrdiff_t, diff_t, Ptr>;
struct Woof { using difference_type = int; };
struct Bark {};
static_assert(std::is_same<difference_type<Woof>, int>::value,
              "Woof 的 difference_type 应为 int！");
static_assert(std::is_same<difference_type<Bark>, std::ptrdiff_t>::value,
              "Bark 的 difference_type 应为 ptrdiff_t！");
int main() {}