Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!weretis.net!feeder4.news.weretis.net!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: Joshua Cranmer Newsgroups: comp.lang.java.programmer Subject: Re: Did the sort do anything? Date: Mon, 07 Nov 2011 08:30:49 -0600 Organization: A noiseless patient Spider Lines: 9 Message-ID: References: <4d8fb7l8qb1g820cphr4fh447a9uitlddj@4ax.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 7 Nov 2011 14:30:50 +0000 (UTC) Injection-Info: mx04.eternal-september.org; posting-host="WpcHJSul77m+zlbR9GVqkA"; logging-data="30783"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/425FdES+bDQYTAvWe/NamzMvQpImDFTE=" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 In-Reply-To: Cancel-Lock: sha1:X2TiAeimhloguxwGU0s7MEVa3dY= Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:9741 On 11/7/2011 6:11 AM, Eric Sosman wrote: > Post-sort order check won't do: The sort might have interchanged > two different objects with equal keys. If we're talking about Java's built-in sort methods, they are stable. -- Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald E. Knuth