forked from boostorg/concept_check
Point links to the pages that used to be in 'more' to the site.
[SVN r43210]
This commit is contained in:
@ -26,7 +26,7 @@
|
||||
<blockquote>
|
||||
The Concept Check library allows one to add explicit statement and
|
||||
checking of <a href=
|
||||
"../../more/generic_programming.html#concept">concepts</a> in the style
|
||||
"http://www.boost.org/more/generic_programming.html#concept">concepts</a> in the style
|
||||
of the <a href=
|
||||
"http://www.generic-programming.org/languages/conceptcpp/specification/">proposed
|
||||
C++ language extension</a>.
|
||||
@ -36,7 +36,7 @@
|
||||
|
||||
<p>Generic programming in C++ is characterized by the use of template
|
||||
parameters to represent abstract data types (or “<a href=
|
||||
"../../more/generic_programming.html#concept">concepts</a>”). However, the
|
||||
"http://www.boost.org/more/generic_programming.html#concept">concepts</a>”). However, the
|
||||
C++ language itself does not provide a mechanism for the writer of a class
|
||||
or function template to explicitly state the concept that the user-supplied
|
||||
template argument should model (or conform to). Template parameters are
|
||||
|
@ -76,7 +76,7 @@ struct InputIterator
|
||||
InputIterator concept.</p>
|
||||
|
||||
<p>Next, we declare the concept's <a href=
|
||||
"../../more/generic_programming.html#associated_type">associated types</a>
|
||||
"http://www.boost.org/more/generic_programming.html#associated_type">associated types</a>
|
||||
as member typedefs. The associated difference type is required to be a
|
||||
signed integer, and the iterator category has to be convertible to
|
||||
std::input_iterator_tag, so we assert those relationships. The syntax for
|
||||
|
Reference in New Issue
Block a user