[Boost-bugs] [Boost C++ Libraries] #2692: No concepts supporting the idea of dense

Subject: [Boost-bugs] [Boost C++ Libraries] #2692: No concepts supporting the idea of dense
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2009-01-28 20:51:45

#2692: No concepts supporting the idea of dense
--------------------------------+-------------------------------------------
 Reporter:  dougrm_at_[hidden]  |       Owner:  matias       
     Type:  Bugs                |      Status:  new          
Milestone:  Boost 1.38.0        |   Component:  Documentation
  Version:  Boost 1.37.0        |    Severity:  Problem      
 Keywords:                      |  
--------------------------------+-------------------------------------------
 data() returns a reference to a Storage.  However, nowhere in the concepts
 is a statement saying that &m.data()[0] must to be the address of the
 first element of the linearly stored data in the Storage.  The adjective
 "dense" is used all over, but nowhere is this term given any operational
 guarantees. Without such guarantees, all the interfaces in, say, the
 numerics::binding libraries are being built on sand.  Related to this is
 that nothing requires unbounded_array<T>::value_type to be T. The problem
 boils down to the ublas concepts documentation borrowing from the stl
 vector concepts which are general enough to support vector<bool>.  The
 basic (and inadequate) change is the sprinkling around of the word dense
 and the phrase "strict linear order".  Instead you need to explicitly says
 things like value_type is T and  &v[i+j] == &v[i]+j (for reasonable i+j).

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/2692>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.