static_cast, static_cast and const_cast