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

来自cppreference.com
 
C++
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形
 
库基础 v2
 
在标头 <experimental/type_traits> 定义 
template< template<class...> class Op, class... Args >
using is_detected = /* 见下文 */;
(库基础 TS v2) 
template< template<class...> class Op, class... Args >
using detected_t = /* 见下文 */;
(库基础 TS v2) 
template< class Default, template<class...> class Op, class... Args >
using detected_or = /* 见下文 */;
(库基础 TS v2)

别名模板 detected_or 是拥有两个公开成员 typedef value_t 和 type 的未指定类类型的别名，它们定义如下：

  • 若模板标识 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...> 代表合法类型，则它是 Op<Args...> 的别名；否则它是类 std::experimental::nonesuch 的别名。

额外工具

template< template<class...> class Op, class... Args >
constexpr bool is_detected_v = is_detected<Op, Args...>::value;
(库基础 TS v2) 
template< template<class...> class Op, class... Args >
constexpr inline bool is_detected_v = is_detected<Op, Args...>::value;
(库基础 TS v3) 
template< class Default, template<class...> class Op, class... Args >
using detected_or_t = typename detected_or<Default, Op, Args...>::type;
(库基础 TS v2) 
template< class Expected, template<class...> class Op, class... Args >
using is_detected_exact = std::is_same<Expected, detected_t<Op, Args...>>;
(库基础 TS v2) 
template< class Expected, template<class...> class Op, class... Args >
constexpr bool is_detected_exact_v =
    is_detected_exact<Expected, Op, Args...>::value;
(库基础 TS v2) 
template< class Expected, template<class...> class Op, class... Args >
constexpr inline bool is_detected_exact_v =
    is_detected_exact<Expected, Op, Args...>::value;
(库基础 TS v3) 
template< class To, template<class...> class Op, class... Args >
using is_detected_convertible =
    std::is_convertible<detected_t<Op, Args...>, To>;
(库基础 TS v2) 
template< class To, template<class...> class Op, class... Args >
constexpr bool is_detected_convertible_v =
    is_detected_convertible<To, Op, Args...>::value;
(库基础 TS v2) 
template< class To, template<class...> class Op, class... Args >
constexpr inline bool is_detected_convertible_v =
    is_detected_convertible<To, Op, Args...>::value;
(库基础 TS v3)

别名模版 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...>;
    };
} // namespace 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 should be copy assignable!");
static_assert(!std::experimental::is_detected_v<copy_assign_t, Purr>,
              "Purr should not be copy assignable!");
static_assert(std::experimental::is_detected_exact_v<Meow&, copy_assign_t, Meow>,
              "Copy assignment of Meow should return 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's difference_type should be int!");
static_assert(std::is_same<difference_type<Bark>, std::ptrdiff_t>::value,
              "Bark's difference_type should be ptrdiff_t!");

int main() {}

参阅