[STDCXX-78] std::copy() doesn't detect overlapping ranges

• Type: Improvement
• Status: Open
• Priority: Minor
• Resolution: Unresolved
• Affects Version/s: 4.1.2, 4.1.3, 4.1.4, 4.2.0, 4.2.1
• Fix Version/s: 4.3.0
• Component/s: 25. Algorithms

Environment

all

• Severity: Usability
• Assignee: Unassigned
• Reporter: Martin Sebor
• Created: 01/Dec/05 09:37
• Updated: 15/May/08 20:49

Description

Quoting from the response to the following post:
http://mail-archives.apache.org/mod_mbox/incubator-stdcxx-dev/200511.mbox/[e-mail]%3e

-------- Original Message --------
Subject: Re: questions about the lib.alg.copy test
Date: Wed, 30 Nov 2005 17:33:10 -0700
From: Martin Sebor <[e-mail]>
To: [e-mail]
References: <[e-mail]>

Anton Pevtsov wrote:
[...]
>
> 2. The copy algorithm can work in case when the destination range
> overlaps the source range (of course, first position of the source range
> should not be contained in the destination range). Current version
> doesn't contain special test for this case, but I prefer to have such
> test. What do you think about it?

The requirement in 25.2.1, p3 is that "result shall not be in the
range [first, last)." The algorithm doesn't detect violations of
this requirement but it probably should in debug mode. This would
be a useful enhancement in general. Let me file an enhancement for
it.

Martin