| Front Page / Sequences / Concepts / Integral Sequence Wrapper |
An Integral Sequence Wrapper is a class template that provides a concise interface for creating a corresponding sequence of Integral Constants. In particular, assuming that seq is a name of the wrapper's underlying sequence and c1,c2,... cn are integral constants of an integral type T to be stored in the sequence, the wrapper provides us with the following notation:
seq_c<T,c1,c2,... cn>
If seq is a Variadic Sequence, numbered wrapper forms are also avaialable:
seqn_c<T,c1,c2,... cn>
In the following table and subsequent specifications, seq is a placeholder token for the Integral Sequence Wrapper's underlying sequence's name.
| Expression | Type | Complexity |
|---|---|---|
| seq_c<T,c1,c2,... cn> | Forward Sequence | Amortized constant time. |
| seq_c<T,c1,c2,... cn>::type | Forward Sequence | Amortized constant time. |
| seq_c<T,c1,c2,... cn>::value_type | An integral type | Amortized constant time. |
| seqn_c<T,c1,c2,... cn> | Forward Sequence | Amortized constant time. |
| seqn_c<T,c1,c2,... cn>::type | Forward Sequence | Amortized constant time. |
| seqn_c<T,c1,c2,... cn>::value_type | An integral type | Amortized constant time. |
typedef seq_c<T,c1,c2,... cn> s; typedef seqn_c<T,c1,c2,... 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,c2,... cn>::type s; typedef seqn_c<T,c1,c2,... 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,c2,... cn>::value_type t; typedef seqn_c<T,c1,c2,... cn>::value_type t;
| Semantics: | is_same<t,T>::value == true. |
|---|