请求验证基于void*类型擦除的FunctionView代码正确性

先贴出你提供的代码：

#include <iostream>

// Implementing a kind of 'reference' to any functor with a void(void) call signature
struct FunctionView {
    template<class F> 
    static void function_caller_prototype(void *functor) 
    {
        auto f = reinterpret_cast<F *>(functor);
        (*f)();
    }

    void (*function_caller) (void *);
    void *functor;

    template<class F> FunctionView(F *f): 
        function_caller{function_caller_prototype<F>}, 
        functor{const_cast<void *>(reinterpret_cast<const void*>(f))} {}

    void operator() () const 
    {
        function_caller(functor);
    }
};

void foo() 
{
    std::cout << "Calling foo" << std::endl;
}

int main(int argc, const char *argv[])
{
    auto lambda = [&argc]() { 
        std::cout << "Calling lambda with argc " << argc << std::endl;
    };

    FunctionView cb_foo(foo);
    FunctionView cb_lambda(&lambda);

    cb_foo();
    cb_lambda();

    return 0;
}

你的分析大部分是准确的，但确实有几个容易忽略的合规性和潜在风险点需要注意：

一、函数指针转void*的标准合规性问题 #

你用FunctionView cb_foo(foo)把函数指针传入构造函数，此时F推导为函数类型void()，随后代码将函数指针转成了void*。但C++标准明确规定，函数指针与对象指针之间的reinterpret_cast属于未定义行为——虽然主流编译器大多支持这种转换，但它不属于标准强制要求的合规操作。

如果要支持普通函数，建议单独重载构造函数处理函数指针场景，同时明确这是实现定义行为：

// 单独处理无参无返回值的函数指针
FunctionView(void (*func)()) :
    function_caller{[](void* f) { (*reinterpret_cast<void(*)()>(f))(); }},
    functor{reinterpret_cast<void*>(func)} {}

二、不必要的const_cast破坏const正确性 #

构造函数里的const_cast<void*>(reinterpret_cast<const void*>(f))完全多余。如果传入的是指向const仿函数的指针，你移除const属性后，在function_caller_prototype中转回原类型并调用非const的operator()，会直接触发未定义行为——相当于绕过了const限定去修改常量对象。

正确的做法是保留原指针的const属性：把function_caller的签名改成void(*)(const void*)，同步调整模板函数的参数类型，这样就能严格遵循const正确性：

template<class F> 
static void function_caller_prototype(const void *functor) 
{
    auto f = reinterpret_cast<const F *>(functor);
    (*f)();
}

// 若需要支持非const仿函数的修改操作，可额外提供非const版本的构造和调用逻辑

三、生命周期依赖的隐性风险 #

你的FunctionView是视图类型，不持有任何对象的所有权，必须保证被引用的仿函数/函数指针在FunctionView的整个使用周期内始终有效。比如如果lambda是局部变量，在cb_lambda调用前被销毁，就会导致悬空指针，触发未定义行为。这一点你当前的测试代码没问题，但属于使用时必须严格遵守的约束。

四、你分析正确的点 #

• reinterpret_cast的来回转换：只要转换前后的类型严格一致，标准保证其行为是合规的，这部分你的判断没问题。
• 对齐问题：void*本身无对齐要求，但原对象指针的对齐信息会被保留，转回去后依然符合原类型的对齐要求，这部分无需担心。
• const成员函数调用非const仿函数：FunctionView::operator()的const限定只约束自身成员，不影响指向的外部对象，所以调用非const的仿函数operator()是合法的，这部分你的分析正确。

总结 #

这段代码在主流编译器下可以正常运行，但存在两处标准合规性缺陷：函数指针与void*的转换、不必要的const_cast破坏const正确性。修正这两个问题后，代码会更符合C++标准要求。另外，使用时必须严格保证被引用对象的生命周期长于FunctionView。

内容的提问来源于stack exchange，提问作者quarky02