第14章 类型信息(这里写自定义目录标题)
运行时类型信息使得你可以在程序运行时发现和使用类型信息。
它使你从只能在编译期执行面向类型的 *** 作的禁锢中解脱了出来，并且可以使用非常强大的程序。对RTTI的需要，揭示了面向对象设计中许多有趣（并且复杂）的问题，同时也提出了如何组织程序的问题。
本章将讨论Java是如何让我们在运行时识别对象和类的信息的。主要有两种方式：一种是“传统的”RTTI，它假定我们在编译时已经知道了所有的类型；另一种是“反射”机制，它允许我们在运行时发现和使用类的信息。
下面看一下我们已经很熟悉了的一个例子，它使用了多态的类层次结构。最通用的类型（泛型）是基类Shape，而派生出的具体类有Circle、Square和Triangle。
面向对象编程中基本的的目的是：让代码只 *** 纵对基类（这里是Shape）的引用。这样，如果要添加一个新类（比如从Shape派生的Rhomboid）来扩展程序，就不会影响到原来的代码。在这个例子的Shape接口中动态绑定了draw()方法，目的就是让客户端程序员使用泛化的Shape引用来调用draw()。draw()在所有派生类里都会被覆盖，并且由于它是被动态绑定的，所以即使是通过泛化的Shape引用来调用，也能产生正确行为。这就是多态。
因此，通常会创建一个具体对象（Circle、Square，或者Triangle），把它向上转型成Shape（忽略对象的具体类型），并在后面的程序中使用匿名（译注：即不知道具体类型）的Shape引用。
你可以像下面这样对Shape层次结构编码：
//:typeinfo/Shapes.java
import java.util.*;
abstract class Shape{
void draw(){System.out.println(this+".draw()");}
abstract public String toString();
}
class Circle extends Shape{
public String toString(){return “Circle”;}
}
class Square extends Shape{
public String toString(){return “Square”;}
}
class Triangle extends Shape{
public String toString(){return “Triangle”;}
}
public class Shapes{
public static void main(String[] args){
List ShapeList=Arrays.asList(
new Circle(),new Circle(),new Square(),new Triangle()
);
for(Shape shape:shapeList)
shape.draw();
}
}//:~
基类中包含draw()方法，它通过传递this参数给System.out.println(),间接的使用toString()打印类标识符（注意，toString()被声明为abstract，以此强制继承者覆盖该方法，并可以防止对无格式的Shape的实例化。如果某个对象出现在字符串表达式中（涉及“+”和字符串对象的表达式），toString()方法，这样draw()在不同情况下就打印出不同的信息（多态）。
在这个例子中，当把Shape对象放入List的数组时会向上转型。但在向上转型为Shape的时候也丢失了Shape对象的具体类型。对于数组而言，它们只是Shape类的对象。
当从数组中取出元素时，这种容器——实际上它将所有的事物都当作Object持有——会自动将结果转型回Shape。这是RTTI最基本的使用形式，因为在Java中，所有的类型转换都是在运行时进行正确性检查的。这也是RTTI名字的含义：在运行时，识别一个对象的类型。
在这个例子中，RTTI类型转换并不彻底：Object被转型为Shape，而不是转型为Circle、Square或者Triangle。这是因为目前我们只知道这个List保存的都是Shape。在编译时，将由容器和Java的泛型系统来强制确保这一点；而在运行时，由类型转换 *** 作来确保这一点。
接下来就是多态机制的事情了，Shape对象实际执行什么样的代码，是由引用所指向的具体对象Circle、Square或者Triangle而决定的。通常也正是这样要求的；你希望大部分代码尽可能少地i了解对象的具体类型，而是只与对象家族中的一个通用表示打交道（在这个例子中是Shape）。这样代码会更容易写，更容易读，且更便于维护；设计也更容易实现、理解和改变。所以“多态"是面向对象编程的基本目标。
但是，假如你碰到了一个特殊的编程问题——如果能够知道某个泛化引用的确切类型，就可以使用最简单的方式去解决它，那么此时该怎么办呢？例如，假设我们允许用户将某一具体类型的几何形状全都变成某种特殊的颜色，以突出显示它们。通过这种方法，用户就能找出屏幕上所有被突出显示的三角形。或者可能要用某个方法来旋转列出的所有图形，但想跳过圆形，因为对圆形进行旋转没有意义。使用RTTI，可以查询某个Shape引用所指向的对象的确切类型，然后选择或者剔除特例。
撤销：Ctrl/Command + Z
重做：Ctrl/Command + Y
加粗：Ctrl/Command + B
斜体：Ctrl/Command + I
标题：Ctrl/Command + Shift + H
无序列表：Ctrl/Command + Shift + U
有序列表：Ctrl/Command + Shift + O
检查列表：Ctrl/Command + Shift + C
插入代码：Ctrl/Command + Shift + K
插入链接：Ctrl/Command + Shift + L
插入图片：Ctrl/Command + Shift + G
查找：Ctrl/Command + F
替换：Ctrl/Command + G
直接输入1次#，并按下space后，将生成1级标题。
输入2次#，并按下space后，将生成2级标题。
以此类推，我们支持6级标题。有助于使用TOC语法后生成一个完美的目录。
强调文本 强调文本
加粗文本 加粗文本
标记文本
删除文本
引用文本
H2O is是液体。
210 运算结果是 1024.
插入链接与图片链接: link.
图片:
带尺寸的图片:
居中的图片:
居中并且带尺寸的图片:
当然，我们为了让用户更加便捷，我们增加了图片拖拽功能。
如何插入一段漂亮的代码片去博客设置页面，选择一款你喜欢的代码片高亮样式，下面展示同样高亮的 代码片.
// An highlighted block var foo = 'bar';生成一个适合你的列表
- 项目
- 项目
- 项目
- 项目
- 项目1
- 项目2
- 项目3
- 计划任务
- 完成任务
一个简单的表格是这么创建的：
使用:---------:居中
使用:----------居左
使用----------:居右
SmartyPants将ASCII标点字符转换为“智能”印刷标点HTML实体。例如：
-
Markdown
- Text-to- HTML conversion tool Authors
- John
- Luke
一个具有注脚的文本。1
注释也是必不可少的Markdown将文本转换为 HTML。
KaTeX数学公式您可以使用渲染LaTeX数学表达式 KaTeX:
Gamma公式展示 Γ ( n ) = ( n − 1 ) ! ∀ n ∈ N Gamma(n) = (n-1)!quadforall ninmathbb N Γ(n)=(n−1)!∀n∈N 是通过欧拉积分
Γ ( z ) = ∫ 0 ∞ t z − 1 e − t d t . Gamma(z) = int_0^infty t^{z-1}e^{-t}dt,. Γ(z)=∫0∞tz−1e−tdt.
新的甘特图功能，丰富你的文章你可以找到更多关于的信息 LaTeX 数学表达式here.
- 关于 甘特图 语法，参考 这儿,
可以使用UML图表进行渲染。 Mermaid. 例如下面产生的一个序列图：
这将产生一个流程图。:
- 关于 Mermaid 语法，参考 这儿,
我们依旧会支持flowchart的流程图：
- 关于 Flowchart流程图 语法，参考 这儿.
如果你想尝试使用此编辑器, 你可以在此篇文章任意编辑。当你完成了一篇文章的写作, 在上方工具栏找到 文章导出 ，生成一个.md文件或者.html文件进行本地保存。
导入如果你想加载一篇你写过的.md文件，在上方工具栏可以选择导入功能进行对应扩展名的文件导入，
继续你的创作。
注脚的解释 ↩︎
欢迎分享，转载请注明来源：内存溢出
微信扫一扫
支付宝扫一扫
评论列表（0条）