子クラスへのキャスト？

Question

クラス継承の宣言の仕方についての問題です。Main.javaのHeroPartyの宣言部分で

The constructor HeroParty(Hero[]) is undefined

と言われたのでHeroParty.javaでキャストするようなメソッドを作ってみたのですがメソッドの型の部分で

The return type is incompatible with AbstractParty.getMembers()

というエラーが出ます。どうすれば良いのでしょうか？
根本の問題は宣言部分の引数の型違いなのでそこが直るのであれば他のアプローチでも構いません。

コンストラクタの引数はクラス図で指定されているので変更できません。

Main.java

public class Main {
    public static void main(String[] args) {
		BattleField battle = new BattleField();
		
		HeroParty heroParty = new HeroParty(
			new Hero[]{
				new Warrior("一郎"),
				new Warrior("次郎"),
				new Warrior("三郎")
			}
		);
		MonsterParty monsterParty = new MonsterParty(
			new Monster[]{
				new Matango("マタンゴ１"),
				new Matango("マタンゴ２"),
				new Matango("マタンゴ３")
			}
		);

		battle.battle(heroParty, monsterParty);
	}
}

AbstractParty.java

public abstract class AbstractParty{
    /**
	 * パーティ．
	 */
    private AbstractCharacter[] members;
    
    public AbstractParty(AbstractCharacter[] members){
		this.members = members;

    }

    public AbstractCharacter[] getMembers(){
        return members;
    }
}

HeroParty.java

public class HeroParty extends AbstractParty{
	/**
	 * ヒーローのパーティ．
	 */
	public HeroParty(AbstractCharacter[] heros) {
		super(heros);
	}

	@Override
	public Hero[] getMembers(){
		return (Hero[])super.getMembers();
	}
}

Comments

[root_jp]

AbstractCharacterとは？

[atena]

AbstractCharacterの集合がAbstractPartyです。
必要に感じなかったので載せていませんでした。

Answer 1

importの問題でした