为什么 std::string 构造函数会重置 GetLastError

Question

我正在从 C++ 代码调用 Windows API，并且我有一个辅助方法来执行 FormatMessage 的工作并引发异常以进行错误处理。函数的签名是

void throw_system_error(const std::string& msg_prefix, DWORD messageid)

我注意到了一些奇怪的事情。此代码无法正常工作：

handle = ...;
if (handle == NULL) {
    throw_system_error("something bad happened", GetLastError());
}

传递给throw_system_error 的错误代码始终为零。

在哪里可以正常工作：

handle = ...;
if (handle == NULL) {
    DWORD error = GetLastError();
    throw_system_error("something bad happened", error);
}

更多调查表明这个版本有同样的问题：

handle = ...;
if (handle == NULL) {
    std::string msg("something bad happened");
    DWORD error = GetLastError();
    throw_system_error(msg, error);
}

就像std::string的构造函数正在重置错误代码一样寻找全世界。

我的猜测是std::string 在内部分配内存，这会导致一些系统调用，然后将最后一个错误设置为零。

有人知道这里到底发生了什么吗？

Visual C++ 2015，64 位。

Answer 1

让我们看看GetLastError 文档：

大多数设置线程最后错误代码的函数都会在 失败。然而，一些函数在它们的时候也会设置最后一个错误代码 成功。

您应该立即调用 GetLastError 函数，当 函数的返回值表明这样的调用会返回有用的 数据。这是因为 一些函数调用 SetLastError 时使用零 当他们成功时，清除最近设置的错误代码 功能失败。

所以有一个函数调用 SetLastError，很可能是一个分配内存的函数： 构造字符串时，会调用new 来分配内存。

现在，让我们看看new 在 vc++ 中的实现。 Stack Overflow 中有一个很好的答案：https://softwareengineering.stackexchange.com/a/293209

这取决于您是处于调试模式还是发布模式。在发布模式下，有 HeapAlloc/HeapFree 是内核函数，

在调试模式下（使用 Visual Studio）有一个手写的 free 和 malloc 的版本（将 new/delete 重定向到该版本） 线程锁和更多的异常检测，让你可以检测到 当你在堆指针上犯了一些错误时更容易 在调试模式下运行您的代码。

所以在释放模式下，调用的函数是HeapAlloc，它NOT调用了SetLastError。来自文档：

如果函数失败，它不调用 SetLastError

所以代码应该在发布模式下正常工作。 但是，在调试实现中，函数 FlsGetValue 被调用，并且该函数在成功时调用 SetLastError。

这很容易检查，

#include <iostream>
#include <Windows.h>
int main() {

    DWORD t = FlsAlloc(nullptr);
    SetLastError(23); //Set error to 23
    DWORD error1 = GetLastError(); //store error

    FlsGetValue(t); //If success, it is going to set error to 0

    DWORD error2 = GetLastError(); //store second error code

    std::cout << error1 << std::endl;
    std::cout << error2 << std::endl;
    system("PAUSE");
    return 0;
}

它输出以下内容：

23
0

所以 FlsGetValue 调用了 SetLastError()。为了证明它只在调试时被调用，我们可以做以下测试：

#include <iostream>
#include <Windows.h>
int main() {

    DWORD t = FlsAlloc(nullptr);
    SetLastError(23); //Set error to 23
    DWORD error1 = GetLastError(); //store error

    int* test = new int; //allocate int

    DWORD error2 = GetLastError(); //store second error code

    std::cout << error1 << std::endl; //output errors
    std::cout << error2 << std::endl;

    delete test; //free allocated memory
    system("PAUSE");
    return 0;
}

如果你在调试模式下运行它，它会给你，因为它调用 FlsGetValue:

23
0

但是，如果你在发布模式下运行它，它会产生，因为它调用 HeapAlloc：

23
23

Answer 2

根据GetLastError 的文档

每个设置最后一个错误代码的函数的文档的返回值部分说明了该函数设置最后一个错误代码的条件。大多数设置线程最后错误代码的函数在失败时都会设置它。 但是，有些函数在成功时也会设置 last-error 代码。 如果函数没有记录设置 last-error 代码，则该函数返回的值只是最近的 last-error已设置的代码； 一些函数在成功时将最后一个错误代码设置为 0，而其他函数则没有。

在std::string 的构建过程中，SetLastError 被调用。 Windows 上的标准库使用 Win32 调用作为其实现的一部分。

您的第二种方法（有效）是使用GetLastError的正确方法

当函数的返回值表明这样的调用将返回有用的数据时，您应该立即调用 GetLastError 函数。那是因为有些函数调用 SetLastError 时，调用成功时返回 0，从而清除了最近失败函数设置的错误代码。

Answer 3

这是正常的——“最后一个错误”可以通过任何函数调用间接设置。
某些功能在成功时将其设置为“无错误”，因此如果您想可靠地使用它，您需要在执行其他任何操作之前立即存储它。

如果您曾经遇到过“发生严重错误：操作成功完成”对话框，这可能就是原因。