Update README.md

docs/uts/README.md

@@ -26,14 +26,13 @@ uts是一门语言。目前DCloud还未发布基于uts的ui开发框架。所以
 本文是 uts 的基本语法介绍。如想了解 uni-app 下如何开发 uts插件，另见文档[https://uniapp.dcloud.net.cn/plugin/uts-plugin.html](https://uniapp.dcloud.net.cn/plugin/uts-plugin.html)。
 
 
-## 基本语法
-### 声明
+## 类型声明
 
 js是无类型的，TypeScript 的 type 就是类型的意思，给js加上了类型。它的类型定义方式是在变量名后面通过加冒号和类型来进行定义。
 
 uts 中声明变量可以用 let 或 const，详见下。
 
-#### 变量定义（let）
+### 变量定义（let）
 
 声明一个可重新赋值的变量。语法 `let [变量名] : [类型] = 值;`。
 
@@ -44,29 +43,29 @@ let str :string = "hello"; // 声明一个字符串变量
 str = "hello world"; // 重新赋值
 ```
 
-类型除了 string 之外，更多类型[见下](#基本类型)
+类型除了 string 之外，更多类型见[数据类型](data-type.md)
 
-#### 常量定义（const）
+### 常量定义（const）
 
 声明一个只读常量，只能为其赋值一次。语法 `const [变量名] : [类型] = 值;`。
 
 > 相当于 TypeScript 中的 const、kotlin 中的 val、swift 中的 let。
 
 ```ts
-const str :string = "hello"; // 声明一个字符串变量
+const str :string = "hello"; // 声明一个字符串常量
 str = "hello world"; // 报错，不允许重新赋值
 ```
 
 注意事项：
 
-- 当前 uts 并未限制使用 var 来声明变量，但除非你知道你在做什么，否则不要轻易使用它，因为有不同平台差异：
-	* 编译至 JavaScript 平台时，等同于 JavaScript 平台的 var （存在变量提升现象）
+- 当前 uts 并未限制使用 `var` 来声明变量，但除非你知道你在做什么，否则不要轻易使用它，因为有不同平台差异：
+	* 编译至 JavaScript 平台时，等同于 JavaScript 平台的 var 。存在变量提升现象，具体参考 [var和let的区别](https://developer.mozilla.org/zh-CN/docs/Web/JavaScript/Guide/Grammar_and_types#%E5%A3%B0%E6%98%8E)
 	* 编译至 Kotlin 平台时，等同于 Kotlin 平台的 var（允许重新赋值）
 - swift 中 let 是定义常量，而 uts 和 ts 中，let 是定义变量。注意勿混淆。
 - 类型定义的冒号，左右可以有一个空格，也可以没有空格。`let str:string` 和 `let str : string` 和 `let str :string` 和 `let str: string` 都是合法的。
 - 不支持 TypeScript 中的联合类型
 
-#### 变量命名规则
+### 变量命名规则
 
 在 uts 中，使用变量名需要遵守一定的规则。
 
@@ -76,37 +75,151 @@ str = "hello world"; // 报错，不允许重新赋值
 
 > 注意：与 TypeScript 不同的是，uts 不允许以 $ 开头命名变量
 
-#### 类型自动推导
+### 方法参数及返回值类型定义
 
-对于传统编译型语言来说（java,C等），声明一个变量的同时，开发者必须声明这个变量的类型，以便于申请内存空间。
-```java
-// 一个名为a的 Int类型数据变量
-Int a = 12
-```
+方法的参数、返回值，也通过冒号定义。
 
-现代语言（ts、kotlin、swift）中，都具备类型自动推导的功能。
+如下示例，方法test，有一个参数score，是number类型，方法返回值类型为boolean类型。
 
-即：如果开发者声明变量的同时，进行了初始化赋值。那么编译器可以根据赋值的字面量，自动推导出变量类型，不必开发者显示声明。即降低了出错的可能，也降低了开发者的心智负担
+```ts
+function test(score: number): boolean {
+	return (score>=60) 
+}
+test(61) // 返回true
+```
 
-例如如下 kotlin 代码
+方法无返回值时，使用`:void`。
+
+```ts
+function add(x :string, y :string) :void {
+    let z :string = x + " " + y
+	console.log(z)
+	// 不需要return
+}
+```
 
-```kotlin
-// 开发者不必描述 a的类型，编译器会自动将 12 编译为一个Int类型数据变量
-var a = 12
+函数另有详细文档，详见：[函数](function.md)
+
+### vue data类型定义
+
+vue 选项式开发时，无法通过let、const来定义data数据的类型。
+
+此时可以使用[字面量](literal.md)赋值自动推导；也可以使用 `as` 关键字来显示声明类型。
+
+```html
+<script lang="uts">
+	export default {
+		data() {
+			const date = new Date()
+			return {
+				s1 : "abc",
+				year: date.getFullYear() as number,
+				n1 : 0 as number,
+				n2, // 不合法，必须指定类型
+				n3 as number, // 不合法，uts不支持undefined，必须初始化
+				n4 : null as number | null // 合法。定义为可为null的数字，初始值是null，但在使用n4前必须为其赋值数字
+			}
+		}
+	}
+</script>
 ```
 
-uts 同样具备类型自动推导。在定义变量时如果直接赋值字面量，而不使用冒号定义类型，也可以合法运行。
+上述示例仅在 uni-app x 的uvue页面生效。uni-app js引擎版，不支持在页面里写uts代码，只支持在uts插件里写uts代码。
+
+### 类型自动推导
+
+现代语言（ts、kotlin、swift），都具备自动识别[字面量](literal.md)，进行类型推导的功能。
+
+即：如果开发者声明变量的同时，进行了初始化赋值。那么编译器可以根据赋值的[字面量](literal.md)，自动推导出变量类型，不必开发者显示声明。
+
+在定义变量时如果直接赋值[字面量](literal.md)，而不使用冒号声明类型，也可以合法运行。
 
 如下2种写法都是合法的，两个变量都是string类型：
 
 ```ts
-let s1 :string = "hello"; 
-let s2 = "hello"; 
+// 以下每组写法是等价的
+let s1 = "hello" // 根据字面量 "hello"，自动推导为string类型
+let s2 : string = "hello"
+let s3 : string
+s3 = "hello"
+
+let b1 = true // 根据字面量 true，自动推导为boolean类型
+let b2 : boolean = true
+
+// 以上为字符串和布尔的字面量类型自动推导，数字和数组也支持字面量类型推导，但规则比较复杂，需另见文档
+
+```
+
+目前 uts 未对字面量赋值类型推导做统一处理，编译到 kotlin 和 swift 时，由这2个语言自行做类型推导。
+
+但 kotlin 和 swift 的自动推导，在某些地方有细节差异。尤其是[数字字面量](data-type.md#autotypefornumber)和[数组字面量](data-type.md#autotypeforarray)。在这2个场景下，建议显示声明类型，不使用自动推导。
+
+```ts
+// 显示声明数字和数组类型
+let n1:number = 1
+let n2 = 1 as number
+let n3:Int = 1
+let a1:Array<string> = ["uni-app", "uniCloud", "HBuilder"]
+let a1:Array<number> = [1,2,3,4]
+```
+
+后续 uts 将统一字面量自动类型推导。
+
+目前建议开发者，除了boolean和string外，其他包括数字和数组在内的类型，尽量不使用字面量自动类型推导，而是显示声明类型。避免 uts 统一自动类型推导时引发的向下兼容问题。
+
+### 类型判断
+判断类型，有好几种方案：typeof、instanceof、isArray。
+
+使用 typeof 可以判断布尔值、数字、字符串、函数。
+```ts
+typeof(true) == "boolean"
+typeof("abc") == "string"
+
+let n1 : number = 1
+typeof(n1) == "number"
+```
+
+但如果使用 typeof 验证数组，会发现返回的类型值是"object"，这与浏览器是相同的逻辑。
+
+如果想验证数组类型，需要使用如下方法：
+```ts
+const a1 = ["uni-app", "uniCloud", "HBuilder"]
+console.log(Array.isArray(a1)) // 返回true
+console.log(a1 instanceof Array) // 返回true
 ```
 
-目前 uts 未对字面量赋值类型推导做统一处理，编译到 kotlin 和 swift 时，由这2个语言自行做类型推导。但 kotlin 和 swift 的自动推导，在某些地方有细节差异。后续 uts 将统一字面量自动类型推导，详见 [字面量](literal.md)
+instanceof，除了验证数组，还可以验证类型，但注意它返回的不是具体类型，还是根据入参的一个boolean值。
+
+```ts
+let myDate = new Date();
+console.log(myDate instanceof Date) // 返回true
+
+uni.request({
+	url: 'https://abc',
+	success: (data) => {
+		if (data.statusCode == 200) {
+			const result = data.data as UTSJSONObject
+			console.log(result instanceof UTSJSONObject) //返回true
+		}
+	},
+	fail: () => {
+		console.log('fail');
+	}
+});
+```
+
+### 安全调用
+
+js没有类型检查。而uts和ts都有严格的类型检查。
+
+对于可为null的类型，调用时需要加问号，否则编译器会报错。
+
+```ts
+const s: string | null = null // s为一个可为null的字符串
+console.log(s?.length) //除非前面已经给s赋值，否则调用s的方法和属性必须加?
+```
 
-#### 代码语句的分割
+### 代码语句的分割
 
 uts的多个代码语句，以回车或分号分割。