Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://cplusplus.github.io/LWG/issue2871 below:

User specializations of type traits should be ill-formed

This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD status.

Section: 21.3.3 [meta.type.synop] Status: NAD Submitter: United States Opened: 2017-02-03 Last modified: 2020-09-06

Priority: Not Prioritized

View other active issues in [meta.type.synop].

View all other issues in [meta.type.synop].

View all issues with NAD status.

Discussion:

Addresses US 10

A user specialization of any type trait should produce an ill-formed program, not merely one whose behavior is unspecified. See also the related comment re 26.3.6.2 [execpol.type].

Proposed change:

Reword the paragraph as follows:

Unless otherwise specified, a program that adds specializations for any of the templates defined in this subclause is ill-formed; no diagnostic required.

See also 2909⁽ⁱ⁾

[2017-07 Toronto Thurs Issue Prioritization]

NAD; what the standard says is that this is "undefined", not "unspecified".

Proposed resolution:

This wording is relative to N4618.

1. Modify 21.3.3 [meta.type.synop] as indicated:

   -1- The behavior of a program that adds specializations for any of the templates defined in this subclause is undefined unless otherwise specified Unless otherwise specified, a program that adds specializations for any of the templates defined in this subclause is ill-formed; no diagnostic required.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4