конечные символы в Java

Question

Следующий сегмент кода вызывает ошибку времени компиляции.

char c = 'c'; 
char d = c + 5; 

Ошибка на второй линии говорит

possible loss of precision 
    required: char 
    found: int 

_{Сообщение об ошибке на основе IDE NetBeans.}

---

Когда этот символ c объявлен final как следующим образом.

final char c = 'c'; 
char d = c + 5; 

Ошибка компилятора-времени.

Это не имеет никакого отношения к случаю final strings

Что модификатор final сделать разницу здесь?

Answer 1

Причина заключается в том, что JLS #5.2 (Assignment conversion) говорит так:

Если выражение является постоянным выражением (§15.28) типа байт, короткий, полукокса, или Int, сужение примитивно преобразование может быть использовано, если Тип переменной - это байт, короткий или char, а значение константного выражения представляется в типе переменной.

В вашем примере, char c = 'c'; не a constant но final char c = 'c'; есть.

Обоснование, вероятно, заключается в том, что оператор сложения + сначала преобразует свои операнды в целые числа. Таким образом, операция может переполняться, если все не является постоянным, и в этом случае компилятор может доказать, что переполнение не происходит.

Answer 2

When you apply the + operator to integral types

Binary числовое расширение выполняется над операндами (§5.6.2).

В этом случае char значения повышаются до int значений.

Здесь

char c = 'c'; 
char d = c + 5; 

потому c не константа, компилятор не может определить, является ли значение c + 5 которое является int сможет поместиться в char.

В этом

final char c = 'c'; 
char d = c + 5; 

где c является постоянным выражением, компилятор может определить, что значение c, которое 99, добавляет к 5, который делает 104 вписывается в char. Из-за этой гарантии Java может безопасно выполнять суживающее преобразование от int до char.

Если вместо этого вы были

final char a = Character.MAX_VALUE;  
char b = (a + 5); 

вы увидите подобное поведение, как при первом испытании случае в качестве значения a + 5 не вписывается в char. Компилятор определяет, что значение int, полученное в результате a + 5, не помещается в char.