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

2024-09-25

1047. When is typeid value-dependent?

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

The Standard should, but does not currently, say that typeid is 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 )