omochimetaru 10/6/2017 2:40 AM

[Animal] から [Cat] へのダウンキャストは

2:40 AM

要素が全部Catのときだけ成功するはず

2:40 AM

Dogが混ざってるかどうかは静的にわからない