c++ std::set 插入导致分段错误

Question

所有-

我不太明白为什么这段代码会导致分段错误......任何帮助都会很棒。

#include <iostream>
#include <set>

using namespace std;

class A{
public:
    int _x;

    A(int x){
        _x = x;
    }
};

bool fncomp(A a1, A a2){
    return a1._x < a2._x;
}

int main(){
    bool(*fn_pt)(A,A) = fncomp;

    set<A, bool(*)(A,A)> testSet;
    for(int i=0; i<10; i++){
        cout << i << endl;
        A a(i);
        testSet.insert(a);
    }
}

输出是：

0
1
Segmentation Fault

Answer 1

好吧，看看你的代码。您声明了一个函数 fncomp，但您真的在任何地方使用该函数吗？您用它初始化 fn_pt，但 fn_pt 没有在任何地方使用。你不觉得很奇怪吗？如果您从未要求您的 set 对象使用该函数，您如何期望您的 testSet 对象知道您希望它使用您的 fncomp 作为比较器？

您使用普通函数指针类型 bool(*)(A,A) 声明集合 testSet 作为比较器类型。这是比较器的类型。现在，您必须通过构造函数参数将比较器的实际值传递给您的设置对象

set<A, bool(*)(A,A)> testSet(fn_pt);

（

set<A, bool(*)(A,A)> testSet(fncomp);

您实际上并不需要中间指针fn_pt）。

您忘记这样做了，并且 set 对象使用了比较器的默认构造函数参数值，在本例中为空指针。因此，每次 testSet 对象尝试比较两个元素时，它都会通过空指针执行函数调用。难怪会崩溃。

Answer 2

您没有收到有关未使用变量 fn_pt 的编译器警告吗？

变量 testSet 有一个指定类型 bool(*)(A,A) 的内部比较器。由于您没有初始化它，因此它默认初始化为 NULL。因此，当 testSet 尝试插入 A(1) 时，它会尝试调用空函数指针来确定哪个顺序是正确的。

你的意思可能是：

set<A, bool(*)(A,A)> testSet(fn_pt);