c – 重载成员函数的decltype

参见英文答案 > Disambiguate overloaded member function pointer being passed as template parameter                                    1个
我有这个代码：

struct Foo 
{
    int print(int a, double b);
    int print(int a);
    void print();
    void print(int a, int b, int c);

    void other();
};

我可以打电话

decltype(&Foo::other)

但是打电话

decltype(&Foo::print)

以错误告终,这对我来说很清楚.

但是,我如何更加“密切”地指定四种打印方法中的哪一种,我想解析为decltype？

我想进一步使用它

template <class MT>
struct method_info;

template <class T, class Res, class... Args>
struct method_info<Res(T::*)(Args...)>
{
    typedef std::tuple<Args&&...> args_tuple;
    typedef T ClassType;
    typedef Res RetVal; 
};



template <class MethodType>
void func() {
   typedef method_info<MethodType> MethodInfo;
   .....
}

func<decltype(&Foo::other)>();
....

解决方法:

据我所知,更“紧密”意味着你想要指定print的函数参数.也就是说,例如,您选择int,int,然后返回结果类型Foo {}.print(int {},int {}),然后从所有可用信息构造一个函数指针.

这是一个别名模板,它以一般方式为您执行此操作：

template<typename ... Args>
using ptr_to_print_type = decltype(std::declval<Foo>().print(std::declval<Args>() ...)) (Foo::*)(Args ...);

您也可以使用std :: result_of而不是std :: declval,但我更喜欢后者.

你可以使用上面的

func<ptr_to_print_type<int,int> >();

编辑：正如@JavaLover所要求的那样,对于如此糟糕的C狗屎似乎是一个不合适的名字:-),这里使用的是std :: result_of(现在未经测试和错误测试)：

//------ does not compile for overloaded functions --------
template<typename ... Args>
using ptr_to_print_type = std::result_of_t<decltype(&Foo::print)(Foo, Args ...)> (Foo::*)(Args ...)
//------ does not compile for overloaded functions --------

你可以进一步抽象出Foo而不是print(除非你使用的是宏).

标签：c,c11,templates,variadic-templates,template-specialization
来源： https://codeday.me/bug/20191007/1868858.html