templates - 模板化成员函数的地址

Question

在下面的示例中，如何找到成员函数 f 的地址

template<typename HANDLER>
void serialize(HANDLER &h) {
    //  Compiler error (gcc 4.8.1)
    //  test.cxx: In function ‘void serialize(HANDLER&)’:
    //  test.cxx:9:26: error: expected primary-expression before ‘int’
    //       auto x = &HANDLER::f<int>;
    //                            ^
    //  test.cxx:9:26: error: expected ‘,’ or ‘;’ before ‘int’
    auto x = &HANDLER::f<int>;
}

struct HandlerA {
    template<typename T> void f() { }
};

struct HandlerB {
    template<typename T> void f() { }
};

struct HandlerC {
    template<typename T> void f() { }
};

int main() {
    HandlerA a;
    HandlerB b;
    HandlerC c;

    a.f<int>();
    b.f<int>();
    c.f<int>();

    serialize(a);
    serialize(b);
    serialize(c);
}

Answer 1

您需要告诉编译器这f是一个模板，以便它可以正确解析函数：

auto x = &HANDLER::template f<int>;

Answer 2

凯西是正确的。

一个模板，在实例化之前没有地址。当模板与特定参数一起使用（实例化）时，会在内存中创建一个独特的函数。

您可以使用/创建任何类型的真实函数：int、char、float、double、classXYZ ......对该函数的指针数量没有限制。