调用 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 从 'const void ' 到 'void ()(const char *, const char *, const char *, int)' 抛弃了以下行的限定符： reinterpret_cast(m_functions[i])(标题、原因、文件、行);

据我所知，我正在尝试将我的 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 cast。我究竟做错了什么？我怎样才能调用这个 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);