为什么std :: set :: insert调用带有错误参数的operator <

如何解决为什么std :: set :: insert调用带有错误参数的operator <

我需要帮助来了解为什么std::set<T>::insert(T)调用operator<(const T&,const T&)并将其无效引用作为第二个参数，从而在我第一次插入时创建了段错误。

这是我要在集合中插入其对象的类：

/**
 * A CPC category.
 */
class Category {

  private:
    char m_section;
    int  m_class;
    char m_subclass;
    int  m_group;
    int  m_subgroup;

  public:
    Category();
    Category(char t_section,int t_class,char t_subclass,int t_group,int t_subgroup);
    char get_section() const;
    int  get_class() const;
    char get_subclass() const;
    int  get_group() const;
    int  get_subgroup() const;

};

这是我的operator<（很抱歉，不是最干净的方法）：

/**
 * Obeys simple lexical order. A smaller-than operator for Category is
 * required to allow objects to be placed in an std::set.
 */
bool operator<(const Category& cat1,const Category& cat2)
{
    return (cat1.get_section() == cat2.get_section() ?
                cat1.get_class() == cat2.get_class() ?
                    cat1.get_subclass() == cat2.get_subclass() ?
                        cat1.get_group() == cat2.get_group() ?
                            cat1.get_subgroup() == cat2.get_subgroup() ?
                                true :
                                cat1.get_subgroup() < cat2.get_subgroup() :
                            cat1.get_group() < cat2.get_group() :
                        cat1.get_subclass() < cat2.get_subclass() :
                    cat1.get_class() < cat2.get_class() :
                cat1.get_section() < cat2.get_section());
}

这是创建集合的代码：

std::istream& operator>> (std::istream& is,CategorySet& cs)
{
    std::set<Category>* cats;
    Category cat;
    while (is >> cat) {
        cats->insert(cat);
    }   
    cs = CategorySet{ cats };
    return is;
}

我在cats->insert(cat);之前放置了一个断点：

Breakpoint 1,InnovationModelling::operator>> (is=...,cs=...) at lib/PatentData.cpp:126
126         cats->insert(cat);
(gdb) p *cats
$9 = std::set with 0 elements
(gdb) p cat
$1 = {m_section = 65 'A',m_class = 1,m_subclass = 65 'A',m_group = 1,m_subgroup = 0}
(gdb) ptype cat
type = class InnovationModelling::Category {
  private:
    char m_section;
    int m_class;
    char m_subclass;
    int m_group;
    int m_subgroup;

  public:
    Category(void);
    Category(char,int,char,int);
    char get_section(void) const;
    int get_class(void) const;
    char get_subclass(void) const;
    int get_group(void) const;
    int get_subgroup(void) const;
}

（上面的$9是因为我忘记显示该集合为空，所以我第二次运行该程序。）

然后我逐步浏览了std::set的内容，直到它调用operator()为止，该内容没有过载：

(gdb) s
std::less<InnovationModelling::Category>::operator() (this=0x5555555993c0 <std::cout@@GLIBCXX_3.4>,__x=...,__y=...)
    at /usr/include/c++/10.2.0/bits/stl_function.h:386
386       { return __x < __y; }
(gdb) p __x
$2 = (const InnovationModelling::Category &) @0x7fffffffd3b0: {m_section = 65 'A',m_subgroup = 0}
(gdb) p __y
$3 = (const InnovationModelling::Category &) <error reading variable>

当然，operator<被使用此无效引用调用，因此get_section()最终在其上被调用并出现段错误：

(gdb) s
InnovationModelling::Category::get_section (this=0x26) at lib/PatentData.cpp:187
187     return m_section;
(gdb) p this
$7 = (const InnovationModelling::Category * const) 0x26
(gdb) p *this
Cannot access memory at address 0x26
(gdb) s

Program received signal SIGSEGV,Segmentation fault.
0x0000555555568412 in InnovationModelling::Category::get_section (this=0x26) at lib/PatentData.cpp:187

很抱歉，std::set::insert()在做什么，但是我是C ++的初学者，我什至无法解决需要调用{ {1}}完全可以在空集中插入某些内容。

解决方法

这是创建集合的代码：

'不怕。

您创建了一个指向集合的指针，但实际上并没有指向任何集合；只是一个未初始化的指针。

您可以使用new动态分配一个集，但是除非必须这样做，否则不要这样做。实际上，除非必须使用，否则不要使用指针。 CategorySet将驱动您的需求（对此我们一无所知），但是，如果您可以使您的设置成为一个不错的局部变量，那么生活将会更加轻松。