专用功能拉开功能型

Question

的答案使用 class 模板挑选函数类型：

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...)>();~~

我希望调用 decltype(myTry<decltype(foo)>()) 来获取 tuple 类型，而不是必须调用 decltypeargs<decltype(foo)>。有没有办法用函数声明来做到这一点？

Answer 1

函数不能像那样专门化，但你不需要为此专门化一个函数。使用 gcc 6.1.1 测试：

#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 2

使用函数，您可以重用之前的相同类型特征：

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

或者您可以使用函数重新实现相同的功能。您不能部分特化函数模板，但可以重载：

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>{}); }

Answer 3

//------------------------ 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;
}

专用功能拉开功能型

Pull Apart Function Type With Specialized Function

c++

templates

metaprogramming

template-function

template-classes