Integral Sequence Wrapper
Description
An |Integral Sequence Wrapper| is a class template that provides a concise
interface for creating a corresponding sequence of |Integral Constant|s. In
particular, assuming that seq is a name of the wrapper's underlying
sequence and |c1...cn| are integral constants of an integral type T to
be stored in the sequence, the wrapper provides us with the following
notation:
If seq is a |Variadic Sequence|, numbered wrapper forms are
also avaialable:
Expression semantics
typedef seq_c<T,|c1...cn|> s;
typedef seqn_c<T,|c1...cn|> s;
Semantics: | s is a sequence seq of integral constant wrappers integral_c<T,|c1|>,
integral_c<T,|c2|>, ... integral_c<T,|cn|>. |
Postcondition: | size<s>::value == n.
|
typedef seq_c<T,|c1...cn|>::type s;
typedef seqn_c<T,|c1...cn|>::type s;
Semantics: | s is identical to
seqn<integral_c<T,|c1|>,integral_c<T,|c2|>,
... integral_c<T,|cn|> >. |
typedef seq_c<T,|c1...cn|>::value_type t;
typedef seqn_c<T,|c1...cn|>::value_type t;
Semantics: | is_same<t,T>::value == true. |
Note: See
TracBrowser
for help on using the repository browser.