std::function 的运行时实现

为了安全起见，我已经在 DLL 调用中使用旧式函数指针，如下所示：

// DLL
typedef int (__stdcall* ty)();
void test(ty t)
{
    if (t)
    {
        int r = t(); 
        ....
    }
}

而我可以使用这个：

void test(std::function<int()> t)
{
}

然而，众所周知，后者使用类型擦除 https://stackoverflow.com/questions/14936539/how-stdfunction-works. std::function不能是原始函数指针（因为它可能会传递一个具有捕获的 lambda，因此不能是原始指针）。

因此，在 Visual Studio 中，使用发布模式下的 DLL 构建，其函数签名包含std::function在调试模式下从可执行版本使用时会崩溃，反之亦然。即使同时处于调试或发布模式，行为也不相同。有时它会崩溃，有时它会起作用。

是否有我们可以依赖使用的定义的运行时行为std::function？或者这是一个仅编译的东西，由编译器根据我传递给它的内容进行专门化，因此不能假定运行时行为？

在汇编级别，预编译单元上的函数签名必须已知。据我所知std::function runtime实施没有明确定义。

所以，例如，当我编译时，那么

void test(std::function<int()> t)

可以接受任何参数，例如[]() -> int, [&]() -> int, [=]() -> int等通过类型擦除。但是，当这是预编译的并且仅是运行时时，可以接受什么？ std::function 是如何实现的？用类指针？有没有明确的方法？

我并不是在寻找必然与 VS 相关的解决方案，而是在寻找一个标准定义std::function，如果有的话。

因此，在 Visual Studio 中，使用发布模式下的 DLL 构建，其函数签名包含std::function在调试模式下从可执行版本使用时会崩溃，反之亦然。

这永远不会起作用，因为它会改变 ABI。

即使同时处于调试或发布模式，行为也不相同。有时它会崩溃，有时它会起作用。

This may如果您仔细考虑编译器标志、依赖的静态库与动态库、C 和 C++ 标准库的编译方式、异常等，则可以工作。这是一个复杂的主题，取决于编译器供应商的保证。

是否有我们可以依赖使用的定义的运行时行为std::function?

一般来说，最好的选择（也是为其他语言创建绑定的最有用的选择）是避免 C++ 接口并使用具有简单类型的普通 C 接口。

也就是说，如果您想传递 C++ 类型，请将它们作为不透明类型传递，并且仅从一侧操作它们。

我不是在寻找与 VS 相关的解决方案，而是在寻找标准定义std::function，如果有的话。

C++ 标准不强制任何特定的 ABI，也不提供绝大多数类型的数据成员等实现细节。

这就是为什么混合不同的 STL 库也是一个问题，即使您以完全相同的方式编译所有内容。