c++ 如何在函数正确执行后修复Core Dumped错误?

6l7fqoea  于 9个月前  发布在  其他
关注(0)|答案(1)|浏览(100)

我写了C++代码:

#include <iostream>
#include <queue>
#include <stack>
#include <vector>
#include <unordered_map>
#include <algorithm>

using namespace std;

template <class T>
class TreeNode {
public:
    T data;
    TreeNode<T> *left, *right;

    TreeNode() {
        data = {};
        left = right = NULL;
    }

    TreeNode(T data) {
        this->data = data;
    }
};

template <class T>
class BinaryTree {
public:
    TreeNode<T> *root;

    vector<T> _largestIndependentSet(TreeNode<T> *root) {
        static unordered_map< TreeNode<T>*, vector<T> > table;

        if(!root)
            return {};

        if(table.find(root) != table.end()) 
            return table[root];

        vector<T> lis = {}, lis_left = {}, lis_right = {},
            lis_nrl_left = {}, lis_nrl_right = {}, lis_nrr_left = {}, lis_nrr_right = {};

        // Leaf
        if(!root->left && !root->right) {
            lis.push_back(root->data);
        }else{
            if(root->left){
                lis_left = _largestIndependentSet(root->left);
                lis_nrl_left = _largestIndependentSet(root->left->left);
                lis_nrl_right = _largestIndependentSet(root->left->right);
            }

            if(root->right){
                lis_right = _largestIndependentSet(root->right);
                lis_nrr_left = _largestIndependentSet(root->right->left);
                lis_nrr_right = _largestIndependentSet(root->right->right);
            }
            if(     lis_left.size() + lis_right.size() > 
                    lis_nrl_left.size() + lis_nrl_right.size() +
                    lis_nrr_left.size() + lis_nrr_right.size() + 1      ){ // don't keep root
                lis.insert(lis.end(), lis_left.begin(), lis_left.end());
                lis.insert(lis.end(), lis_right.begin(), lis_right.end());
            }
            else {
                lis.insert(lis.end(), lis_nrl_left.begin(), lis_nrl_left.end());
                lis.insert(lis.end(), lis_nrl_right.begin(), lis_nrl_right.end());
                lis.insert(lis.end(), lis_nrr_left.begin(), lis_nrr_left.end());
                lis.insert(lis.end(), lis_nrr_right.begin(), lis_nrr_right.end());
                lis.push_back(root->data);
            }
        }
        cout<<"Calculated Results for: "<<root->data<<": ";
        for_each(lis.begin(), lis.end(), [](T data) {
            cout<<data<<" ";
        });
        cout<<"\n";
        table[root] = lis;
        return table[root];
    }

    void largestIndependentSet() {
        vector<T> lis = _largestIndependentSet(this->root);
        for_each(lis.begin(), lis.end(), [](T data) {
            cout<<data<<" ";
        });
    }
};

int main() {

    BinaryTree<int> bt;
    TreeNode<int> *root = new TreeNode<int>(10);
    root->left =  new TreeNode<int>(7);
    root->right =  new TreeNode<int>(15);
    root->left->left =  new TreeNode<int>(9);
    root->left->right =  new TreeNode<int>(12);
    root->right->left =  new TreeNode<int>(6);
    root->right->right =  new TreeNode<int>(11);
    root->left->left->left = new TreeNode<int>(20);
    root->right->left->right = new TreeNode<int>(5);
    root->left->left->left->left = new TreeNode<int>(22);
    root->left->left->left->right = new TreeNode<int>(21);
    root->right->left->right->left = new TreeNode<int>(4);
    root->right->left->right->right = new TreeNode<int>(3);
    bt.root = root;

    bt.largestIndependentSet();
    return 0;
}

字符串
我在Cygwin上使用g++ 5.4.0编译了它:

g++ binary_tree.cpp -std=c++11


问题是,在递归函数_largestIndependentSet()完成后,最后一次打印给了我正确的答案。但在那之后,我得到了这个错误:Aborted(core dumped),并且largestIndependentSet()中的打印没有执行。
这是令人费解的,因为我的逻辑似乎是正确的,这是什么原因造成的呢?
PS:如果我编译它与c++14标志它运行罚款o_O:

g++ binary_tree.cpp -std=c++14

qc6wkl3g

qc6wkl3g1#

在发布的代码中不涉及两个以上的主要问题。

  • T值构造函数的不确定子指针值。
  • 缺少largestIndependentSet()的返回值

前一种情况很常见,尤其是对于C的初学者。确保您没有留下任何不确定的值。在本例中,TreeNode(T value)构造函数中的leftright都是不确定的。
后者非常重要。函数largestIndependentSet()声称它返回一个向量,但实际上根本没有return。同样,这调用了 * 未定义的行为 *。从那里我可以推测,但注意这就是全部:推测:
猜测:编译器很高兴地生成了代码,最终将激活堆栈上的任何内容都视为std::vector<T>,而不是由您取消设置。当然,这是不确定的胡言乱语,因为您从未返回过实际对象。但是std::vector<>的非虚拟析构函数的调用肯定不知道这一点,并且在这样做的过程中,把任何碰巧占据它认为是它的成员变量的东西都当作有效数据,而实际上它不是。简短的说:取随机内存,指向std::vector<>析构函数代码,欺骗代码说内存中有一个有效的std::vector<>对象,然后松开析构函数。
至于为什么编译器没有 error。嗯,通常在C或C
中,做一些不明智的事情并不是什么错误。编译器希望你对你正在做的事情有足够的了解,在这种情况下,不存在语言冲突,所以它给了你怀疑的好处。然而,在大多数现代编译器上,把你的编译器警告级别提高到学究式的高度,(icc,gcc,clang和msvc)* 警告 * 你丢失了返回值。这些警告是有原因的,我强烈支持把它们打开 * 并把它们当作错误处理(也是编译器的一个选项)。

相关问题