package Ġcom . kotlin . in action . chapter _ 9 Ċ Ċ /** Ċ Ġ* Ċ Ġ* Ġ@ author Ġw zc Ċ Ġ* Ġ@ date Ġ 2 0 1 9 / 8 / 1 3 Ċ Ġ*/ Ċ fun Ġtest Invariant 1 ( list : ĠMutable List < String >) Ġ{} Ċ fun Ġtest Invariant 2 ( list : ĠMutable List < Int >) Ġ{} Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ ĊĠĠĠ Ġval Ġlist 1 : ĠMutable List < String > Ġ= Ġmutable ListOf < String >() ĊĠĠĠ Ġval Ġlist 2 : ĠMutable List < Int > Ġ= Ġmutable ListOf < Int >() Ċ Ċ // ĠĠĠ Ġtest Invariant 1 ( list 2 ) Ġ// Ġ ç¼ĸè¯ĳ ä¸į éĢļè¿ĩ ï¼Į è¯´æĺİ ĠMutable List < Int > Ġ ä¸įæĺ¯ ĠMutable List < String > ĠçļĦ åŃĲ ç±»åŀĭ Ċ Ċ // ĠĠĠ Ġtest Invariant 2 ( list 1 ) Ġ// Ġ ç¼ĸè¯ĳ ä¸į éĢļè¿ĩ ï¼Į è¯´æĺİ ĠMutable List < String > Ġ ä¸įæĺ¯ ĠMutable List < Int > ĠçļĦ åŃĲ ç±»åŀĭ Ċ } Ċ Ċ /** Ċ Ġ* Ġ æĢ» ç»ĵ ï¼ļ Ċ Ġ* Ġ 1 ï¼Į è¿Ļä¸ª ä¾ĭåŃĲ åŃ¦ä¹ł ä¸į åıĺ åŀĭ çļĦ æľ¯ è¯Ń ï¼ļ Ċ Ġ* Ġ ä¸Ģä¸ª æ³Ľ åŀĭ ç±» -- ä¾ĭå¦Ĥ ĠMutable List ï¼Į å¦Ĥæŀľ å¯¹äºİ ä»»æĦı ä¸¤ç§į ç±»åŀĭ ĠA ĠåĴĮ ĠB , ĠMutable List < A > Ġ æĹ¢ ä¸įæĺ¯ ĠMutable List < B > Ċ Ġ* ĠçļĦ åŃĲ ç±»åŀĭ ä¹Ł ä¸įæĺ¯ å®ĥçļĦ è¶ħ ç±»åŀĭ ï¼Į éĤ£ä¹Ī å°± è¯´ è¿Ļä¸ª æ³Ľ åŀĭ ç±» åľ¨ è¯¥ ç±»åŀĭ åıĤæķ° ä¸Ĭ æĺ¯ ä¸į åıĺ åŀĭ çļĦ ãĢĤ Ċ Ġ* Ġ 2 , ĠJava Ġä¸Ń æīĢæľīçļĦ ç±» éĥ½æĺ¯ ä¸į åıĺ åŀĭ çļĦ . Ċ Ġ*/