c++ - 在模板化函数上参数化的函数模板的显式实例化

Question

在 C++ 中，允许在成员函数和自由函数上创建模板

template <void (*F) ()> void function1 ();
template <void (MyClass::*M) ()> void function2 ();

并显式实例化它们

function1 <&fn> ();
function2 <&MyClass::doSomething> ();

我的问题是，如果模板参数本身是从模板实例化的

template <typename R, typename C, R (C::*M) ()> void function3 ();

我如何function3显式实例化（如果可能的话）？

Answer 1

做就是了：

function3<void, MyClass, &MyClass::doSomething>();

这种情况下的语法与其他情况下的语法相同。

完整的可编译示例：

#include <iostream>
class MyClass {
public:
    void doSomething() {
        std::cout << "doSomething\n";
    }
};
void fn() {
    std::cout << "fn\n";
}
template <void (*F) ()> void function1 () {
    F();
}
template <void (MyClass::*M) ()> void function2 () {
    (MyClass().*M)();
}
template <typename R, typename C, R (C::*M) ()> void function3 () {
    (C().*M)();
}
int main() {
    function1<&fn>();
    function2<&MyClass::doSomething>();
    function3<void, MyClass, &MyClass::doSomething>();
}

印刷：

fn
doSomething
doSomething

Answer 2

struct MyClass
{
        int doSomething() { return 1; }
};

template <typename R, typename C, R (C::*M) ()>
R function3(C* c) 
{
        return ( (c->*M)() );
}

int main()
{
        typedef decltype(MyClass().doSomething()) R_type;
        MyClass cls;
        function3<R_type, MyClass, &MyClass::doSomething>(&cls); // instantiation
        return 0;
}