1

啊

#ifndef _A__
#define _A__
class A {
  public:
    struct Less {
      bool operator() (const A* const &k1, const A* const &k2) const
      {
        return k1->_a < k2->_a;
      }
    };
    A(int a) : _a(a)
  {
    ;
  }
    virtual ~A()
    {
      ;
    }
  private:
    int _a;
};

#endif

bh

#ifndef _B__
#define _B__
#include "a.h"

class B : public A {
  public:
    B(int a) : A(a)
  {
    ;
  }
    ~B()
    {
      ;
    }
};

#endif // _B__

cpp

#include <set>
#include "a.h"
class B;
class C
{
  std::set<B*, A::Less> _set;
};

当 c.cpp 使用 g++ 8.1 编译时，它无法编译并出现此静态检查错误

/export/dev6/rajpal/gcc/8.1.0/bin/g++ -c c.cpp
In file included from /export/dev6/rajpal/gcc/8.1.0/include/c++/8.1.0/set:60,
                 from c.cpp:1:
/export/dev6/rajpal/gcc/8.1.0/include/c++/8.1.0/bits/stl_tree.h: In instantiation of 'class std::_Rb_tree<B*, B*, std::_Identity<B*>, A::Less, std::allocator<B*> >':
/export/dev6/rajpal/gcc/8.1.0/include/c++/8.1.0/bits/stl_set.h:133:17:   required from 'class std::set<B*, A::Less>'
c.cpp:6:25:   required from here
/export/dev6/rajpal/gcc/8.1.0/include/c++/8.1.0/bits/stl_tree.h:452:21: error: static assertion failed: comparison object must be invocable with two arguments of key type
       static_assert(__is_invocable<_Compare&, const _Key&, const _Key&>{},
                     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

我理解错误是因为在编译时，编译器无法确定如何比较_Key=B*，如果我提供 的定义B，它应该可以正常工作。

但是，我的问题是，是否有任何方法可以告诉编译器B实际上是从中派生的，A并且有一种方法可以比较A对象。

另请注意，我不想更改std::set<B*, A::Less>哪个std::set<A*, A::Less>也可以解决此问题。

4

2 回答 2

2

好吧，这实际上是一个 libstdc++ 错误，将在 GCC 8.4 中修复： https ://gcc.gnu.org/bugzilla/show_bug.cgi?id=85965

于 2019-03-20T00:05:09.963 回答
1

但是，我的问题是是否有任何方法可以告诉编译器B实际上是从A

做到这一点的唯一方法是B在您需要该信息的地方使定义可见。

没有什么类似于类的前向声明来表明B派生自A.

于 2018-07-17T19:49:15.490 回答