指向虛擬成員函數的指針是否可比？

Question

我讀an article說

的成員函數指針可以被設置爲0，並且提供了操作符 ==和！=，但只爲同一類的成員函數指針。

我想了解C++ 11，§5.10。

在§5.10/ 1它說的相同類型（指針轉換之後）

指針可以比較 是否相等。

在§5.10/ 2它說

否則，如果任一是一個指向虛擬成員函數，所述 結果是不確定的。

現在考慮下面的測試程序。

#include <cassert> 

class ISomeClass 
{ 
public: 
    virtual ~ISomeClass() {} 

    virtual void a() = 0; 
    virtual void b() = 0; 
}; 

int main() 
{ 
    typedef void(ISomeClass::*MemberPtr)(); 

    MemberPtr mp = &ISomeClass::a; 

    assert(mp == &ISomeClass::a); 
    assert(mp != &ISomeClass::b); 

    return 0; 
} 

根據標準，斷言是否爲真或未指定？

Answer 1

我認爲一般指針指向成員是移位對象地址。在指向虛擬方法的情況下，我認爲細節取決於實現。在一般情況下，我認爲這樣做不是一個好主意，但是如果指針在賦值期間解決了正確的覆蓋，它必須作爲標準指針指向成員函數，並且比較是移位比較和方法簽名比較。檢查reinterpret_cast以查看會發生什麼。