1

我尝试了以下简单程序的三个迭代。这是编写容器和迭代器对类的高度简化的尝试，但我遇到了不完整类型（前向声明）的问题。我发现一旦我将所有内容都模板化，这实际上是可能的——但前提是我实际使用了模板参数！（我通过查看Google sparsetable code意识到了这一点。）

任何提示解释为什么第二个有效而第三个无效？（我知道为什么第一个不起作用——编译器需要知道容器的内存布局。）

提前致谢。

// This doesn't work: invalid use of incomplete type.
#if 0
struct container;
struct iter {
  container &c;
  int *p;
  iter(container &c) : c(c), p(&c.value()) {}
};
struct container {
  int x;
  int &value() { return x; }
  iter begin() { return iter(*this); }
};
int main() {
  container c;
  c.begin();
  return 0;
}
#endif

// This *does* work.
template<typename T> struct container;
template<typename T> struct iter {
  container<T> &c;
  T *p;
  iter(container<T> &c) : c(c), p(&c.value()) {}
};
template<typename T> struct container {
  T x;
  T &value() { return x; }
  iter<T> begin() { return iter<T>(*this); }
};
int main() {
  container<int> c;
  c.begin();
  return 0;
};

// This doesn't work either.
#if 0
template<typename T> struct container;
template<typename T> struct iter {
  container<int> &c;
  int *p;
  iter(container<int> &c) : c(c), p(&c.value()) {}
};
template<typename T> struct container {
  int x;
  int &value() { return x; }
  iter<int> begin() { return iter<int>(*this); }
};
int main() {
  container<int> c;
  c.begin();
  return 0;
}
#endif
4

3 回答 3

4

第一个需要定义，container因为您正在执行复制操作。如果你定义iterafter定义的构造函数，container你会没事的。所以：

struct container;
struct iter {
  container &c;
  int *p;
  iter(container &c);
};

struct container {
  int x;
  int &value() { return x; }
  iter begin() { return iter(*this); }
};

iter::iter(container &c) : c(c), p(&c.value()) {}

int main() {
  container c;
  c.begin();
  return 0;
}

第二个示例有效，因为在您实际在main函数中实例化一个类之前没有类。到那时，所有类型都已定义。尝试在 main 之后移动任何iteror containertemplates 定义，您会遇到错误。

第三个例子是int它出现的一个特化。这应该可以编译，因为iter没有使用模板参数 for。你的专业化语法有点偏离。但是，没有合适的构造函数，所以你只会得到x. 此外，迭代器可以通过指针很好地建模。Passingthis的值不会有太大帮助。序列通常需要迭代器，而不是单个对象。尽管如此，没有什么可以阻止你建造一个。

而且你不需要;一个函数体。

于 2009-03-06T21:11:28.013 回答
2

你可以在没有模板的情况下通过在定义容器后定义 iter::iter() 来做到这一点：

struct container;

struct iter {
  container &c;
  int *p;
  iter(container &c);
};

struct container {
  int x;
  int &value() { return x; }
  iter begin() { return iter(*this); }
};

iter::iter(container &c)
    : c(c), p(&c.value()) {}

int main() {
  container c;
  c.begin();
  return 0;
}

模板版本有效，因为当您实例化模板时，两个类都已完全定义。

于 2009-03-06T21:03:41.510 回答
0

在第一种情况下，您试图在定义类之前访问 Container 类的成员函数，因此这是行不通的。

在第二种情况下，模板在第一次与特定类型一起使用时被实例化。此时，Container 类已在 main 中定义，因此可以编译。

在第三种情况下，存在循环引用。container 使用 iter，iter 使用 container，所以不能工作。

于 2009-03-06T21:06:43.640 回答