c++ - 调用 Const 函数指针

Question

首先，我想提一下，这适用于 MSVC，但不适用于 clang。我在 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 函数列表转换为非 const 值。这是不允许的，这是有道理的。所以我尝试了以下方法:

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使用 const_cast :

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

但是，请注意 const_cast产生未定义的行为并且是不安全的。调用从 reinterpret_cast 返回的函数指针也是如此如果原始指针实际上不是 T .

编辑:您可以调用 const然而，合格的函数指针则为 reinterpret_cast应包含 const限定词:

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