00001 // TR1 functional -*- C++ -*- 00002 00003 // Copyright (C) 2005 Free Software Foundation, Inc. 00004 // Written by Douglas Gregor <doug.gregor -at- gmail.com> 00005 // 00006 // This file is part of the GNU ISO C++ Library. This library is free 00007 // software; you can redistribute it and/or modify it under the 00008 // terms of the GNU General Public License as published by the 00009 // Free Software Foundation; either version 2, or (at your option) 00010 // any later version. 00011 00012 // This library is distributed in the hope that it will be useful, 00013 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 // GNU General Public License for more details. 00016 00017 // You should have received a copy of the GNU General Public License along 00018 // with this library; see the file COPYING. If not, write to the Free 00019 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, 00020 // USA. 00021 00022 // As a special exception, you may use this file as part of a free software 00023 // library without restriction. Specifically, if other files instantiate 00024 // templates or use macros or inline functions from this file, or you compile 00025 // this file and link it with other files to produce an executable, this 00026 // file does not by itself cause the resulting executable to be covered by 00027 // the GNU General Public License. This exception does not however 00028 // invalidate any other reasons why the executable file might be covered by 00029 // the GNU General Public License. 00030 00036 // Determine the result type when we pass the arguments along. This 00037 // involves passing along the cv-qualifiers placed on _Mu and 00038 // unwrapping the argument bundle. 00039 template<typename _CVMu, typename _CVArg 00040 _GLIBCXX_COMMA _GLIBCXX_TEMPLATE_PARAMS> 00041 class result<_CVMu(_CVArg, tuple<_GLIBCXX_TEMPLATE_ARGS>)> 00042 : public result_of<_CVArg(_GLIBCXX_TEMPLATE_ARGS)> { }; 00043 00044 template<typename _CVArg _GLIBCXX_COMMA _GLIBCXX_TEMPLATE_PARAMS> 00045 typename result_of<_CVArg(_GLIBCXX_TEMPLATE_ARGS)>::type 00046 operator()(_CVArg& __arg, const tuple<_GLIBCXX_TEMPLATE_ARGS>& __tuple) 00047 const volatile 00048 { 00049 return __arg(_GLIBCXX_MU_GET_TUPLE_ARGS); 00050 } 00051