>>>>> Also as I suspected in v1 `Clist` appears to do very little apart from >>>>> providing an iterator, so I'm more convinced that the front type for >>>>> this should be `ClistHead`. >>>> >>>> This part I don't agree with. I prefer to keep it as `Clist` which wraps a >>>> sentinel list head. A random `ClistHead` is not necessarily a sentinel. >>> >>> I expressed myself poorly - what I meant of that `ClistHead` should be >>> the only type you need for the low-level iteration (which should not be >>> public). >> >> For low level iteration it is already via that type. There are 2 iterators. >> The higher level uses the lower level one. I could make it even simpler and >> collapse bother iterators into one - that yields the final type T. > > I think the current 2 iterators design is elegant: the lower-level one > taking care of going through the list, and the higher-level one building > on top of that and adding upcasting. Maybe the lower-level one can be > made private, but I'd keep it in any case. >
Yeah, I kept it split for that purpose but had a nagging feeling if it was required. But ok, I will leave that part alone then. Making it private sgtm. Thanks.
