[STDCXX-171] [LWG #538] std::unique_copy() requires CopyConstructible and Assignable

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Invalid
• Affects Version/s: 4.1.3
• Component/s: 25. Algorithms

Environment

all

• Severity: Usability
• Assignee: Unassigned
• Reporter: Anton Pevtsov
• Created: 10/Apr/06 21:13
• Updated: 06/May/09 14:56
• Resolved: 06/May/09 14:56

Description

The following test fails to compile:

#include <algorithm>
#include <iterator>
#include <iostream>

struct no_assign {
int const x;
no_assign() : x(23) { }
operator int() const

{ return x; }

};

// this program should output a single "23".

int main()
{
no_assign in[4];
std::unique_copy(in, in+4, std::ostream_iterator<int>(std::cout, "\n"));
}

The unique_copy standard requirements are still discussed:
http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#241
http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-active.html#538