0

分段错误是在扫描仪代码中引起的。

问题：

使用 GDB 回溯显示问题是由在条件：if ( ) 中声明名为(where is a ) 的FieldInfo指针引起的。field_infoFieldInfostructtell_me

请注意，下面的代码是一个大文件的一部分，所以如果有些东西的声明不在此处，您可能会认为它们已在程序中的其他地方定义而未在此处显示。

示例代码：

Some_function(some_arguments) {    
// Did something.

if (flag_1) {

    list<const FieldInfo *> prefix_stack;

    const FieldInfo def_pfx(NON_BOOLEAN, default_prefix);
    {
    const FieldInfo * default_field_info = &def_pfx;
    if (default_prefix.empty()) {
        map<string, FieldInfo>::const_iterator f = field_map.find("");
        if (f != field_map.end()) default_field_info = &(f->second);
    }

    // We always have the current prefix on the top of the stack.
    prefix_stack.push_back(default_field_info);
    }

    // Did something.

    for (<some conditions>) {
        bool tell_me = false;
        // Did something.

        if (tell_me) {
            const FieldInfo pos_prefix(NON_BOOLEAN, pos);
            const FieldInfo * field_info = &pos_prefix;
            Term * term_obj = new Term(&state, term_lowercase, field_info, 
                                            term, stem_term, term_pos++);
            Parse(pParser, token, term_obj, &state);
        } else {
            const FieldInfo * field_info = prefix_stack.back();
            Term * term_obj = new Term(&state, term_lowercase, field_info, 
                                            term, stem_term, term_pos++);
            Parse(pParser, token, term_obj, &state);
        }

        // Did something.
    }
}

// Did something.
}

的定义FieldInfo是：

struct FieldInfo {
/// The type of this field.
filter_type type;

/// Field prefix strings.
list<string> prefixes;

/// Field processors struct already defined earlier.
list<FieldProcessor*> procs;

FieldInfo(filter_type type_, const string & prefix)
: type(type_)
{
prefixes.push_back(prefix);
}

FieldInfo(filter_type type_, FieldProcessor *proc)
: type(type_)
{
procs.push_back(proc);
}

};

分析：

Parse 是一种调用 Parser 的方法。

GDB 揭示了问题（分段错误）是在 Parser 尝试field_info通过迭代field_info->prefixes.

编辑：

这是发生分段错误的函数的代码（我添加了一些 cout 用于调试目的）。问题出在代码的 while (++piter != prefixes.end()) 部分：

Query get_query() const
{
    const list<string> & prefixes = field_info->prefixes;

    if (prefixes.empty()) {
    assert(!field_info->procs.empty());
    return (**field_info->procs.begin())(name);
    }
    list<string>::const_iterator piter = prefixes.begin();
    Query q(make_term(*piter), 1, pos);
    while (++piter != prefixes.end()) {
    string check3 = make_term(*piter);
    Query q2(check3, 1, pos);
    q = Query(Query::OP_OR, q, q2);
    }
    return q;
}

笔记：

我正在研究别人的工作代码。

我已经添加了代码的 if(flag_1) 部分，其余的一切都已经存在了。

4

1 回答 1

1

这部分看起来很可疑：

const FieldInfo pos_prefix(NON_BOOLEAN, pos);
const FieldInfo * field_info = &pos_prefix;
Term * term_obj = new Term(&state, term_lowercase, field_info, 
                           term, stem_term, term_pos++);

您正在使用局部变量的地址pos_prefix来初始化term_obj. 您必须绝对确保在pos_prefix超出范围后永远不会访问此地址，因为这样该地址将无效。

您的代码中有大量原始指针。这在现代 C++ 中不是很好的做法。考虑使用普通对象、引用或智能指针。

于 2012-08-15T08:22:58.230 回答