1.源码

package charactor;

import java.io.Serializable;
 
public class Hero{
    public String name; 
    public float hp;
    
    public int damage;
    
    public void attackHero(Hero h) {
        try {
            //为了表示攻击需要时间，每次攻击暂停1000毫秒
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        h.hp-=damage;
        System.out.format("%s 正在攻击 %s, %s的血变成了 %.0f%n",name,h.name,h.name,h.hp);
        
        if(h.isDead())
            System.out.println(h.name +"死了！");
    }

    public boolean isDead() {
        return 0>=hp?true:false;
    }

}

package multiplethread;

import charactor.Hero;

public class TestThread {

    public static void main(String[] args) {
        
        Hero gareen = new Hero();
        gareen.name = "盖伦";
        gareen.hp = 616;
        gareen.damage = 50;

        Hero teemo = new Hero();
        teemo.name = "提莫";
        teemo.hp = 300;
        teemo.damage = 30;
        
        Hero bh = new Hero();
        bh.name = "赏金猎人";
        bh.hp = 500;
        bh.damage = 65;
        
        Hero leesin = new Hero();
        leesin.name = "盲僧";
        leesin.hp = 455;
        leesin.damage = 80;
        
        //盖伦攻击提莫
        while(!teemo.isDead()){
            gareen.attackHero(teemo);
        }

        //赏金猎人攻击盲僧
        while(!leesin.isDead()){
            bh.attackHero(leesin);
        }
    }
    
}

2.探讨代码段

while(!leesin.isDead()){
            bh.attackHero(leesin);
        }

public boolean isDead() {
        return 0>=hp?true:false;
    }

2.1正确推导

image.png

2.2一开始的错误推导

image.png

2.3问题

从D到E推导有问题，漏掉了！符号。

image.png

2.4疑惑

以上是根据最后结果的反向推导，从E到F的推导是否有问题？