Do you have a sense of how the design would be adapted if in future it needs to handle an arbitrary set of qualifiers determined when the compiler runs (so objects that can store qualifier sets need to involve dynamic allocation in some cases)? For example, for features such as the N3587 "strong typedefs" proposal. (I think that particular proposal is seriously flawed in both the design and the specification, including the whole idea of expressing things in terms of qualifiers rather than some other concept, but I still think it's worth considering how the available qualifiers being added to during a translation unit could be handled. Certainly I hope that typed qualifiers are a step in the right direction for anything requiring such dynamic allocation in future.)
-- Joseph S. Myers [email protected]
