Home | History | Annotate | Download | only in meta.unary.cat 
      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 #include "test_macros.h"
     16 
     17 template <class T>
     18 void test_member_function_pointer_imp()
     19 {
     20     static_assert(!std::is_void<T>::value, "");
     21 #if TEST_STD_VER > 11
     22     static_assert(!std::is_null_pointer<T>::value, "");
     23 #endif
     24     static_assert(!std::is_integral<T>::value, "");
     25     static_assert(!std::is_floating_point<T>::value, "");
     26     static_assert(!std::is_array<T>::value, "");
     27     static_assert(!std::is_pointer<T>::value, "");
     28     static_assert(!std::is_lvalue_reference<T>::value, "");
     29     static_assert(!std::is_rvalue_reference<T>::value, "");
     30     static_assert(!std::is_member_object_pointer<T>::value, "");
     31     static_assert( std::is_member_function_pointer<T>::value, "");
     32     static_assert(!std::is_enum<T>::value, "");
     33     static_assert(!std::is_union<T>::value, "");
     34     static_assert(!std::is_class<T>::value, "");
     35     static_assert(!std::is_function<T>::value, "");
     36 }
     37 
     38 template <class T>
     39 void test_member_function_pointer()
     40 {
     41     test_member_function_pointer_imp<T>();
     42     test_member_function_pointer_imp<const T>();
     43     test_member_function_pointer_imp<volatile T>();
     44     test_member_function_pointer_imp<const volatile T>();
     45 }
     46 
     47 class Class
     48 {
     49 };
     50 
     51 struct incomplete_type;
     52 
     53 int main()
     54 {
     55   test_member_function_pointer<void (Class::*)()>();
     56   test_member_function_pointer<void (Class::*)(int)>();
     57   test_member_function_pointer<void (Class::*)(int, char)>();
     58 
     59   test_member_function_pointer<void (Class::*)() const>();
     60   test_member_function_pointer<void (Class::*)(int) const>();
     61   test_member_function_pointer<void (Class::*)(int, char) const>();
     62 
     63   test_member_function_pointer<void (Class::*)() volatile>();
     64   test_member_function_pointer<void (Class::*)(int) volatile>();
     65   test_member_function_pointer<void (Class::*)(int, char) volatile>();
     66 
     67   test_member_function_pointer<void (Class::*)(...)>();
     68   test_member_function_pointer<void (Class::*)(int, ...)>();
     69   test_member_function_pointer<void (Class::*)(int, char, ...)>();
     70 
     71   test_member_function_pointer<void (Class::*)(...) const>();
     72   test_member_function_pointer<void (Class::*)(int, ...) const>();
     73   test_member_function_pointer<void (Class::*)(int, char, ...) const>();
     74 
     75   test_member_function_pointer<void (Class::*)(...) volatile>();
     76   test_member_function_pointer<void (Class::*)(int, ...) volatile>();
     77   test_member_function_pointer<void (Class::*)(int, char, ...) volatile>();
     78 
     79 
     80 // reference qualifiers on functions are a C++11 extension
     81 #if TEST_STD_VER >= 11
     82   // Noexcept qualifiers
     83   test_member_function_pointer<void (Class::*)() noexcept>();
     84   test_member_function_pointer<void (Class::*)(int) noexcept>();
     85   test_member_function_pointer<void (Class::*)(int, char) noexcept>();
     86 
     87   test_member_function_pointer<void (Class::*)() const noexcept>();
     88   test_member_function_pointer<void (Class::*)(int) const noexcept>();
     89   test_member_function_pointer<void (Class::*)(int, char) const noexcept>();
     90 
     91   test_member_function_pointer<void (Class::*)() volatile noexcept>();
     92   test_member_function_pointer<void (Class::*)(int) volatile noexcept>();
     93   test_member_function_pointer<void (Class::*)(int, char) volatile noexcept>();
     94 
     95   test_member_function_pointer<void (Class::*)(...) noexcept>();
     96   test_member_function_pointer<void (Class::*)(int, ...) noexcept>();
     97   test_member_function_pointer<void (Class::*)(int, char, ...) noexcept>();
     98 
     99   test_member_function_pointer<void (Class::*)(...) const noexcept>();
    100   test_member_function_pointer<void (Class::*)(int, ...) const noexcept>();
    101   test_member_function_pointer<void (Class::*)(int, char, ...) const noexcept>();
    102 
    103   test_member_function_pointer<void (Class::*)(...) volatile noexcept>();
    104   test_member_function_pointer<void (Class::*)(int, ...) volatile noexcept>();
    105   test_member_function_pointer<void (Class::*)(int, char, ...) volatile noexcept>();
    106 
    107   // lvalue qualifiers
    108   test_member_function_pointer<void (Class::*)() &>();
    109   test_member_function_pointer<void (Class::*)(int) &>();
    110   test_member_function_pointer<void (Class::*)(int, char) &>();
    111   test_member_function_pointer<void (Class::*)(...) &>();
    112   test_member_function_pointer<void (Class::*)(int,...) &>();
    113   test_member_function_pointer<void (Class::*)(int, char,...) &>();
    114 
    115   test_member_function_pointer<void (Class::*)() const &>();
    116   test_member_function_pointer<void (Class::*)(int) const &>();
    117   test_member_function_pointer<void (Class::*)(int, char) const &>();
    118   test_member_function_pointer<void (Class::*)(...) const &>();
    119   test_member_function_pointer<void (Class::*)(int,...) const &>();
    120   test_member_function_pointer<void (Class::*)(int, char,...) const &>();
    121 
    122   test_member_function_pointer<void (Class::*)() volatile &>();
    123   test_member_function_pointer<void (Class::*)(int) volatile &>();
    124   test_member_function_pointer<void (Class::*)(int, char) volatile &>();
    125   test_member_function_pointer<void (Class::*)(...) volatile &>();
    126   test_member_function_pointer<void (Class::*)(int,...) volatile &>();
    127   test_member_function_pointer<void (Class::*)(int, char,...) volatile &>();
    128 
    129   test_member_function_pointer<void (Class::*)() const volatile &>();
    130   test_member_function_pointer<void (Class::*)(int) const volatile &>();
    131   test_member_function_pointer<void (Class::*)(int, char) const volatile &>();
    132   test_member_function_pointer<void (Class::*)(...) const volatile &>();
    133   test_member_function_pointer<void (Class::*)(int,...) const volatile &>();
    134   test_member_function_pointer<void (Class::*)(int, char,...) const volatile &>();
    135 
    136   // Lvalue qualifiers with noexcept
    137   test_member_function_pointer<void (Class::*)() & noexcept>();
    138   test_member_function_pointer<void (Class::*)(int) & noexcept>();
    139   test_member_function_pointer<void (Class::*)(int, char) & noexcept>();
    140   test_member_function_pointer<void (Class::*)(...) & noexcept>();
    141   test_member_function_pointer<void (Class::*)(int,...) & noexcept>();
    142   test_member_function_pointer<void (Class::*)(int, char,...) & noexcept>();
    143 
    144   test_member_function_pointer<void (Class::*)() const & noexcept>();
    145   test_member_function_pointer<void (Class::*)(int) const & noexcept>();
    146   test_member_function_pointer<void (Class::*)(int, char) const & noexcept>();
    147   test_member_function_pointer<void (Class::*)(...) const & noexcept>();
    148   test_member_function_pointer<void (Class::*)(int,...) const & noexcept>();
    149   test_member_function_pointer<void (Class::*)(int, char,...) const & noexcept>();
    150 
    151   test_member_function_pointer<void (Class::*)() volatile & noexcept>();
    152   test_member_function_pointer<void (Class::*)(int) volatile & noexcept>();
    153   test_member_function_pointer<void (Class::*)(int, char) volatile & noexcept>();
    154   test_member_function_pointer<void (Class::*)(...) volatile & noexcept>();
    155   test_member_function_pointer<void (Class::*)(int,...) volatile & noexcept>();
    156   test_member_function_pointer<void (Class::*)(int, char,...) volatile & noexcept>();
    157 
    158   test_member_function_pointer<void (Class::*)() const volatile & noexcept>();
    159   test_member_function_pointer<void (Class::*)(int) const volatile & noexcept>();
    160   test_member_function_pointer<void (Class::*)(int, char) const volatile & noexcept>();
    161   test_member_function_pointer<void (Class::*)(...) const volatile & noexcept>();
    162   test_member_function_pointer<void (Class::*)(int,...) const volatile & noexcept>();
    163   test_member_function_pointer<void (Class::*)(int, char,...) const volatile & noexcept>();
    164 
    165   // RValue qualifiers
    166   test_member_function_pointer<void (Class::*)() &&>();
    167   test_member_function_pointer<void (Class::*)(int) &&>();
    168   test_member_function_pointer<void (Class::*)(int, char) &&>();
    169   test_member_function_pointer<void (Class::*)(...) &&>();
    170   test_member_function_pointer<void (Class::*)(int,...) &&>();
    171   test_member_function_pointer<void (Class::*)(int, char,...) &&>();
    172 
    173   test_member_function_pointer<void (Class::*)() const &&>();
    174   test_member_function_pointer<void (Class::*)(int) const &&>();
    175   test_member_function_pointer<void (Class::*)(int, char) const &&>();
    176   test_member_function_pointer<void (Class::*)(...) const &&>();
    177   test_member_function_pointer<void (Class::*)(int,...) const &&>();
    178   test_member_function_pointer<void (Class::*)(int, char,...) const &&>();
    179 
    180   test_member_function_pointer<void (Class::*)() volatile &&>();
    181   test_member_function_pointer<void (Class::*)(int) volatile &&>();
    182   test_member_function_pointer<void (Class::*)(int, char) volatile &&>();
    183   test_member_function_pointer<void (Class::*)(...) volatile &&>();
    184   test_member_function_pointer<void (Class::*)(int,...) volatile &&>();
    185   test_member_function_pointer<void (Class::*)(int, char,...) volatile &&>();
    186 
    187   test_member_function_pointer<void (Class::*)() const volatile &&>();
    188   test_member_function_pointer<void (Class::*)(int) const volatile &&>();
    189   test_member_function_pointer<void (Class::*)(int, char) const volatile &&>();
    190   test_member_function_pointer<void (Class::*)(...) const volatile &&>();
    191   test_member_function_pointer<void (Class::*)(int,...) const volatile &&>();
    192   test_member_function_pointer<void (Class::*)(int, char,...) const volatile &&>();
    193 
    194   // RValue qualifiers with noexcept
    195   test_member_function_pointer<void (Class::*)() && noexcept>();
    196   test_member_function_pointer<void (Class::*)(int) && noexcept>();
    197   test_member_function_pointer<void (Class::*)(int, char) && noexcept>();
    198   test_member_function_pointer<void (Class::*)(...) && noexcept>();
    199   test_member_function_pointer<void (Class::*)(int,...) && noexcept>();
    200   test_member_function_pointer<void (Class::*)(int, char,...) && noexcept>();
    201 
    202   test_member_function_pointer<void (Class::*)() const && noexcept>();
    203   test_member_function_pointer<void (Class::*)(int) const && noexcept>();
    204   test_member_function_pointer<void (Class::*)(int, char) const && noexcept>();
    205   test_member_function_pointer<void (Class::*)(...) const && noexcept>();
    206   test_member_function_pointer<void (Class::*)(int,...) const && noexcept>();
    207   test_member_function_pointer<void (Class::*)(int, char,...) const && noexcept>();
    208 
    209   test_member_function_pointer<void (Class::*)() volatile && noexcept>();
    210   test_member_function_pointer<void (Class::*)(int) volatile && noexcept>();
    211   test_member_function_pointer<void (Class::*)(int, char) volatile && noexcept>();
    212   test_member_function_pointer<void (Class::*)(...) volatile && noexcept>();
    213   test_member_function_pointer<void (Class::*)(int,...) volatile && noexcept>();
    214   test_member_function_pointer<void (Class::*)(int, char,...) volatile && noexcept>();
    215 
    216   test_member_function_pointer<void (Class::*)() const volatile && noexcept>();
    217   test_member_function_pointer<void (Class::*)(int) const volatile && noexcept>();
    218   test_member_function_pointer<void (Class::*)(int, char) const volatile && noexcept>();
    219   test_member_function_pointer<void (Class::*)(...) const volatile && noexcept>();
    220   test_member_function_pointer<void (Class::*)(int,...) const volatile && noexcept>();
    221   test_member_function_pointer<void (Class::*)(int, char,...) const volatile && noexcept>();
    222 #endif
    223 
    224 //  LWG#2582
    225   static_assert(!std::is_member_function_pointer<incomplete_type>::value, "");
    226 }
    227