調用Const函數指針

Question

首先我想提一下，這適用於MSVC，但不適用於鏗鏘聲。我正在使用C++ 11的Clang。

我有一個函數指針：

typedef void (*Log) (const char* title, const char* msg, const char* file, int line); 

我有這樣的結構：

struct FunctionList 
    { 
    protected: 
     static const int kNbrMax = 32; 
     FunctionList(); 
     bool Add(const void* f); 
     bool Remove(const void* f); 

     const void*  m_functions[kNbrMax]; 
    }; 

這個類：

template<typename T> 
struct MessageFunctionList 
    : public FunctionList 
{ 
public: 
    MessageFunctionList(T defaultFunction) 
    { 
     Add(defaultFunction); 
    } 

    void Call(const char* title,const char* cause,const char* file,int line) 
    { 
     for (unsigned long i = 0;i < m_nbrUsed;++i) 
     { 
      reinterpret_cast<T>(m_functions[i])(title,cause,file,line); 
     } 
    } 
} 

我創造它像這樣：

static void DefaultLogMessageFunction(const char* title,const char* msg,const char* file,int line) 
{ 

} 

MessageFunctionList<Log> functionList(DefaultLogMessageFunction) 

但我得到的編譯時錯誤：

reinterpret_cast from 'const void ' to 'void ()(const char *, const char *, const char *, int)' casts away qualifiers for line: reinterpret_cast(m_functions[i])(title,cause,file,line);

所以據我瞭解，我想投我的功能常量列表非常量值。這是不允許的，這是有道理的。所以我嘗試了以下內容：

const void* funcPtr = m_functions[i]; 
const T call = reinterpret_cast<const T>(funcPtr); 
call(title, cause, file, line); 

但是這也行不通。

這工作：

void* funcPtr = const_cast<void*>(m_functions[i]); 
T call = reinterpret_cast<T>(funcPtr); 
call(title,cause,file,line); 

但我想避免使用const的演員。我究竟做錯了什麼？我怎樣才能調用這個const函數？或者它是不允許的，因爲它不知道被調用的函數是否是const函數？也許這是因爲我的靜態函數不是一個類的成員，所以它不能被聲明爲const？

Answer 1

您存儲函數指針爲const void*：

const void*  m_functions[kNbrMax]; 

而你試圖他們轉換爲T和使用reinterpret_cast稱之爲：

reinterpret_cast<T>(m_functions[i])(title,cause,file,line); 

然而，reinterpret_cast不能刪除const因此，您應該首先使用const_cast刪除const：

reinterpret_cast<T>(const_cast<void*>(m_functions[i]))(title,cause,file,line); 
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 

但是，請注意，const_cast會產生未定義的行爲並且是不安全的。因此，如果原始指針實際上不是T，則調用從reinterpret_cast返回的函數指針。

編輯： 你可以調用const合格的函數指針，但是，那麼reinterpret_cast應包含const預選賽：

reinterpret_cast<const T>(m_functions[i])(title,cause,file,line);