指针与std::uint64_t互转后未触发内存访问违例的问题排查

相关代码 #

struct tNode
{
    int data;
    tNode* next;
    tNode(const int& data, tNode* next = nullptr)
    {
        this->data = data;
        this->next = next;
    }
};

int main()
{
    tNode* ptr = new tNode(1);
    std::uint64_t num_ptr = reinterpret_cast<std::uint64_t>(ptr);
    delete ptr;
    auto back_to_ptr = reinterpret_cast<tNode*>(num_ptr);
    tNode* ret = back_to_ptr->next;
    std::cout << ret;
}

用户疑问 #

我在Visual Studio 2022中使用MSVC编译器调试这段代码时，未检测到任何错误。我认为tNode* ret = back_to_ptr->next;这一行应该触发内存访问违例的错误信息，但为何这段代码能正常运行？我已搜索指针转整数类型的相关问题，并通过断点调试了该示例。

解答 #

核心原因：内存释放后的状态并非立即不可访问 #

• 堆内存的复用逻辑：执行delete ptr只是将这块内存归还给堆管理器，并不会立刻清除内存中的数据，也不会马上将其标记为完全不可访问。在你访问的瞬间，这块内存还没有被重新分配给其他用途，所以原本存储的next值（也就是构造时默认的nullptr）仍然存在，读取操作自然不会触发错误。
• MSVC调试模式的特性：默认情况下，MSVC的调试模式不会对刚释放的内存立即做"毒化"处理（比如用特定值覆盖内存）。只有当这块内存被重新分配，或者你手动启用更严格的堆检测（比如设置_CRTDBG_DELAY_FREE_MEM_DF调试标志），此时访问已释放内存才会触发内存访问违例。
• 未定义行为的不确定性：这段代码属于C++标准明确规定的未定义行为——访问已释放内存的对象成员。未定义行为的结果没有任何保证，可能正常运行、可能崩溃、可能输出异常值，完全取决于当前的编译器、操作系统、内存状态等环境因素。这次没触发错误只是巧合，不代表代码合法。

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