[TypeScript] 编程实践之1: Google的TypeScript代码风格13：语法

最新推荐文章于 2024-08-26 08:23:27 发布
最新推荐文章于 2024-08-26 08:23:27 发布
阅读量540 收藏
点赞数
分类专栏： 程序设计语言 文章标签： typescript 前端
原文链接：https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md
版权

TypeScript语言规范

A 语法

本附录包含在主文档中找到的语法摘要。 如2.1节所述，TypeScript语法是ECMAScript 2015语言规范（特别是ECMA-262标准，第6版）中定义的语法的超集，本附录仅列出从ECMAScript语法中新增或修改的产品。

A.1 类型

TypeParameters:
	< TypeParameterList >

TypeParameterList:
	TypeParameter
	TypeParameterList , TypeParameter

TypeParameter:
	BindingIdentifier Constraintopt

Constraint:
	extends Type

TypeArguments:
	< TypeArgumentList >

TypeArgumentList:
	TypeArgument
	TypeArgumentList , TypeArgument

TypeArgument:
	Type

Type:
	UnionOrIntersectionOrPrimaryType
	FunctionType
	ConstructorType

UnionOrIntersectionOrPrimaryType:
	UnionType
	IntersectionOrPrimaryType

IntersectionOrPrimaryType:
	IntersectionType
	PrimaryType

PrimaryType:
	ParenthesizedType
	PredefinedType
	TypeReference
	ObjectType
	ArrayType
	TupleType
	TypeQuery
	ThisType

ParenthesizedType:
	( Type )

PredefinedType:
	any
	number
	boolean
	string
	symbol
	void

TypeReference:
	TypeName [no LineTerminator here] TypeArgumentsopt

TypeName:
	IdentifierReference
	NamespaceName . IdentifierReference

NamespaceName:
	IdentifierReference
	NamespaceName . IdentifierReference

ObjectType:
	{ TypeBodyopt }

TypeBody:
	TypeMemberList ;opt
	TypeMemberList ,opt

TypeMemberList:
	TypeMember
	TypeMemberList ; TypeMember
	TypeMemberList , TypeMember

TypeMember:
	PropertySignature
	CallSignature
	ConstructSignature
	IndexSignature
	MethodSignature

ArrayType:
	PrimaryType [no LineTerminator here] [ ]

TupleType:
	[ TupleElementTypes ]

TupleElementTypes:
	TupleElementType
	TupleElementTypes , TupleElementType

TupleElementType:
	Type

UnionType:
	UnionOrIntersectionOrPrimaryType | IntersectionOrPrimaryType

IntersectionType:
	IntersectionOrPrimaryType & PrimaryType

FunctionType:
	TypeParametersopt ( ParameterListopt ) => Type

ConstructorType:
	new TypeParametersopt ( ParameterListopt ) => Type

TypeQuery:
	typeof TypeQueryExpression

TypeQueryExpression:
	IdentifierReference
	TypeQueryExpression . IdentifierName

ThisType:
	this

PropertySignature:
	PropertyName ?opt TypeAnnotationopt

PropertyName:
	IdentifierName
	StringLiteral
	NumericLiteral

TypeAnnotation:
	: Type

CallSignature:
	TypeParametersopt ( ParameterListopt ) TypeAnnotationopt

ParameterList:
	RequiredParameterList
	OptionalParameterList
	RestParameter
	RequiredParameterList , OptionalParameterList
	RequiredParameterList , RestParameter
	OptionalParameterList , RestParameter
	RequiredParameterList , OptionalParameterList , RestParameter

RequiredParameterList:
	RequiredParameter
	RequiredParameterList , RequiredParameter

RequiredParameter:
	AccessibilityModifieropt BindingIdentifierOrPattern TypeAnnotationopt
	BindingIdentifier : StringLiteral

AccessibilityModifier:
	public
	private
	protected

BindingIdentifierOrPattern:
	BindingIdentifier
	BindingPattern

OptionalParameterList:
	OptionalParameter
	OptionalParameterList , OptionalParameter

OptionalParameter:
	AccessibilityModifieropt BindingIdentifierOrPattern ? TypeAnnotationopt
	AccessibilityModifieropt BindingIdentifierOrPattern TypeAnnotationopt Initializer
	BindingIdentifier ? : StringLiteral

RestParameter:
	... BindingIdentifier TypeAnnotationopt

ConstructSignature:
	new TypeParametersopt ( ParameterListopt ) TypeAnnotationopt

IndexSignature:
	[ BindingIdentifier : string ] TypeAnnotation
	[ BindingIdentifier : number ] TypeAnnotation

MethodSignature:
	PropertyName ?opt CallSignature

TypeAliasDeclaration:
	type BindingIdentifier TypeParametersopt = Type ;

A.2 表达式

PropertyDefinition: ( Modified )
	IdentifierReference
	CoverInitializedName
	PropertyName : AssignmentExpression
	PropertyName CallSignature { FunctionBody }
	GetAccessor
	SetAccessor

GetAccessor:
	get PropertyName ( ) TypeAnnotationopt { FunctionBody }

SetAccessor:
	set PropertyName ( BindingIdentifierOrPattern TypeAnnotationopt ) { FunctionBody }

FunctionExpression: ( Modified )
	function BindingIdentifieropt CallSignature { FunctionBody }

ArrowFormalParameters: ( Modified )
	CallSignature

Arguments: ( Modified )
	TypeArgumentsopt ( ArgumentListopt )

UnaryExpression: ( Modified )
	…
	< Type > UnaryExpression

A.3 语句

Declaration: ( Modified )
	…
	InterfaceDeclaration
	TypeAliasDeclaration
	EnumDeclaration

VariableDeclaration: ( Modified )
	SimpleVariableDeclaration
	DestructuringVariableDeclaration

SimpleVariableDeclaration:
	BindingIdentifier TypeAnnotationopt Initializeropt

DestructuringVariableDeclaration:
	BindingPattern TypeAnnotationopt Initializer

LexicalBinding: ( Modified )
	SimpleLexicalBinding
	DestructuringLexicalBinding

SimpleLexicalBinding:
	BindingIdentifier TypeAnnotationopt Initializeropt

DestructuringLexicalBinding:
	BindingPattern TypeAnnotationopt Initializeropt

A.4 函数

FunctionDeclaration: ( Modified )
	function BindingIdentifieropt CallSignature { FunctionBody }
	function BindingIdentifieropt CallSignature ;

A.5 接口

InterfaceDeclaration:
	interface BindingIdentifier TypeParametersopt InterfaceExtendsClauseopt ObjectType

InterfaceExtendsClause:
	extends ClassOrInterfaceTypeList

ClassOrInterfaceTypeList:
	ClassOrInterfaceType
	ClassOrInterfaceTypeList , ClassOrInterfaceType

ClassOrInterfaceType:
	TypeReference

A.6 类

ClassDeclaration: ( Modified )
	class BindingIdentifieropt TypeParametersopt ClassHeritage { ClassBody }

ClassHeritage: ( Modified )
	ClassExtendsClauseopt ImplementsClauseopt

ClassExtendsClause:
	extends  ClassType

ClassType:
	TypeReference

ImplementsClause:
	implements ClassOrInterfaceTypeList

ClassElement: ( Modified )
	ConstructorDeclaration
	PropertyMemberDeclaration
	IndexMemberDeclaration

ConstructorDeclaration:
	AccessibilityModifieropt constructor ( ParameterListopt ) { FunctionBody }
	AccessibilityModifieropt constructor ( ParameterListopt ) ;

PropertyMemberDeclaration:
	MemberVariableDeclaration
	MemberFunctionDeclaration
	MemberAccessorDeclaration

MemberVariableDeclaration:
	AccessibilityModifieropt staticopt PropertyName TypeAnnotationopt Initializeropt ;

MemberFunctionDeclaration:
	AccessibilityModifieropt staticopt PropertyName CallSignature { FunctionBody }
	AccessibilityModifieropt staticopt PropertyName CallSignature ;

MemberAccessorDeclaration:
	AccessibilityModifieropt staticopt GetAccessor
	AccessibilityModifieropt staticopt SetAccessor

IndexMemberDeclaration:
	IndexSignature ;

A.7 枚举

EnumDeclaration:
	constopt enum BindingIdentifier { EnumBodyopt }

EnumBody:
	EnumMemberList ,opt

EnumMemberList:
	EnumMember
	EnumMemberList , EnumMember

EnumMember:
	PropertyName
	PropertyName = EnumValue

EnumValue:
	AssignmentExpression

A.8 命名空间

NamespaceDeclaration:
	namespace IdentifierPath { NamespaceBody }

IdentifierPath:
	BindingIdentifier
	IdentifierPath . BindingIdentifier

NamespaceBody:
	NamespaceElementsopt

NamespaceElements:
	NamespaceElement
	NamespaceElements NamespaceElement

NamespaceElement:
	Statement
	LexicalDeclaration
	FunctionDeclaration
	GeneratorDeclaration
	ClassDeclaration
	InterfaceDeclaration
	TypeAliasDeclaration
	EnumDeclaration
	NamespaceDeclaration
	AmbientDeclaration
	ImportAliasDeclaration
	ExportNamespaceElement

ExportNamespaceElement:
	export VariableStatement
	export LexicalDeclaration
	export FunctionDeclaration
	export GeneratorDeclaration
	export ClassDeclaration
	export InterfaceDeclaration
	export TypeAliasDeclaration
	export EnumDeclaration
	export NamespaceDeclaration
	export AmbientDeclaration
	export ImportAliasDeclaration

ImportAliasDeclaration:
	import BindingIdentifier = EntityName ;

EntityName:
	NamespaceName
	NamespaceName . IdentifierReference

A.9 Script和Modules

SourceFile:
	ImplementationSourceFile
	DeclarationSourceFile

ImplementationSourceFile:
	ImplementationScript
	ImplementationModule

DeclarationSourceFile:
	DeclarationScript
	DeclarationModule

ImplementationScript:
	ImplementationScriptElementsopt

ImplementationScriptElements:
	ImplementationScriptElement
	ImplementationScriptElements ImplementationScriptElement

ImplementationScriptElement:
	ImplementationElement
	AmbientModuleDeclaration

ImplementationElement:
	Statement
	LexicalDeclaration
	FunctionDeclaration
	GeneratorDeclaration
	ClassDeclaration
	InterfaceDeclaration
	TypeAliasDeclaration
	EnumDeclaration
	NamespaceDeclaration
	AmbientDeclaration
	ImportAliasDeclaration

DeclarationScript:
	DeclarationScriptElementsopt

DeclarationScriptElements:
	DeclarationScriptElement
	DeclarationScriptElements DeclarationScriptElement

DeclarationScriptElement:
	DeclarationElement
	AmbientModuleDeclaration

DeclarationElement:
	InterfaceDeclaration
	TypeAliasDeclaration
	NamespaceDeclaration
	AmbientDeclaration
	ImportAliasDeclaration

ImplementationModule:
	ImplementationModuleElementsopt

ImplementationModuleElements:
	ImplementationModuleElement
	ImplementationModuleElements ImplementationModuleElement

ImplementationModuleElement:
	ImplementationElement
	ImportDeclaration
	ImportAliasDeclaration
	ImportRequireDeclaration
	ExportImplementationElement
	ExportDefaultImplementationElement
	ExportListDeclaration
	ExportAssignment

DeclarationModule:
	DeclarationModuleElementsopt

DeclarationModuleElements:
	DeclarationModuleElement
	DeclarationModuleElements DeclarationModuleElement

DeclarationModuleElement:
	DeclarationElement
	ImportDeclaration
	ImportAliasDeclaration
	ExportDeclarationElement
	ExportDefaultDeclarationElement
	ExportListDeclaration
	ExportAssignment

ImportRequireDeclaration:
	import BindingIdentifier = require ( StringLiteral ) ;

ExportImplementationElement:
	export VariableStatement
	export LexicalDeclaration
	export FunctionDeclaration
	export GeneratorDeclaration
	export ClassDeclaration
	export InterfaceDeclaration
	export TypeAliasDeclaration
	export EnumDeclaration
	export NamespaceDeclaration
	export AmbientDeclaration
	export ImportAliasDeclaration

ExportDeclarationElement:
	export InterfaceDeclaration
	export TypeAliasDeclaration
	export AmbientDeclaration
	export ImportAliasDeclaration

ExportDefaultImplementationElement:
	export default FunctionDeclaration
	export default GeneratorDeclaration
	export default ClassDeclaration
	export default AssignmentExpression ;

ExportDefaultDeclarationElement:
	export default AmbientFunctionDeclaration
	export default AmbientClassDeclaration
	export default IdentifierReference ;

ExportListDeclaration:
	export * FromClause ;
	export ExportClause FromClause ;
	export ExportClause ;

ExportAssignment:
	export = IdentifierReference ;

A.10 Ambient

AmbientDeclaration:
	declare AmbientVariableDeclaration
	declare AmbientFunctionDeclaration
	declare AmbientClassDeclaration
	declare AmbientEnumDeclaration
	declare AmbientNamespaceDeclaration

AmbientVariableDeclaration:
	var AmbientBindingList ;
	let AmbientBindingList ;
	const AmbientBindingList ;

AmbientBindingList:
	AmbientBinding
	AmbientBindingList , AmbientBinding

AmbientBinding:
	BindingIdentifier TypeAnnotationopt

AmbientFunctionDeclaration:
	function BindingIdentifier CallSignature ;

AmbientClassDeclaration:
	class BindingIdentifier TypeParametersopt ClassHeritage { AmbientClassBody }

AmbientClassBody:
	AmbientClassBodyElementsopt

AmbientClassBodyElements:
	AmbientClassBodyElement
	AmbientClassBodyElements AmbientClassBodyElement

AmbientClassBodyElement:
	AmbientConstructorDeclaration
	AmbientPropertyMemberDeclaration
	IndexSignature

AmbientConstructorDeclaration:
	constructor ( ParameterListopt ) ;

AmbientPropertyMemberDeclaration:
	AccessibilityModifieropt staticopt PropertyName TypeAnnotationopt ;
	AccessibilityModifieropt staticopt PropertyName CallSignature ;

AmbientEnumDeclaration:
	EnumDeclaration

AmbientNamespaceDeclaration:
	namespace IdentifierPath { AmbientNamespaceBody }

AmbientNamespaceBody:
	AmbientNamespaceElementsopt

AmbientNamespaceElements:
	AmbientNamespaceElement
	AmbientNamespaceElements AmbientNamespaceElement

AmbientNamespaceElement:
	exportopt AmbientVariableDeclaration
	exportopt AmbientLexicalDeclaration
	exportopt AmbientFunctionDeclaration
	exportopt AmbientClassDeclaration
	exportopt InterfaceDeclaration
	exportopt AmbientEnumDeclaration
	exportopt AmbientNamespaceDeclaration
	exportopt ImportAliasDeclaration

AmbientModuleDeclaration:
	declare module StringLiteral {  DeclarationModule }
魔豆Magicbean
关注
专栏目录
FlutterFlutterGo应用程序：使用Go编程语言开发Flutter应用程序
AI天才研究院
07-14 2794
在过去的一年里，移动端应用的开发框架一直呈现爆炸性增长，其中Flutter、Ionic、React Native等都是主流的热门技术框架。由于Flutter框架强大的跨平台特性，使得其适用于桌面、移动端、Web端等多平台，使得开发者可以快速开发出跨平台应用，提升了产品的可用性。但是，如果只是为了开发一个简单的跨平台应用，Flutter还是需要较多的代码编写工作。
超细致的TypeScript入门与实战
weixin_43805705的博客
08-22 1556
本文向大家介绍TypeScript基础知识及用法，帮助大家快速了解，在前端项目中使用这门技术。TypeScript的类型推断跟 VS Code 的良好搭配让代码效率有了极大提升。静态类型检测，会提示一些潜在的问题，使得开发者代码更严谨，低级错误早发现早解决。同时TypeScript类型定义使得代码的可读性增强，统一规范，可有效降低项目维护成本。
[TypeScript] 编程实践之1: Google的TypeScript代码风格1：介绍
魔豆（Magicbean）的博客
06-01 1160
TypeScript语言规范1 介绍1.1 环境声明1.2 函数类型1.3 对象类型1.4 结构子类型化1.5 上下文类型推断1.6 类1.7 枚举类型1.8 字符串参数重载1.9 通用类型和功能1.10 命名空间1.11 模块 版本1.8 2016年1月 Microsoft自2012年10月1日起根据Open Web Foundation最终规范协议版本1.0（“ OWF 1.0”）提供此规范。OWF 1.0可以从http://www.openwebfoundation.org/legal/the-owf
掌握TypeScript编码规范，从eslint-config-airbnb-typescript开始！
gitblog_01062的博客
08-15 586
掌握TypeScript编码规范，从eslint-config-airbnb-typescript开始！ eslint-config-airbnb-typescriptAirbnb's ESLint config with TypeScript support项目地址:https://gitcode.com/gh_mirrors/es/eslint-config-airbnb-typescrip...
[TypeScript] 编程实践之1: Google的TypeScript代码风格11：Script和Modules
魔豆（Magicbean）的博客
06-01 633
TypeScript语言规范11 Scripts和Modules11.1 程序和源文件11.1.1 源文件依赖11.2 Script11.3 Modules11.3.1 Module命名11.3.2 导入声明11.3.3 Import Require声明11.3.4 Export声明11.3.4.1 Export修饰符11.3.4.2 Export Default声明11.3.4.3 Export list声明11.3.4.4 导出成员集11.3.5 Export赋值11.3.6 CommonJS模块11.
拥抱一致性：Google TypeScript 风格指南
最新发布
gitblog_00309的博客
08-26 384
拥抱一致性：Google TypeScript 风格指南 gts☂️ TypeScript style guide, formatter, and linter. 项目地址:https://gitcode.com/gh_mirrors/gts/gts 在现代软件开发中，代码的一致性和可维护性是至关重要的。为了帮助开发者轻松实现这一目标，Google 推出了 gts，一个基于 TypeScrip...
Typescript-规范
weixin_34010949的博客
09-04 180
普通类型 Number,String，Boolean和Object 不要使用如下类型Number，String，Boolean或Object。 这些类型指的是非原始的装盒对象，它们几乎没在JavaScript代码里正确地使用过。 应该使用number，string，andboolean。 使用非原始的object类型来代替Object 回调函数类型 回调函数返回值类型 ...
「译」ECMAScript 提案：类型注解（TypeScript 在未来可能被纳入 ECMAScript 中）
小陈的博客
05-10 1377
原文标题：ECMAScript proposal: Type Annotations 原文链接：github.com/tc39/propos… ECMAScript 关于类型注解的提案已进入 stage1，阿林看到了原文后觉得很惊讶，因为原文表达的意思是 tc39 是真的想把静态类型检查这样的功能写进 JS 这门语言里，而不是像现在这样的在开发阶段用 TypeScript，然后再编译成健壮的 JS。 要知道，涉及到语言底层的改动，要考虑的兼容性、历史包袱、性能等问题，可不是一个小工作，这正是阿林很惊讶的原因
CC
03-30
- 遵循一定的编码风格和约定，如Airbnb或Google的TypeScript风格指南。 - 利用TypeScript的类型系统进行类型检查，避免运行时错误。 综上所述，"CC"可能是一个使用TypeScript构建的项目，其中"CC-main"是项目的主...
Google 7个编程指南中文版合集
11-15
**Google编程指南中文版合集概述** Google编程指南是一系列为开发者提供的官方风格规范，旨在提高...通过遵循这些指南，开发者可以创建出更易于理解和维护的代码，同时也为开源社区的贡献者提供了一致的代码风格基础。
jsecho-admin:Jsecho的管理站点
04-02
1. **TypeScript 基础**：首先，你需要理解 TypeScript 的基本语法，包括变量声明、函数、接口、类和模块等。这些是构建任何 TypeScript 项目的基础。 2. **工程化构建**：作为一款现代化的管理站点，该项目可能...
TypeScript 语言规范 （英文PDF）
04-01
TypeScript 语言规范 （英文PDF） TypeScript是微软新开发的一套构建于JavaScript之上的开发语言，其弥补了JavaScript不易于开发、调试的缺点，并且语法完全兼容ECMAScript 5， 同时包含了部分ECMAScript 6的内容。 TypeScript自身无法执行，TypeScript的编译器将TS代码转换成标准的JS代码，因此可以在任何现代浏览器上执行。和Dart及GWT等类似工具不同的是，TypeScript生成的JS非常短小高效，并且由于完全兼容JavaScript，使用第三方JS库的时候（例如PhoneGap或jQuery）是不需要写任何导入库的。尽管如此，网络上还是有许多现成的TypeScript“界面定义”以方便开发员用面向对象的方式访问这些第三方JS库。 微软的TypeScript演示页面：www.typescriptlang.org TypeScript界面定义：https://github.com/borisyankov/DefinitelyTyped
Google语法高亮JavaScript功能
09-20
Google语法高亮JavaScript脚本源码，包含示例和Wiki的教程文档。 Google语法高亮JavaScript脚本源码，包含示例和Wiki的教程文档。
[TypeScript] 编程实践之1: Google的TypeScript代码风格9：枚举
魔豆（Magicbean）的博客
06-01 367
TypeScript语言规范9 枚举9.1 枚举声明9.2 枚举成员9.3 声明合并9.4 常量枚举声明9.5 代码生成 9 枚举 枚举类型是Number原语类型的独特子类型，具有一组关联的命名常量，这些常量定义了枚举类型的可能值。 9.1 枚举声明 枚举声明声明一个枚举类型和一个枚举对象。 EnumDeclaration: constopt enum BindingIdentifier { EnumBodyopt } EnumDeclaration在包含的声明空间中引入了命名类型（枚举类型）和命名值（
[TypeScript] 编程实践之1: Google的TypeScript代码风格8：类
魔豆（Magicbean）的博客
06-01 312
TypeScript语言规范8 类8.1 类声明8.1.1 类继承规范8.1.2 类体8.2 成员8.2.1 实例成员和静态成员8.2.2 可访问性8.2.3 继承和重置8.2.4 class类型8.2.5 构造函数类型8.3 构造函数声明8.3.1 构造函数参数8.3.2 超类调用8.3.3 自动构造函数8.4 属性成员函数声明8.4.1 成员变量声明8.4.2 成员函数声明8.4.3 成员访问者声明8.4.4 动态属性声明8.5 索引成员声明8.6 装饰者8.7 代码生成8.7.1 无extends从句
一二七、百度编码规范--TypeScript
梅某某
01-22 1024
TypeScript 编码规范1 前言2 代码风格2.1 环境[强制] TypeScript 文件使用 `.ts` 扩展名。含 JSX 语法的 TypeScript 文件使用 `.tsx` 扩展名。[建议] `tsconfig.json` 配置文件应开启 `strict`、`noImplicitReturns`、`noUnusedLocals` 选项。[建议] `tsconfig.json` 配置文件应开启 `allowSyntheticDefaultImports` 选项。[建议] 使用 [`VS Cod
[TypeScript] 编程实践之1: Google的TypeScript代码风格12：Ambients
魔豆（Magicbean）的博客
06-01 518
TypeScript语言规范12 Ambients12.1 Ambients声明12.1.1 Ambient变量声明12.1.2 Ambient函数声明12.1.3 Ambient类声明12.1.4 Ambient枚举声明12.1.5 Ambient命名空间声明12.2 Ambient模块声明 12 Ambients 环境声明用于在现有JavaScript代码上提供静态类型。 环境声明与常规声明的不同之处在于，不会为它们生成JavaScript代码。 环境声明不是引入新的变量，函数，类，枚举或命名空间，而是
使用 typeScript 规范代码
weixin_30917213的博客
07-24 367
链接 转载于:https://www.cnblogs.com/dhsz/p/9360291.html
Typescript 规范及最佳实践
xuewenjie0217的博客
04-09 1268
踩坑经验汇总阅读前请先熟读阅读使用 Typescript 一定要清楚哪些是运行时代码哪些是类型代码。
提升TypeScript编程效率：设计模式详解与实践
因此，书中会涉及基础的TypeScript概念，如接口、类、泛型等，帮助读者更好地将设计模式融入到TypeScript的编程实践中。 书中涵盖了许多经典的设计模式，例如工厂模式（Factory Pattern）、单例模式（Singleton ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值