0

我正在尝试为我的基类 Iterator 编写 LINQ 样式的方法,List 和 Sequence 将从该基类继承,但是这两个容器将有自己的这些方法的实现。“Where”方法非常简单。“选择”方法非常棘手;你不能有虚拟模板方法。

  template <typename T>
  class Iterator {
  public:
    virtual ~Iterator() {};

    // This is illegal, but if it weren't, it would be the functionality I want.
    template <typename R>
    virtual shared_ptr<IIterator<R>> Select(const function<R(T)>& func) = 0;

    virtual shared_ptr<IIterator<T>> Where(const function<bool(T)>& func) = 0;
  };

例如,“选择”将允许您将“火腿三明治”类型的迭代器转换为“生菜”类型的迭代器。

HamSandwiches->Select<'Lettuce'>([] (shared_ptr<'HamSandwich'> hs) { return hs->Lettuce; });

忽略单引号。

因为我们不能有虚拟模板函数,所以我当然不能把函数设为虚拟。在这种情况下,我们有一个普通的旧函数,与虚函数相比,我们永远不应该通过在 List 和 Sequence 中编写实现来“隐藏”它的实现;这将被视为设计缺陷。

  template <typename T>
  class Iterator {
  public:
    virtual ~Iterator() {};

    template <typename R>
    shared_ptr<Iterator<R>> Select(const function<R(T)>& func);

    virtual shared_ptr<Iterator<T>> Where(const function<bool(T)>& func) = 0;
  };

  template <typename T>
  template <typename R>
  shared_ptr<Iterator<R>> Iterator<T>::Select(const function<R(T)>& func) {
    //Implementation - What would it be?
  }

现在我们必须在我们的基类中有实现,这个实现需要特定于 List 和 Sequence。从我所见,您将开始创建受保护的“实现函数”以在“选择”中执行某些可能被列表或序列覆盖的操作。

我不是在这里寻找确切的答案,我正在寻找可以帮助我到达我可能/应该想去的地方的东西。有没有人发现任何常见的陷阱或我可能做错的事情?

4

1 回答 1

3

选项1

我看到的在 C++ 中实现 LINQ 的想法根本不依赖于虚拟方法。相反,每个结果都被包装在一个模板类中,大致如下:

template <class T>
class RangeWrapper
{
public:
    template <class U>
    Select(U u) -> decltype(...) {
        return RangeWrapper<SelectRange, U>(_myRange, u);
    }

private:
    T& _myRange;
};

如果你链接其中的一些,返回类型可能会变得非常大,但这是在编译时完成所有事情的代价。

选项 2

您可以实现类型擦除以始终返回 type 的迭代器Iterator<T>。这应该很容易使用网络上的类型擦除迭代器库来实现(有很多,你可以看看 boost.TypeErasure 已被接受但尚未发布)。或者,您可以在 boost 中使用 any_range,如果您可以使用范围(它们比迭代器更自然地映射到 LINQ)。

选项 3

如果您不将此作为培训练习,那么已经实施了几种解决方案。使用谷歌。值得注意的是,Microsoft 本身正在开发 C++ Linq 以在其之上实现响应式扩展

于 2012-11-19T03:09:24.553 回答