Home | History | Annotate | Download | only in meta.unary.comp
      1 //===----------------------------------------------------------------------===//
      2 //
      3 //                     The LLVM Compiler Infrastructure
      4 //
      5 // This file is dual licensed under the MIT and the University of Illinois Open
      6 // Source Licenses. See LICENSE.TXT for details.
      7 //
      8 //===----------------------------------------------------------------------===//
      9 
     10 // type_traits
     11 
     12 // member_function_pointer
     13 
     14 #include <type_traits>
     15 
     16 template <class T>
     17 void test_member_function_pointer_imp()
     18 {
     19     static_assert(!std::is_reference<T>::value, "");
     20     static_assert(!std::is_arithmetic<T>::value, "");
     21     static_assert(!std::is_fundamental<T>::value, "");
     22     static_assert( std::is_object<T>::value, "");
     23     static_assert( std::is_scalar<T>::value, "");
     24     static_assert( std::is_compound<T>::value, "");
     25     static_assert( std::is_member_pointer<T>::value, "");
     26 }
     27 
     28 template <class T>
     29 void test_member_function_pointer()
     30 {
     31     test_member_function_pointer_imp<T>();
     32     test_member_function_pointer_imp<const T>();
     33     test_member_function_pointer_imp<volatile T>();
     34     test_member_function_pointer_imp<const volatile T>();
     35 }
     36 
     37 class Class
     38 {
     39 };
     40 
     41 int main()
     42 {
     43     test_member_function_pointer<void (Class::*)()>();
     44     test_member_function_pointer<void (Class::*)(int)>();
     45     test_member_function_pointer<void (Class::*)(int, char)>();
     46 }
     47