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

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 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::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

檢測慣用法

統一容器擦除

邏輯運算子型別特徵

 

定義於標頭檔案 <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，其定義如下：

• 如果 *模板-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。如果 *模板-ID* Op<Args...> 表示一個有效型別，則它是 std::true_type 的別名；否則它是 std::false_type 的別名。

別名模板 detected_t 等效於 typename detected_or<std::experimental::nonesuch, Op, Args...>::type。如果該 *模板-ID* 表示一個有效型別，則它是 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() {}