Re: [boost] [spirit] Support for one-pass iterators?

Subject: Re: [boost] [spirit] Support for one-pass iterators?
From: Christian Schladetsch (christian.schladetsch_at_[hidden])
Date: 2009-10-19 11:16:21

   grammar(
       start_type const& start
     , std::string const& name_ = "unnamed-grammar")
=>  : proto::extends<terminal, base_type>(terminal::make(

start.alias()))
   , name_(name_)
   {}

Here "start" is a reference to a not yet constructed object.

No, it's not. "start" is a reference to a well-formed object - or at least
to an object that is defined in user-space as well formed.

My argument is based on this premise, and this alone: 'start' is fully
created before it it used by the grammar.

If this is not true, please speak to Stroustrup. If it is true, then I am
right and I take no pleasure from it. I don't think you're unable to grasp
what I am saying, and I am sure you think there is a problem. But I just
don't see it. I don't care about the details: the fact is that if you are
taking a reference then that object has been well formed or you are doing
something silly.

Regards,
Christian