为什么这段代码会产生竞争条件？

Question

这是我第一次尝试使用std::future。

我要同时解析三个不同的文件。三个功能分别做到这一点。称为parseSentences、parseTags 和parseLinks。它们中的每一个都使用std::async 通过一个非常简单的 lambda 函数在单独的线程中启动：[]() { parser->function(); }，其中parser 是一个静态变量，函数是我之前命名的三个函数之一。

int parser::start()
{
    int ret = SUCCESS;
    ASSERT( m_output != nullptr );
    static parser * thisParserInstance = this;

    // parsing files
    std::future<int> parseSentence = std::async(std::launch::async, []() { return thisParserInstance->parseSentences(); } );
    std::future<int> parseLinksResult = std::async(std::launch::async, []() { return thisParserInstance->parseLinks(); } );
    std::future<int> parseTagsResult = std::async(std::launch::async, []() { return thisParserInstance->parseTags(); } );

    // retrieving the results
    ret = parseSentence.get();
    const int linksResult = parseLinksResult.get();
    const int tagsResult = parseTagsResult.get();

    if (ret == SUCCESS)
        ret = linksResult == SUCCESS ? tagsResult : linksResult;

    return ret;
}

现在，当我在 gdb 中运行我的程序时，在 std::future 局部变量之一被破坏时会发生分段错误。那时有 2 个线程正在运行。 线程#1 的调用堆栈是here。 线程#2 的调用栈是here。

注意第一个调用栈中指向this的指针为空，导致分段错误。

如果有人有线索，我将不胜感激。

Answer 1

这里有个大问题：

static parser * thisParserInstance = this;

这是在您第一次调用该函数时初始化的，然后在以后的调用中保持不变。因此，如果您在一个对象上调用该函数，销毁该对象，然后在第二个对象上调用它，您实际上将处理一个指向已失效对象的悬空指针。这肯定会产生未定义的行为。

没有理由使用静态变量； lambda 可以捕获this 并作用于正确的对象。或者更简单地说，按照 cmets 中的建议，使用 async 的可变参数形式将 this 绑定到成员函数：

std::async(std::launch::async, &parser::parseSentences, this);

Answer 2

对不起各位。

这里是解决方案：std::future exception on gcc experimental implementation of C++0x

链接-lpthread后，错误消失。不过，感谢您的其他评论，它们非常有帮助。