2616. [filesys.ts] [PDTS] Append behavior underspecified if target is empty

Section: 8.4.3 [filesys.ts::path.append] Status: TS Submitter: CH-11 Opened: 2014-01-20 Last modified: 2017-07-30

Priority: Not Prioritized

View all issues with TS status.

Discussion:

Addresses: filesys.ts

Is the added separator redundant in p1 /= p2, where p1 is empty? I.e. does the result start with a separator?

Suggested action:

Specify what behaviour is required.

[2014-02-07: Beman Dawes comments]

The second bullet item is supposed to deal with the empty() condition.

[2014-02-12 LWG/SG-3 Issaquah: The text is correct as written, however adding a note will clarify this and address the NB comment.]

Proposed resolution:

Change 8.4.3 [path.append]:

Effects:

Appends path::preferred_separator to pathname unless:

• an added separator would be redundant, or

• would change an relative path to an absolute path [Note: An empty path is relative. — end note], or

• p.empty(), or

• *p.native().cbegin() is a directory separator.

Then appends p.native() to pathname.