[expr.dynamic.cast] The phrase "runtime check" is not quite correct #6799
Comments
|
I fully agree. C++ doesn't really have a concept of runtime or compile-time anyway, so this wording feels very out-of-place in general. Perhaps something like If T is “pointer to cv void”, then the result is a pointer to
the most derived object pointed to by v.
-Otherwise, a runtime check is applied to see if the object pointed or
-referred to by v can be converted to the type pointed or referred to by T.
+Otherwise, the effect of the expression dynamic_cast<T>(v)
+is determined as follows.[...]
-Otherwise, the runtime check fails.
+Otherwise, the cast fails. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
dynamic_cast, which possibly performs the so-called "runtime check", is allowed in constant evaluation since C++20 via P1327R1. Perhaps we should choose another phrase to describe such checks.The text was updated successfully, but these errors were encountered: