3439. "Distance" template parameter is underspecified

Section: 24.4.3 [iterator.operations], 26.7.12 [alg.random.sample] Status: New Submitter: Jens Maurer Opened: 2020-05-01 Last modified: 2020-05-09

Priority: 3

View other active issues in [iterator.operations].

View all other issues in [iterator.operations].

View all issues with New status.

Discussion:

The library specification conveys pre-concept requirements on template parameters by naming, e.g. "InputIterator".

There is no general specification for template parameters named "Distance", as used by std::advance (see 24.4.3 [iterator.operations]). When addressing this omission, the local restriction in 26.7.12 [alg.random.sample] could possibly be removed.

See the related issue 3213 for the Size template parameter.

[2020-05-09; Reflector prioritization]

Set priority to 3 after reflector discussions.

Proposed resolution: