在模板類：使用一個類方法，如模板參數另一類方法

Question

考慮下面的代碼：

template < class A > 
class XX { 
    public: 
    template <int (*CC)() > 
    int bla(){ return CC(); } 
    int stam() {return 0;} 
    int f() { 
    return bla<stam>(); 
    } 
}; 

int main() 
{ 
    XX<int> xx; 
    printf(" this is %d\n", xx.f()); 
    return 0; 
} 

它

test.cpp: In member function ‘int XX<A>::f() [with A = int]’: 
test.cpp:14: instantiated from here 
test.cpp:8: error: ‘int XX<A>::stam() [with A = int]’ cannot appear in a constant-expression** 

失敗想着它很清楚之後。 stam在模板實例化之前不存在，所以它沒有函數地址。當模板被實例化時，實例在代碼中的某個地方被解析，然後stam得到一個地址。因此，地址在編譯時並不是一個常量（儘管可能有一些工作 - 但不支持）。

那麼，爲什麼我試圖做到這一點。我可以使用函數指針或虛函數。在使用stam現實bla（有stam1和stam2）稱這是數不勝數倍，即使是輕微的性能改進（如不使用間接）是值得歡迎的。

當然也有解決方案：創建bla1和bla2這幾乎是相同的。編寫一個預處理器宏。我想知道是否有一個優雅的解決方案。

Answer 1

的問題是，斯塔姆（）是一個成員函數，而不是一個自由功能，因此需要與「this」指針來調用。

閱讀本教程的指針成員函數：

http://www.parashift.com/c++-faq/pointers-to-members.html

Answer 2

這將編譯OK：

#include <cstdio> 
using namespace std; 

template < class A > 
class XX { 
    public: 
    template <int (XX<A>::*CC)()> 
    int bla(){ return (this->*CC)(); } 
    int stam() {return 0;} 
    int f() { 
    return bla<&XX<A>::stam>(); 
    } 
}; 

int main() 
{. 
    XX<int> xx; 
    printf(" this is %d\n", xx.f()); 
    return 0; 
} 

該修補程序是使用正確的簽名指針到方法的模板參數以及指定方法指針的正確語法。 （實際上，您可以在此處省略<A>。）