My Project
Typedefs
is_detected.hpp File Reference
#include "detected.hpp"
#include "is_convertible.hpp"
#include "is_same.hpp"

Go to the source code of this file.

Typedefs

template<template< class... > class Op, typename... Args>
using bsl::is_detected = typename details::detector< nonesuch, void, Op, Args... >::value_t
 The alias template is_detected is equivalent to typename detected_or<bsl::nonesuch, Op, Args...>::value_t. It is an alias for bsl::true_type if the template-id Op<Args...> denotes a valid type; otherwise it is an alias for bsl::false_type.
 
template<class Expected , template< class... > class Op, class... Args>
using bsl::is_detected_exact = is_same< Expected, detected_t< Op, Args... > >
 The alias template is_detected_exact checks whether detected_t<Op, Args...> is Expected.
 
template<class To , template< class... > class Op, class... Args>
using bsl::is_detected_convertible = is_convertible< detected_t< Op, Args... >, To >
 The alias template is_detected_convertible checks whether detected_t<Op, Args...> is convertible to To.
 

Detailed Description