2010-03-28 16:08:35 +00:00
< html >
< head >
< meta http-equiv = "Content-Type" content = "text/html; charset=US-ASCII" >
< title > Concept Checking</ title >
2010-07-13 20:31:40 +00:00
< link rel = "stylesheet" href = "../../../../../../doc/src/boostbook.css" type = "text/css" >
< meta name = "generator" content = "DocBook XSL Stylesheets V1.75.2" >
2010-03-28 16:08:35 +00:00
< link rel = "home" href = "../../index.html" title = "Chapter 1. Range 2.0" >
< link rel = "up" href = "../concepts.html" title = "Range Concepts" >
< link rel = "prev" href = "random_access_range.html" title = "Random Access Range" >
< link rel = "next" href = "../reference.html" title = "Reference" >
</ head >
< body bgcolor = "white" text = "black" link = "#0000FF" vlink = "#840084" alink = "#0000FF" >
< table cellpadding = "2" width = "100%" >< tr >
< td valign = "top" >< img alt = "Boost C++ Libraries" width = "277" height = "86" src = "../../../../../../boost.png" ></ td >
< td align = "center" >< a href = "../../../../../../index.html" > Home</ a ></ td >
2010-07-13 20:31:40 +00:00
< td align = "center" >< a href = "../../../../../../libs/libraries.htm" > Libraries</ a ></ td >
2010-03-28 16:08:35 +00:00
< td align = "center" >< a href = "http://www.boost.org/users/people.html" > People</ a ></ td >
< td align = "center" >< a href = "http://www.boost.org/users/faq.html" > FAQ</ a ></ td >
< td align = "center" >< a href = "../../../../../../more/index.htm" > More</ a ></ td >
</ tr ></ table >
< hr >
< div class = "spirit-nav" >
2010-07-13 20:31:40 +00:00
< a accesskey = "p" href = "random_access_range.html" >< img src = "../../../../../../doc/src/images/prev.png" alt = "Prev" ></ a >< a accesskey = "u" href = "../concepts.html" >< img src = "../../../../../../doc/src/images/up.png" alt = "Up" ></ a >< a accesskey = "h" href = "../../index.html" >< img src = "../../../../../../doc/src/images/home.png" alt = "Home" ></ a >< a accesskey = "n" href = "../reference.html" >< img src = "../../../../../../doc/src/images/next.png" alt = "Next" ></ a >
2010-03-28 16:08:35 +00:00
</ div >
2010-07-13 20:31:40 +00:00
< div class = "section" >
2010-03-28 16:08:35 +00:00
< div class = "titlepage" >< div >< div >< h3 class = "title" >
< a name = "range.concepts.concept_checking" ></ a >< a class = "link" href = "concept_checking.html" title = "Concept Checking" > Concept Checking</ a >
</ h3 ></ div ></ div ></ div >
< p >
Each of the range concepts has a corresponding concept checking class in
2010-07-22 23:28:41 +00:00
the file < a href = "../../../../../../boost/range/concepts.hpp" target = "_top" >< code class = "computeroutput" >< span class = "special" > < </ span >< span class = "identifier" > boost</ span >< span class = "special" > /</ span >< span class = "identifier" > range</ span >< span class = "special" > /</ span >< span class = "identifier" > concepts</ span >< span class = "special" > .</ span >< span class = "identifier" > hpp</ span >< span class = "special" > > </ span ></ code ></ a > .
2010-04-05 17:36:10 +00:00
These classes may be used in conjunction with the < a href = "../../../../../../libs/concept_check/index.html" target = "_top" > Boost
2010-03-28 16:08:35 +00:00
Concept Check library</ a > to ensure that the type of a template parameter
is compatible with a range concept. If not, a meaningful compile time error
is generated. Checks are provided for the range concepts related to iterator
traversal categories. For example, the following line checks that the type
< code class = "computeroutput" >< span class = "identifier" > T</ span ></ code > models the < a class = "link" href = "forward_range.html" title = "Forward Range" > Forward
Range</ a > concept.
</ p >
< p >
</ p >
< pre class = "programlisting" >< span class = "identifier" > BOOST_CONCEPT_ASSERT</ span >< span class = "special" > ((</ span > < span class = "identifier" > ForwardRangeConcept</ span >< span class = "special" > < </ span >< span class = "identifier" > T</ span >< span class = "special" > > </ span > < span class = "special" > ));</ span >
</ pre >
< p >
</ p >
< p >
An additional concept check is required for the value access property of
the range based on the range's iterator type. For example to check for a
ForwardReadableRange, the following code is required.
</ p >
< p >
</ p >
< pre class = "programlisting" >< span class = "identifier" > BOOST_CONCEPT_ASSERT</ span >< span class = "special" > ((</ span > < span class = "identifier" > ForwardRangeConcept</ span >< span class = "special" > < </ span >< span class = "identifier" > T</ span >< span class = "special" > > </ span > < span class = "special" > ));</ span >
< span class = "identifier" > BOOST_CONCEPT_ASSERT</ span >< span class = "special" > ((</ span > < span class = "identifier" > ReadableIteratorConcept</ span >< span class = "special" > < </ span >< span class = "keyword" > typename</ span > < span class = "identifier" > range_iterator</ span >< span class = "special" > < </ span >< span class = "identifier" > T</ span >< span class = "special" > > ::</ span >< span class = "identifier" > type</ span >< span class = "special" > > </ span > < span class = "special" > ));</ span >
</ pre >
< p >
</ p >
< p >
The following range concept checking classes are provided.
</ p >
< div class = "itemizedlist" >< ul class = "itemizedlist" type = "disc" >
< li class = "listitem" >
2010-07-13 20:31:40 +00:00
Class SinglePassRangeConcept checks for < a class = "link" href = "single_pass_range.html" title = "Single Pass Range" > Single
Pass Range</ a >
</ li >
2010-03-28 16:08:35 +00:00
< li class = "listitem" >
2010-07-13 20:31:40 +00:00
Class ForwardRangeConcept checks for < a class = "link" href = "forward_range.html" title = "Forward Range" > Forward
Range</ a >
</ li >
2010-03-28 16:08:35 +00:00
< li class = "listitem" >
2010-07-13 20:31:40 +00:00
Class BidirectionalRangeConcept checks for < a class = "link" href = "bidirectional_range.html" title = "Bidirectional Range" > Bidirectional
Range</ a >
</ li >
2010-03-28 16:08:35 +00:00
< li class = "listitem" >
2010-07-13 20:31:40 +00:00
Class RandomAccessRangeConcept checks for < a class = "link" href = "random_access_range.html" title = "Random Access Range" > Random
Access Range</ a >
</ li >
2010-03-28 16:08:35 +00:00
</ ul ></ div >
< a name = "range.concepts.concept_checking.see_also" ></ a >< h5 >
2011-01-01 16:46:32 +00:00
< a name = "id652377" ></ a >
2010-03-28 16:08:35 +00:00
< a class = "link" href = "concept_checking.html#range.concepts.concept_checking.see_also" > See also</ a >
</ h5 >
< p >
< a class = "link" href = "../style_guide.html" title = "Terminology and style guidelines" > Range Terminology and style guidelines</ a >
</ p >
< p >
2010-04-05 17:36:10 +00:00
< a href = "../../../../../../libs/iterator/doc/iterator_concepts.html" target = "_top" > Iterator concepts</ a >
2010-03-28 16:08:35 +00:00
</ p >
< p >
2010-04-05 17:36:10 +00:00
< a href = "../../../../../../libs/concept_check/index.html" target = "_top" > Boost Concept Check library</ a >
2010-03-28 16:08:35 +00:00
</ p >
</ div >
< table xmlns:rev = "http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width = "100%" >< tr >
< td align = "left" ></ td >
< td align = "right" >< div class = "copyright-footer" > Copyright © 2003 -2010 Thorsten Ottosen, Neil Groves< p >
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at < a href = "http://www.boost.org/LICENSE_1_0.txt" target = "_top" > http://www.boost.org/LICENSE_1_0.txt</ a > )
</ p >
</ div ></ td >
</ tr ></ table >
< hr >
< div class = "spirit-nav" >
2010-07-13 20:31:40 +00:00
< a accesskey = "p" href = "random_access_range.html" >< img src = "../../../../../../doc/src/images/prev.png" alt = "Prev" ></ a >< a accesskey = "u" href = "../concepts.html" >< img src = "../../../../../../doc/src/images/up.png" alt = "Up" ></ a >< a accesskey = "h" href = "../../index.html" >< img src = "../../../../../../doc/src/images/home.png" alt = "Home" ></ a >< a accesskey = "n" href = "../reference.html" >< img src = "../../../../../../doc/src/images/next.png" alt = "Next" ></ a >
2010-03-28 16:08:35 +00:00
</ div >
</ body >
</ html >
