为什么这个代码会产生竞争条件?

这是我第一次尝试使用 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::未来 局部变量。此时有2个线程正在运行。 线程#1s调用堆栈为 here 。 线程#2s调用堆栈为 here 。

请注意,指向的指针 this 在第一个调用堆栈中为null,导致分段错误。

如果有人有线索,我会很感激的。