程序的奇怪行为

Strange Behavior of a Program

本文关键字:程序      更新时间:2023-10-16

我的代码结构如下:

[code 1]
cout << some_string << endl
cout << some_string << endl
cout << some_string << endl
cout << some_string << endl
cout << some_string << endl
[code 2]

当我删除cout语句时,当cout语句存在时,代码2给出不同的输出。这是否表明存在内存泄漏?

具体示例来自OPENCV的stitching_detailed.cpp。我有以下代码块:

// code 1 - edit added cameras initialization
vector<CameraParams> cameras(0);
HomographyBasedEstimator estimator;
theRNG().state = 0;
estimator(features, pairwise_matches, cameras);
for (size_t i = 0; i < cameras.size(); ++i)
{
    theRNG().state = 0;
    Mat R;
    cameras[i].R.convertTo(R, CV_32F);
    cameras[i].R = R;
    LOGLN("Initial intrinsics #" << indices[i]+1 << ":n" << cameras[i].K());
}
// cout statements
for (size_t i = 0; i < cameras.size(); ++i)
{
    cout << cameras[i].aspect << endl;
    cout << cameras[i].focal << endl;
    cout << cameras[i].K() << endl;
    cout << cameras[i].ppx << endl;
    cout << cameras[i].ppy << endl;
    cout << cameras[i].R << endl;
    cout << cameras[i].t << endl;
}
// code 2
theRNG().state = 0;
Ptr<detail::BundleAdjusterBase> adjuster;
if (ba_cost_func == "reproj") adjuster = new detail::BundleAdjusterReproj();
else if (ba_cost_func == "ray") adjuster = new detail::BundleAdjusterRay();
else
{
    cout << "Unknown bundle adjustment cost function: '" << ba_cost_func << "'.n";
    return -1;
}
theRNG().state = 0;
Mat_<uchar> refine_mask = Mat::zeros(3, 3, CV_8U);
if (ba_refine_mask[0] == 'x') refine_mask(0,0) = 1;
if (ba_refine_mask[1] == 'x') refine_mask(0,1) = 1;
if (ba_refine_mask[2] == 'x') refine_mask(0,2) = 1;
if (ba_refine_mask[3] == 'x') refine_mask(1,1) = 1;
if (ba_refine_mask[4] == 'x') refine_mask(1,2) = 1;
adjuster->setRefinementMask(refine_mask);
adjuster->setConfThresh(conf_thresh);
(*adjuster)(features, pairwise_matches, cameras);

如果我删除cout语句,相机[x]。焦点是NaN。如果我保留cout语句,摄像机[x]。Focal有有效值。

我知道这没什么可给的,但我调试它的努力已经结束了。任何调试问题的帮助都是值得感谢的。即使你知道一个标准的调试方法,也请告诉我。

如果您通过删除看似不相关的代码来暴露bug,这几乎总是未定义行为的标志 bug存在于您的程序的某个地方,这些bug处于休眠状态,直到您的程序内存布局发生微小变化。

至于什么样的未定义行为会导致这样的bug,有多种选择。未初始化的指针,指向错误位置的指针,数组越界错误等等。

(您也可以从堆栈溢出中获得这种行为,尽管在这种情况下似乎不太可能。)