feedc0de/boost_concept_check
1
0
Fork 0
forked from boostorg/concept_check
Code Pull Requests Activity

Moved boost/concept/where.hpp to boost/concept/requires.hpp

Browse Source 
Updated reference.htm to include BOOST_CONCEPT_REQUIRES

Fixed a copyright notice.


[SVN r40770]
This commit is contained in:
Dave Abrahams
2007-11-05 04:43:31 +00:00
parent 7dd50ca8f2
commit d9ae976994
4 changed files with 23 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files
reference.htm
+17
View File
@@ -66,6 +66,23 @@ BOOST_CONCEPT_ASSERT((<em>concept checking class template specialization</em>));
<strong>Note:</strong> this macro can be used at global, class, or function
scope.</p>
<pre>
#include "boost/concept/requires.hpp"
<font color="gray">template &lt;…<em>template parameters</em>…&gt;</font>
BOOST_CONCEPT_REQUIRES(
((<em>concept checking class template specialization<sub>1</sub></em>))
((<em>concept checking class template specialization<sub>2</sub></em>))…
((<em>concept checking class template specialization<sub>n</sub></em>))<strong>,</strong>
(<em>function return type</em>)
) <font color="gray"><em>function_template_name</em>(…<em>function parameters</em>…)</font>
</pre>
<p><strong>Effects:</strong> causes a compilation failure if the
given concepts are not satisfied.<br />
<strong>Note:</strong> this macro is intended to be used in place of
a function template's return type.</p>
<h3><a name="basic-concepts" id="basic-concepts">Basic Concept Checking
Classes</a></h3>
<pre>