Kotlin「Cannot infer a type for this parameter」の解決方法

Kotlinでコードを記述していると、「Cannot infer a type for this parameter」というエラーが表示されることがあります。

このエラーは、ラムダ式やコールバックなどの引数について、Kotlinのコンパイラが型を判断できない場合などに発生します。

Kotlinでは多くの場面で型推論が行われるため、通常は引数の型を省略できますが、周囲の情報だけでは型を一つに決められない場合は、明示的に型を指定する必要があります。

この記事では、Kotlinで「Cannot infer a type for this parameter」が表示される主な原因と、基本的な解決方法を紹介します。

「Cannot infer a type for this parameter」とは

「Cannot infer a type for this parameter」は、引数の型をコンパイラが推論できないことを示すエラーです。

特に、ラムダ式の引数で発生することが多くあります。

val action = { value ->
    println(value)
}

このコードでは、valueがどの型なのかを判断するための情報がありません。

そのため、コンパイラはvalueの型を推論できず、エラーになることがあります。

このような場合は、引数の型を明示します。

val action = { value: Int ->
    println(value)
}

valueがIntであることを明示することで、コンパイラが型を判断できるようになります。

原因1：ラムダ式の引数型が分からない

もっとも基本的な原因は、ラムダ式の引数について、型を推論するための情報が不足していることです。

val printer = { item ->
    println(item)
}

この場合、itemがStringなのかIntなのか、それ以外の型なのかを判断できません。

引数の型を明示すると解決できます。

val printer = { item: String ->
    println(item)
}

このように、ラムダ式の引数の後に: 型名を記述します。

原因2：ラムダ式を代入する変数の型が指定されていない

ラムダ式の引数型を直接指定しなくても、代入先の変数に関数型を指定することで型を推論できる場合があります。

val printer: (String) -> Unit = { item ->
    println(item)
}

この場合、printerが(String) -> Unitという関数型であることが分かるため、ラムダ式のitemはStringとして推論されます。

ラムダ式側に毎回型を書く必要がない場合は、この方法を使用することもできます。

原因3：コレクションの要素型が不明確になっている

コレクションに対してmapやfilterなどを使用している場合、元のコレクションの型が不明確だとラムダ式の引数型も判断できないことがあります。

val items = emptyList()

items.forEach { item ->
    println(item)
}

このようなコードでは、emptyList()だけでは要素の型を決定できないため、後続の処理でも型推論ができなくなることがあります。

コレクションの型を明示します。

val items: List<String> = emptyList()

items.forEach { item ->
    println(item)
}

これにより、itemはStringとして推論されます。

原因4：emptyListやlistOfなどで型を推論できない

空のコレクションを作成するときは、要素が存在しないため、コンパイラが型を判断できない場合があります。

val values = emptyList()

このような場合は、型引数を明示します。

val values = emptyList<String>()

または、変数側に型を指定します。

val values: List<String> = emptyList()

コレクションの型が明確になることで、そのコレクションを使用するラムダ式の引数型も推論しやすくなります。

原因5：ジェネリック関数の型引数を推論できない

ジェネリック関数を使用している場合、呼び出し時の情報が不足していると型引数を決定できず、その結果としてラムダ式の引数型も推論できないことがあります。

fun <T> process(action: (T) -> Unit) {
}

fun main() {
    process { value ->
        println(value)
    }
}

この例では、Tが何の型なのかを判断するための情報がありません。

この場合は、型引数を明示します。

fun main() {
    process<String> { value ->
        println(value)
    }
}

これにより、TがStringであることが決まり、valueもStringとして扱われます。

原因6：オーバーロードされた関数でラムダ式の型が曖昧になっている

同じ名前の関数が複数あり、それぞれ異なる関数型を受け取る場合、ラムダ式だけではどのオーバーロードを使用するのか判断できないことがあります。

fun execute(action: (Int) -> Unit) {
    action(1)
}

fun execute(action: (String) -> Unit) {
    action("Hello")
}

このような場合、呼び出し方によってはラムダ式の引数型を推論できません。

引数型を明示することで候補を絞り込めます。

execute { value: Int ->
    println(value)
}

これにより、(Int) -> Unitを受け取る関数が使用されることが明確になります。

原因7：コールバックの型が定義されていない

独自のコールバック処理を作成している場合、コールバックの型が不明確だと、その中で使用する引数の型を推論できないことがあります。

val callback = { result ->
    println(result)
}

この場合も、resultの型を判断する情報がありません。

関数型を指定すると解決できます。

val callback: (Boolean) -> Unit = { result ->
    println(result)
}

これにより、resultはBooleanとして推論されます。

原因8：関数の戻り値や変数の型が曖昧になっている

エラーが表示されているラムダ式だけではなく、そのラムダ式を受け取る関数や変数の型が曖昧になっていることが原因の場合もあります。

例えば、関数の戻り値を利用して別の処理へ渡している場合、前段階で型が明確になっていないと、その後のラムダ式でも型推論に失敗することがあります。

ラムダ式の引数型を明示して解決する

もっとも直接的な解決方法は、コンパイラが判断できないラムダ式の引数に型を指定することです。

val action = { value: Int ->
    println(value)
}

引数が複数ある場合は、それぞれに型を指定できます。

val action = { name: String, age: Int ->
    println("$name: $age")
}

必要な型を明示することで、型推論に依存せずにコンパイラへ情報を与えられます。

関数型を明示して解決する

ラムダ式の引数側ではなく、変数やプロパティに関数型を指定する方法もあります。

val action: (Int) -> Unit = { value ->
    println(value)
}

この場合、ラムダ式の引数valueはIntとして自動的に推論されます。

ラムダ式全体がどのような処理を表しているのかを明確にしたい場合にも、この方法は分かりやすくなります。

ジェネリック型を明示して解決する

ジェネリック関数やコレクションが原因の場合は、型引数を明示することで解決できる場合があります。

val values = mutableListOf<String>()

また、ジェネリック関数では次のように型を指定できます。

process<String> { value ->
    println(value)
}

型推論に必要な情報が不足している場合は、どこか一か所で型を明示することで、その後の型をコンパイラが推論できるようになることがあります。

itを使用できる場合

ラムダ式の引数が1つで、型を周囲の文脈から推論できる場合は、引数名を省略してitを使用できます。

val names = listOf("Taro", "Jiro")

names.forEach {
    println(it)
}

この場合、namesがList<String>であることから、itはStringとして推論されます。

ただし、元となる型が不明確な場合は、itを使用しても型推論の問題自体は解決しません。

Cannot infer a type for this parameterが表示されたときの確認ポイント

「Cannot infer a type for this parameter」が表示された場合は、コンパイラがその引数の型を判断するための情報が十分にあるか確認します。

• ラムダ式の引数型が省略されていないか
• ラムダ式を代入する変数に関数型が指定されているか
• コレクションの要素型が明確になっているか
• emptyList()やmutableListOf()などで型引数が不足していないか
• ジェネリック関数の型引数を推論できる情報があるか
• オーバーロードによって複数の関数型候補が存在していないか
• コールバックの型が明確に定義されているか
• エラー箇所より前の処理で型情報が失われていないか

エラーが表示された引数だけを修正するのではなく、その値がどこから渡され、どの関数や変数で受け取られているかを確認すると原因を見つけやすくなります。

まとめ

Kotlinの「Cannot infer a type for this parameter」は、ラムダ式やコールバックなどの引数について、コンパイラが型を推論できない場合に表示されるエラーです。

代表的な原因には、ラムダ式の引数型が不明な場合、コレクションやジェネリック型が決まっていない場合、オーバーロードによって複数の候補が存在する場合などがあります。

基本的には、ラムダ式の引数型を明示する、変数に関数型を指定する、コレクションやジェネリックの型引数を明示するなどの方法で解決できます。

また、エラーが表示されている場所だけでなく、そのラムダ式を受け取る関数や変数、元となるコレクションの型を確認することも重要です。

「Cannot infer a type for this parameter」が表示されたときは、「コンパイラがその引数の型を判断するための情報がどこにあるか」を確認し、不足している型情報を明示すると原因を解決しやすくなります。