豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137

寻观「标准库」之「语言核心」之「内建类型」之书。

「：
汉语：类型构造器：指定引用中保存的值类型，形成可变引用类型。
文言：定所藏值类，成可变引之类。
赋曰：先定匣中何物藏，方开引用一门堂。名随处在值能换，来往皆须合旧章。
：」
「引用类」立化「元类型」而「元类型」也。

「：
汉语：类型构造器：指定元素类型，形成同类元素的可变数组引用类型。
文言：定元素之类，成同类可变数组引之类。
赋曰：长廊诸室共规章，先定珍藏哪一方。各格能更同类物，从零数到末间房。
：」
「数组引用类」立化「元类型」而「元类型」也。

「：
汉语：将初始值保存到一个新可变引用中，返回引用。
文言：藏初值于新引，得引而还。
赋曰：新匣藏珠有定方，凭签来取旧珍藏。从今值可随时换，一处安身待后章。
：」
「新引用」乃承「甲」而化「甲」而「引用类」于「甲」也。
「新引用」者会「值」而
  《《外调》》名『豫言_新建引用』传「值」
也。

「：
汉语：返回引用当前保存的值。
文言：读引中今值而还之。
赋曰：循签开匣取今珠，旧日光华未必如。只认此时所藏物，传来掌上照新书。
：」
「读引用」乃承「甲」而化「引用类」于「甲」而「甲」也。
「读引用」者会「引用」而
  《《外调》》名『豫言_读取引用』传（「引用」）
也。

「：
汉语：依次接收引用和值，用新值替换引用内容，返回元。
文言：受引及值，以新易藏，归元。
赋曰：旧匣新珠换一回，来人仍向此门来。不移门址移中物，今后开函见别裁。
：」
「写引用」乃承「甲」而化「引用类」于「甲」而化「甲」而「有」也。
「写引用」者（会「引用」而会「值」而
  《《外调》》名『豫言_写入引用』传「值」与（「引用」））
也。

「：TODO：我们需要考虑加入边界检查！：」

「：
汉语：接收初始值和非负长度，创建每个槽位都保存该值的数组引用；不会深复制该值。
文言：以初值充非负长之诸位，物本同一，不深抄之。
赋曰：一珠分影满长廊，格格同存最初光。莫把同源当别体，原身依旧在中藏。
：」
「新数组引用」乃承「甲」而化「甲」而化「整数」而「数组引用类」于「甲」也。
「新数组引用」者会「值」而会「长度」而
  《《外调》》名『豫言_新建引用数组』传「值」与「长度」
也。

「：！！读取一个未初始化的数组不是安全的：」
「：
汉语：接收非负长度，分配未初始化的数组引用；每个槽位必须先写后读。
文言：依非负长造数组而不置初值；诸位须先写后读。
赋曰：空阁分间待客来，诸门未置案和杯。先将实物安其室，方可开门取所栽。
：」
「新数组引用不初始化」乃承「甲」而化「整数」而「数组引用类」于「甲」也。
「新数组引用不初始化」者会「长度」而
  《《外调》》名『豫言_新建未初始化引用数组』传「长度」
也。

「：
汉语：接收数组引用和从零开始的索引，读取对应值；调用者须保证索引有效且槽位已初始化。
文言：按零起序读数组之位；须在界内且已置值。
赋曰：按号开门取旧藏，从零起步莫逾疆。须知此室曾安物，空阁休凭想象量。
：」
「读数组引用」乃承「甲」而化「数组引用类」于「甲」而化「整数」而「甲」也。
「读数组引用」者会「引用」而会「索引」而
  《《外调》》名『豫言_读取引用数组』传（「引用」）与「索引」
也。

「：
汉语：接收数组引用、从零开始的索引和值，写入对应槽位，返回元；调用者须保证索引在界内。
文言：按零起序写数组之位，归元；须自守界。
赋曰：持珠按号入长廊，认准房门换旧藏。写罢归来无所带，后来人见此新光。
：」
「写数组引用」乃
  承「甲」而
  化「数组引用类」于「甲」而
  化「整数」而
  化「甲」而
  「有」
也。
「写数组引用」者（会「引用」而会「索引」而会「值」而
  《《外调》》名『豫言_写入引用数组』传「值」与「索引」与（「引用」））
也。

「：
汉语：混合数组的底层类型，各槽位可存不同类型，类型一致性与边界由调用者维护。
文言：杂数组之类也，诸位可异，用者自守类与界。
赋曰：百宝分居一处堂，门门异色各珍藏。持签须记原来类，莫混珠光与玉光。
：」
「混合数组引用类」立「元类型」也。

「：
汉语：按非负长度创建未初始化的混合数组，各槽位可存不同类型；须先写后读。
文言：造非负长之杂数组，诸位可异类，须先写而后读。
赋曰：多间空阁向阳开，各待珍奇异类来。未置一物休先取，先藏后读始无猜。
：」
「新混合数组引用」乃化「整数」而「混合数组引用类」也。
「新混合数组引用」者会「长度」而
  《《外调》》名『豫言_新建未初始化引用数组』传「长度」
也。

「：
汉语：按从零开始的索引读取混合数组槽位；类型参数须与写入值一致，且索引有效、槽位已初始化。
文言：按序读杂数组，所授类须合所藏，位须有值且在界内。
赋曰：异宝同楼各有门，持签须识物真身。莫将玉匣称金瓮，按位循名始得珍。
：」
「读混合数组引用」乃承「甲」而化「混合数组引用类」而化「整数」而「甲」也。
「读混合数组引用」者会「引用」而会「索引」而
  《《外调》》名『豫言_读取引用数组』传（「引用」）与「索引」
也。

「：
汉语：依次接收混合数组引用、索引和值，写入后返回元；索引须在界内，后续读取须使用对应类型。
文言：以值写杂数组之位而归元；序须在界，后读须同类。
赋曰：百样珍奇各入房，按号安置记其章。后来若问何名物，须与今时同一方。
：」
「写混合数组引用」乃
  承「甲」而
  化「混合数组引用类」而
  化「整数」而
  化「甲」而
  「有」
也。
「写混合数组引用」者（会「引用」而会「索引」而会「值」而
  《《外调》》名『豫言_写入引用数组』传「值」与「索引」与（「引用」））
也。