]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | |
2 | .. _`Overloaded name`: | |
3 | ||
4 | Overloaded name | |
5 | Overloaded name is a term used in this reference documentation to designate | |
6 | a metafunction providing more than one public interface. In reality, | |
7 | class template overloading is nonexistent and the referenced functionality | |
8 | is implemented by other, unspecified, means. | |
9 | ||
10 | ||
11 | .. _`Concept-identical`: | |
12 | ||
13 | Concept-identical | |
14 | A sequence ``s1`` is said to be concept-identical to a sequence ``s2`` if | |
15 | ``s1`` and ``s2`` model the exact same set of concepts. | |
16 | ||
17 | ||
18 | .. _`Bind expression`: | |
19 | ||
20 | Bind expression | |
21 | A bind expression is simply that |--| an instantiation of one of the |bind| | |
22 | class templates. For instance, these are all bind expressions:: | |
23 | ||
24 | bind< quote3<if_>, _1,int,long > | |
25 | bind< _1, bind< plus<>, int_<5>, _2> > | |
26 | bind< times<>, int_<2>, int_<2> > | |
27 | ||
28 | and these are not:: | |
29 | ||
30 | if_< _1, bind< plus<>, int_<5>, _2>, _2 > | |
31 | protect< bind< quote3<if_>, _1,int,long > > | |
32 | _2 | |
33 | ||
34 | ||
35 | .. |overloaded name| replace:: `overloaded name`_ | |
36 | .. |concept-identical| replace:: `concept-identical`_ | |
37 | .. |bind expression| replace:: `bind expression`_ | |
38 | ||
39 | ||
40 |