Namespaces
Variants

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

    From ko.cppreference.net
    C++
    Experimental
    Library fundamentals v2
    헤더 파일에 정의됨 <experimental/type_traits>
    template < template < class ... > class Op, class ... Args >
    using is_detected = /* see below */ ;
    		(라이브러리 fundamentals TS v2)
    template < template < class ... > class Op, class ... Args >
    using detected_t = /* see below */ ;
    		(라이브러리 fundamentals TS v2)
    template < class Default, template < class ... > class Op, class ... Args >
    using detected_or = /* see below */ ;
    		(라이브러리 fundamentals TS v2)

    앨리어스 템플릿 detected_or 는 다음과 같이 정의된 두 개의 public 멤버 typedef value_t 와 type 을 가진 지정되지 않은 클래스 타입에 대한 앨리어스입니다:

    • 만약 template-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 와 동등합니다. 이는 template-id Op < Args... > 가 유효한 타입을 나타낼 경우 std::true_type 의 별칭이며, 그렇지 않을 경우 std::false_type 의 별칭입니다.

    앨리어스 템플릿 detected_t 는 typename detected_or < std:: experimental :: nonesuch , Op, Args... > :: type 와 동등합니다. 이것은 Op < Args... > 가 유효한 타입을 나타내는 경우 해당 템플릿 ID에 대한 앨리어스이며, 그렇지 않은 경우 클래스 std::experimental::nonesuch 에 대한 앨리어스입니다.

    추가 유틸리티

    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)

    별칭 템플릿 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 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() {}