00001 // This file is a part of Aurelia. 00002 // Copyright (C) 2010 Valentin David 00003 // Copyright (C) 2010 University of Bergen 00004 // 00005 // This program is free software: you can redistribute it and/or modify 00006 // it under the terms of the GNU General Public License as published by 00007 // the Free Software Foundation, either version 3 of the License, or 00008 // (at your option) any later version. 00009 // 00010 // This program is distributed in the hope that it will be useful, 00011 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00012 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00013 // GNU General Public License for more details. 00014 // 00015 // You should have received a copy of the GNU General Public License 00016 // along with this program. If not, see <http://www.gnu.org/licenses/>. 00017 00018 #ifndef __DEREF_HH 00019 # define __DEREF_HH 00020 00021 # include <type_traits> 00022 # include "../type_traits/is_callable_with.hh" 00023 00024 namespace aurelia { 00025 00026 template <typename Op> 00027 struct deref_op: public Op { 00028 private: 00029 template <typename... Args> 00030 struct Return { 00031 typedef decltype(std::declval<const Op>() 00032 ((*(std::declval<const Args>()))...)) type; 00033 }; 00034 00035 public: 00036 template <typename... Args> 00037 typename Return<Args...>::type 00038 operator()(const Args&... args) const 00039 { 00040 return this->Op::operator()((*args)...); 00041 } 00042 }; 00043 00044 } 00045 00046 #endif