一、C#概述

本文是网页版《C# 12.0 本质论》第一章解读。欲完整跟踪本系列文章,请关注并订阅我的Essential C# 12.0解读专栏。

前言

第一章的内容非常简单,毕竟仅仅是Introducing C#。不过正如《0.前言》所述,《C# 12.0本质论》本身就不是一本零基础的书,也不像教材,材料的组织并非循序渐进。如果阅读这一章时感觉困难,就需要考虑换一本更浅显易懂的教材(比如本章最后推荐的《Pro C# 10 with .NET 6》)。

我一直秉承授人以鱼不如授人以渔的理念,重点不在于具体知识陈述,而在于学习资源的分享。所以,本文不对原书第一章内容做任何复述,而是重点介绍一组权威资料,让大家遇到问题时知道到哪里去找权威答案。

.NET架构

先借用一张图说明一下C#运行环境及.NET架构。这张图主要说了几个概念:

  1. C#源代码经过托管编译器(csc.exe)编译后,生成Managed Module;
  2. Managed Module包含了IL代码和元数据Metadata
  3. Managed Module执行的时候首先被加载器loader加载到内存,然后运行时编译器JIT再将IL代码编译成本机代码Native Code
  4. 最后,Execute Engine执行本机代码。

在这里插入图片描述

C#语法

国际规范

毫无疑问,微软是C#编程语言的开创者和领跑者,不过在微软推动下,C#早已被ECMA(欧洲计算机制造商协会:European Computer Manufacturers Association)、ISO(国际标准化组织:International Organization for Standardization)及IEC(国际电工委员会:International Electrotechnical Commission)纳入其规范。ECMA负责推动该规范的组织是ECMA C# standard committee (TC49-TG2),第一版规范是《ECMA-334:2003》,与之对应,ISO/IEC规范是《ISO/IEC 23270:2003》,该规范对应于微软的C#语言第一版(C#1.0)。

最新版的正式规范是《ECMA-334:2023》和《ECMA-334:2023》,对应于微软的C#7.0。

如今,ECMA正在起草C# 8规范,可以通过这里查看最新标准草案的更新情况。

标准有什么用?很多时候,我们学习一门语言并不需要通读C#标准,因为标准就如同一本康熙字典,谁都不愿意通过查字典方式来学习汉字。不过,身边有一本字典备用还是非常有用的,比如教科书中经常有如下所示的C#语法描述:

C#被编译时,编译器会将连续的空白字符合并成一个空白,然后以空白作为分隔符,提取出源文件中的标记(Token)进行词法分析。

这种描述其实还不是很清晰,比如:除了空格以外,水平制表符或垂直制表符算不算空白?Unicode或ASCII码中还有许多其他无显示符号,比如ASCII编码00h~1Fh基本都不会有任何屏幕显示,他们算不算空白?

在这种情况下,如果真想较真,将空白彻底搞清楚,查标准就是最权威最有效的手段了。在《C# 8 draft specification - Grammar》中,我们可以查到如下ANTLR描述:

// Source: §6.3.4 White space
Whitespace: [\p{Zs}]  // any character with Unicode class Zs| '\u0009'  // horizontal tab| '\u000B'  // vertical tab| '\u000C'  // form feed;

于是我们就知道了,空白符其实包括四种:首先是Unicode中分类为Sz的字符,另外还包括水平制表符’\u0009’ ,垂直制表符 ‘\u000B’ 和换页符 ‘\u000C’ ,其他符号都不算空白符。

所以,如果我们的C#程序编译时发生错误,提示出现非法字符,我们就需要用十六进制编辑器看看源文件中是否包含了非法字符。至于第一条列示的Unicode的Sz类字符到底有哪些?有兴趣就继续查,否则起码要记住Sz字符包含空格符 ‘\u0020’ 和不间断空格 ‘\u00A0’ 。

题外话:C#语言是建立在.NET框架基础上的编程语言,.NET框架也有对应的ECMA标准(《ECMA-335》),只不过ECMA-335将.NET框架称为CLI。如果您阅读教科书时遇到看不懂术语如CTS(Common Type System) / CLS(Common Language Specification) / 执行引擎 (Excution Engine EE),或者您想想学习.NET中间语言 CIL(微软称为MSIL),或想了解 .NET平台至少需包含哪些库,或想了解程序集文件格式,那么就有必要下载一份ECMA-335备用。

小节

规范是参考手册,其完整性、权威性超过任何教科书,只不过其可阅读性比较差。

微软的C#

国际标准永远滞后于实际实现。目前最好用的C#当然是由微软SDK提供。如今,微软C#版本已经更新到了13.0,其.NET平台也正式发布了.NET8,而ECMA和ISO标准还是C#7.0的。

所以,学习C#,最常使用的还是微软官方文档,比如C# Documentation网页。微软版本是ECMA标准的超集,但其首先实现了ECMA标准的所有规定。

IDE是否必须?

在本系列文章中,将使用传统.NET Framework框架开发的程序称为旧框架程序,而将使用.NET5.0 ~.NET8.0框架开发的程序称为现代.NET程序。两者最大的差异在于,.NET Framework程序只能运行于Windows环境下,不能跨平台,其可执行文件扩展名是 .exe;现代 .NET应用程序是跨平台的,其生成的可执行文件扩展名是 .dll文件,需要在dotnet CLI命令行下执行。

当前,Windows环境下,最常用的开发环境是Visual Studio 2022,简称VS。VS作为IDE,包含了.NET SDK和图形化编辑器、调试器。如果不安装VS,仅仅安装SDK,也完全可以开发C#应用程序的,只不过需要使用 dotnet CLI命令,需要自己选择编辑器,也没有了调试支持。

所以,安装VS并非必须,但安装SDK则是必须。

.NET SDK

.NET SDK是微软.NET软件开发包,该包里主要包括如下四个部分:

  1. .NET基础库
  2. .NET基础框架
  3. .NET 运行时(CLR)
  4. .NET相关工具

.NET基础库(BCL)如同C++开发库一样,提供了.NET编程可以直接调用的很多函数库,比如我们写Console.WriteLine(),这个Console类及其WriteLine方法就来自于.NET基础库。
.NET基础框架提供了不同应用程序的不同模版,比如我们可以使用C#开发控制台应用程序,也可以开发类库(DLL),或WinForm或WPF或ASP.NET应用等等,这些不同类型的应用,就对应了不同的基础框架。
.NET运行时,一般我们会看将运行时称为CLR,这是微软的叫法,在ECMA标准中被称为执行引擎EE,可以简单将CLR想象成一个虚拟机,.NET程序执行时,会先启动一个虚拟机,然后通过虚拟机执行只有虚拟机可以读懂的以MSIL语言表示的程序,虚拟机负责最终将MSIL编译成实际计算机可以识别的真正CPU指令。
.NET相关工具,最主要的是dotnet CLI命令,另外还包括了很多其他工具,比如C#编译器csc,Ms Build工具,MSIL开发语言编译器ILasm,IL反汇编器DASM等。

以上四个部分中,只有第三项是和开发无关,但和运行相关。也就是说,如果我们开发了一个.NET应用,拷贝给朋友时,如果它的电脑中未安装SDK,也未安装.NET运行时,那么程序会提示当前电脑没有安装.NET运行时,并提示下载安装。其余的1、2、4项都只和开发应用程序有关。

C# 语法补充

上面通过介绍ECMA标准,列出了完整C#语法。下面对C#语法中部分重要概念进行一下补充说明。

标记(Token)

C#编译时,首先查找C#标记,然后再对标记进行组合与分析。所以,标记是编译器的概念。C#标记包括标识符、关键字、字面值、操作符和标点符号五种,前面说过的空白不属于标记,但空白可以用来作为标记的分隔符。

token: identifier| keyword| Integer_Literal| Real_Literal| Character_Literal| String_Literal| operator_or_punctuator;

其中标识符就是我们自己定义的变量名、类型名等符号,比如int myInt = 3中的myInt就是标识符。有关标识符的使用规则其实挺复杂的,不过大家基本都掌握了。如果想看详细要求,可以查这里。

关键字是C#语法中有特殊含义的标记,比如 int, string, private等。字面量就是数据,比如:3, ‘a’, “Hello, world!”, 3.14等。

表达式(Expression)

表达式是C#语法的概念。一个表达式由一系列操作符和操作数构成。表达式必须有返回结果,表达式的返回结果包括如下几种:

  • 一个数值:比如:int x = 3 的结果是数值3
  • 一个变量:比如:int x;表达式返回一个变量x
  • null
  • 一个匿名方法
  • 一个元祖
  • 一个属性类型
  • 一个索引器值
  • 空:当一个表达式是一个对void返回类型的调用时,其返回值是空

表达式常常是构成语句的组件,但并非所有表达式都可以构成语句!

语句(Statement)

语句是构成C#程序的常用组件。表达式语法如下:

statement: labeled_statement| declaration_statement| embedded_statement;embedded_statement: block| empty_statement| expression_statement| selection_statement| iteration_statement| jump_statement| try_statement| checked_statement| unchecked_statement| lock_statement| using_statement| yield_statement| unsafe_statement   // unsafe code support| fixed_statement    // unsafe code support;

表达式可以嵌套,所以存在embedded_statement。

根据以上语法,我们就可以明白,C#语句在语法上和C/C++是不同的,C/C++中,印象是允许所有表达式加上分号都可以构成合法语句,比如x+y; 但C#不行,比如:

//C#程序int x = 1;int y = 2;x + y;  //非法表达式
Error	CS0201	Only assignment, call, increment, decrement, await, and new object expressions can be used as a statement

但以下C或C++程序就合法,最终执行结果是x为7,y为6。

//C/C++程序
int main()
{int x = 1, y = 5;x + y;x = (x = x + 1, 55, ++y+1);
}

以上示例,再次证明:遇到问题时查标准是解决问题的最佳路径。

进阶学习资料

  1. Essential C# 12.0网页版;
  2. 适用于初学者的C#视频教程;
  3. 微软C#门户
  4. C#语言参考;
  5. .NET API门户;
  6. Framework design guidelines;
  7. Visual Studio 2022门户;
  8. .NET / Runtime源码;
  9. .NET Source Browser
  10. MSIL入门 by Vijaymukhi;
  11. PE文件格式与Metadata by Vijaymukhi;
  12. ECMA-334 C# Language Specification
  13. ECMA-335 Common Language Infrustructure;

本章点评

通过第一章的阅读,我日益感觉到《Essential C# 12.0》确实不适合做入门教材,它更像是一本复习提纲。
作者对C#的理解深度与广度毋庸置疑,但为了照顾篇幅,很多概念都是在毫无铺垫情况下直接引入,而且缺乏举例,读起来十分晦涩。

所以,我为大家推荐另外一本更适合作为C#入门书籍,它就是Andrew Troelsen的畅销书《Pro C# 10 with .NET 6》,我个人也是通过这本书了解的C#,网上可以找到电子版。
在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/380789.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【Python游戏】编程开发贪吃蛇游戏(第一期)

本文收录于 《一起学Python趣味编程》专栏,从零基础开始,分享一些Python编程知识,欢迎关注,谢谢! 文章目录 一、前言二、贪吃蛇游戏开发简介2.1 贪吃蛇游戏规则2.2 贪吃蛇游戏开发步骤 三、贪吃蛇游戏开发实战四、总结…

多任务高斯过程数学原理和Pytorch实现示例

高斯过程其在回归任务中的应用我们都很熟悉了,但是我们一般介绍的都是针对单个任务的,也就是单个输出。本文我们将讨论扩展到多任务gp,强调它们的好处和实际实现。 本文将介绍如何通过共区域化的内在模型(ICM)和共区域化的线性模型(LMC)&…

【开源库】libodb库编译及使用

前言 本文介绍windows平台下libodb库的编译及使用。 文末提供libodb-2.4.0编译好的msvc2019_64版本,可直接跳转自取 ODB库学习相关 【开源库学习】libodb库学习(一) 【开源库学习】libodb库学习(二) 【开源库学习】…

数据库之存储引擎

目录 一、MySQL支持的存储引擎 二、查看MySQL默认存储引擎 三、修改MySQL默认存储引擎 四、常用的存储引擎 1.InnoDB 2.MyISAM 3.MEMORY 一、MySQL支持的存储引擎 使用SHOW ENGINES \G; 命令查看 以“\G”结尾,其作用是将查询结果按列显示。 Engine&#xff…

人工智能与语音识别:技术进步与应用前景

引言 人工智能(AI)作为当今科技进步的核心驱动力,正在各个领域展现其变革力量。其中,语音识别技术作为人工智能的重要应用之一,已经深入到我们的日常生活和工作中。从智能助手如Siri、Google Assistant,到智…

Apache BookKeeper 一致性协议解析

导语 Apache Pulsar 是一个多租户、高性能的服务间消息传输解决方案,支持多租户、低延时、读写分离、跨地域复制(GEO replication)、快速扩容、灵活容错等特性。Pulsar 存储层依托于 BookKeeper 组件,所以本文简单探讨一下 BookK…

Qt Creator配置以及使用Valgrind - 检测内存泄露

Qt Creator配置以及使用Valgrind - 检测内存泄露 引言一、下载安装1.1 下载源码1.2 安装 二、配置使用2.1 Qt Creator配置2.2 使用2.3 更多详细信息可参考官方文档: 三、参考链接 引言 Valgrind是一个在Linux平台下广泛使用的开源动态分析工具,它提供了一…

Qt 快速保存配置的方法

Qt 快速保存配置的方法 一、概述二、代码1. QFileHelper.cpp2. QSettingHelper.cpp 三、使用 一、概述 这里分享一下,Qt界面开发时,快速保存界面上一些参数配置的方法。 因为我在做实验的时候,界面上可能涉及到很多参数的配置,我…

昇思25天学习打卡营第16天 | Vision Transformer图像分类

昇思25天学习打卡营第16天 | Vision Transformer图像分类 文章目录 昇思25天学习打卡营第16天 | Vision Transformer图像分类Vision Transform(ViT)模型TransformerAttention模块Encoder模块 ViT模型输入 模型构建Multi-Head Attention模块Encoder模块Pa…

【中项第三版】系统集成项目管理工程师 | 第 5 章 软件工程① | 5.1 - 5.3

前言 第5章对应的内容选择题和案例分析都会进行考查,这一章节属于技术的内容,学习要以教材为准。 目录 5.1 软件工程定义 5.2 软件需求 5.2.1 需求的层次 5.2.2 质量功能部署 5.2.3 需求获取 5.2.4 需求分析 5.2.5 需求规格说明书 5.2.6 需求变…

工业三防平板助力工厂生产数据实时管理

在当今高度数字化和智能化的工业生产环境中,工业三防平板正逐渐成为工厂实现生产数据实时管理的得力助手。这种创新的技术设备不仅能够在恶劣的工业环境中稳定运行,还为工厂的生产流程优化、效率提升和质量控制带来了前所未有的机遇。 工业生产场景通常充…

保护模式下的分页

4KB页 4KB页的构成 该分页方式下,32 位虚拟地址被分为三个位段:页目录索引、页表索引、页内偏移 只有一级页目录,其中包含 1024 个条目 ,每个条目指向一个页表,每个页表中有 1024 个条目 其中一个条目就指向一个物理…

智能听诊器:宠物健康监测的革新者

宠物健康护理领域迎来了一项激动人心的技术革新——智能听诊器。这款创新设备以其卓越的精确度和用户友好的操作,为宠物主人提供了一种全新的健康监测方法。 使用智能听诊器时,只需将其放置在宠物身上,它便能立即捕捉到宠物胸腔的微小振动。…

9.11和9.9哪个大?

没问题 文心一言 通义千问

ThinkPad改安装Windows7系统的操作步骤

ThinkPad:改安装Windows7系统的操作步骤 一、BIOS设置 1、先重新启动计算机,并按下笔记本键盘上“F1”键进入笔记本的BIOS设置界面。 2、进入BIOS设置界面后,按下键盘上“→”键将菜单移动至“Restart“项目,按下键盘上“↓”按键…

frp反向代理的安装与配置、ftp服务的搭建及应用

1、frp简介 frp 是⼀个开源、简洁易⽤、⾼性能的内⽹穿透和反向代理软件,⽀持 tcp, udp, http, https等 协议。frp 项⽬官⽹是 https://github.com/fatedier/frp 2、frp⼯作原理 服务端运⾏,监听⼀个主端⼝,等待客户端的连接; …

【Godot4.2】SVGParser - SVG解析器函数库

概述 这是一个基于GDScript内置XMLParser编写的简易SVG文件解析函数库。 目的就是可以将SVG文件解析为GDSCript可以处理的字典或DOM形式,方便SVG渲染和编辑。 目前还只是一个简易实现版本。还需要一些改进。 函数库源码 # # 名称:SVGParser # 类型…

【开源库学习】libodb库学习(三)

4 查询数据库 如果我们不知道我们正在寻找的对象的标识符,我们可以使用查询在数据库中搜索符合特定条件的对象。ODB查询功能是可选的,我们需要使用--generate-query ODB编译器选项显式请求生成必要的数据库支持代码。 ODB提供了一个灵活的查询API&#x…

【机器学习实战】Datawhale夏令营2:深度学习回顾

#DataWhale夏令营 #ai夏令营 文章目录 1. 深度学习的定义1.1 深度学习&图神经网络1.2 机器学习和深度学习的关系 2. 深度学习的训练流程2.1 数学基础2.1.1 梯度下降法基本原理数学表达步骤学习率 α梯度下降的变体 2.1.2 神经网络与矩阵网络结构表示前向传播激活函数…

GESP CCF 图形化编程四级认证真题 2024年6月

一、单选题(共 10 题,每题 2 分,共 30 分) 题号 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 答案 C B C D C D A B D C C D A A B 1、小…