clang vs gcc和msvc中的方法指针模板答案

【问题标题】：Template by method pointer in clang vs gcc and msvcclang vs gcc和msvc中的方法指针模板
【发布时间】：2013-03-08 12:02:53
【问题描述】：

我有这个功能：

template <typename T, void (T::*pf)()>
void call(T& t)
{
    (t.*pf)();
}

如果我有一个类foo 带有一个具有适当签名的方法（比如bar），我可以这样称呼它call<foo, &foo::bar>();，这很好。但是，如果 bar 是 const gcc 和 msvc 很乐意在像这样 call<const foo, &foo::bar>() 这样调用时编译它。 Clang 抱怨第二个模板参数无效。当我将 const 放入模板参数 (void (T::*pf)() const) 时，所有树都会编译它。

现在，这不是一个大问题，但是如果我不必在模板参数中编写这个可恶的const，我的代码会变得更加简洁。

所以问题基本上是：标准对此有何看法？这是一个clang错误还是gcc和msvc只是因为它们很酷而让它滑动？

PS 这是一个完整的复制程序的链接：http://codepad.org/wDBdGvSN

【问题讨论】：

Clang 就在这里，指向 const 限定成员函数的指针的类型是 R (C::*)(Args) const 并且不能转换为非 const 的。
但我猜你可能会说R (C::*)(Args) const和这个一样（无效但可以理解）：R (const C::*)(Args)
不，不完全一样。以前的版本仍然可以在非常量 C 对象上完美调用。
您可以在非 const 对象上调用 const 函数，因此它们不是严格等价的。

标签： c++ templates visual-c++ gcc clang

【解决方案1】：

方法的const-ness 是它的“签名”的一部分。因此，定义和使用指向成员的指针的正确方法是：

R (Obj::*)(Args)       // for non-const member
R (Obj::*)(Args) const // for const member

请注意，const 成员可以在非常量对象上调用，R (const Obj::*)(Args) 不是这种情况。

解决此问题的一种方法是通过定义“调用包装器”来抽象此类函数指针：

template<typename O, void (O::* f)()>
struct NonConstFunc
{
    static void call(O* o)
    {
        (o->*f)();
    }
};

template<typename O, void (O::* f)() const>
struct ConstFunc
{
    static void call(O* o)
    {
        (o->*f)();
    }
};

然后，您可以通过以下方式使用它（这里进行了抽象）：

template<typename Obj, typename Function>
void call(Obj* o)
{
    Function::call(o);
}

有一个live example here。

这只是主要思想。您可以通过自动检测方法是否为const 来扩展它，而无需更改用户代码。

【讨论】：

我最终做了一些非常相似的事情。谢谢。