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

La plantilla de alias detected_or es un alias para un tipo de clase no especificado con dos typedefs de miembro públicos value_t y type , que se definen de la siguiente manera:

• Si el template-id Op < Args... > denota un tipo válido, entonces value_t es un alias para std::true_type , y type es un alias para Op < Args... > ;
• En caso contrario, value_t es un alias para std::false_type y type es un alias para Default .

La plantilla de alias is_detected es equivalente a typename detected_or < std:: experimental :: nonesuch , Op, Args... > :: value_t . Es un alias para std::true_type si el template-id Op < Args... > denota un tipo válido; de lo contrario es un alias para std::false_type .

La plantilla de alias detected_t es equivalente a typename detected_or < std:: experimental :: nonesuch , Op, Args... > :: type . Es un alias para Op < Args... > si ese template-id denota un tipo válido; de lo contrario es un alias para la clase std::experimental::nonesuch .

Utilidades adicionales

La plantilla de alias is_detected_exact verifica si detected_t < Op, Args... > es igual a Expected .

La plantilla de alias is_detected_convertible verifica si detected_t < Op, Args... > es convertible a To .

Implementación posible

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

Ejemplo

#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 debería ser asignable por copia!");
static_assert(!std::experimental::is_detected_v<copy_assign_t, Purr>,
              "¡Purr no debería ser asignable por copia!");
static_assert(std::experimental::is_detected_exact_v<Meow&, copy_assign_t, Meow>,
              "¡La asignación por copia de Meow debería retornar 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,
              "¡El difference_type de Woof debería ser int!");
static_assert(std::is_same<difference_type<Bark>, std::ptrdiff_t>::value,
              "¡El difference_type de Bark debería ser ptrdiff_t!");
int main() {}