Почему параметр catch неявно является окончательным?

Question

catch (IOException|SQLException ex) {
    logger.log(ex);
    throw ex;
}

здесь, почему ex неявно является окончательным?Какая польза от того, чтобы сделать ex безоговорочно финальным?

Answer 1

Это неявно окончательно, потому что для вас не имеет смысла менять объект, на который указывает ex, особенно в этом случае, когда это может быть либо IOException, либо SQLException, и, следовательно, (статический) компилятору будет сложно определить тип назначения.