P1064, accepted at Rapperswil, relaxed the restriction of virtual function calls in constant expressions. These are now allowed, a capability made possible by the fact that compilers are effectively required to track the dynamic type of constant expressions.
It would be natural, for the same underlying reasons, to also drop the
typeid (applied to polymorphic glvalues)
not appearing in constant expressions. P1064 mentions this in its Further
Work section, and it is our impression that the EWG in Rapperswil was
generally approving of the idea.
We conservatively did not propose this in P1064 (our mistake) because we did not have a motivating example, but we do now.
(2.15) — a dynamic cast (18.104.22.168);
(2.19) — a typeid expression (22.214.171.124) whose operand is a glvalue of a polymorphic class type;
(2.24) — a throw-expression (7.6.17) or a dynamic cast (126.96.36.199) or typeid expression (188.8.131.52) that would throw an exception;
Unfortunately, changing a standard polymorphic type is an ABI break, and library implementers are increasingly unwilling to break ABI even in small quantities.
This presents a significant and frustrating obstacle to our efforts to evolve and improve the standard library.
One alternative approach is to avoid changing
std::error_category_v2 from it, which could now hold the
additional members and virtuals.
With this done,
std::error_code could use
dynamic_cast to check whether
it has been constructed from a "new" category, and adjust accordingly.
This, however, clashes with the proposal in P1195
error_code and friends. We’re again forced to choose
between one desirable improvement and another, and can’t have nice things.
The ability to use
dynamic_cast in constant expressions will solve this