CWG Issue 1047 (original) (raw)

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

2025-04-13

1047. When is typeid value-dependent?

Section: 13.8.3.4 [temp.dep.constexpr]Status: C++11Submitter: Steve AdamczykDate: 2010-03-08

[Voted into the WP at the November, 2010 meeting.]

The Standard should, but does not currently, say that typeidis value-dependent if its expression or type is type-dependent.

Proposed resolution (September, 2010):

Change 13.8.3.4 [temp.dep.constexpr] paragraph 2 as follows:

...Expressions of the following form are value-dependent if the_unary-expression_ or expression is type-dependent or the_type-id_ is dependent:

sizeof unary-expression
sizeof ( type-id )
typeid ( expression )
typeid ( type-id )
alignof ( type-id )
noexcept ( expression )