📄 set_difference.html
字号:
<HTML><!-- -- Copyright (c) 1996-1999 -- Silicon Graphics Computer Systems, Inc. -- -- Permission to use, copy, modify, distribute and sell this software -- and its documentation for any purpose is hereby granted without fee, -- provided that the above copyright notice appears in all copies and -- that both that copyright notice and this permission notice appear -- in supporting documentation. Silicon Graphics makes no -- representations about the suitability of this software for any -- purpose. It is provided "as is" without express or implied warranty. -- -- Copyright (c) 1994 -- Hewlett-Packard Company -- -- Permission to use, copy, modify, distribute and sell this software -- and its documentation for any purpose is hereby granted without fee, -- provided that the above copyright notice appears in all copies and -- that both that copyright notice and this permission notice appear -- in supporting documentation. Hewlett-Packard Company makes no -- representations about the suitability of this software for any -- purpose. It is provided "as is" without express or implied warranty. -- --><Head><Title>set_difference</Title><!-- Generated by htmldoc --></HEAD><BODY TEXT="#000000" LINK="#006600" ALINK="#003300" VLINK="#7C7F87" BGCOLOR="#FFFFFF"><A HREF="/"><IMG SRC="/images/common/sgilogo_small.gif" ALT="SGI Logo" WIDTH="80" HEIGHT="72" BORDER="0"></A><P><!--end header--><BR Clear><H1>set_difference</H1><Table CellPadding=0 CellSpacing=0 width=100%><TR><TD Align=left><Img src = "algorithms.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>: algorithms</TD><TD Align=right VAlign=top><b>Component type</b>: function</TD></TR></Table><h3>Prototype</h3><tt>Set_difference</tt> is an overloaded name; there are actually two <tt>set_difference</tt> functions.<pre>template <class <A href="InputIterator.html">InputIterator</A>1, class <A href="InputIterator.html">InputIterator</A>2, class <A href="OutputIterator.html">OutputIterator</A>>OutputIterator set_difference(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2, OutputIterator result);template <class <A href="InputIterator.html">InputIterator</A>1, class <A href="InputIterator.html">InputIterator</A>2, class <A href="OutputIterator.html">OutputIterator</A>, class <A href="StrictWeakOrdering.html">StrictWeakOrdering</A>>OutputIterator set_difference(InputIterator1 first1, InputIterator1 last1, InputIterator2 first2, InputIterator2 last2, OutputIterator result, StrictWeakOrdering comp);</pre> <h3>Description</h3><tt>Set_difference</tt> constructs a sorted range that is the set differenceof the sorted ranges <tt>[first1, last1)</tt> and <tt>[first2, last2)</tt>.The return value is the end of the output range.<P>In the simplest case, <tt>set_difference</tt> performs the "difference"operation from set theory: the output range contains a copy ofevery element that is contained in <tt>[first1, last1)</tt> and not contained in <tt>[first2, last2)</tt>.The general case is more complicated, because the input ranges maycontain duplicate elements. The generalization is that if a valueappears <tt>m</tt> times in <tt>[first1, last1)</tt> and <tt>n</tt> times in <tt>[first2,last2)</tt> (where <tt>m</tt> or <tt>n</tt> may be zero), then it appears <tt>max(m-n,0)</tt> times in the output range. <A href="#1">[1]</A> <tt>Set_difference</tt> is stable, meaningboth that elements are copied from the first range rather than thesecond, and that the relative order of elements in the output range isthe same as in the first input range. <P>The two versions of <tt>set_difference</tt> differ in how they define whether oneelement is less than another. The first version comparesobjects using <tt>operator<</tt>, and the second compares objects usinga <A href="functors.html">function object</A> <tt>comp</tt>.<h3>Definition</h3>Defined in the standard header <A href="algorithm">algorithm</A>, and in the nonstandardbackward-compatibility header <A href="algo.h">algo.h</A>.<h3>Requirements on types</h3>For the first version:<UL><LI><tt>InputIterator1</tt> is a model of <A href="InputIterator.html">Input Iterator</A>.<LI><tt>InputIterator2</tt> is a model of <A href="InputIterator.html">Input Iterator</A>.<LI><tt>OutputIterator</tt> is a model of <A href="OutputIterator.html">Output Iterator</A>.<LI><tt>InputIterator1</tt> and <tt>InputIterator2</tt> have the same value type.<LI><tt>InputIterator</tt>'s value type is a model of <A href="LessThanComparable.html">LessThan Comparable</A>.<LI>The ordering on objects of <tt>InputIterator1</tt>'s value type is a <i>strict weak ordering</i>, as defined in the <A href="LessThanComparable.html">LessThan Comparable</A> requirements.<LI><tt>InputIterator</tt>'s value type is convertible to a type in <tt>OutputIterator</tt>'s set of value types.</UL>For the second version:<UL><LI><tt>InputIterator1</tt> is a model of <A href="InputIterator.html">Input Iterator</A>.<LI><tt>InputIterator2</tt> is a model of <A href="InputIterator.html">Input Iterator</A>.<LI><tt>OutputIterator</tt> is a model of <A href="OutputIterator.html">Output Iterator</A>.<LI><tt>StrictWeakOrdering</tt> is a model of <A href="StrictWeakOrdering.html">Strict Weak Ordering</A>.<LI><tt>InputIterator1</tt> and <tt>InputIterator2</tt> have the same value type.<LI><tt>InputIterator1</tt>'s value type is convertible to <tt>StrictWeakOrdering</tt>'s argument type.<LI><tt>InputIterator</tt>'s value type is convertible to a type in <tt>OutputIterator</tt>'s set of value types.</UL><h3>Preconditions</h3>For the first version:<UL><LI><tt>[first1, last1)</tt> is a valid range.<LI><tt>[first2, last2)</tt> is a valid range.<LI><tt>[first1, last1)</tt> is ordered in ascending order according to <tt>operator<</tt>. That is, for every pair of iterators <tt>i</tt> and <tt>j</tt> in <tt>[first1, last1)</tt> such that <tt>i</tt> precedes <tt>j</tt>, <tt>*j < *i</tt> is <tt>false</tt>.<LI><tt>[first2, last2)</tt> is ordered in ascending order according to <tt>operator<</tt>. That is, for every pair of iterators <tt>i</tt> and <tt>j</tt> in <tt>[first2, last2)</tt> such that <tt>i</tt> precedes <tt>j</tt>, <tt>*j < *i</tt> is <tt>false</tt>.<LI>There is enough space to hold all of the elements being copied. More formally, the requirement is that <tt>[result, result + n)</tt> is a valid range, where <tt>n</tt> is the number of elements in the difference of the two input ranges.<LI><tt>[first1, last1)</tt> and <tt>[result, result + n)</tt> do not overlap.<LI><tt>[first2, last2)</tt> and <tt>[result, result + n)</tt> do not overlap.</UL>For the second version:<UL><LI><tt>[first1, last1)</tt> is a valid range.<LI><tt>[first2, last2)</tt> is a valid range.<LI><tt>[first1, last1)</tt> is ordered in ascending order according to <tt>comp</tt>. That is, for every pair of iterators <tt>i</tt> and <tt>j</tt> in <tt>[first1, last1)</tt> such that <tt>i</tt> precedes <tt>j</tt>, <tt>comp(*j, *i)</tt> is <tt>false</tt>.<LI><tt>[first2, last2)</tt> is ordered in ascending order according to <tt>comp</tt>. That is, for every pair of iterators <tt>i</tt> and <tt>j</tt> in <tt>[first2, last2)</tt> such that <tt>i</tt> precedes <tt>j</tt>, <tt>comp(*j, *i)</tt> is <tt>false</tt>.<LI>There is enough space to hold all of the elements being copied. More formally, the requirement is that <tt>[result, result + n)</tt> is a valid range, where <tt>n</tt> is the number of elements in the difference of the two input ranges.<LI><tt>[first1, last1)</tt> and <tt>[result, result + n)</tt> do not overlap.<LI><tt>[first2, last2)</tt> and <tt>[result, result + n)</tt> do not overlap.</UL><h3>Complexity</h3>Linear. Zero comparisons if either <tt>[first1, last1)</tt> or <tt>[first2, last2)</tt>is empty, otherwise at most <tt>2 * ((last1 - first1) + (last2 - first2))- 1</tt> comparisons.<h3>Example</h3><pre>inline bool lt_nocase(char c1, char c2) { return tolower(c1) < tolower(c2); }int main(){ int A1[] = {1, 3, 5, 7, 9, 11}; int A2[] = {1, 1, 2, 3, 5, 8, 13}; char A3[] = {'a', 'b', 'b', 'B', 'B', 'f', 'g', 'h', 'H'}; char A4[] = {'A', 'B', 'B', 'C', 'D', 'F', 'F', 'H' }; const int N1 = sizeof(A1) / sizeof(int); const int N2 = sizeof(A2) / sizeof(int); const int N3 = sizeof(A3); const int N4 = sizeof(A4); cout << "Difference of A1 and A2: "; set_difference(A1, A1 + N1, A2, A2 + N2, ostream_iterator<int>(cout, " ")); cout << endl << "Difference of A3 and A4: "; set_difference(A3, A3 + N3, A4, A4 + N4, ostream_iterator<char>(cout, " "), lt_nocase); cout << endl;}</pre><P>The output is<pre>Difference of A1 and A2: 7 9 11 Difference of A3 and A4: B B g H </pre><h3>Notes</h3><P><A name="1">[1]</A>Even this is not a completely precise description, because the ordering by which the input ranges are sortedis permitted to be a strict weak ordering that is not a total ordering:there might be values<tt>x</tt> and <tt>y</tt> that are equivalent (that is, neither <tt>x < y</tt> nor <tt>y < x</tt>)but not equal. See the <A href="LessThanComparable.html">LessThan Comparable</A> requirementsfor a fuller discussion. The output range consists of those elementsfrom <tt>[first1, last1)</tt> for which equivalent elements do not exist in <tt>[first2, last2)</tt>. Specifically, if the range <tt>[first1, last1)</tt> contains <tt>m</tt>elements that are equivalent to each other and the range <tt>[first2,last2)</tt> contains <tt>n</tt> elements from that equivalence class (whereeither <tt>m</tt> or <tt>n</tt> may be zero), then the output range containsthe <i>last</i> <tt>max(m - n, 0)</tt> of these elements from <tt>[first1, last1)</tt>.Note that this precision is only important if elements can beequivalent but not equal. If you're using a total ordering(if you're using <tt>strcmp</tt>, for example, or if you're usingordinary arithmetic comparison on integers), then you can ignore thistechnical distinction: for a total ordering, equality and equivalenceare the same.<h3>See also</h3><tt><A href="includes.html">includes</A></tt>, <tt><A href="set_union.html">set_union</A></tt>, <tt><A href="set_intersection.html">set_intersection</A></tt>, <tt><A href="set_symmetric_difference.html">set_symmetric_difference</A></tt>, <tt><A href="sort.html">sort</A></tt><!-- start footer --><!-- Footer Begins --><STYLE TYPE="text/css"><!--TD.footer, TD.footer A{ font-family: Arial, helvetica, sans-serif; font-size: 8pt;}A.home {font-family: Arial, helvetica, sans-serif;}--></STYLE><P><A CLASS="home" HREF="index.html">STL Home</A><P><TABLE WIDTH="600" CELLPADDING="0" CELLPADDING="0" BORDER="0"> <TR> <TD ALIGN="RIGHT" CLASS="footer"><A HREF="/company_info/terms.html" TARGET="_top">terms of use</A> | <A HREF="/company_info/privacy.html" TARGET="_top">privacy policy</A></TD> <TD ALIGN="CENTER" CLASS="footer"> | </TD> <TD ALIGN="LEFT" CLASS="footer"><A HREF="/cgi-bin/feedback/" TARGET="_top">contact us</A></TD> </TR><TR> <TD ALIGN="RIGHT" CLASS="footer">Copyright © 1993-2003 Silicon Graphics, Inc. All rights reserved.</TD> <TD ALIGN="CENTER" CLASS="footer"> | </TD> <TD ALIGN="LEFT" CLASS="footer"><A HREF="/company_info/trademarks/" TARGET="_top">Trademark Information</A></TD> </TR></TABLE><!-- Footer Ends --><!-- end footer --><P></BODY></HTML> ⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -