主页 / 问题 / 1530280
Accepted
Shamus Rezol
Asked:2023-07-13 00:56:51 +0000 UTC2023-07-13 00:56:51 +0000 UTC

未调用派生类虚拟析构函数

  • 772

有一种解决方案，其中动态库（SharedLibrary）提供接口（抽象类），另一个项目提供其实现（派生类）。最小示例概念：

解决方案的概念结构

该类Website为放置 URL 的缓冲区分配 64 KB。此外，在不离开构造函数的情况下，模拟异常。预期会Website调用析构函数，但仅调用基类析构函数InternetResource：

Website::ctor
InternetResource::dtor
main::catch 'Oops!'

因此，分配的内存没有被释放：

预期网站实例删除后调试内存泄漏

解决方案

来源

//
// Application/Main.cpp
//

#include <iostream>

#include "Website.hpp"

int main()
{
    try
    {
        __debugbreak(); // for heap snapshot (1)
        Website site("https://stackoverflow.com"); // throws
        return 1; // unattainable
    }
    catch (const std::exception& e)
    {
        std::cout
            << "main::catch '"
            << e.what()
            << "'"
            << std::endl;
    }
    __debugbreak(); // for heap snapshot (2)
    return 0;
}

//
// Application/Website.hpp
//

#pragma once

#include <SharedLibrary/InternetResource.hpp>

class Website : public InternetResource
{
public:
    Website(const char* url);

    virtual ~Website();

    void* Buffer = nullptr;
};

//
// Application/Website.cpp
//

#include "Website.hpp"

#include <iostream>
#include <memory>

Website::Website(const char* url)
{
    std::cout << "Website::ctor" << std::endl;
    this->Buffer = malloc(1 << 16); // 64 kB
    memcpy_s(this->Buffer, 1 << 16, url, strlen(url));
    throw std::exception("Oops!");
}

Website::~Website()
{
    std::cout << "Website::dtor" << std::endl;
    free(this->Buffer);
    this->Buffer = nullptr;
}

//
// SharedLibrary/Dll.hpp
//

#pragma once

#ifdef SHARED_LIBRARY_EXPORTS
#   define SHARED_LIBRARY_API __declspec(dllexport)
#else
#   define SHARED_LIBRARY_API __declspec(dllimport)
#endif

//
// SharedLibrary/InternetResource.hpp
//

#pragma once

#include "Dll.hpp"

class SHARED_LIBRARY_API InternetResource
{
public:
    virtual ~InternetResource();
};

//
// SharedLibrary/InternetResource.cpp
//

#include "InternetResource.hpp"

#include <iostream>

InternetResource::~InternetResource()
{
    std::cout << "InternetResource::dtor" << std::endl;
}

--
-- Premake5.lua
--
workspace "WhatTheDtor"
    location("Build/")

    configurations { "Debug" }
    platforms { "x86" }

function cpp_commons()
    language "C++"
    cppdialect "C++17"
    
    defines { "DEBUG" }
    symbols "On"

    runtime "Debug"
    staticruntime "Off" -- /MDd

    exceptionhandling ("Default") -- /EHsc
end

project "SharedLibrary"
    kind "SharedLib"
    cpp_commons()
    
    files { "./SharedLibrary/**.cpp", "./SharedLibrary/**.hpp" }
    
    defines { "SHARED_LIBRARY_EXPORTS" }

project "Application"
    kind "ConsoleApp"
    cpp_commons()
    
    files { "./Application/**.cpp", "./Application/**.hpp" }

    includedirs { "." }
    dependson { "SharedLibrary" }
    links { "SharedLibrary" }

回放

  1. Application通过和收集文件SharedLibrary。
  2. 使用 premake5 创建解决方案文件。
premake5 vs2022
  1. 打开“./Build/WhatTheDtor.sln”。
  2. 使用堆分析构建并开始调试。
  3. 在嵌入断点处拍摄堆的两个快照。

就这样。在这里您可以看到 64 KB 的未释放内存。

c++

2 个回答

  1. Best Answer

    下面是一个示例，说明如何创建void *一个缓冲区，如果构造函数抛出异常，该缓冲区将正常释放。void *隐藏在unique_ptr.

    总的想法是复杂对象的字段应该照顾好自己。然后编译器将在构造函数中生成正确的异常处理代码。

    #include <cstdlib>
#include <cstring>
#include <iostream>
#include <memory>

using namespace std;

void freeVoid(void* data) {
    cout << "freeVoid\n";
    free(data);
}

class Website {
public:
    Website(const char* url) : buffer(malloc(1 << 16), freeVoid) {
        cout << "Website::ctor\n";
        memcpy(buffer.get(), url, strlen(url) + 1);
        // cout << static_cast<char *>(buffer.get()) << '\n';
        throw exception();
    }

    virtual ~Website() {
        cout << "Website::dtor\n";
    }

    unique_ptr<void, decltype(freeVoid) *> buffer;
};

int main() {
    try {
        Website w("site");
    } catch (exception &e) {
        cout << "caught\n";
    }
}

    $ g++ website.cpp && ./a.out 
Website::ctor
freeVoid
caught
    • 1

  2. 文档说：

    …展开堆栈的过程开始。这涉及到在与 catch 处理程序关联的 try 块的开头和异常的抛出站点之间完全构造但尚未销毁的所有自动对象的销毁。

    MSDN：C++ 中的异常和堆栈展开[项目 5]

    换句话说，如果构造函数中抛出异常，那么除了将整个构造函数放入 try-catch 中之外，没有其他方法可以释放资源。例如：

    Website::Website(const char* url)
{
    try
    {
        std::cout << "Website::ctor" << std::endl;
        this->Buffer = malloc(1 << 16); // 64 kB
        memcpy_s(this->Buffer, 1 << 16, url, strlen(url));
        throw std::exception("Oops!");
    }
    catch (...)
    {
        std::cout << "**forcing dtor from ctor**" << std::endl;
        this->~Website();
        throw;
    }
}
    • -3

相关问题