使用模板化成员函数显式实例化模板类

Question

一个类定义如下：

template <typename T>
class A {
    private:
    T a;

    public:
    A(T& a) : a_(a) { }

    template <typename D>
    void Eval(D& arg)
    {
        // ...
    }
};

template A<int>;

我想显式实例化该类的一个实例，并且我希望该类具有一个显式的 Eval 实例化。 这里的目的是获得一个避免歧义的成员函数指针：

auto eval_ptr = &A<int>::Eval;

Answer 1

歧义与模板实例化无关，它是由Eval是模板化函数引起的。

&A<int>::Eval不指向函数，它指向模板。 并且没有“指向模板的指针”这样的类型。

如果你想要一个指向A<int>::Eval的指针，你还需要指定D 。

auto eval_ptr = &A<int>::Eval<int>; 例如，工作得很好。

附录：在语法意义上确实存在指向模板的指针，但没有任何类型的对象可以拥有其中之一。 它们必须立即转换/衰减到特定的重载才能使用，这在此处不起作用，因为您想将其存储在auto 。

例如：以下内容很好，因为显然只有一个“版本”的Eval可以表示：

void bar(void (A<int>::*arg)(int&)) {}

void foo() {
    bar(&A<int>::Eval);
}

Answer 2

非常简单的解决方案是指定两个模板参数：

template <typename T>
class A
{
private:
    T a;

public:
    A(T &a) : a_(a) {}

    template <typename D>
    void Eval(D &arg)
    {
        arg+=1;
    }
};
int main()
{
    auto p = &A<int>::Eval<int>;
}