看起来相似但行为不同的 C++ 代码：知道为什么吗？

Question

我有一个段树的 c++ 代码，它通常可以工作，但是 一个很大的输入它失败了。无论如何，跟踪我发现的错误 将代码的某些部分更改为似乎“等效”的东西 代码可以正常工作。

一些上下文：

struct state {
    int v, pos;
    state (int v, int pos) : v(v), pos(pos)  {}
};
int split(state s);
state go(state, int, int, int);

struct node{
    int link;
...
};
vector<node> t;

此代码不起作用：

int get_link (int v) {
    if (t[v].link != -1)  return t[v].link;
    if (t[v].par == -1)  return 0;

    int to = get_link (t[v].par);
    state aux = go (state (to,t[to].len()), t[v].l + (t[v].par==0), t[v].r, t[v].i_str);

    return t[v].link = split (aux);
}

这个有效：

int get_link (int v) {
    if (t[v].link != -1)  return t[v].link;
    if (t[v].par == -1)  return 0;

    int to = get_link (t[v].par);
    state aux = go (state (to,t[to].len()), t[v].l + (t[v].par==0), t[v].r, t[v].i_str);

    int ret = split (aux);
    t[v].link = ret;
    return ret;
}

这个有效：

int get_link (int v) {
    if (t[v].link != -1)  return t[v].link;
    if (t[v].par == -1)  return 0;

    int to = get_link (t[v].par);
    state aux = go (state (to,t[to].len()), t[v].l + (t[v].par==0), t[v].r, t[v].i_str);

    int ret = split (aux);
    t[v].link = ret;
    return t[v].link;
}

这个不行：

int get_link (int v) {

    node &w = t[v];
    if (w.link != -1)  return w.link;
    if (w.par == -1)  return 0;

    int to = get_link (w.par);
    state aux = go (state (to,t[to].len()), w.l + (w.par==0), w.r, w.i_str);

    int ret = split (aux);
    w.link = ret;
//  assert(t[v].link == ret);

    return ret;
}

此外，在最后一种情况下，断言失败。 这很奇怪，因为在所有失败的情况下，get_line 函数都会运行很多次 没有问题。

知道什么是错的或我误解了什么。

如果有用的话

$ gcc -v 使用内置规范。 COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/4.7.2/lto-wrapper 目标：x86_64-redhat-linux 配置：../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-bootstrap --enable-shared --enable-threads =posix --enable-checking=release --disable-build-with-cxx --disable-build-poststage1-with-cxx --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions -- enable-gnu-unique-object --enable-linker-build-id --with-linker-hash-style=gnu --enable-languages=c,c++,objc,obj-c++,java,fortran,ada,go ,lto --enable-plugin --enable-initfini-array --enable-java-awt=gtk --disable-dssi --with-java-home=/usr/lib/jvm/java-1.5.0-gcj -1.5.0.0/jre --enable-libgcj-multifile --enable-java-maintainer-mode --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib - -with-ppl --with-cloog --with-tune=generic --with-arch_32=i686 --build=x86_64-redhat-linux 线程模型：posix gcc version 4.7.2 20120921 (Red Hat 4.7.2-2 ) (GCC)

Answer 1

您的 split 函数似乎很可能正在调整 t 向量的大小。因此，在像 t[v].link = split (aux) 这样的表达式中，如果在拆分调用之前评估 vector::operator[]（这是可能的）并且拆分函数正在重新分配向量，那么您可能正在访问对不再存在的对象的引用。

您使用临时变量的替代代码没有这个问题，因为对 vector::operator[] 的调用肯定是在调用 split 之后发生的。