[STDCXX-84] std::fill_n() assumes Size can be decremented

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

Environment

all

• Assignee: Martin Sebor
• Reporter: Martin Sebor
• Created: 08/Dec/05 06:55
• Updated: 17/Jan/06 23:22
• Resolved: 09/Dec/05 10:26

Description

The requirement on the Size template argument to std::fill_n() in lib.alg.fill, p3 is that it be convertible to an integral type which does not imply that it be possible to decrement or otherwise modify its value. I.e., the program below is expected to compile successfully.

$ cat t.cpp && nice make t
#include <algorithm>

struct Size {
operator int()

{ return 0; }

private:
void operator=(Size&);
};

template void std::fill_n (int*, Size, const int&);

int main () { }
eccp -c -I/build/sebor/dev/stdlib/include/ansi -D_RWSTDDEBUG -D_RWSTD_USE_CONFIG -I/build/sebor/eccp-3.6-11s/include -I/build/sebor/dev/stdlib/include -I/build/sebor/dev/stdlib/../rwtest -I/build/sebor/dev/stdlib/../rwtest/include -I/build/sebor/dev/stdlib/tests/include -A -x --template_directory=/build/sebor/eccp-3.6-11s/lib -g --display_error_number --remarks --diag_suppress 193,236,340,401,261,479,487,678,679,815 t.cpp
"/build/sebor/dev/stdlib/include/rw/_algobase.h", line 132: error #349: no
operator "--" matches these operands
operand types are: – Size
for (;_n > 0;--n, ++_first)
^
detected during instantiation of "void std::fill_n(_OutputIter,
_Size, const _TypeT &) [with _OutputIter=int *,
_Size=Size, _TypeT=int]" at line 9 of "t.cpp"

1 error detected in the compilation of "t.cpp".
make: *** [t.o] Error 2

Issue Links

• is related to: STDCXX-83 std::generate_n() assumes Size can be decremented
• relates to: STDCXX-121 std::search_n() assumes Size can be incremented