使用模板化成員函數顯式實例化模板類

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>;
}