c++ - 使用嵌套类解析模板

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++ 中是无效的，因为我应该解决 Daughter在访问其嵌套类之前。然而，我的Nested类非常简单，不需要真正定义其上层类。

所以，我可以声明 Nested外面Daughter , 称之为 FooComparator之类的，但说它是 Nested 似乎更简洁里面Daughter .

请注意，我不想声明 operator<里面Foo因为在我的真实情况下它代表城市，我认为声明 operator< 不是很干净对于城市。

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

Answer 1

实际上对我来说一个好的解决方案是像你说的那样实现 FooComparator，因为如果比较器属于 Foo，那么拥有它在 Daughter 中。如果您需要再次比较 Foo 但来自另一个类怎么办？但是，如果您绝对希望在一个类中使用这个比较器类，也许您可​​以在 Foo 中实现比较器:

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

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