"use strict" 指令在 JavaScript 1.8.5 (ECMAScript5) 中新增。
那么,你知道 Typescript 其实也有属于自己的严格模式吗?
当 Typescript 严格模式设置为 on 时,它将使用 strict 族下的严格类型规则对项目中的所有文件进行代码验证。规则是:
规则名称 | 解释 |
---|---|
noImplicitAny | 不允许变量或函数参数具有隐式 any 类型。 |
noImplicitThis | 不允许 this 上下文隐式定义。 |
strictNullChecks | 不允许出现 null 或 undefined 的可能性。 |
strictPropertyInitialization | 验证构造函数内部初始化前后已定义的属性。 |
strictBindCallApply | 对 bind, call, apply 更严格的类型检测。 |
strictFunctionTypes | 对函数参数进行严格逆变比较。 |
此规则不允许变量或函数参数具有隐式 any 类型。请看以下示例:
// Javascript/Typescript 非严格模式
function extractIds (list) {
return list.map(member => member.id)
}
上述例子没有对 list 进行类型限制, map 循环了 item 的形参 member 。而在 Typescript 严格模式下,会出现以下报错:
// Typescript 严格模式
function extractIds (list) {
// :x: ^^^^
// Parameter 'list' implicitly
// has an 'any' type. ts(7006)
return list.map(member => member.id)
// :x: ^^^^^^
// Parameter 'member' implicitly
// has an 'any' type. ts(7006)
}
正确写法应是:
// Typescript 严格模式
interface Member {
id: number
name: string
}
function extractIds (list: Member[]) {
return list.map(member => member.id)
}
浏览器自带事件,比如 e.preventDefault() ,是阻止浏览器默认行为的关键代码。
这在 Typescript 严格模式下是会报错的:
// Typescript 严格模式
function onChangeCheckbox (e) {
// :x: ^
// Parameter 'e' implicitly
// has an 'any' type. ts(7006)
e.preventDefault()
const value = e.target.checked
validateCheckbox(value)
}
若需要正常使用这类 Web api ,就需要在全局定义扩展。比如:
// Typescript 严格模式
interface ChangeCheckboxEvent extends MouseEvent {
target: htmlInputElement
}
function onChangeCheckbox (e: ChangeCheckboxEvent) {
e.preventDefault()
const value = e.target.checked
validateCheckbox(value)
}
请注意,如果导入了非 Typescript 库,这也会引发错误,因为导入的库的类型是 any 。
// Typescript 严格模式
import { Vector } from 'sylvester'
// :x: ^^^^^^^^^^^
// Could not find a declaration file
// for module 'sylvester'.
// 'sylvester' implicitly has an 'any' type.
// Try `npm install @types/sylvester`
// if it exists or add a new declaration (.d.ts)
// file containing `declare module 'sylvester';`
// ts(7016)
这可能是项目重构 Typescript 版的一大麻烦,需要专门定义第三方库接口类型
此规则不允许 this 上下文隐式定义。请看以下示例:
// Javascript/Typescript 非严格模式
function uppercaseLabel () {
return this.label.toUpperCase()
}
const config = {
label: 'foo-config',
uppercaseLabel
}
config.uppercaseLabel()
// FOO-CONFIG
在非严格模式下, this 指向 config 对象。 this.label 只需检索 config.label 。
// Typescript严格模式
function uppercaseLabel () {
return this.label.toUpperCase()
// :x: ^^^^
// 'this' implicitly has type 'any'
// because it does not have a type annotation. ts(2683)
}
如果单独执行 this.label.toUpperCase() ,则会因为 this 上下文 config 不再存在而报错,因为 label 未定义。
解决该问题的一种方法是避免 this 在没有上下文的情况下使用函数:
// Typescript严格模式
const config = {
label: 'foo-config',
uppercaseLabel () {
return this.label.toUpperCase()
}
}
更好的方法是编写接口,定义所有类型,而不是 Typescript 来推断:
// Typescript严格模式
interface MyConfig {
label: string
uppercaseLabel: (params: void) => string
}
const config: MyConfig = {
label: 'foo-config',
uppercaseLabel () {
return this.label.toUpperCase()
}
}
此规则不允许出现 null 或 undefined 的可能性。请看以下示例:
// Typescript 非严格模式
function getArticleById (articles: Article[], id: string) {
const article = articles.find(article => article.id === id)
return article.meta
}
Typescript 非严格模式下,这样写不会有任何问题。但严格模式会非给你搞出点幺蛾子:
// Typescript严格模式
function getArticleById (articles: Article[], id: string) {
const article = articles.find(article => article.id === id)
return article.meta
// :x: ^^^^^^^
// Object is possibly 'undefined'. ts(2532)
}
于是你会将改成以下模样:
// Typescript严格模式
function getArticleById (articles: Article[], id: string) {
const article = articles.find(article => article.id === id)
if (typeof article === 'undefined') {
throw new Error(`Could not find an article with id: ${id}.`)
}
return article.meta
}
此规则将验证构造函数内部初始化前后已定义的属性。
必须要确保每个实例的属性都有初始值,可以在构造函数里或者属性定义时赋值。
( strictPropertyInitialization ,这臭长的命名像极了 react 源码里的众多任性属性)
请看以下示例:
// Typescript非严格模式
class User {
username: string;
}
const user = new User();
const username = user.username.toLowerCase();
如果启用严格模式,类型检查器将进一步报错:
class User {
username: string;
// :x: ^^^^^^
// Property 'username' has no initializer
// and is not definitely assigned in the constructor
}
const user = new User();
/
const username = user.username.toLowerCase();
// :x: ^^^^^^^^^^^^
// TypeError: Cannot read property 'toLowerCase' of undefined
解决方案有四种。
为 username 属性定义提供一个 undefined 类型:
class User {
username: string | undefined;
}
const user = new User();
username 属性可以为 string | undefined 类型,但这样写, 需要在使用时确保值为 string 类型 :
const username = typeof user.username === "string"
? user.username.toLowerCase()
: "n/a";
这也太不 Typescript 了。
这个方法有点笨,却挺有效:
class User {
username = "n/a";
}
const user = new User();
// OK
const username = user.username.toLowerCase();
最有用的解决方案是向 username 构造函数添加参数 ,然后将其分配给 username 属性。
这样,无论何时 new User() ,都必须提供默认值作为参数:
class User {
username: string;
constructor(username: string) {
this.username = username;
}
}
const user = new User("mariusschulz");
// OK
const username = user.username.toLowerCase();
还可以通过 public 修饰符进一步简化:
class User {
constructor(public username: string) {}
}
const user = new User("mariusschulz");
// OK
const username = user.username.toLowerCase();
在某些场景下,属性会被间接地初始化(使用辅助方法或依赖注入库)。
这种情况下,你可以在属性上使用 显式赋值断言 来帮助类型系统识别类型。
class User {
username!: string;
constructor(username: string) {
this.initialize(username);
}
private initialize(username: string) {
this.username = username;
}
}
const user = new User("mariusschulz");
// OK
const username = user.username.toLowerCase();
通过向该 username 属性添加一个明确的赋值断言,我们告诉类型检查器: username ,即使它自己无法检测到该属性,也可以期望该属性被初始化。
此规则将对 bind, call, apply 更严格地检测类型。
啥意思?请看以下示例:
// JavaScript
function sum (num1: number, num2: number) {
return num1 + num2
}
sum.apply(null, [1, 2])
// 3
在你不记得参数类型时,非严格模式下不会校验参数类型和数量,运行代码时, Typescript 和环境(可能是浏览器)都不会引发错误:
// Typescript非严格模式
function sum (num1: number, num2: number) {
return num1 + num2
}
sum.apply(null, [1, 2, 3])
// 还是...3?
而 Typescript 严格模式下,这是不被允许的:
// Typescript严格模式
function sum (num1: number, num2: number) {
return num1 + num2
}
sum.apply(null, [1, 2, 3])
// :x: ^^^^^^^^^
// Argument of type '[number, number, number]' is not
// assignable to parameter of type '[number, number]'.
// Types of property 'length' are incompatible.
// Type '3' is not assignable to type '2'. ts(2345)
那怎么办? “...” 扩展运算符和 reduce 老友来相救 :
// Typescript严格模式
function sum (...args: number[]) {
return args.reduce<number>((total, num) => total + num, 0)
}
sum.apply(null, [1, 2, 3])
// 6
该规则将检查并限制函数类型参数是抗变( contravariantly )而非双变( bivariantly ,即协变或抗变)的。
初看,内心 OS:“这什么玩意儿?”,这里有篇介绍:
协变(covariance)和抗变(contravariance)是什么? [1]
协变和逆变维基上写的很复杂,但是总结起来原理其实就一个。
子类型可以隐性的转换为父类型
说个最容易理解的例子, int 和 float 两个类型的关系可以写成下面这样。 int ≦ float :也就是说 int 是 float 的子类型。
这一更严格的检查应用于除方法或构造函数声明以外的所有函数类型。方法被专门排除在外是为了确保带泛型的类和接口(如 Array )总体上仍然保持协变。
请看下面这个 Animal 是 Dog 和 Cat 的父类型的例子:
declare let f1: (x: Animal) => void;
declare let f2: (x: Dog) => void;
declare let f3: (x: Cat) => void;
f1 = f2; // 启用 --strictFunctionTypes 时错误
f2 = f1; // 正确
f2 = f3; // 错误
第一个赋值语句在默认的类型检查模式中是允许的,但是在严格函数类型模式下会被标记错误。
而严格函数类型模式将它标记为错误,因为它不能 被证明合理。
任何一种模式中,第三个赋值都是错误的,因为它 永远不合理。
用另一种方式来描述这个例子则是,默认类型检查模式中 T 在类型 (x: T) => void 是 双变的,但在严格函数类型模式中 T 是 抗变的:
interface Comparer<T> {
compare: (a: T, b: T) => number;
}
declare let animalComparer: Comparer<Animal>;
declare let dogComparer: Comparer<Dog>;
animalComparer = dogComparer; // 错误
dogComparer = animalComparer; // 正确
原文:https://blog.csdn.net/weixin_40906515/article/details/102855234
除了正常运行模式,ECMAscript 5添加了第二种运行模式:严格模式(strict mode),严格模式的目的消除Javascript语法的一些不合理、不严谨之处,减少一些怪异行为;提高编译器效率,增加运行速度等
在函数中方法函数对象本身,我们以前可以这样实现,但是在严格模式或ES6下,使用callee/caller会报错,由于不能使用arguments.callee,在不使用函数名本身的情况,有什么方法可以实现呢?
<!DOCTYPE>声明叫做文件类型定义(DTD),声明的作用为了告诉浏览器该文件的类型。让浏览器解析器知道应该用哪个规范来解析文档。严格模式又称标准模式,是指浏览器按照 W3C 标准解析代码。混合模式又称怪异模式或兼容模式
use strict是ECMAScript 5引入的一条指令。指令不是语句(但非常接近于语句)。“usestrict\\\\\\\\\\\\\\\"指令和普通的语句之间有两个重要的区别:
use strict指令在 JavaScript 1.8.5 (ECMAScript5) 中新增。至今,前端 er 们基本都默认开启严格模式敲代码。那么,你知道 Typescript 其实也有属于自己的严格模式吗?
严格模式是什么意思?有什么用途?为什么我们应该使用它? 本文 将主要从这几个问题入手,讲述在 JavaScript 中使用严格模式的必要性。严格模式是现代 JavaScript 的重要组成部分。
严格模式是用于突出显示应用程序中潜在问题的工具,它不会呈现任何可见的UI。它只用于激活对其后代的额外检查和警告。严格模式不会影响生产环境。
内容以共享、参考、研究为目的,不存在任何商业目的。其版权属原作者所有,如有侵权或违规,请与小编联系!情况属实本人将予以删除!