裝飾模式，編譯器不允許類型傳播

Question

我想實現的裝飾圖案，在這裏我specfication：

public abstract class Menu{ //propagate the type 
} 

而且

public class Sandwich extends Menu{ // Concrete class which is a Menu 

} 

而且

public abstract class Extra extends Menu{ 

    Menu menu; 

    public Extra(Menu menu){ // the constructor takes a Menu type 
     this.menu=menu; 
    } 
} 

的問題是爲什麼編譯器不允許這樣做：

public class Test { 
    Menu sand1 = new Sandwich(); 
    sand1 = new Extra(sand1); //It's fine for the compiler 

    Sandwich sand = new Sandwich(); 
    sand = new Extra (sand);// Compiler cries here !! 
} 

三明治IS-A Menu通過inheritence，Extra的構造函數需要Menu所以爲什麼編譯器不開心？

編譯器消息：Type mismatch: cannot convert from Extra to Sandwich

感謝您的澄清。

Answer 1

想象一下這樣的情況下（即夾心裏面有一些方法）：

public class Sandwich extends Menu{ 
    public void addSalad(){ 
    //... 
    } 
} 

所以現在youre做這樣的：

Sandwich sand = new Sandwich(); 
sand.addSalad();//works 

sand = new Extra (sand);//imagine this doesnt throw errs 
sand.addSalad();//will fail as sands not a sandwich anymore 

上的代碼將失敗。因此，你不允許將非三明治分配給沙子。

Answer 2

問題是未將sand傳遞給Extra構造函數，問題是試圖將new Extra(sand)分配給Sandwich類型。