Question

class Foo // Empty class
{
};

template <class T> // Abstract class
class Comparator
{
public:
  virtual ~Comparator() {}

  virtual bool operator()(const T& e1, const T& e2) = 0;
};

// Mother class that contains a map and some other methods that I did not copied here
template <class Key, class Value, class Comparator = std::less<Key> >
class Mother
{
private:
  std::map<Key, Value, Comparator> data_;
};

// Daughter class that wants to use its own Comparator (called Nested)
class Daughter : public Mother<Foo, Foo, typename Daugher::Nested>
{
public:
  class Nested : public Comparator<Foo>
  {
    bool operator()(const Foo& e1, const Foo& e2)
    {
      return true; // Not my real code. However, what would it mean to always return true in this kind of operation ? std::map would be pretty unusable, i guess ?
    }
  }
};

这段代码不会编译，因为G ++无法访问Nested因为我在访问Nested之前没有解决Daugher的模板。我想，如果我写Daughter<?????>::Nested，它可能会奏效。但是，我需要给Daughter自己的比较器，我无法访问，因为我需要使用Daughter<?????>和递归方式访问它。

我很确定我在C ++中尝试做的事情是无效的，因为我应该在访问其Nested类之前解析Daughter。但是，我的Nested类非常简单，并且不需要真正定义其上层类。

所以，我可以在Nested之外声明Daughter，将其称为FooComparator或其他内容，但在Nested内Daughter说operator<似乎更清晰

请注意，我不想在Foo内声明operator<，因为在我的实际案例中，它代表了城市，而且我认为声明{{{1}非常干净1}}对于城市。

是否有更清洁的选项，以便我可以声明我的子类并要求它使用自己的比较器？

Answer 1

实际上对我来说，一个好的解决方案就是如你所说的那样实现FooComparator，因为如果比较器属于Foo，那么将它放在Daughter中是没有意义的。 }。如果您需要再次比较Foo但是从另一个班级比较怎么办？但是，如果您绝对希望在一个类中使用此比较器类，也许可以在Foo中实现比较器：

struct Foo {
  struct Comp: Comparator<Foo> {
    ...
  };
};

class Daughter: public Mother<Foo, Foo, Foo::Comp>
{
  ...
};

使用嵌套类解析模板

1 个答案: