boost::find_format_all、boost::regex_finder 和自定义正则表达式格式化程序存在问题（bug boost 1.42）

Question

我有一个代码已经工作了近 4 年（从 boost 1.33 开始），今天我从 boost 1.36 升级到 boost 1.42，现在我遇到了问题。

我在字符串上调用自定义格式化程序来格式化与 REGEX 匹配的字符串部分。

例如，如果 REGEX 包含“([;:])”，则类似“abc;def:”的字符串将更改为“abc\2Cdef\3B”

boost::find_format_all( mystring, boost::regex_finder( REGEX ), custom_formatter() );

自定义格式化程序如下所示：

struct custom_formatter()
{

  template< typename T >
  std::string operator()( const T & s ) const
  {
      std::string matchStr = s.match_results().str(1);

      // perform substitutions

      return matchStr;
  }

}

这工作正常，但使用 boost 1.42我知道有“未初始化” s.match_results() ，它会产生 boost::exception_detail::clone_implINS0_::error_info_injectorISt11logic_errorEEEE - 尝试访问未初始化的 boost::match_results<>班级。

这意味着有时我在函子中格式化字符串但没有匹配。

我做错了什么吗？或者当没有匹配项时输入函子是否正常，我应该检查某些内容？

目前我的解决方案是尝试{}catch(){} 异常，一切正常，但不知何故感觉不太好。

EDIT1

实际上，我在每个字符串的末尾都有一个新的空匹配要解析。

EDIT2：一个受 ablaeul 启发的解决方案

  template< typename T >
  std::string operator()( const T & s ) const
  {

      if( s.begin() == s.end() ) return std::string();

      std::string matchStr = s.match_results().str(1);

      // perform substitutions

      return matchStr;
  }

EDIT3 似乎是（至少）boost 1.42 中的一个错误

Answer 1

结构体 find_regexF 似乎是罪魁祸首。正如您所看到的，它返回一个空结果，并带有未初始化的 match_results()。浏览 SO 找到了以下解决方案：

struct custom_formatter()
{

  template< typename T >
  std::string operator()( const T & s ) const
  {
      std::string matchStr;
      for (typename T::const_iterator i = Match.begin();
             i != Match.end();
             i++) {
          // perform substitutions via *i
      }
      return matchStr;
  }

}

编辑：看看如何< a href="http://www.boost.org/doc/libs/1_36_0/boost/algorithm/string/detail/formatter_regex.hpp" rel="nofollow noreferrer">Boost 使用格式化程序 这里是另一个解决方案：

template<typename InputIteratorT>
std::string operator()( 
    const regex_search_result<InputIteratorT>& Replace ) const
{
    if ( Replace.empty() )
    {
        return std::string();
    }
    else
    {
        std::string matchStr = s.match_results().str(1);
        // perform substitutions
        return matchStr;      
    }
}