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