Как определить, являются ли следующие примеры точно присвоенными? ⇐ JAVA

[Anonymous]

На следующих примерах:

Код: Выделить всё

class A {
public static void main(String[] args) {
int n=5;
int k;
while(n [un]назначается
после e, когда false, а V [un]назначается перед каждым оператором прерывания
, для которого оператор while является целью разрыва.< /p>
• V определенно присваивается перед e тогда и только тогда, когда V определенно присваивается
перед оператором while.
• V определенно не присваивается перед e< /code>, если все следующие
истинны: – V определенно не назначен перед оператором while. –
Предполагая, что V определенно не назначен перед e, V определенно
не назначен после S. – Предполагая, что V определенно не назначен перед e, V
определенно не назначен перед каждым оператором продолжения, для которого оператор
while является целью продолжения.
• V [не]назначается перед S, если только V [не]назначается после e, когда true.
Например, когда Я оцениваю второй пример: если e истинно, кажется, что можно применить только последнее правило, но это правило, похоже, не может определить, что k определенно назначен .
Итак, как мы можем определить, были ли приведенные выше примеры точно присвоены [b]согласно спецификациям[/b]? Спасибо, что прочитали и ответили.> 

Подробнее здесь: [url]https://stackoverflow.com/questions/79150236/how-to-determine-whether-the-following-examples-are-definitely-assigned[/url]