无法从decltype中获取指向成员函数的指针

如何解决无法从decltype中获取指向成员函数的指针

我发现我无法使用类实例&decltype(c)::f来f来获取指向成员函数c的指针，但是我可以&C::f来获取该指针成员函数，使用类类型C，我相信它与decltype(c)相同。

请参见以下最小示例：

struct C{
    int f()
    {
        return 5;
    }
} c;

template<typename T,T t,typename S,S*s> void callCf()
{
    (s->*t)();
}

int main()
{
  callCf<decltype(&decltype(c)::f),&decltype(c)::f,C,&c>();
}

编译后得到：

In function 'int main()':
15:3: error: parse error in template argument list
15:58: error: no matching function for call to 'callCf()'
15:58: note: candidate is:
8:49: note: template<class T,class S,S* s> void callCf()
8:49: note:   template argument deduction/substitution failed:
15:58: error: template argument 2 is invalid

按预期使用以下作品：

int main()
{
  callCf<decltype(&decltype(c)::f),&C::f,&c>();
}

即使这样有效：

int main()
{
  using tC = decltype(c);
  callCf<decltype(&decltype(c)::f),&tC::f,&c>();
}

这也有效：

template<typename T>
struct forward_type{
    typedef T type;
};

int main()
{
  callCf<decltype(&decltype(c)::f),&forward_type<decltype(c)>::type::f,&c>();
}

我的问题是：为什么不能使用decltype来获取指向像这样的&decltype(c)::f成员函数的指针？

编辑：@Paul Sanders在评论中显示最小示例在c++17中有效。我仍在使用c++14。 c++17是否包括对语言的一些更改，这些更改使我的最小示例得以编译？

解决方法

c是一个左值，所以decltype(c)不会返回C类型本身，这就是decltype(c)::f不起作用的原因。 decltype(c)实际上将返回C&引用类型：

1. 如果参数是类型为T的任何其他表达式，并且
   ...
   b）如果expression的值类别是 lvalue ，则decltype会产生T&;
   ...

您可以使用std::remove_reference/_t从C获取C&类型，例如：

int main()
{
    callCf<
        decltype(&std::remove_reference_t<decltype(c)>::f),&std::remove_reference_t<decltype(c)>::f,std::remove_reference_t<decltype(c)>,&c
    >();
}

Live Demo

然后可以使用using语句来简化以下内容：

int main()
{
    using tC = std::remove_reference_t<decltype(c)>;
    callCf<decltype(&tC::f),&tC::f,tC,&c>();
}

Live Demo