blocks|key|695188|text|基本上是这样的。Java中的泛型是一个很好的编译器技巧。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|695189|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

Basically, yes. Generics in Java is a nice compiler trick.

blocks|key|1700844|text|有关泛型类型的信息不会保存到已编译的类中，它只在编译时用于检查类型安全性。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1700845|Integer+v+=+display(2);|code-block|syntax|javascript|1700846|Java编译器知道该方法是“泛型”的，并且返回与其参数相同的类型，在本例中它是Integer，而result被赋值给Integer，所以一切都是正常的。|1700847|String+d+=+display("3");|1700848|完全一样的把戏。但在这种情况下：|1700849|Long+v+=+display(2);|1700850|Java会告诉您它不能强制转换，因为2意味着是Integer，而Java不能将其强制转换为Long，因此您需要编写：|1700851|Long+v+=+display(2L);|1700852|正如我所说的，没有任何信息被保存到编译的类中，所以在运行时你可能会把它放入String类型的List<Integer>值中，并且不会抛出异常，但是当你读取这个String并尝试将其赋值给Integer类型的变量时，你会得到它……嗯，相当棘手;)|offset|length|style|CODE|1700853|entityMap^0|0|0|0|0|0|0|0|0|11|6|1A|D|27|6|2L|7|0^^$0|@$1|2|3|4|5|6|7|10|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|11|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|12|8|@]|9|@]|A|$]]|$1|I|3|J|5|D|7|13|8|@]|9|@]|A|$E|F]]|$1|K|3|L|5|6|7|14|8|@]|9|@]|A|$]]|$1|M|3|N|5|D|7|15|8|@]|9|@]|A|$E|F]]|$1|O|3|P|5|6|7|16|8|@]|9|@]|A|$]]|$1|Q|3|R|5|D|7|17|8|@]|9|@]|A|$E|F]]|$1|S|3|T|5|6|7|18|8|@$U|19|V|1A|W|X]|$U|1B|V|1C|W|X]|$U|1D|V|1E|W|X]|$U|1F|V|1G|W|X]]|9|@]|A|$]]|$1|Y|3|-4|5|6|7|1H|8|@]|9|@]|A|$]]]|Z|$]]

information about generic type is not saved into compiled class, it is used only at compile time to check type safety. 

<pre><code>Integer v = display(2);
</code></pre>

Java compiler knows that that method is "generic", and it returns the same type as its argument, in this case it is Integer, and result is assigned to Integer, so everything is ok.

<pre><code>String d = display("3");
</code></pre>

totally the same trick. But in that case:

<pre><code>Long v = display(2);
</code></pre>

Java will tell you that it can't cast, because 2 is meant to be Integer, and Java can't cast it to Long, so you need to write:

<pre><code>Long v = display(2L);
</code></pre>

As I told, no information is saved into compiled class, so potentially during runtime time you can put into the <code>List&lt;Integer&gt;</code> value of <code>String</code> type, and no exception will be thrown, but when you read this <code>String</code> and try to assign to <code>Integer</code> type variable you will get it... Well, quite tricky ;)

blocks|key|2761694|text|基本上你已经拥有它了。编译器使用泛型参数类型来验证代码，但生成的字节码替换在不同的类中。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2761695|对于像<T>这样的非绑定泛型参数，它应该是Object。但是，如果声明为<T+extends+Comparable>，则被替换的类将是Comparable而不是Object。|offset|length|style|CODE|2761696|Java+：关于泛型的很好的信息，尽管在各个部分中包含了大量的信息：|BOLD|2761697|Java泛型常见问题-常见问题|2761698|http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html|2761699|entityMap|0|LINK|mutability|MUTABLE|url^0|0|3|3|L|6|10|M|1V|A|28|6|0|8|Q|0|0|F|0|0|1Q|0|1Q|0|0^^$0|@$1|2|3|4|5|6|7|V|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|W|8|@$D|X|E|Y|F|G]|$D|Z|E|10|F|G]|$D|11|E|12|F|G]|$D|13|E|14|F|G]|$D|15|E|16|F|G]]|9|@]|A|$]]|$1|H|3|I|5|6|7|17|8|@$D|18|E|19|F|J]]|9|@]|A|$]]|$1|K|3|L|5|6|7|1A|8|@$D|1B|E|1C|F|J]]|9|@]|A|$]]|$1|M|3|N|5|6|7|1D|8|@$D|1E|E|1F|F|J]]|9|@$D|1G|E|1H|1|1I]]|A|$]]|$1|O|3|-4|5|6|7|1J|8|@]|9|@]|A|$]]]|P|$Q|$5|R|S|T|A|$U|N]]]]

You basically have it. The compiler uses the generic parameter types to validate the code, but the generated bytecode substitutes in a different class. 

For an unbound generic parameter like <code>&lt;T&gt;</code>, it would be <code>Object</code>. However, if the declaration were <code>&lt;T extends Comparable&gt;</code>, the substituted class would be <code>Comparable</code> instead of <code>Object</code>.

Edit: Great info about Java Generics, albeit really dense with info in parts:

Java Generics FAQs - Frequently Asked Questions 
<a href="http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html" rel="nofollow">http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html</a>

I am studying generics in Java.
I studied that during compilation, erasure erases all the generic info.

Here, i studied that all T is replaced with Object.

<pre><code> Integer v = display(2);
 String d = display("3");

public &lt;T&gt; T display(T i){
 return i;
 }
</code></pre>

I hope it will be turn into 

<pre><code>Integer v = (Integer)display(2);
String d = (String) display("3");
public Object display(Object i){
return i;
}
</code></pre>

So, is my assumption right?

Thanks.

Erasure in detail?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

我正在学习Java中的泛型。我研究过在编译过程中，擦除会擦除所有的通用信息。在这里，我研究了将所有的T替换为Object。 Integer v = display(2); String d = display("3");public <T> T display(T i){ return i; }我希望...

问详细的擦除？
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问详细的擦除？EN