1 // { dg-do compile { target c++11 } } 2 3 // Copyright (C) 2012-2018 Free Software Foundation, Inc. 4 // 5 // This file is part of the GNU ISO C++ Library. This library is free 6 // software; you can redistribute it and/or modify it under the 7 // terms of the GNU General Public License as published by the 8 // Free Software Foundation; either version 3, or (at your option) 9 // any later version. 10 11 // This library is distributed in the hope that it will be useful, 12 // but WITHOUT ANY WARRANTY; without even the implied warranty of 13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 // GNU General Public License for more details. 15 16 // You should have received a copy of the GNU General Public License along 17 // with this library; see the file COPYING3. If not see 18 // <http://www.gnu.org/licenses/>. 19 20 #include <type_traits> 21 #include <memory> 22 23 using std::is_same; 24 using std::result_of; 25 using std::unique_ptr; 26 27 // Taken from example in [meta.trans.other] 28 29 typedef bool (&PF1)(); 30 typedef short (*PF2)(long); 31 struct S { 32 operator PF2() const; 33 double operator()(char, int&); 34 void fn(long) const; 35 char data; 36 }; 37 38 typedef void (S::*PMF)(long) const; 39 typedef char S::*PMD; 40 41 static_assert( is_same<result_of<S(int)>::type, short>::value, "!"); 42 static_assert( is_same<result_of<S&(unsigned char, int&)>::type, double>::value, "!"); 43 static_assert( is_same<result_of<PF1()>::type, bool>::value, "!"); 44 static_assert( is_same<result_of<PMF(unique_ptr<S>, int)>::type, void>::value, "!"); 45 static_assert( is_same<result_of<PMD(S)>::type, char&&>::value, "!"); 46 static_assert( is_same<result_of<PMD(const S*)>::type, const char&>::value, "!"); 47