c++代码看起来很相似,但行为不同:知道为什么吗?
C++ codes that seem similar but have differents behavior : any idea why?
我有一个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 = gccCOLLECT_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-link -build-id——with-link -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- gjc -1.5.0.0/jre——enable- libgjc -multifile——enable-java-maintainer-mode——with-ecj-jar=/usr/share/java/eclipse-ecj.jar——disable-libjava-multilib——with-ppl——with- clog——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)
似乎很可能你的分割函数是调整t
向量的大小。因此,在像这样的表达式t[v].link = split (aux)
中,如果vector::operator[]
在拆分调用之前被求值(这是可能的),并且拆分函数正在重新分配向量,那么您可能正在访问对不再存在的对象的引用。
使用临时变量的替代代码没有这个问题,因为对vector::operator[]
的调用肯定发生在对split的调用之后。
- 为什么这个结构的大小是 40,而它看起来应该是 12/24?
- 我不知道为什么只有一个代码在两个代码之间具有sigsegv(看起来相同)
- 为什么获得的 MachineGuid 看起来不像 GUID,而是像韩语?
- 我的代码看起来不错。为什么我要得到"error: expected primary-expression before ')' token"?
- C++ 为什么当错误看起来 100% 匹配时会出现错误"no matching function"?
- 什么是UMThunkStubAMD64,为什么它看起来是一个瓶颈
- 为什么在使用初始化语法时不调用转换运算符,为什么 clang 错误消息看起来是错误的
- 为什么此输出看起来不确定?(是十六进制文字的冲刺、printf 还是语法?
- 使用 c++,为什么我知道它不是时会收到错误消息“字符串下标超出范围”?或者至少看起来是这样
- 为什么赋值表达式的标准C++语法看起来如此怪异
- 为什么 JavaScript 看起来比 C++ 快 4 倍
- 为什么GDB中的一些内存地址看起来比其他的短
- 我的柏林噪音看起来不对,几乎像灰色t恤的材料(石南).为什么
- 为什么我的除法结果看起来是错的
- 为什么我得到EXC_BAD_ACCESS,即使指针看起来是有效的
- c++代码看起来很相似,但行为不同:知道为什么吗?
- 为什么我们在"__declspec(dllimport)"看起来如此无用的情况下使用它?
- 为什么看起来好像我的对象被破坏了两次
- 为什么boost::thread::join看起来这么贵
- 为什么 boost::serialize 不起作用,尽管一切看起来都正确?( "unregistered class" )