同时使用 std::regex，定义的行为？

Question

是否可以在所有使用std::sregex_iterator、std::regex_match 等的多个线程中使用std::regex 对象？

例如，以下是否会产生逻辑行为：

bool SomeFunc( const std::string& szString1, const std::string& szString2 ) 
{
     static const std::regex regexTest( "=== ([\\w]+) ===", std::regex_constants::optimize );

     std::future<bool> f = std::async( []( std::string szString ) {
        return std::regex_match( szString, regexTest );  
     }, szString1 );

     bool b = std::regex_match( szString2, regexTest );

     return (b && f.get());
}

我找不到任何说明是否同时使用const std::regex 会导致未定义的行为。据我所知，没有对正则表达式对象进行任何编辑，因此不应该通过同时使用它来引发未定义的行为？

提前致谢！

Answer 1

是的，const std::regex 是线程安全的。实际上，标准库中的任何 const 方法都是线程安全的，请参阅：

§17.6.5.9/3。 C++ 标准库函数不得直接或 间接修改可由线程以外的线程访问的对象（1.10） 当前线程，除非直接或间接访问对象 通过函数的非常量参数，包括 this。