Namensräume
Varianten
Aktionen

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

Von cppreference.com
 
C++
 
Experimentell
 
Bibliotheksgrundlagen v2
 
Definiert im Header <experimental/type_traits>
template< template<class...> class Op, class... Args >
using is_detected = /* siehe unten */;
 (Library Fundamentals TS v2)
template< template<class...> class Op, class... Args >
using detected_t = /* siehe unten */;
 (Library Fundamentals TS v2)
template< class Default, template<class...> class Op, class... Args >
using detected_or = /* siehe unten */;
 (Library Fundamentals TS v2)

Die Alias-Template detected_or ist ein Alias für einen nicht spezifizierten Klassentyp mit zwei öffentlichen Member-Typedefs value_t und type, die wie folgt definiert sind:

  • Wenn das template-id Op<Args...> einen gültigen Typ bezeichnet, dann ist value_t ein Alias für std::true_type und type ist ein Alias für Op<Args...>;
  • Andernfalls ist value_t ein Alias für std::false_type und type ist ein Alias für Default.

Die Alias-Template is_detected ist äquivalent zu typename detected_or<std::experimental::nonesuch, Op, Args...>::value_t. Sie ist ein Alias für std::true_type, wenn das template-id Op<Args...> einen gültigen Typ bezeichnet; andernfalls ist sie ein Alias für std::false_type.

Die Alias-Template detected_t ist äquivalent zu typename detected_or<std::experimental::nonesuch, Op, Args...>::type. Sie ist ein Alias für Op<Args...>, wenn dieses template-id einen gültigen Typ bezeichnet; andernfalls ist sie ein Alias für die Klasse std::experimental::nonesuch.

[bearbeiten] Zusätzliche Hilfsmittel

template< template<class...> class Op, class... Args >
constexpr bool is_detected_v = is_detected<Op, Args...>::value;
 (Library Fundamentals TS v2)
template< template<class...> class Op, class... Args >
constexpr inline bool is_detected_v = is_detected<Op, Args...>::value;
 (library fundamentals TS v3)
template< class Default, template<class...> class Op, class... Args >
using detected_or_t = typename detected_or<Default, Op, Args...>::type;
 (Library Fundamentals TS v2)
template< class Expected, template<class...> class Op, class... Args >
using is_detected_exact = std::is_same<Expected, detected_t<Op, Args...>>;
 (Library Fundamentals TS v2)
template< class Expected, template<class...> class Op, class... Args >

constexpr bool is_detected_exact_v =

    is_detected_exact<Expected, Op, Args...>::value;
 (Library Fundamentals 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;
 (library fundamentals TS v3)
template< class To, template<class...> class Op, class... Args >

using is_detected_convertible =

    std::is_convertible<detected_t<Op, Args...>, To>;
 (Library Fundamentals TS v2)
template< class To, template<class...> class Op, class... Args >

constexpr bool is_detected_convertible_v =

    is_detected_convertible<To, Op, Args...>::value;
 (Library Fundamentals 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;
 (library fundamentals TS v3)

Die Alias-Template is_detected_exact prüft, ob detected_t<Op, Args...> gleich Expected ist.

Die Alias-Template is_detected_convertible prüft, ob detected_t<Op, Args...> in To konvertierbar ist.

[bearbeiten] Mögliche Implementierung

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...>;

[bearbeiten] Beispiel

Führen Sie diesen Code aus
#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() {}
Abgerufen von "https://cppreference.de/mwiki/index.php?title=cpp/experimental/is_detected&oldid=154972"