Я прочитал правила static_cast.
static_cast< new_type > ( expression )
... ...
5) Если существует неявная последовательность преобразования из new_type в тип выражения, которая не включает lvalue-to-rvalue, массив-указатель, функцию-указатель, нулевой указатель, нулевой указатель члена или логическое преобразование, то static_cast может выполнять обратное этому неявному преобразованию;
Вопрос Может ли кто-нибудь объяснить или написать пример для этого правила?