Created on 2016-12-17.00:00:00 last changed 23 months ago
This wording is relative to N4713.
Edit [fs.op.copy_file]/4 as indicated:
bool copy_file(const path& from, const path& to, copy_options options); bool copy_file(const path& from, const path& to, copy_options options, error_code& ec) noexcept;
-4- Effects: As follows:
(4.1) — Report
a file already existserror as specified in [fs.err.report] if:
[ 2018-3-17 Adopted in Jacksonville ]
[ 2018-01-23 Moved to Tentatively Ready after 6 positive votes on c++std-lib. ]
[ 2018-01-16, Jonathan comments ]
I said I'd provide updated wording because I wanted to preserve the requirement that the reported error is "file already exists" for some of the error cases. I no longer think that's necessary, so I think the current P/R is fine. Please note that I don't think new wording is needed.
[ 2017-01-27 Telecon ]
Priority 2; Jonathan to provide updated wording.
[fs.op.copy_file]/4 says that copy_file reports "a file already exists error as specified in [fs.err.report] if" any of several error conditions exist.It's not clear how some of those error conditions, such as !is_regular_file(from), can be sensibly described as "file already exists". Pretty much everywhere else in the filesystem specification just says "an error" without further elaboration.
|2021-02-25 10:48:01||admin||set||status: wp -> c++20|
|2018-03-18 16:03:30||admin||set||messages: + msg9727|
|2018-03-18 16:03:30||admin||set||status: voting -> wp|
|2018-02-12 01:13:49||admin||set||status: ready -> voting|
|2018-01-23 20:58:58||admin||set||messages: + msg9625|
|2018-01-23 20:58:58||admin||set||status: new -> ready|
|2018-01-20 15:37:53||admin||set||messages: + msg9613|
|2017-01-30 15:36:02||admin||set||messages: + msg8825|
|2017-01-22 19:14:09||admin||set||messages: + msg8777|