📄 iterator_category.html
字号:
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Author" CONTENT="Zafir Anjum">
<TITLE>MFC Programmer's SourceBook : STL Programmer's Guide</TITLE>
<META name="description"
content="A freely available implementation
of the C++ Standard Template Library, including
hypertext documentation.">
<META name="keywords"
content="generic programming, STL, standard template library">
</HEAD>
<SCRIPT LANGUAGE="JavaScript"><!--
var adcategory = "cpp";
// -->
</SCRIPT>
<body background="../../fancyhome/back.gif" bgcolor="#FFFFFF" >
<SCRIPT LANGUAGE="JavaScript"><!--
var nfrm = location.href.indexOf("_nfrm_");
var validframes = (top.frames.length > 0 && top.frames['ad'] && top.frames['logo'] );
var random = Math.random();
if( !validframes && nfrm == -1 )
{
var dclkPage = "www.codeguru.com/";
if( self.adcategory )
dclkPage += adcategory;
else
dclkPage += "mfc";
document.write('<nolayer><center>');
document.write('<iframe src="http://ad.doubleclick.net/adi/' + dclkPage + ';ord='
+ random + '" width=470 height=62 marginwidth=0 marginheight=0 hspace=0 vspace=0 '
+ 'frameborder=0 scrolling=no bordercolor="#000000">');
document.write('<a href="http://ad.doubleclick.net/jump/' + dclkPage + ';ord='
+ random + '">');
document.write('<img src="http://ad.doubleclick.net/ad/' + dclkPage + ';ord='
+ random + '" height=60 width=468>' + '</a>');
document.write('</iframe>');
document.write('</center></nolayer>');
document.write('<layer src="http://ad.doubleclick.net/adl/' + dclkPage +
';ord=' + random + '"></layer>');
document.write('<ilayer visibility=hide width=468 height=83></ilayer>');
}
// top.location = "/show.cgi?" + adcategory + "=" + location.pathname;
// -->
</SCRIPT>
<noscript>
<p align="center">
<a href="http://ad.doubleclick.net/jump/www.codeguru.com/cpp;ord=Nupak9FCY34AAHQqhJM">
<img src="http://ad.doubleclick.net/ad/www.codeguru.com/cpp;ord=Nupak9FCY34AAHQqhJM"></a>
</p>
</noscript>
<BR Clear>
<H1>iterator_category</H1>
<Table CellPadding=0 CellSpacing=0 width=100%>
<TR>
<TD Align=left><Img src = "iterators.gif" Alt="" WIDTH = "194" HEIGHT = "38" ></TD>
<TD Align=right><Img src = "function.gif" Alt="" WIDTH = "194" HEIGHT = "38" ></TD>
</TR>
<TR>
<TD Align=left VAlign=top><b>Category</b>: iterators</TD>
<TD Align=right VAlign=top><b>Component type</b>: function</TD>
</TR>
</Table>
<h3>Prototype</h3>
<tt>Iterator_category</tt> is overloaded; it is in fact six different functions.
<pre>
inline output_iterator_tag iterator_category(const output_iterator&);
template <class T, class Distance>
inline <A href="input_iterator_tag.html">input_iterator_tag</A>
iterator_category(const <A href="input_iterator.html">input_iterator</A><T, Distance>&);
template <class T, class Distance>
inline <A href="forward_iterator_tag.html">forward_iterator_tag</A>
iterator_category(const <A href="forward_iterator.html">forward_iterator</A><T, Distance>&);
template <class T, class Distance>
inline <A href="bidirectional_iterator_tag.html">bidirectional_iterator_tag</A>
iterator_category(const <A href="bidirectional_iterator.html">bidirectional_iterator</A><T, Distance>&);
template <class T, class Distance>
inline <A href="random_access_iterator_tag.html">random_access_iterator_tag</A>
iterator_category(const <A href="random_access_iterator.html">random_access_iterator</A><T, Distance>&);
template <class T>
inline <A href="random_access_iterator_tag.html">random_access_iterator_tag</A> iterator_category(const T*);
</pre>
<h3>Description</h3>
<tt>Iterator_category</tt> is an <A href="iterator_tags.html">iterator tag</A> function: it is used to
determine the category to which an iterator belongs. Specifically,
every iterator must belong to a type that is a model of the concept
<A href="OutputIterator.html">Output Iterator</A>, <A href="InputIterator.html" tppabs="http://www.sgi.com/Technology/STL/InputIterator.shtml">Input Iterator</A>, <A href="ForwardIterator.html" tppabs="http://www.sgi.com/Technology/STL/ForwardIterator.shtml">Forward Iterator</A>,
<A href="BidirectionalIterator.html">Bidirectional Iterator</A>, or <A href="RandomAccessIterator.html" tppabs="http://www.sgi.com/Technology/STL/RandomAccessIterator.shtml">Random Access Iterator</A>. <A href="#1">[1]</A>
<tt>Iterator_category</tt> returns an object of class
<tt><A href="output_iterator_tag.html">output_iterator_tag</A></tt>, <tt><A href="input_iterator_tag.html" tppabs="http://www.sgi.com/Technology/STL/input_iterator_tag.shtml">input_iterator_tag</A></tt>,
<tt><A href="forward_iterator_tag.html">forward_iterator_tag</A></tt>, or <tt><A href="random_access_iterator_tag.html" tppabs="http://www.sgi.com/Technology/STL/random_access_iterator_tag.shtml">random_access_iterator_tag</A></tt>,
depending on which concept the type of <tt>iterator_category</tt>'s
argument is a model of. <A href="#2">[2]</A> This information is useful in the case of
an algorithm that has a sensible definition for more than one category
of iterator, but whose definition is different depending on the category.
<P>
Although <tt>iterator_category</tt> looks like a single function whose
return type depends on its argument type, in reality it is a set
of functions; the name <tt>iterator_category</tt> is overloaded.
The function <tt>iterator_category</tt> must
be overloaded for every iterator type.
<P>
In practice, ensuring that <tt>iterator_category</tt> is defined requires
essentially no work at all. It is already defined for pointers, and
for the base classes <tt><A href="input_iterator.html">input_iterator</A></tt>, <tt><A href="output_iterator.html" tppabs="http://www.sgi.com/Technology/STL/output_iterator.shtml">output_iterator</A></tt>,
<tt><A href="forward_iterator.html">forward_iterator</A></tt>, <tt><A href="bidirectional_iterator.html" tppabs="http://www.sgi.com/Technology/STL/bidirectional_iterator.shtml">bidirectional_iterator</A></tt>, and
<tt><A href="random_access_iterator.html">random_access_iterator</A></tt>. If you are implementing a new type of
forward iterator, for example, you can simply derive it from the base
class <tt><A href="forward_iterator.html">forward_iterator</A></tt>; this means that <tt>iterator_category</tt>
(along with <tt><A href="distance_type.html">distance_type</A></tt> and <tt><A href="value_type.html" tppabs="http://www.sgi.com/Technology/STL/value_type.shtml">value_type</A></tt>) will
automatically be defined for your iterator. These base classes are
empty: they contain no member functions or member variables, but
only type information. Using them should therefore incur no overhead.
<P>
Note that, while the function <tt>iterator_category</tt> was present in the
original STL, it is no longer present in the most recent draft C++
standard: it has been replaced by the <tt><A href="iterator_traits.html">iterator_traits</A></tt> class.
At present both mechanisms are supported <A href="#3">[3]</A>, but eventually
<tt>iterator_category</tt> will be removed.
<h3>Definition</h3>
Defined in <A href="iterator.h">iterator.h</A>.
<h3>Requirements on types</h3>
The argument of <tt>iterator_category</tt> must be an iterator.
<h3>Preconditions</h3>
None. <tt>Iterator_category</tt>'s argument is even permitted to be
a singular iterator.
<h3>Complexity</h3>
At most amortized constant time. In many cases, a compiler should be
able to optimize away <tt>iterator_category</tt> entirely.
<h3>Example</h3>
<tt><A href="reverse.html">Reverse</A></tt> can be implemented for either
<A href="BidirectionalIterator.html">Bidirectional Iterators</A> or for <A href="RandomAccessIterator.html" tppabs="http://www.sgi.com/Technology/STL/RandomAccessIterator.shtml">Random Access Iterators</A>,
but the algorithm for <A href="RandomAccessIterator.html">Random Access Iterators</A> is more efficient.
Consequently, <tt><A href="reverse.html">reverse</A></tt> uses <tt>iterator_category</tt> to select
whichever algorithm is appropriate for the iterator type.
This dispatch takes place at compile time, and should not
incur any run-time penalty.
<pre>
template <class <A href="BidirectionalIterator.html">BidirectionalIterator</A>>
void __reverse(BidirectionalIterator first, BidirectionalIterator last,
<A href="bidirectional_iterator_tag.html">bidirectional_iterator_tag</A>) {
while (true)
if (first == last || first == --last)
return;
else
iter_swap(first++, last);
}
template <class <A href="RandomAccessIterator.html">RandomAccessIterator</A>>
void __reverse(RandomAccessIterator first, RandomAccessIterator last,
<A href="random_access_iterator_tag.html">random_access_iterator_tag</A>) {
while (first < last) iter_swap(first++, --last);
}
template <class <A href="BidirectionalIterator.html">BidirectionalIterator</A>>
inline void <A href="reverse.html">reverse</A>(BidirectionalIterator first, BidirectionalIterator last) {
__reverse(first, last, iterator_category(first));
}
</pre>
<h3>Notes</h3>
<P><A name="1">[1]</A>
The STL also defines one other concept, <A href="trivial.html">Trivial Iterator</A>.
This concept is introduced only for conceptual clarity, however,
in order to separate the axioms related to an object that refers
to another object from those related to iteration over a range.
In fact, the STL does not define any types that are <A href="trivial.html">Trivial Iterators</A>.
Although built-in C pointers may be <A href="trivial.html">Trivial Iterators</A>, the C
type system does not allow a distinction between pointers that are
<A href="trivial.html">Trivial Iterators</A> and pointers that are <A href="RandomAccessIterator.html" tppabs="http://www.sgi.com/Technology/STL/RandomAccessIterator.shtml">Random Access Iterators</A>
into C arrays. Consequently, there is no <A href="trivial.html">Trivial Iterator</A> category
tag.
<P><A name="2">[2]</A>
Any type that is a model of <A href="ForwardIterator.html">Forward Iterator</A> is also a model
of <A href="InputIterator.html">Input Iterator</A>, any type that is a model of
<A href="BidirectionalIterator.html">Bidirectional Iterator</A> is also a model of <A href="ForwardIterator.html" tppabs="http://www.sgi.com/Technology/STL/ForwardIterator.shtml">Forward Iterator</A>,
and any type that is a model of <A href="RandomAccessIterator.html">Random Access Iterator</A> is also
a model of <A href="BidirectionalIterator.html">Bidirectional Iterator</A>. <tt>Iterator_category</tt> must
return a tag representing the <i>most specific</i> concept that its
argument is a model of. If its argument is a <tt><A href="Vector.html">vector</A>::iterator</tt>,
for example, then it must return <tt><A href="random_access_iterator_tag.html">random_access_iterator_tag</A></tt>.
<P><A name="3">[3]</A>
The <tt><A href="iterator_traits.html">iterator_traits</A></tt> class
relies on a C++ feature known as <i>partial specialization</i>. Many of
today's compilers don't implement the complete standard; in
particular, many compilers do not support partial specialization. If
your compiler does not support partial specialization, then you will
not be able to use <tt><A href="iterator_traits.html">iterator_traits</A></tt>, and you will have to
continue using the functions <tt>iterator_category</tt>, <tt><A href="distance_type.html">distance_type</A></tt>,
and <tt><A href="value_type.html">value_type</A></tt>. This is one reason that those functions have
not yet been removed.
<h3>See also</h3>
The <A href="iterator_tags.html">Iterator Tags</A> overview, <tt><A href="iterator_traits.html" tppabs="http://www.sgi.com/Technology/STL/iterator_traits.shtml">iterator_traits</A></tt>,
<tt><A href="distance_type.html">distance_type</A></tt>, <tt><A href="value_type.html" tppabs="http://www.sgi.com/Technology/STL/value_type.shtml">value_type</A></tt>,
<tt><A href="output_iterator_tag.html">output_iterator_tag</A></tt>, <tt><A href="input_iterator_tag.html" tppabs="http://www.sgi.com/Technology/STL/input_iterator_tag.shtml">input_iterator_tag</A></tt>,
<tt><A href="forward_iterator_tag.html">forward_iterator_tag</A></tt>, <tt><A href="bidirectional_iterator_tag.html" tppabs="http://www.sgi.com/Technology/STL/bidirectional_iterator_tag.shtml">bidirectional_iterator_tag</A></tt>,
<tt><A href="random_access_iterator_tag.html">random_access_iterator_tag</A></tt>
<HR SIZE="6"> <FONT SIZE="-2"> Copyright © 1996 Silicon Graphics, Inc.
<HR>
<TABLE BORDER=0 WIDTH="100%" >
<TR>
<TD WIDTH="33%"><FONT SIZE=-1><A HREF="index.html" >
STL</A></FONT></TD>
<TD WIDTH="33%">
<CENTER><FONT SIZE=-2>© Copyright 1997-1998 CodeGuru</FONT> </CENTER>
</TD>
<TD WIDTH="34%">
<DIV ALIGN=right><FONT SIZE=-1>Contact : <A HREF="mailto:webmaster@codeguru.com">webmaster@codeguru.com</A> </FONT></DIV>
</TD>
</TR>
</TABLE>
<SCRIPT LANGUAGE="JavaScript" ><!--
var adurl = "/cgi-bin/doubleclick.cgi?";
if( self.adcategory )
adurl += adcategory;
else
adurl += "mfc";
if( self.parent.norefreshad )
parent.norefreshad = false;
else if( validframes )
parent.frames['ad'].location = adurl;
if( !validframes && nfrm == -1)
{
var dclkPage = "www.codeguru.com/";
if( self.adcategory )
dclkPage += adcategory;
else
dclkPage += "mfc";
// var random = Math.random();
document.write('<nolayer><center>');
document.write('<iframe src="http://ad.doubleclick.net/adi/' + dclkPage + ';ord='
+ random + '" width=470 height=62 marginwidth=0 marginheight=0 hspace=0 vspace=0 '
+ 'frameborder=0 scrolling=no bordercolor="#000000">');
document.write('<a href="http://ad.doubleclick.net/jump/' + dclkPage + ';ord='
+ random + '">');
document.write('<img src="http://ad.doubleclick.net/ad/' + dclkPage + ';ord='
+ random + '" height=60 width=468>' + '</a>');
document.write('</iframe>');
document.write('</center></nolayer>');
document.write('<layer src="http://ad.doubleclick.net/adl/' + dclkPage +
';ord=' + random + '"></layer>');
document.write('<ilayer visibility=hide width=468 height=83></ilayer>');
}
// -->
</SCRIPT>
<!-- SCRIPT LANGUAGE="JavaScript" SRC="/global/fscript.js">
//
</SCRIPT -->
<noscript>
<p align="center">
<a href="http://ad.doubleclick.net/jump/www.codeguru.com/cpp;ord=Nupak9FCY34AAHQqhJM">
<img src="http://ad.doubleclick.net/ad/www.codeguru.com/cpp;ord=Nupak9FCY34AAHQqhJM"></a>
</p>
</noscript>
</BODY>
</HTML>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -