选项A错误，因为Iterator接口可以遍历所有实现了Collection接口的集合，不仅仅是List。选项B正确，Iterator的remove方法可以在遍历时安全地删除元素，因为它会同步更新expectedModCount。选项C错误，hasNext方法用于判断是否还有下一个元素，而不是返回元素的数量。选项D错误，next方法返回的是当前指针指向的元素，并将指针移动到下一个元素，而不是总是返回第一个元素。