我不应该在线程过程中使用 _endthreadex() 来进行堆栈展开吗？

Question

我检查了 win32 环境中线程过程的堆栈展开。
我的测试代码如下。

class Dummy
{
public:
    Dummy() { wcout << L"dummy ctor" << endl; }
    ~Dummy() { wcout << L"dummy dtor" << endl; }
};

void InnerFunc()
{
    Dummy dm;

    while(1)
    {
        char *buf = new char[100000000];
    }
}

unsigned WINAPI ThreadFunc(void *arg)
{
    Dummy dm;

    try
    {
        InnerFunc();
    }
        catch(bad_alloc e)
    {
        wcout << e.what() << endl;
    }

    _endthreadex(0);
    return 0;
}

void OuterFunc()
{
    Dummy dm;

    HANDLE hModule;
    hModule = (HANDLE)_beginthreadex(0, 0, ThreadFunc, 0, 0, 0);
    WaitForSingleObject(hModule, INFINITE);
    CloseHandle(hModule);
}

int _tmain(int argc, _TCHAR* argv[])
{
    OuterFunc();
    wcout << e.what() << endl;

    return 0;
}

输出结果：
虚拟演员
虚拟演员
虚拟演员
虚拟数据传输器
分配错误
dummy dtor

如您所知，构造函数和析构函数的输出不是配对的。我认为 _endthreadex() 使线程句柄发出信号并跳过线程的堆栈展开。

当我在没有 _endthreadex() 的情况下再次测试时，我能够得到我期望的结果。

在这种情况下，如果我需要在线程上展开堆栈，我是否应该在线程过程中使用 _endthreadex() ？

Answer 1

我猜想在 ThreadFunc 中创建的实例永远不会调用析构函数。但是，您应该添加一种方法来区分每个构造函数和析构函数调用以确保安全。

假设这就是发生的情况，很明显 endthreadex 立即终止线程而不清理堆栈。文档明确指出当 ThreadFunc 返回时调用 endthreadex，那么为什么要在这里显式调用它呢？

这绝对是我会使用 boost::thread 的情况。它将在线程创建和清理方面做正确的事情，而不用担心 win32 特定的细节。

Answer 2

您的问题是：

while(1)
{
    char *buf = new char[100000000];
}

您已经创建了内存泄漏，在每次迭代中您创建的新对象都会丢失对旧对象的任何引用。

堆栈展开，清除该范围内的所有本地对象，

Dummy dm;

是在InnerFunc()内的本地存储上分配的对象，堆栈展开正确地销毁这个对象和您看到的单个析构函数调用跟踪就是由于这个原因。

堆栈展开不会显式释放动态内存。每个使用 new[] 分配的指针都必须通过在同一地址上调用 delete [] 来显式释放。

我不明白它与任何 Windows 线程函数有什么关系（我对 Windows 不太了解），但正如我已经说过的，你在那里遇到了问题。

解决方案：
在异常期间处理清理的简单解决方案是RAII。
您应该使用智能指针来包装您的原始指针和智能指针可确保在作用域结束后正确地释放对象内存。