时间戳

首页 > 解决方案 > 类型推断失败，但无法检查擦除类型的实例

generics - 类型推断失败，但无法检查擦除类型的实例

问题描述

我有一些逻辑仅在从 FileInputStream 中读取的对象是 Map 时运行：

  private fun loadEncryptedFile(file: File, password: CharArray) {


        var decrypted: ByteArray? = null
        ObjectInputStream(FileInputStream(file)).use {

            when (val data = it.readObject()) {
                is Map<*, *> -> {

                    if (data.containsKey("iv") && data.containsKey("salt") && data.containsKey("encrypted")) {
                        val iv = data["iv"]
                        val salt = data["salt"]
                        val encrypted = data["encrypted"]
                        if (iv is ByteArray && salt is ByteArray && encrypted is ByteArray) {
                            decrypted = Encryption().decrypt(
                                    hashMapOf("iv" to iv, "salt" to salt, "encrypted" to encrypted), password)
                        }
                    }
                }
            }
        }
}

“数据”变量的每个实例都给我一个“类型推断失败，应在输入类型中提及参数 K 的值”错误。

但是，用这些类型替换通配符会给我“无法检查已擦除类型的实例”错误。编译器希望我在哪里告诉它 Map 中包含哪些类型？

标签： genericskotlin

解决方案

尴尬的局面。

一些实验发现了一种似乎可行的方法：在检查后将地图转换为特定类型：is Map<*, *>

        when (val data = it.readObject()) {
            is Map<*, *> -> {
                val castData = data as Map<Any, Any>
                if (castData.containsKey("iv") && data.containsKey("salt") && castData.containsKey("encrypted")) {
                    val iv = castData["iv"]
                    // ...

这会给出一个“未经检查的演员表”警告，但这不是一个错误（你可能会抑制它）。

推荐阅读