为什么我的代码无法编译？（完美转发和参数包）

Question

程序如下：

#include <memory>

struct A;

struct B {
    void fn(A* ptr) {}
};

template<typename ...Args>
void foo(B* b, void (B::*func)(Args...), Args&&... args)
{
    (b->*func)(std::forward<Args>(args)...);
}

struct A {
    void bar() { B b; foo(&b, &B::fn, this); } // fails
};

int main()
{
    A a;
    B b;
    foo(&b, &B::fn, &a); // passes
    return 0;
}

编译器输出如下：

foo.cpp: In member function 'void A::bar()':
foo.cpp:16:47: error: no matching function for call to 'foo(B*, void (B::*)(A*), A* const)'
     void bar() { B b; foo(&b, &B::fn, this); } // fails
                                           ^
foo.cpp:16:47: note: candidate is:
foo.cpp:10:10: note: template<class ... Args> void foo(B*, void (B::*)(Args ...), Args&& ...)
     void foo(B* b, void (B::*func)(Args...), Args&&... args)
          ^
foo.cpp:10:10: note:   template argument deduction/substitution failed:
foo.cpp:16:47: note:   inconsistent parameter pack deduction with 'A*' and 'A* const'
         void bar() { B b; foo(&b, &B::fn, this); } // fails

搞不懂为什么一通一通，一通不通。

编辑： 将参数包从 Args&&... 更改为 Args... 解决了编译器问题。但是，我还是想知道为什么会失败。

Answer 1

当一个模板参数（或参数包）在两个推导上下文中使用时，推导是独立进行的，并且结果必须匹配。这使得

template<typename ...Args>
void foo(B* b, void (B::*func)(Args...), Args&&... args) { /* ... */ }

充其量使用起来很棘手，因为 Args 是从成员函数签名和后续参数包中推导出来的；加上转发引用的特殊规则，您通常不会获得完全匹配。

现在，在这种情况下，您应该获得精确匹配，因为 this 是 A* 类型的纯右值，所以 Args会根据转发引用规则推导为非引用类型A*，恰好匹配B::fn的签名。不幸的是，由于 bug 56701，GCC 4.8 认为 this 具有类型 A* const 并相应地推导出 Args（并且 MSVC 显然具有相同的错误），导致不匹配。

我建议将 func 的类型作为模板参数，完全避免双重扣除问题。

template<typename PMF, typename ...Args>
void foo(B* b, PMF func, Args&&... args) { /* ... */ }

或者，您可以将 func 限制为 "pointer to member of B of some sort":

template<typename F, typename ...Args>
void foo(B* b, F B::* func, Args&&... args) { /* ... */ }

与原始版本相比，两者还具有正确处理指向 const 成员函数的指针的好处。

如果您真的想进一步限制 func 的类型，请使用两个包：

template<typename ...Args, typename... FArgs>
void foo(B* b, void (B::*func)(FArgs...), Args&&... args)

另一种可能的解决方法，仅针对这种情况，涉及使用 this 尝试删除错误的 const-qualification； +this 适用于 GCC 4.8 但不适用于 MSVC； &*this 适用于 MSVC 但不适用于 GCC 4.8； +&*this 似乎两者都适用，但正在进入线路噪声领域...

为什么我的代码无法编译？（完美转发和参数包）

Why is my code failing to compile? (perfect forwarding and parameter packs)

c++

variadic-functions

perfect-forwarding

c++11

为什么我的代码无法编译？ （完美转发和参数包）

Why is my code failing to compile? (perfect forwarding and parameter packs)

c++

variadic-functions

perfect-forwarding

c++11

为什么我的代码无法编译？（完美转发和参数包）