从另一个参数引用的模板可变参数

Question

我陷入了麻烦，因为我应该在模板中引用参数（老实说，我强烈怀疑它不可能实现我想要做的事）。

它遵循想什么，我做的一个例子（当然，这在语法上不合法的，其目的是给知道哪些是目标）：

template<class C, Ret(C::*Member)(Params...), typename Ret, typename... Params> 
class MyClass { } 

在其他方面，我想引用一个类的成员，同时指定返回值和该方法的参数。

不幸的是，我看这样做是像下面这样一个唯一的方法（当然，它确实依赖于在需要那些typenames，无论如何，它可能是一个有意义的例子）：

template<typename Ret, typename... Params> 
class MyClass { 
public: 
    template<class C, Ret(C::*Member)(Params...)> 
    MyClass(C *c) { /* do something else and give sense to this class */ } 
} 

除了上面的那个，即通过引入一个模板化的构造函数来打破交错，那么存在另一种有效的方法来获得与唯一的类模板签名相同的结果？

我知道（很简单）如何实现在没有可变参数模板的情况下（作为一个例子，移动RetMember之前），但一个可变一个（Params）在模板列表和我的结束奠定不能以任何方式引用它。

Answer 1

根据this question，一个可行的解决方案可能是依靠由默认值强制推演。

作为一个例子，下面的代码应该是有效的：

class MyClass { 
public: 
    template <class C, typename R, typename... P, R(C::*M)(P...) = &C::foo> 
    void bar(C *c) { } 
}; 

我举链接的问题的一部分（引文即是其自身的引文，我在一个循环中）：

函数模板的模板参数包不应跟随其他模板参数，除非该模板参数可以从函数模板的参数类型列表中推导出来或具有缺省参数。

正因为如此，下面的代码不应该代替允许的，即使它与GCC编译：

class MyClass { 
public: 
    template <class C, typename R, typename... P, R(C::*M)(P...)> 
    void bar(C *c) { } 
}; 

好，相当棘手，不那么灵活的解决方案，并老实说，我结束了远前有一些重构，但为了清晰起见，我决定添加一个答案，并用编译的代码片断来解决问题。