Title
[fund.ts.v3] LFTSv3 contains two redundant alias templates
Status
new
Section
[meta.type.synop][header.memory.synop]
Submitter
Thomas Köppe

Created on 2018-07-02.00:00:00, last changed 2018-07-20.21:06:57.

Messages

Date: 2018-07-20.00:00:00

[ 2018-07-20 Priority set to 3 after reflector discussion ]

Date: 2018-07-02.00:00:00

Addresses: fund.ts.v3

The LFTSv3 prospective-working-paper N4758 contains two aliases that are already in C++17:

  • void_t in [meta.type.synop]

  • uses_allocator_v in [header.memory.synop]

I'd like to propose deleting both, but separate discussion is warranted:

void_t belongs with the larger "detection idiom", which has not been merged into C++17. We may prefer to keep our own local version of the alias.

uses_allocator_v aliases a version of uses_allocator that is modified by this TS. However, as specified the alias may actually end up referring to std::uses_allocator (because <memory> is included), not to std::experimental::uses_allocator, as may have been intended.

History
Date User Action Args
2018-07-20 21:06:57adminsetmessages: + msg10005
2018-07-02 00:00:00admincreate