1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// The LLVM Compiler Infrastructure 4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// 8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===// 9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// <functional> 11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// reference_wrapper 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// template <class... ArgTypes> 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// requires Callable<T, ArgTypes&&...> 16c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// Callable<T, ArgTypes&&...>::result_type 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// operator()(ArgTypes&&... args) const; 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <functional> 20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert> 21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// member data pointer: cv qualifiers should transfer from argument to return type 23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstruct A_int_1 25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant A_int_1() : data_(5) {} 27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant int data_; 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}; 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttest_int_1() 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant // member data pointer 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant int A_int_1::*fp = &A_int_1::data_; 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::reference_wrapper<int A_int_1::*> r1(fp); 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant A_int_1 a; 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(r1(a) == 5); 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant r1(a) = 6; 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(r1(a) == 6); 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant const A_int_1* ap = &a; 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(r1(ap) == 6); 44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant r1(ap) = 7; 45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(r1(ap) == 7); 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_int_1(); 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 53