ceph/src/boost/libs/type_traits/test/is_detected_exact_test.cpp

   1 /*
   2 Copyright 2017-2018 Glen Joseph Fernandes
   3 (glenjofe@gmail.com)
   4
   5 Distributed under the Boost Software License,
   6 Version 1.0. (See accompanying file LICENSE_1_0.txt
   7 or copy at http://www.boost.org/LICENSE_1_0.txt)
   8 */
   9 #include <boost/config.hpp>
  10 #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) && \
  11     !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
  12 #ifdef TEST_STD
  13 #include <type_traits>
  14 #else
  15 #include <boost/type_traits/is_detected_exact.hpp>
  16 #endif
  17 #include "check_integral_constant.hpp"
  18 #include "check_type.hpp"
  19
  20 #define CHECK_FALSE(e) BOOST_CHECK_INTEGRAL_CONSTANT(e, false)
  21 #define CHECK_TRUE(e) BOOST_CHECK_INTEGRAL_CONSTANT(e, true)
  22
  23 template<class T>
  24 using type_t = typename T::type;
  25
  26 struct has_type {
  27     using type = char;
  28 };
  29
  30 struct no_type { };
  31
  32 TT_TEST_BEGIN(is_detected_exact)
  33
  34 CHECK_FALSE((::tt::is_detected_exact<char, type_t, int>::value));
  35 CHECK_TRUE((::tt::is_detected_exact<char, type_t, has_type>::value));
  36 CHECK_FALSE((::tt::is_detected_exact<char, type_t, no_type>::value));
  37 #ifndef BOOST_NO_CXX14_VARIABLE_TEMPLATES
  38 CHECK_FALSE((::tt::is_detected_exact_v<char, type_t, int>));
  39 CHECK_TRUE((::tt::is_detected_exact_v<char, type_t, has_type>));
  40 CHECK_FALSE((::tt::is_detected_exact_v<char, type_t, no_type>));
  41 #endif
  42
  43 TT_TEST_END
  44 #else
  45 int main()
  46 {
  47     return 0;
  48 }
  49 #endif