Kotlin类型擦除-为什么只有泛型类型可编译的函数是不同的，而返回类型不同的函数是不同的？
Kotlin类型擦除是指在编译过程中，泛型类型信息会被擦除，导致在运行时无法获取具体的泛型类型。在Kotlin中，只有泛型类型可编译的函数是不同的，而返回类型不同的函数是相同的，这是因为编译器在处理泛型类型时的不同策略所导致的。
对于泛型类型可编译的函数，编译器会根据不同的泛型类型生成不同的字节码，从而实现类型安全。这意味着对于不同的泛型类型，编译器会生成不同的函数实现，保证了类型的正确性。例如，对于一个泛型函数fun <T> printList(list: List<T>)，如果传入的是List<String>和List<Int>，编译器会分别生成针对这两种类型的函数实现。
而对于返回类型不同的函数，编译器会将它们视为相同的函数，因为返回类型在运行时并不会影响函数的调用和执行。编译器会根据函数的参数类型和函数体逻辑来确定函数的唯一标识，而不考虑返回类型的差异。这样做可以减少编译器生成的函数数量，提高编译效率。
在实际应用中，泛型类型可编译的函数常用于处理集合、容器等需要保持类型安全的场景。而返回类型不同的函数则更多用于根据不同的输入参数返回不同类型的结果，例如根据用户输入的参数动态生成不同类型的对象。
对于腾讯云相关产品和产品介绍链接地址，由于要求不能提及具体的云计算品牌商，无法给出相关链接。但腾讯云作为一家知名的云计算服务提供商，提供了丰富的云计算产品和解决方案，可以通过搜索腾讯云官方网站获取相关信息。
相关·内容
2回答
为什么我们把无界的通配符参数化类型称为可读的？
java、generics
我正在通过阅读。在间隔了将近三天之后，我正在读它。在前面的课中，我了解到，unbounded wild card数组是允许创建的。我还研究了无界的外卡参数化类型称为Reifiable types。当我搜索可还原类型的定义时，它指出，在运行时已知类型信息的类型称为reifiable type。从文章中挑选一个代码片段。
Pair<?,?>[] iniPair = new Pair<?,?>[10];
我脑子里有以下的困惑。
为什么我们说无界的通配符参数化类型被称为reifiable？
在上面的例子中，类型信息是如何知道的？
我知道这是个基本问题。我只是想重
浏览 5提问于2013-08-23得票数 5
回答已采纳
4回答
Kotlin具体化类型参数不能作为函数体的类型参数
types、parameters、kotlin、inline
Kotlin中的具体化类型参数防止类型参数擦除，并允许在运行时知道类型参数。这允许按预期编译和运行以下代码：
inline fun <reified T> isA(value: Any) = value is T
但是，当我尝试使用"T“作为类型参数而不是独立的时，我会收到一条消息，即它是一个擦除的类型。下面的代码演示了这一点，该代码仅用于说明性目的
inline fun <reified T> isListOfA(name: String): Boolean {
val candidate = Class.forName(name)
retur
浏览 4提问于2017-07-18得票数 5
回答已采纳
4回答
Java泛型都是后期绑定，这是真的吗？是否在运行时之前忽略ArrayList类型？
为什么会这样呢？
浏览 0提问于2011-08-27得票数 3
7回答
为什么以下类型在java中是可读的和不可读的？
java、generics、type-erasure
在计算中，具体化意味着一种类型--即运行时类型信息的显式表示。
说，
可还原类型是其类型信息在运行时完全可用的类型。这包括原语、非泛型类型、原始类型和未绑定通配符的调用。
不可还原类型是指在编译时已逐个类型删除信息的类型，即未定义为无界通配符的泛型类型的擦除调用。
如果A类型是下列之一，则它是可识别的：
原语类型(如int) //理解
非参数化类或接口类型(如Number、String或Runnable) //
参数化类型，其中所有类型参数都是无界通配符(如List<?>、ArrayList<?>或Map<?, ?>) /
浏览 2提问于2013-09-17得票数 45
5回答
为什么instanceof不适用于泛型？
java、generics、typeerror、instanceof
可能重复：
我正在尝试编写一个函数，该函数将泛型列表转换为特定类型列表。找到下面的代码
public <T>List<T> castCollection(List srcList, Class<T> clas){
List<T> list =new ArrayList<T>();
for (Object obj : srcList) {
if(obj instanceof T){
...
}
}
return list;
}
但是obj in
浏览 4提问于2013-01-09得票数 22
回答已采纳
1回答
Java中的T(泛型类型)实例
java、generics
简而言之:为什么我不能用Java编写以下代码？
public class Foo<T> {
public void foo(Object bar) {
if (bar instanceof T) {
// todo
}
}
}
是的，我知道，仿制药被黑进了Java。泛型直到Java1.5才出现，并且泛型类型在运行时丢失。
我也知道，它有一些模式。例如：
public class Foo<T> {
Class<T> clazz;
public Foo(Class<
浏览 3提问于2016-04-12得票数 7
回答已采纳
2回答
Kotlin中具体化属的过载分解
kotlin、generics、kotlin-reified-type-parameters
我想根据具体化的类型参数返回不同的类型。我试图使用过载，但过载解析似乎不正确。
我的目标是在运行时存储一组类型，如下所示：
sealed interface Type<T> {
object Int: Type<kotlin.Int>
object Boolean: Type<kotlin.Boolean>
}
inline fun<reified T> get() : Type<T> = getImpl(null as T?)
fun getImpl(a: Int?) : Type<Int> = Type.I
浏览 3提问于2021-07-06得票数 0
回答已采纳
2回答
Java为什么无法在编译时确定泛型类型中的方法重载
java、generics、overloading
我想知道为什么下面的代码不能使用编译时泛型类型信息来正确地查找最具体的方法重载，而总是使用适用于所有潜在泛型参数的方法。有没有办法在编译时打开泛型参数类型，以避免在运行时出现讨厌的反射？
import org.junit.Assert;
import org.junit.Test;
import java.util.ArrayList;
import java.util.List;
public class Temp {
class A<T> {
T x;
A(T x) {
this.x = x;
浏览 0提问于2013-04-18得票数 2
回答已采纳
1回答
类型或类键映射
kotlin
在Kotlin中，我可以使用filterIsInstance获取特定类型(且类型安全)的子集合：
val misc: List<Any> = listOf(42, 3.14, true, "foo", "bar")
val strings: List<String> = misc.filterIsInstance<String>()
println(strings) // => [foo, bar]
但是我有大量的对象集合，我想将它按具体类型预先排序到一个Map中。是否有可能在Kotlin的类型系统中定义这样的地图？
v
浏览 0提问于2019-03-17得票数 2
回答已采纳
3回答
方法调用和通配符
java、generics、arraylist、wildcard
考虑以下代码：
MyClass myClass= new MyExtendedClass();
myClass.method();
其中MyExtendedClass是MyClass的子类型。据我所知，在编译状态编译器上，第二个字符串编译器检查了MyClass源代码中存在的方法method()。这是正确的推理吗？现在考虑一下
List<Integer> ints= new ArrayList<Integer>();
ints.add(2);
List<? extends Integer> lst = ints;
lst.get(0);
在哪里我可以看到Lis
浏览 1提问于2013-09-26得票数 0
4回答
数组在Java中被具体化
java、arrays
我最近发现，数组在Java中被具体化了。也就是说，它们只在运行时才知道类型信息。但我对这个定义有点困惑。
如果数组只在运行时知道类型信息，那么我应该能够将任何值赋给任何数组，因为类型只在运行时知道，并且只在运行时抛出错误。但这并不是实时的情况。我们得到了一个编译时的错误。
那么，有人能解释一下“按数组被具体化是什么意思”吗？
浏览 1提问于2013-05-13得票数 8
3回答
类级参数的泛型是如何工作的
java、generics
考虑以下来自Java Puzzler的代码
class Gloam<T>{
String glom(Collection<?> objs ) {
System.out.println("collection");
String result = "";
for (Object o : objs ){
result += o;
}
return result;
}
int glom(List <Integer> ints ) {
System.out.print
浏览 0提问于2013-07-19得票数 4
回答已采纳
1回答
为什么这个涉及泛型的编译时错误会出现呢？
java、generics
以下两个班的详情如下：
class Gen<T> {
T ob;
Gen(T o) {
ob = o;
}
// Return ob.
T getob() {
return ob;
}
}
class Gen2<T> extends Gen<T> {
Gen2(T o) {
super(o);
}
}
class HierDemo3 {
public static void main(String args[]) {
浏览 1提问于2014-10-13得票数 0
回答已采纳
3回答
扩展类型参数的内联类。
java、generics、ormlite
我想编写一个快速和脏的帮助类，它可以快速地保存我的对象。因此，我正在使用OrmLite。
我不想在类中添加注释，所以我尝试动态添加一个包装器，而没有任何字节码库。
<T> void save(T o) {
@DatabaseTable
class wrap extends T {
@DatabaseField(generatedId = true)
public Long id;
}
try {
Dao<T, Long> d = (Dao<T, Long>) getClassD
浏览 5提问于2016-08-26得票数 4
回答已采纳
4回答
为什么Java不抱怨泛型映射转换？
java、generics、map、casting
Object stringMap = new HashMap<String, String>(){{ put("1", "a"); }};
Map<Integer, String> integerMap = (Map<Integer, String>)stringMap; // Why doesn't Java throw an exception at run-time?
// I know this is not a problem if stringMap is declared as Map<Strin
浏览 3提问于2012-07-10得票数 5
回答已采纳
2回答
这是汇编还是反编译的副作用？
java、casting、compilation、decompiler、type-safety
在运行服务器。一个人被解雇了。他删除了源代码。我注意到了一些奇怪的事情：
( 1)可变解密也在随机点的程序中间。2) HashMaps的无类型安全性。
HashMap<Integer , Boolean> s = new HashMap<Integer , Boolean>();
被转换为HashMap s=新的HashMap()；通常在列表和集合中也会发生同样的事情。它也有一些副作用，导致一些例外(Long) list.get(a_long).longValue())；添加的内容是强制转换和longValue调用。
3)我还注意到了一些垃圾编码
这些事情是因为我对程序
浏览 1提问于2014-08-19得票数 1
回答已采纳
1回答
为什么带有实例化类型参数的函数应该内联？
kotlin、generics
据我所知，“物化”主要是糖，
Java：
static <T> boolean isTypeOf(Object o, Class<T> tClass) {
return tClass.isAssignableFrom(o.getClass());
}
Kotlin：
inline fun <reified T> Any.isTypeOf(): Boolean = this is T
在我看来是等同的，有什么区别吗？为什么带有实例化类型参数的函数应该内联？
浏览 2提问于2020-07-04得票数 0
5回答
什么是具体化的泛型？它们如何解决类型擦除问题，为什么不能在没有重大更改的情况下添加它们？
java、generics、collections、jvm、reification
我已经读过关于这个主题的博客，但在许多问题上仍然不太清楚。
在给定Java、JVM和现有集合API的当前状态下，为什么不能创建保留类型信息的Collections API实现？难道这些不能以保留向后兼容性的方式取代Java未来版本中的现有实现吗？
举个例子：
List<T> list = REIList<T>(T.Class);
其中REIList类似于：
public REIList<T>() implements List {
private Object o;
private Class klass;
public REIList(Obj
浏览 5提问于2009-05-18得票数 78
回答已采纳
1回答
关于类型转换、静态和实例的泛型查询
java、generics
1)我想知道为什么泛型方法和类不带超级关键字，尽管扩展是被接受的？
2)由于类型擦除，我们不能将运算符的实例与泛型一起使用，但为什么允许进行类型转换？
例如：
if (objecta instanceof Object){} //doesn't work
Collection collection = new ArrayList();
Collection<Integer> d1 = (Collection<Integer>)collection; //works fine.
根据我的理解，它不应该是因为我们试图将它转换为Collection
浏览 1提问于2012-09-09得票数 0
1回答
如何在Kotlin中获取泛型参数类？
kotlin
我需要能够在运行时分辨出kotlin集合的泛型类型。我该怎么做呢？
val list1 = listOf("my", "list")
val list2 = listOf(1, 2, 3)
val list3 = listOf<Double>()
/* ... */
when(list.genericType()) {
is String -> handleString(list)
is Int -> handleInt(list)
is Double -> handleDouble(list)
}
浏览 0提问于2017-04-03得票数 10
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频活动推荐
腾讯云开发者
