取得したアダプターの型チェックやキャストをする方法

Question

前提・実現したいこと

ListViewがあり、文字列を格納したリストとArrayAdapterで連携しているとします。
また、ListViewの項目をタップした際にアイテムを削除して画面を更新するとします。

上記を実現するために、リスナを設定する際にアダプターを取得し処理を記述する必要があるのですが、取得したアダプターの型のチェックやキャストをする正しい方法がわかりません。

asを用いて型変換を行うとコンパイルは通り、アプリは正常に動作するのですが以下の警告が出ます。

警告

Unchecked cast: Adapter! to ArrayAdapter<String>

もちろん最初にリストビューにリストを設定する際に宣言し使用したアダプターをリスナ内で使えば警告なしでコンパイルすることはできるのですが、リスナを設定する際にparent.adapterで取得したアダプターを使って記述する方法が知りたくて質問させていただきました。
よろしくおねがいします。

該当のソースコード

class MainActivity : AppCompatActivity() {

    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main)

        val list = mutableListOf("アイテム1", "アイテム2", "アイテム3")
        val adapter = ArrayAdapter<String>(applicationContext, android.R.layout.simple_list_item_1, list)
        lv.adapter = adapter

        lv.setOnItemClickListener { parent, view, position, id ->
            val adapter = parent.adapter as ArrayAdapter<String>
            adapter.remove(adapter.getItem(position))
            adapter.notifyDataSetChanged()
        }

    }

}

試したこと

isを用いた場合は以下のエラーが出ました。parent.adapterの返り値がAdapter!のため中身の型情報を持っていないことが原因と考えられます。

lv.setOnItemClickListener { parent, view, position, id ->
            val adapter = parent.adapter
            if(adapter is ArrayAdapter<String>) {
                adapter.remove(adapter.getItem(position))
                adapter.notifyDataSetChanged()
            }
        }

エラー

Cannot check for instance of erased type

次にArrayAdapter<*>として型のチェックを行うとadapter.removeに渡す引数のところでエラー出ました。

lv.setOnItemClickListener { parent, view, position, id ->
            val adapter = parent.adapter
            if(adapter is ArrayAdapter<*>) {
                adapter.remove(adapter.getItem(position))
                adapter.notifyDataSetChanged()
            }
        }

エラー

Type mismatch: inferred type is Any! but Nothing! was expected. Projected type ArrayAdapter<*> restricts use of public open fun remove(@RecentlyNullable p0: T!): Unit defined in android.widget.ArrayAdapter	

parent.adapterを使用する際、どのように実装すれば警告、エラー無しで実装できるのでしょうか？
それとも、そもそもリスナ設定内でparent.adapterを用いて処理を書くことが書き方的に間違っているのでしょうか？

Comments

[hoshi-takanori]

「アイテム」ってクラスではなく単なる文字列でしょうか？ 余計なお世話ですが、ArrayAdapter は非常に単純な文字列のリストのためのものなので、普通は BaseAdapter のサブクラスを自作した方がいいと思います。

[tokumei000]

単なる文字列です、分かりづらくて申し訳ありません。ご指摘ありがとうございます。

Answer 1

tokumei000さんこんにちは。

お役に立たない意見かもしれませんがおっしゃる通り、

それとも、そもそもリスナ設定内でparent.adapterを用いて処理を書くことが書き方的に間違っているのでしょうか？

例内のような処理をparent.adapterでなければ実現できないようなユースケースが想定できません。
じゃあparent.adapterはどういうケースで使うのかと訊かれてしまうと、すぐには思いつかないのですが…

よくある似たケースとしては、以下の2つの関数は同じシグネチャを持つ関数としてコンパイルエラーになるというのがあるかもしれません。

fun doSomething(list: ArrayList<String>) {
}

fun doSomething(list: ArrayList<Int>) {
}

ArrayListになってしまうと、どのような型を格納していても内容そのものはAnyになってしまう（JavaではObject型）というケースに似ているのかも。

Comments

[tokumei000]

なるほど、わざわざparent.adapterとしてアダプタを取得し処理を記述することはほとんど無い感じなんですね、ありがとうございます。