2

以下代码产生分段错误，我不知道为什么：

    myTree<int> tree;
    tree.insert(10); // not important

    std::vector<int> v = tree.toVector(); // Segmentation fault

这是 myTree 代码（简化，不可编译，足以理解它的含义）：

template<class T> struct node {
    T key;
    node *left;
    node *right;
    int count;

    node(const T &k=T(), node *l=0, node *r=0) {
        key = k;
        left = l;
        right = r;
        count = 1;
    }
};

template<class T> class myTree {
public:
    myTree() {
        root = 0;
    }

    void traverseInOrder(void (*visitFunc)(node<T>* n)) {
        traverseInOrder(visitFunc, root);
    }

    std::vector<T> toVector() {
        std::vector<T> v;
        traverseInOrder([&](node<T>* n) {
            v.insert(v.end(), n->count, n->key);
        });
        return v;
    }
private:
    void traverseInOrder(void (*visitFunc)(node<T> *n), node<T> *n) {
        if (n == 0) {
            return;
        } else {
            if (n->left != 0) {
                traverseInOrder(visitFunc, n->left);
            }

            (*visitFunc)(n);

            traverseInOrder(visitFunc, n->right);
        }
    }

    node<T> *root;
};

分段错误发生在这一行：

v.insert(v.end(), n->count, n->key);

NetBeans 变量窗口显示 v 是 OUT_OF_SCOPE。

问题：我是否正确使用了 lambda？

注意：我使用的是 g++ (GCC) 4.7.2 (Cygwin)。

4

1 回答 1

6

正如@Arkadiy 在评论中提到的，有状态的 lambda 不会衰减为函数指针。解决方法是将您traverseInOrder的模板编写为采用可调用对象的模板

template<class Func>
void traverseInOrder(Func visitFunc)) {
    traverseInOrder(visitFunc, root);
}

或者，您可以更加类型安全并给它一个签名，该签名接受一个std::function返回void 并接受一个node<T>*

void traverseInOrder(std::function<void(node<T>*)> visitFunc)) {
    traverseInOrder(visitFunc, root);
}
于 2013-06-26T18:17:16.563 回答