Question

我在业余时间开发代码。最好是在调试模式下。最近，当我尝试构建发布版本时，我得到了错误（运行时，输出：1\n2\n然后失败）。我找到了包含错误的代码段（下面），我发现只有在优化级别为-Os, -Ofast, -O2, -O3但不是-O, -O0, -O1, -Og时才会出现错误。在发布模式下，我受限于调试能力。错误的原因是什么？找到这样的错误的方法是什么？

＃！/ usr / bin / env bash -vex WARN =“ - W -Wall -Wextra”INCLUDE =“ - isystem / c / libs / boost-trunk”OPT =“ - O2”g ++ -x c ++ - - std = gnu ++ 1y $ INCLUDE

$ WARN $ OPT -o a＆lt;＆lt; __ EOF＆amp;＆amp; ./a＆amp;＆amp; echo -e“\ e [1; 32msucceeded \ e [0m”||   echo -e“\ e [1; 31mfailed \ e [0m”

#include <iterator>
#include <string>
#include <iostream>

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/support_multi_pass.hpp>

using namespace boost::spirit;

template< typename Iterator >
struct skipper
        : qi::grammar< Iterator >
{

    skipper();

private :

    typename skipper::base_type::start_type skipper_;

};

template< typename Iterator >
skipper< Iterator >::skipper()
    : skipper::base_type(skipper_, "skipper") 
{
    std::cerr << 1 << std::endl;
    auto const ana =
            *~qi::char_('*') > +qi::char_('*')
            ;
    std::cerr << 2 << std::endl;
    skipper_ =
            qi::space
            | ("/*" > ana > *(~qi::char_("/*") > ana) > '/')
            | ("//" > *(qi::char_ - qi::eol) > (qi::eol | qi::eoi))
            ; // R"(\s+|(\/\*[^*]*\*+([^/*][^*]*\*+)*\/)|(\/\/[^\r\n]*))"
    std::cerr << 3 << std::endl;
}

using input_type = std::string;
using input_iterator_type = std::istreambuf_iterator< typename input_type::value_type >;
using base_iterator_type = multi_pass< input_iterator_type >;

template struct skipper< base_iterator_type >;

using skipper_type = skipper< base_iterator_type >;

int main()
{
    skipper_type const skipper_;
    std::cerr << 4 << std::endl;
    return EXIT_SUCCESS;
}
__EOF

gcc -v 2>&1 | tail -n1：

gcc version 4.8.1 (rev5, Built by MinGW-W64 project)

Answer 1

这是代码中的错误，编译器或优化级别没有任何问题。

cinch是表达模板（就像Boost Proto使用的模板，因此也是Boost Spirit）。它们 仅在其封闭的完整表达式结束时有效 ^[1]

规范的工作重点是：

 BOOST_SPIRIT_AUTO(ana, *~qi::char_('*') > +qi::char_('*'));

你可以在这里找到它：http://svn.boost.org/svn/boost/trunk/libs/spirit/example/qi/typeof.cpp它首先在这篇博客文章的评论中引入：http://boost-spirit.com/home/articles/qi-example/zero-to-60-mph-in-2-seconds/

我测试的显式修复（在我的盒子上工作得很好，在valgrind中没有警告）：

auto const ana = boost::proto::deep_copy(
        *~qi::char_('*') > +qi::char_('*'))
        ;

Spirit X3承诺消除这个疣。稍微相关，我认为Protox11也通过始终了解引用来消除这个问题。

^[1]提高临时使用寿命的标准。表达式模板保持对所使用的文字的引用（其余的都具有值语义），但临时文件不绑定到（const）引用。所以他们超出了范围。 Undefined Behaviour结果

与优化级别相关的boost spirit V2 qi bug

1 个答案: