特殊機能

Question

で関数型を引き離す離れthis questionピッククラステンプレートを使用して関数型への答えは：私はここで行われていたものを研究したよう

template <typename T> 
struct function_args {}; 

template <typename R, typename... Args> 
struct function_args<R(Args...)> { 
    using type = tuple<Args...>; 
}; 

template <typename T> 
using decltypeargs = typename function_args<T>::type; 

私はfunction_argsを書き換えてみました。私はdecltypeargsテンプレートの必要性を排除するために関数を使用してこれを実行しようとしました。しかし、私自身は、不適切な構文に陥っ見つかり：

template <typename T> 
tuple<> myTry(); 

template <typename Ret, typename... Args> 
tuple<Args...> myTry<Ret(Args...)>(); 

私の希望はdecltypeargs<decltype(foo)>を呼び出すために持つのではなくtupleタイプを取得するためにdecltype(myTry<decltype(foo)>())を呼び出すようになっていました。関数宣言でこれを行う方法はありますか？

Answer 1

//------------------------ Machinery: 
#include <tuple> 

template< class Ret, class... Args > 
std::tuple<Args...> m(Ret(Args...)); 

//------------------------- Example: 
#include <iostream> 
#include <typeinfo> 

void foo(double); 

using namespace std; 
auto main() 
    -> int 
{ 
    using Args_tuple = decltype(m(foo)); 
    cout << typeid(Args_tuple).name() << endl; 
} 

Answer 2

関数はそれほど特殊化することはできませんが、関数を特殊化する必要はありません。 GCC 6.1.1でテスト：

template <typename T> 
function_args<T> myTry(); 

それとも機能と同じように再実装することができます機能で

#include <iostream> 
#include <tuple> 

template <typename T> struct my_try; 

template <typename Ret, typename... Args> 
struct my_try<Ret(Args...)> { 

    std::tuple<Args...> operator()(); 

}; 

template<typename T> 
auto MyTry() 
{ 
    return my_try<T>()(); 
} 


void foo(int, char); 

int main() 
{ 
    decltype(MyTry<decltype(foo)>()) t; 

    int *a= &std::get<0>(t); 
    char *b= &std::get<1>(t); 

    return 0; 
} 

Answer 3

、あなたはどちらかだけ前から同じ型特性を再利用することができます。あなたは、部分的に関数テンプレートを特化することはできませんが、オーバーロードすることができます：あなたは、関数テンプレートと部分的特殊化を行うことはできません

namespace detail { 
    template <class T> struct tag { }; 

    template <class R, class... Args> 
    tag<std::tuple<R, Args...>> myTry(tag<R(Args...)>); 

    template <class R, class C, class... Args> 
    tag<std::tuple<R, Args...>> myTry(tag<R(C::*)(Args...)>);   

    // etc. 
} 

template <typename T> 
auto myTry() { return detail::myTry(detail::tag<T>{}); }