id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
9201,"CopyConstructible, as a side effect, requires the type to be DefaultConstructible.",David Laštovička <david@…>,jsiek,"The last line in the code bellow (i.e. 'TT b;') in fact requires the TT type to be DefaultConstructible. In my opinion that is not desired. I think that this bug is present also for other concepts (e.g. Assignable).

 
{{{
 BOOST_concept(CopyConstructible,(TT))
  {
    BOOST_CONCEPT_USAGE(CopyConstructible) {
      TT a(b);            // require copy constructor
      TT* ptr = &a;       // require address of operator
      const_constraints(a);
      ignore_unused_variable_warning(ptr);
    }
   private:
    void const_constraints(const TT& a) {
      TT c(a);            // require const copy constructor
      const TT* ptr = &a; // require const address of operator
      ignore_unused_variable_warning(c);
      ignore_unused_variable_warning(ptr);
    }
    TT b;
  };
}}}
",Bugs,closed,To Be Determined,concept_check,Boost Development Trunk,Problem,worksforme,concept CopyConstructible DefaultConstructible Assignable,