2004-11-28 03:35:12 +00:00
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
< html xmlns = "http://www.w3.org/1999/xhtml" xml:lang = "en" lang = "en" >
< head >
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" / >
2010-08-09 20:07:24 +00:00
< meta name = "generator" content = "Docutils 0.7: http://docutils.sourceforge.net/" / >
2004-11-28 03:35:12 +00:00
< title > The MPL Reference Manual: Variadic Sequence< / title >
< link rel = "stylesheet" href = "../style.css" type = "text/css" / >
< / head >
< body class = "docframe refmanual" >
< table class = "header" > < tr class = "header" > < td class = "header-group navigation-bar" > < span class = "navigation-group" > < a href = "./integral-sequence-wrapper.html" class = "navigation-link" > Prev< / a > < a href = "./classes.html" class = "navigation-link" > Next< / a > < / span > < span class = "navigation-group-separator" > | < / span > < span class = "navigation-group" > < a href = "./integral-sequence-wrapper.html" class = "navigation-link" > Back< / a > Along< / span > < span class = "navigation-group-separator" > | < / span > < span class = "navigation-group" > < a href = "./concepts.html" class = "navigation-link" > Up< / a > < a href = "../refmanual.html" class = "navigation-link" > Home< / a > < / span > < span class = "navigation-group-separator" > | < / span > < span class = "navigation-group" > < a href = "./refmanual_toc.html" class = "navigation-link" > Full TOC< / a > < / span > < / td >
< td class = "header-group page-location" > < a href = "../refmanual.html" class = "navigation-link" > Front Page< / a > / < a href = "./sequences.html" class = "navigation-link" > Sequences< / a > / < a href = "./concepts.html" class = "navigation-link" > Concepts< / a > / < a href = "./variadic-sequence.html" class = "navigation-link" > Variadic Sequence< / a > < / td >
< / tr > < / table > < div class = "header-separator" > < / div >
< div class = "section" id = "variadic-sequence" >
2010-08-09 20:07:24 +00:00
< h1 > < a class = "toc-backref" href = "./concepts.html#id1404" > Variadic Sequence< / a > < / h1 >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id45" >
2004-11-28 03:35:12 +00:00
< h3 > < a class = "subsection-title" href = "#description" name = "description" > Description< / a > < / h3 >
2009-08-17 11:30:52 +00:00
< p > A < a class = "reference internal" href = "./variadic-sequence.html" > Variadic Sequence< / a > is a member of a family of sequence classes with both
< em > variadic< / em > and < em > numbered< / em > forms. If < tt class = "literal" > < span class = "pre" > seq< / span > < / tt > is a generic name for some
< a class = "reference internal" href = "./variadic-sequence.html" > Variadic Sequence< / a > , its < em > variadic form< / em > allows us to specify a sequence of
< em > n< / em > elements < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > , for any < em > n< / em > from 0 up to a
< a class = "reference internal" href = "./configuration.html" > preprocessor-configurable limit< / a > < tt class = "literal" > < span class = "pre" > BOOST_MPL_LIMIT_< / span > < / tt > < em > seq< / em > < tt class = "literal" > < span class = "pre" > _SIZE< / span > < / tt > ,
2004-11-28 03:35:12 +00:00
using the following notation:< / p >
< blockquote >
< div class = "line-block" >
< div class = "line" > < tt class = "literal" > < span class = "pre" > seq< < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > < / span > < / tt > < / div >
< / div >
< / blockquote >
2009-08-17 11:30:52 +00:00
< p > By contrast, each < em > numbered< / em > sequence form accepts the exact number of elements
2004-11-28 03:35:12 +00:00
that is encoded in the name of the corresponding class template:< / p >
< blockquote >
< div class = "line-block" >
< div class = "line" > < tt class = "literal" > < span class = "pre" > seq< / span > < / tt > < em > n< / em > < tt class = "literal" > < span class = "pre" > < < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > < / span > < / tt > < / div >
< / div >
< / blockquote >
2009-08-17 11:30:52 +00:00
< p > For numbered forms, there is no predefined top limit for < em > n< / em > , aside from compiler
2004-11-28 03:35:12 +00:00
limitations on the number of template parameters.< / p >
2009-08-17 11:30:52 +00:00
<!-- The variadic form of sequence ``seq`` is defined in
2004-11-28 03:35:12 +00:00
``< boost / mpl / ` ` \ * seq * \ ` ` . hpp > `` header.
2009-08-17 11:30:52 +00:00
The numbered forms are defined in batches of 10. -->
2004-11-28 03:35:12 +00:00
< / div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id47" >
2004-11-28 03:35:12 +00:00
< h3 > < a class = "subsection-title" href = "#expression-requirements" name = "expression-requirements" > Expression requirements< / a > < / h3 >
2009-08-17 11:30:52 +00:00
< p > In the following table and subsequent specifications, < tt class = "literal" > < span class = "pre" > seq< / span > < / tt > is a placeholder token for the actual
< a class = "reference internal" href = "./variadic-sequence.html" > Variadic Sequence< / a > name.< / p >
< table border = "1" class = "docutils table" >
2004-11-28 03:35:12 +00:00
< colgroup >
< col width = "35%" / >
< col width = "30%" / >
< col width = "35%" / >
< / colgroup >
< thead valign = "bottom" >
2009-08-17 11:30:52 +00:00
< tr > < th class = "head" > Expression< / th >
< th class = "head" > Type< / th >
< th class = "head" > Complexity< / th >
2004-11-28 03:35:12 +00:00
< / tr >
< / thead >
< tbody valign = "top" >
< tr > < td > < tt class = "literal" > < span class = "pre" > seq< < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > < / span > < / tt > < / td >
2009-08-17 11:30:52 +00:00
< td > < a class = "reference internal" href = "./forward-sequence.html" > Forward Sequence< / a > < / td >
2004-11-28 03:35:12 +00:00
< td > Amortized constant time< / td >
< / tr >
< tr > < td > < tt class = "literal" > < span class = "pre" > seq< < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > ::type< / span > < / tt > < / td >
2009-08-17 11:30:52 +00:00
< td > < a class = "reference internal" href = "./forward-sequence.html" > Forward Sequence< / a > < / td >
2004-11-28 03:35:12 +00:00
< td > Amortized constant time< / td >
< / tr >
< tr > < td > < tt class = "literal" > < span class = "pre" > seq< / span > < / tt > < em > n< / em > < tt class = "literal" > < span class = "pre" > < < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > < / span > < / tt > < / td >
2009-08-17 11:30:52 +00:00
< td > < a class = "reference internal" href = "./forward-sequence.html" > Forward Sequence< / a > < / td >
2004-11-28 03:35:12 +00:00
< td > Amortized constant time< / td >
< / tr >
< tr > < td > < tt class = "literal" > < span class = "pre" > seq< / span > < / tt > < em > n< / em > < tt class = "literal" > < span class = "pre" > < < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > ::type< / span > < / tt > < / td >
2009-08-17 11:30:52 +00:00
< td > < a class = "reference internal" href = "./forward-sequence.html" > Forward Sequence< / a > < / td >
2004-11-28 03:35:12 +00:00
< td > Amortized constant time< / td >
< / tr >
< / tbody >
< / table >
< / div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id48" >
2004-11-28 03:35:12 +00:00
< h3 > < a class = "subsection-title" href = "#expression-semantics" name = "expression-semantics" > Expression semantics< / a > < / h3 >
< pre class = "literal-block" >
typedef seq< < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > > s;
typedef seq< em > n< / em > < < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > > s;
< / pre >
2009-08-17 11:30:52 +00:00
< table class = "docutils field-list" frame = "void" rules = "none" >
2004-11-28 03:35:12 +00:00
< col class = "field-name" / >
< col class = "field-body" / >
< tbody valign = "top" >
< tr class = "field" > < th class = "field-name" > Semantics:< / th > < td class = "field-body" > < tt class = "literal" > < span class = "pre" > s< / span > < / tt > is a sequence of elements < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > .< / td >
< / tr >
2009-08-17 11:30:52 +00:00
< tr class = "field" > < th class = "field-name" > Postcondition:< / th > < td class = "field-body" > < tt class = "literal" > < span class = "pre" > < a href = "./size.html" class = "identifier" > size< / a > < s> ::value< / span > < span class = "pre" > ==< / span > < span class = "pre" > n< / span > < / tt > .<!-- FIXME .. parsed - literal::
2004-11-28 03:35:12 +00:00
BOOST_MPL_ASSERT((|is_same|\< at_c < v , 0 > ::type,\ |t1| >));
BOOST_MPL_ASSERT((|is_same|\< at_c < v , 1 > ::type,\ |t2| >));
...
BOOST_MPL_ASSERT((|is_same|\< at_c < v , \ * n * > ::type,\ |tn| >)); -->
< / td >
< / tr >
< / tbody >
< / table >
<!-- .......................................................................... -->
< pre class = "literal-block" >
typedef seq< < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > > ::type s;
typedef seq< em > n< / em > < < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > > ::type s;
< / pre >
2009-08-17 11:30:52 +00:00
< table class = "docutils field-list" frame = "void" rules = "none" >
2004-11-28 03:35:12 +00:00
< col class = "field-name" / >
< col class = "field-body" / >
< tbody valign = "top" >
< tr class = "field" > < th class = "field-name" > Semantics:< / th > < td class = "field-body" > < tt class = "literal" > < span class = "pre" > s< / span > < / tt > is identical to < tt class = "literal" > < span class = "pre" > seq< / span > < / tt > < em > n< / em > < tt class = "literal" > < span class = "pre" > < < / span > < / tt > < em > t< / em > < sub > 1< / sub > ,< em > t< / em > < sub > 2< / sub > ,... < em > t< / em > < sub > n< / sub > < tt class = "literal" > < span class = "pre" > > < / span > < / tt > .< / td >
< / tr >
< tr class = "field" > < th class = "field-name" > Postcondition:< / th > < td class = "field-body" > < tt class = "literal" > < span class = "pre" > < a href = "./size.html" class = "identifier" > size< / a > < s> ::value< / span > < span class = "pre" > ==< / span > < span class = "pre" > n< / span > < / tt > .< / td >
< / tr >
< / tbody >
< / table >
< / div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id49" >
2004-11-28 03:35:12 +00:00
< h3 > < a class = "subsection-title" href = "#models" name = "models" > Models< / a > < / h3 >
< ul class = "simple" >
2009-08-17 11:30:52 +00:00
< li > < a class = "reference internal" href = "./vector.html" > vector< / a > < / li >
< li > < a class = "reference internal" href = "./list.html" > list< / a > < / li >
< li > < a class = "reference internal" href = "./map.html" > map< / a > < / li >
2004-11-28 03:35:12 +00:00
< / ul >
< / div >
2009-08-17 11:30:52 +00:00
< div class = "section" id = "id50" >
2004-11-28 03:35:12 +00:00
< h3 > < a class = "subsection-title" href = "#see-also" name = "see-also" > See also< / a > < / h3 >
2009-08-17 11:30:52 +00:00
< p > < a class = "reference internal" href = "./sequences.html" > Sequences< / a > , < a class = "reference internal" href = "./configuration.html" > Configuration< / a > , < a class = "reference internal" href = "./integral-sequence-wrapper.html" > Integral Sequence Wrapper< / a > < / p >
2004-11-28 03:35:12 +00:00
< / div >
< / div >
< div class = "footer-separator" > < / div >
< table class = "footer" > < tr class = "footer" > < td class = "header-group navigation-bar" > < span class = "navigation-group" > < a href = "./integral-sequence-wrapper.html" class = "navigation-link" > Prev< / a > < a href = "./classes.html" class = "navigation-link" > Next< / a > < / span > < span class = "navigation-group-separator" > | < / span > < span class = "navigation-group" > < a href = "./integral-sequence-wrapper.html" class = "navigation-link" > Back< / a > Along< / span > < span class = "navigation-group-separator" > | < / span > < span class = "navigation-group" > < a href = "./concepts.html" class = "navigation-link" > Up< / a > < a href = "../refmanual.html" class = "navigation-link" > Home< / a > < / span > < span class = "navigation-group-separator" > | < / span > < span class = "navigation-group" > < a href = "./refmanual_toc.html" class = "navigation-link" > Full TOC< / a > < / span > < / td >
2009-08-17 11:30:52 +00:00
< td > < div class = "copyright-footer" > < div class = "copyright" > Copyright © 2001-2009 Aleksey Gurtovoy and David Abrahams< / div >
Distributed under the Boost Software License, Version 1.0. (See accompanying
file LICENSE_1_0.txt or copy at < a class = "reference external" href = "http://www.boost.org/LICENSE_1_0.txt" target = "_top" > http://www.boost.org/LICENSE_1_0.txt< / a > )< / div > < / td > < / tr > < / table > < / body >
2004-11-28 03:35:12 +00:00
< / html >
