具有运行时错误的业力生成器的调试技术是什么

What debugging technique for a karma generator with runtime error

本文关键字:调试 技术 是什么 运行时错误      更新时间:2023-10-16

容易解决我的编程问题是什么,因为我真的看不出问题出在哪里。事实上,我在提升精神业力库中的某个地方丢失了一个运行时错误。我想我在这里错过了调试技术。

我已经看到宏BOOST_SPIRIT_DEBUG_NODE(S)对解析器有很大帮助,尽管我在手册中找不到任何对它的引用。对于生成器,这似乎不起作用,我(老实说)没有勇气(我应该吗?)深入研究这个库的代码以了解问题所在。

我试图在语法中单独生成三种类型的联合状结构,没有任何问题。所以我假设错误来自将 U 结构转换为提升变体,再次(请参阅将属性转换为 boost::variant),但我没有证据。

对于那些可以通过简单的代码检查来解决它的人,这是我问题的最小示例:

#include <iostream>
#include <fstream>
#include <vector>
#include <iterator>
//#define BOOST_SPIRIT_DEBUG
#include <boost/spirit/include/karma.hpp>
#include <boost/variant/variant.hpp>
namespace ka = boost::spirit::karma;
typedef std::back_insert_iterator<std::string> iterator;
typedef enum {A, B, C } E;
typedef enum {FOO, BAR, POINTER } K;
struct U /* Union like */
{
    K kind;
    double foo;
    E bar;
    unsigned int * p;
};
class EName : public ka::symbols<E, std::string>
{
public:
    EName()
    {
        add (A,"A") (B,"B") (C,"C");
    }
};
typedef boost::variant<E, double, unsigned int *> UVariant;
namespace boost { namespace spirit { namespace traits {
    template<>
    struct transform_attribute<const U,UVariant,ka::domain>
    {
        typedef UVariant type;
        static type pre(const U & u) {
            switch (u.kind)
            {
            case FOO:
                return type(u.foo);
            case BAR:
                return type(u.bar);
            case POINTER:
                return type(u.p);
            }
            return type(A);
        }
    };
}}}
class grm: public ka::grammar<iterator, U()>
{
public:
    grm():grm::base_type(start)
    {
        start = ka::attr_cast<UVariant >(bar | foo | pointer);
        bar = b;
        foo = ka::double_;
        pointer = ka::hex;
    }
private:
    ka::rule<iterator,U()> start;
    ka::rule<iterator,double()> foo;
    ka::rule<iterator,E()> bar;
    ka::rule<iterator,unsigned int *()> pointer;
    EName b;
};
int main(int argc, char * argv[])
{
    grm g;
    U u;
    //unsigned int a;
    u.kind = BAR;
    //u.foo = 1.0;
    u.bar = B;
    //u.p = &a;
    std::string generated;
    std::back_insert_iterator<std::string> sink(generated);
    ka::generate(sink,g,u);
    std::cout << generated;
    return 0;
}

更新:编译器:Visual C++ Express 版本 11 和 12。调用堆栈在 :

            // If you are seeing a compilation error here stating that the
            // third parameter can't be converted to a karma::reference
            // then you are probably trying to use a rule or a grammar with
            // an incompatible delimiter type.
            if (f(sink, context, delim)) // <--- call stack stops here (last boost spirit reference)

我还发现_SCL_SECURE_NO_WARNINGS宏的定义掩盖了以下编译器警告:

警告 C4996:"std::_Copy_impl":使用参数调用 可能不安全 - 此调用依赖于调用方来检查 传递的值是正确的。要禁用此警告,请使用 -D_SCL_SECURE_NO_WARNINGS。请参阅有关如何使用可视化C++"已检查迭代器"的文档

此警告指的是几个增强精神文件:

  • 精神\家\业力\细节\output_iterator.hpp(242)
    精神\家\业力\细节\output_iterator.hpp(577)
    精神\家\业力\细节\output_iterator.hpp(574)
    精神\家\业力\细节\alternative_function.hpp(170)
    精神\家\业力\细节\alternative_function.hpp(162)
    精神\家\业力\操作员\替代.hpp(122)
    精神\家\业力\辅助\attr_cast.hpp(85)
    精神\家\业力\非终端\细节\generator_binder.hpp(43)
    精神\家\业力\非终端\细节\generator_binder.hpp(52)
    精神\家\业力\非终端\规则.hpp(193)
    精神\家\业力\非终端\规则.hpp(230)

我无法重现错误。

我也无法通过一点代码检查来"解决它"。但是,我可以做两件事:

  • 我可以确认调试宏似乎没有为 Karma 实现

  • 我可以冒昧地说,也许bar|foo|pointer需要深度复制:

    start = ka::attr_cast<UVariant >(boost::proto::deep_copy(bar | foo | pointer));
    

我尝试启用 UB 消毒剂和地址消毒器,但它们都没有报告任何问题。


更新 事实上,看起来我可以通过一点代码检查(和幸运的脑电波)来"解决"它:

事实上,在

valgrind 下运行确实显示出一个问题,事实上,在添加deep_copy时它会消失。

我将添加一些关于我如何假设这些事情的参考资料:

  • 一般:在(原型)表达式模板中悬空引用临时的问题

    • 将解析器分配给自动变量
  • 特别是几年前在qi::attr_cast<>中看到的问题:

    • 2014 年 1 月的这条评论:语法树空节点问题与 Spirit Qi MiniC 示例