在其中, 多态不是随随便便偶然达成的调用顺当情况, 是一种能够被人们再三仗赖的行为样式。这样的可仗赖特性并不是源于类型管束, 然而源自一个更加至关重要的前提条件——行为的一致性。
6.1 行为一致性的含义
行为一致性并非要求不同对象在内部实现方面相同, 而是意味着, 在相同的使用情境里, 针对同类调用，不同对象持续给出符合约定语义的行为结果。
process_items(range(10)) # range对象于这些例子里头, 仅需满足一项条件：可被迭代且逐个导出元素。调用的那一方并不在意它是不是基于索引、哈希架构或者动态运算。
一致的不是结构，而是：
• 调用方式一致
• 行为语义一致
• 使用结果可预期
6.2 语义一致而非实现一致
的多态模型真正依赖的是语义一致性（ ）。
display_size({"a": 1, "b": 2}) # 2 (键值对数量)重点并非返回值怎样去计算, 而是在于返回值有没有合理地表达出“大小”这种语义所代表的含义。
语义不符的实现会破坏多态：
display_size(BadLength()) # 能调用但语义错误这说明：多态不是“能运行即可”，而是“行为是否长期可信”。
接受实现差异，但依赖语义一致。
6.3 方法名并非多态核心
初学者常常会把多态理解成是“不同对象针对实现同一个名称的方法”, 然而, 在特定的某种情况之下, 这样的一个条件，它并不是足够充分的。
handler.save() # 调用成功，但语义各异从语法的角度进行观察, 上述所列举的示例的确构建起了一种被称作“形式上的多态”的情形: 存在多个对象, 这些对象均展现出了相同名称的 save() 方法, 并且调用这些方法均能够顺利达成任务的完成。然而, 这种呈现出的一致性仅仅是维系在了调用的起始入口这一层面, 而并不一定就会演变成能够予以依赖的多态类型的行为。
对于调用方来讲, 真正关键的问题并非: “这个对象有没有 save() 方法? ”, 而是: “在当下的使用情境里, 调用 save() 到底意味着啥? ”。
倘若调用方于业务逻辑里认定 save() 存有某种确切效果, 像是“数据已然进行了可靠持久化”, 那么这些对象事实上并非能够相互替换。
因此, 在其中, 方法名相同, 这仅仅是多态的必要条件当中的一个, 然而却远远不是充分条件。
能实实在在去支撑多态的, 并非是方法的那个名字, 而是以该方法来形成的稳定语义约定, 此约定涵盖其副作用, 包含时机保证, 涉及失败方式, 还有可重复调用的行为特征。
方法名只是调用入口，行为语义才是多态的核心。
要是调用方没有清晰地约定方法的语义边界, 哪怕方法名是一样的, 也不能够构建成稳定、可替换的多态接口。
6.4 属性访问中的多态
的所有能力都通过属性访问暴露，多态同样如此。
return source.read(size)return self.socket.recv(size if size > 0 else 4096)在（）的那种调用语境里面, 调用的那一方并不去关心, 究竟是文件, 还是缓冲区乃至于网络流，而是依靠这样的一个事实, 也就是通过read（）属性去进行访问的时候, 能够依照于约定获取到一段的数据。
只要对象在以下方面保持一致：
• 调用方式稳定
• 返回值的语义明确
• 关键行为（如读取范围、阻塞特性）符合约定
那么属性访问本身就构成了一种多态接口。
这表明, 于某情境里, 多态并非限定于“方法是否同样名称”, 还能够借由统一的属性访问语义自然而然地形成。
6.5 协作语境中的行为一致性
多态真正的价值，体现在对象在协作体系中的可替换性。
process_pipeline(NetworkSource(), CompressTransformer(), NetworkSink())多态并非孤立存在, 上述示例所强调的是, 它是在对象协作当中, 才会真正展现出价值的。
在这个管道模型中，每个对象只承担一个清晰角色：
• 提供数据
• 处理数据
• sink 接收结果
发起调用的一方, 仅仅依靠这些角色在协作界限边缘既定的行为准则来开展活动, 对于它们的具体实施方式丝毫不关心。
只要各对象在协作点上保持行为一致：
• 输入与输出的语义不变
• 调用方式不变
• 副作用可预期
就可以在不修改调用代码的前提下，自由替换实现。
所以, 这儿的多态并非是“对象相互之间的那种关系”, 而是对象于协作体系里所具备的可替换特性。
6.6 行为一致性的实践保障
倘若并非强制要求接口以及类型约束，那么一个自然而然会出现的问题便是, 行为的一致性究竟是依靠什么才能够得以保证呢?
答案很简单：靠约定和验证，而不是靠语法。
在实践中， 通常通过三件事来维持多态的可靠性：
• 用文档或抽象基类说明“应该怎么用”
• 用测试验证“是否真的按约定工作”
• 用稳定的调用方式形成事实上的接口
test_data_source(NetworkSource())作用于这里的抽象基类与测试, 并非是“强制统一实现”, 而是要把行为约定变得显性化, 还要使其可验证化。
抽象基类明确了 read() 方法的语义边界：
• 返回什么类型
• 特殊参数的含义
• 行为何时结束
而测试代码则把这些约定转化为可执行的事实检查。
于一处, 只要有一个实现能够经由这些测试, 那么它便会被视作“行为上等价”, 进而能够被安全替换。
多态因此不依赖编译期检查，而依赖：
• 明确的语义约定
• 稳定的调用方式
• 持续的行为验证
这正是 工程实践中，多态得以长期成立的现实保障。
小结
在其中, 多态的根基并非处于类型或者继承结构那儿, 而是在于对象可会否持续去履行约定的行为语义。只要是在既定的使用语境当中维持调用的方式、语义的含义与结果的预期保持一致, 对象就会具备可替换性。多态所以不是语法特性, 而是一种由协作关系以及实践验证共同维系着的行为事实。
781A.JySgQ.CoM
25.JySgQ.CoM
41A8.JySgQ.CoM
3DD6.JySgQ.CoM
F64.JySgQ.CoM
A89.JySgQ.CoM
63.JySgQ.CoM
A01.JySgQ.CoM
6AE9.JySgQ.CoM
962.JySgQ.CoM
D46D.JySgQ.CoM
B332.JySgQ.CoM
B20.JySgQ.CoM
21.JySgQ.CoM
04A.JySgQ.CoM
8CE.JySgQ.CoM
3E.JySgQ.CoM
FEA.JySgQ.CoM
96B.JySgQ.CoM
087.JySgQ.CoM
CD38.JySgQ.CoM
61.JySgQ.CoM
5E.JySgQ.CoM
2051.JySgQ.CoM
C87.JySgQ.CoM
C304.JySgQ.CoM
49E2.JySgQ.CoM
2A9.JySgQ.CoM
E5C3.JySgQ.CoM
74C.JySgQ.CoM
807.JySgQ.CoM
EF16.JySgQ.CoM
DE.JySgQ.CoM
26BD.JySgQ.CoM
CA.JySgQ.CoM
F7A1.JySgQ.CoM
B27.JySgQ.CoM
CD6.JySgQ.CoM
352.JySgQ.CoM
C58.JySgQ.CoM
E6D7.JySgQ.CoM
DD6F.JySgQ.CoM
FBE.JySgQ.CoM
412A.JySgQ.CoM
2907.JySgQ.CoM
A2A.JySgQ.CoM
E0.JySgQ.CoM
16.JySgQ.CoM
0E.JySgQ.CoM
605.JySgQ.CoM
61B.JySgQ.CoM
EBC.JySgQ.CoM
4D1.JySgQ.CoM
5CC4.JySgQ.CoM
BE15.JySgQ.CoM
7731.JySgQ.CoM
7ECA.JySgQ.CoM
F3.JySgQ.CoM
DE6.JySgQ.CoM
D03.JySgQ.CoM
84E.JySgQ.CoM
F06.JySgQ.CoM
8A9.JySgQ.CoM
1F8.JySgQ.CoM
E889.JySgQ.CoM
A677.JySgQ.CoM
B3CA.JySgQ.CoM
D4AC.JySgQ.CoM
E015.JySgQ.CoM
62.JySgQ.CoM
38F.JySgQ.CoM
C6D.JySgQ.CoM
0363.JySgQ.CoM
BD5D.JySgQ.CoM
06AE.JySgQ.CoM
C3.JySgQ.CoM
0A8E.JySgQ.CoM
B061.JySgQ.CoM
550.JySgQ.CoM
50.JySgQ.CoM
4C38.JySgQ.CoM
7FC.JySgQ.CoM
C0.JySgQ.CoM
A0BB.JySgQ.CoM
47.JySgQ.CoM
E78E.JySgQ.CoM
3B8.JySgQ.CoM
4364.JySgQ.CoM
E1D.JySgQ.CoM
276.JySgQ.CoM
D830.JySgQ.CoM
F1F.JySgQ.CoM
0F.JySgQ.CoM
18.JySgQ.CoM
DC9.JySgQ.CoM
79.JySgQ.CoM
EEB.JySgQ.CoM
B0.JySgQ.CoM
68FE.JySgQ.CoM
629.JySgQ.CoM
F131.JySgQ.CoM
17E.JySgQ.CoM
11E9.JySgQ.CoM
E5.JySgQ.CoM
B014.JySgQ.CoM
01.JySgQ.CoM
584.JySgQ.CoM
2E72.JySgQ.CoM
2A.JySgQ.CoM
966C.JySgQ.CoM
2E7.JySgQ.CoM
A6BD.JySgQ.CoM
00F.JySgQ.CoM
55B0.JySgQ.CoM
9D7E.JySgQ.CoM
254.JySgQ.CoM
BB5A.JySgQ.CoM
E7ED.JySgQ.CoM
EFA3.JySgQ.CoM
61C5.JySgQ.CoM
F327.JySgQ.CoM
E48B.JySgQ.CoM
7C3.JySgQ.CoM
6B3.JySgQ.CoM
EC5.JySgQ.CoM
93.JySgQ.CoM
DD.JySgQ.CoM
68.JySgQ.CoM
32D.JySgQ.CoM
2EDE.JySgQ.CoM
97.JySgQ.CoM
080.JySgQ.CoM
C5.JySgQ.CoM
90A1.JySgQ.CoM
A9.JySgQ.CoM
5854.JySgQ.CoM
F5.JySgQ.CoM
847.JySgQ.CoM
59B.JySgQ.CoM
670.JySgQ.CoM
FA9.JySgQ.CoM
15.JySgQ.CoM
EF7.JySgQ.CoM
53AB.JySgQ.CoM
57.JySgQ.CoM
6B.JySgQ.CoM
33C0.JySgQ.CoM
960.JySgQ.CoM
117.JySgQ.CoM
EC39.JySgQ.CoM
2D9.JySgQ.CoM
13.JySgQ.CoM
1C5D.JySgQ.CoM
14F3.JySgQ.CoM
3B2.JySgQ.CoM
9EF.JySgQ.CoM
0AC.JySgQ.CoM
05D.JySgQ.CoM
AAD.JySgQ.CoM
4245.JySgQ.CoM
749.JySgQ.CoM
540.JySgQ.CoM
ACF7.JySgQ.CoM
9002.JySgQ.CoM
77.JySgQ.CoM
