[type.traits] Strike 'at compile time' #6841
Conversation
Eisenwave
changed the title
|
If we wanted to retain this in some form, we could say "during translation". I don't think we lose anything by striking it completely though. |
Me neither. The paragraphs already mention that the subclauses contain templates, not utility functions or something that would suggest run-time over compile-time.
If we added "during translation", that may beg the question "during translation of what?" Would that justify an |
|
During translation of the program. That's how we refer to compilation, so something that happens at compile time happens during translation. I don't think anything more would be needed. |
Related to #5641.
C++ doesn't have a notion of "compile-time" or "run-time". We can simply say that type traits query the properties of a type, period.
If we really wanted to, we could say something about constant expression here. However, I see this as pointless; these paragraphs are informative anyway.