Title
Making size_type consistent in associative container deduction guides
Status
c++20
Section
[unord.set.overview][unord.multiset.overview]
Submitter
Mike Spertus

Created on 2017-06-16.00:00:00 last changed 37 months ago

Messages

Date: 2017-07-16.20:43:29

Proposed resolution:

This wording is relative to N4659.

  1. Edit [unord.set.overview] as indicated:

    -4- A size_type parameter type in an unordered_set deduction guide refers to the size_type member type of the primary unordered_set templatetype deduced by the deduction guide.

  2. Edit [unord.multiset.overview] as indicated:

    -4- A size_type parameter type in an unordered_multiset deduction guide refers to the size_type member type of the primary unordered_multiset templatetype deduced by the deduction guide.

Date: 2017-07-16.20:43:29

[ 2016-07, Toronto Saturday afternoon issues processing ]

Status to Ready; Marshall to check with Mike about his paper

Date: 2017-07-12.01:30:31

[ 2017-07 Toronto Monday issue prioritization ]

Priority 2; Mike is preparing an updated paper — currently named P0433R3.

Date: 2017-06-16.00:00:00

Due to an incompletely implemented change in Kona, some of the size_type deduction guides say something like:

A size_type parameter type in an unordered_set deduction guide refers to the size_type member type of the primary unordered_set template

while others say

A size_type parameter type in an unordered_map deduction guide refers to the size_type member type of the type deduced by the deduction guide.

Clearly they should both be the same. My recollection is that the intent of the committee was to change them all to be the latter. Note, however, that this issue may be mooted if the suggestions in the upcoming P0433R3 paper are adopted as a DR in Toronto.

History
Date User Action Args
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2017-11-13 19:01:36adminsetstatus: voting -> wp
2017-10-17 18:34:55adminsetstatus: ready -> voting
2017-07-16 20:43:29adminsetmessages: + msg9426
2017-07-16 20:43:29adminsetstatus: new -> ready
2017-07-12 01:30:31adminsetmessages: + msg9347
2017-06-16 19:34:13adminsetmessages: + msg9273
2017-06-16 00:00:00admincreate