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

Question

用class定义如下：


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

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

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

template A<int>;

我想显式实例化 class 的一个实例，并且我希望此 class 有一个 Eval 的显式实例化。这里的意图是得到一个避免歧义的成员函数指针：

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

Answer 1

歧义与 class 的模板实例化没有任何关系，它是由 Eval 也是一个模板函数引起的。

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

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

例如，

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

附录：在语法意义上确实存在指向模板的指针，但没有任何类型的对象可以拥有其中之一。它们必须立即 casted/decayed 到特定的重载才能使用，这在这里不起作用，因为您想将它存储在 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>;
}

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

Explicit instantiation of template class with templated member functions

c++

templates

member-function-pointers

explicit-instantiation