Movatterモバイル変換


[0]ホーム

URL:


This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2025-12-20


2785. Type-dependence ofrequires-expression

Section:13.8.3.3  [temp.dep.expr]    Status:CD7    Submitter:CWG    Date:2023-07-17

[Accepted as a DR at the November, 2023 meeting.]

(Split off fromissue 2774.)

Subclause 13.8.3.3 [temp.dep.expr] is lacking specifiationabout the type-dependence ofrequires-expressions.

Proposed resolution (approved by CWG 2023-08-25):

Change in 13.8.3.3 [temp.dep.expr] paragraph 4 as follows:

Expressions of the following forms are never type-dependent (becausethe type of the expression cannot be dependent):
  ...  noexcept (expression )requires-expression



[8]ページ先頭

©2009-2026 Movatter.jp