C#9.0新特性详解——顶级程序语句（Top-Level Programs)

1 背景与动机

通常，如果只想用C#在控制台上打印一行“Hello World！”，这可不是Console.WriteLine("Hello World!");一条语句就可以搞定的，还涉及到其他必要基础代码（如定义类和入口函数Main），例如下面：

using System;
class Program
{
  static void Main()
  {
    Console.WriteLine("Hello World!");
  }
}

就打印一句“Hello World!”，就这么多代码。这个不仅对于初学者来说麻烦，而且使得代码凌乱，并且增加了缩进层级。为了解决这些问题，就提出了顶级代码语句这个新特性。

2 顶级语句

2.1 介绍

在C#9.0中，将Class的定义和主函数Main的声明省略掉，只写出你的核心业务代码，就成了顶级语句。上面这段代码，我们可以用顶级语句写为：

using System;

Console.WriteLine("Hello World!");

这样，代码简洁清晰了很多，易于初学者理解。是不是有点写Python的感觉？当然，任何语句都是允许的。如果你想返回值，你可以那样做；你想用await，也可以那样做；如果你想访问命令行参数，args也是可用的；你想使用本地函数，也是可以的。

虽然可以使用任何代码，但是有一些规则要求必须遵守：

  • 顶级语句必须放在using语句代码后面
  • 顶级语句必须用在任何类型或者命名空间声明的前面
  • 顶级语句只能写在一个源代码文件里，像如今只能写一个main方法一样。
  • 顶级语句中定义的本地函数和变量，在顶级代码段外部的任何地方调用他们都会产生错误。

下面这段代码就是一个比较好的示例：

using static System.Console;
using System.Threading.Tasks;

WriteLine("Hello,");
Print(args[0]);
await Task.Delay(1000);
return 0;

void Print(string arg)
{
  WriteLine(arg);
}

2.2 原理

我们知道，C#作为面向对象的编程语言，一切类型都是面向对象的，要有类型和成员定义。顶级语句表面看着好像违反了这一规则，实际上没有。这是因为，顶级语句最终还是在编译的时候，被作为全局命空间中Program类的Main方法体中一段代码一起自动生成。如下所示：

static class Program
{
  static async Task Main(string[] args)
  {
    // 顶级语句
  }
}

需要注意的是，这里的类名Program和方法名Main只是用来举例，其实在编译器生成的不是这个名字。我们可以通过查看IL代码确认这一点：

根据在顶级语句中是否有异步操作和返回值的情况，生成的入口函数签名也是不同的。具体如下面表格所示：

存在返回值 不存在返回值
存在异步 async static Task<int> Main(string[] args) async static Task Main(string[] args)
不存在异步 static int Main(string[] args) static void Main(string[] args)

例如上面代码，生成的入口函数<Main>$就如下代码所示：

static class Program
{
  async static Task<int> Main(string[] args)
  {
    WriteLine("Hello");
    Print(args[0]);
    await Task.Delay(1000);
    return 0;

    void Print(string arg)
    {
      WriteLine(arg);
    }
  }
}

3 结束语

使用顶级语句能简化我们的编码工作，使代码看起来简洁清晰，对初学者也很友好，本质上也未改变C#的语言的原有的语法结构，任何语句都可以使用，没有产生额外的限制，从这些方面来说，是一个值得肯定的变化。

以上就是C#9.0新特性详解——顶级程序语句（Top-Level Programs)的详细内容，更多关于C# 9.0新特性的资料请关注我们其它相关文章！

赞 (0)

相关推荐

  • C# 9.0新特性——只初始化设置器

    自C#1.0版本以来,我们要定义一个不可变数据类型的基本做法就是:先声明字段为readonly,再声明只包含get访问器的属性.例子如下: 1.背景与动机 自C#1.0版本以来,我们要定义一个不可变数据类型的基本做法就是:先声明字段为readonly,再声明只包含get访问器的属性.例子如下: struct Point { public int X { get; } public int Y { get; } public Point(int x, int y) { this.X = x; th

  • 浅谈C# 9.0 新特性之只读属性和记录

    大家好,这是 C# 9.0 新特性系列的第 4 篇文章. 熟悉函数式编程的童鞋一定对"只读"这个词不陌生.为了保证代码块自身的"纯洁",函数式编程是不能随便"弄脏"外来事物(参数.变量等)的,所以"只读"对函数式编程非常重要. 为了丰富 C# 对函数式编程支持,较新的 C# 版本引入了一些很有用的新特性.比如 C# 8 中就对 struct 类型的方法增加了 readonly 修饰符支持,被 readonly 修饰的方法是不能

  • 浅谈C#9.0新特性之参数非空检查简化

    参数非空检查是缩写类库很常见的操作,在一个方法中要求参数不能为空,否则抛出相应的异常.比如: public static string HashPassword(string password) { if(password is null) { throw new ArgumentNullException(nameof(password)); } ... } 当异常发生时,调用者很容易知道是什么问题.如果不加这个检查,可能就会由系统抛出未将对象引用为实例之类的错误,这不利于调用者诊断错误. 由

  • c# 9.0新特性nint和Pattern matching的使用方法

    一:背景 1. 讲故事 上一篇跟大家聊到了Target-typed new 和 Lambda discard parameters,看博客园和公号里的阅读量都达到了新高,甚是欣慰,不管大家对新特性是多头还是空头,起码还是对它抱有一种极为关注的态度,所以我的这个系列还得跟,那就继续开撸吧,今天继续带来两个新特性,更多新特性列表,请大家关注:新特性预览 二:新特性研究 1. Native ints 从字面上看貌似是什么原生类型ints,有点莫名其妙,还是看一看Issues上举得例子吧: Summar

  • c# 9.0新特性——模块初始化器

    作者:MarkKang 出处:https://www.cnblogs.com/markkang/ 1 背景动机 关于模块或者程序集初始化工作一直是C#的一个痛点,微软内部外部都有大量的报告反应很多客户一直被这个问题困扰,这还不算没有统计上的客户.那么解决这个问题,还有基于什么样的考虑呢? 在库加载的时候,能以最小的开销.无需用户显式调用任何接口,使客户做一些期望的和一次性的初始化. 当前静态构造函数方法的一个最大的问题是运行时会对带有静态构造函数的类型做一些额外的检查.这是因为要决定静态构造函数

  • 浅析C# 9.0 新特性之 Lambda 弃元参数

    大家好,这是 C# 9.0 新特性短系列的第 5 篇文章. 弃元(Discards) 是在 C# 7.0 的时候开始支持的,它是一种人为丢弃不使用的临时虚拟变量.语法上它是用来赋值的,但它却不被分配存储空间,即没有值,所以不能从中读取值.弃元用 _(下划线) 表示,下划线是一个关键字,只能赋值,不能读取,例如: 在 C# 7.0 中,弃元的使用场景主要有下面四种: 元组和对象的解构 使用 is 和 switch 的模式匹配 对具有 out 参数的方法的调用 作用域内独立使用场景 针对这几个场景,

  • C# 9.0 新特性之模式匹配简化的实现

    记得在 MS Build 2020 大会上,C# 语言开发项目经理 Mads Torgersen 宣称 C# 9.0 将会随着 .NET 5 在今年 11 月份正式发布.目前 .NET 5 已经到了 Preview 5 阶段了,C# 9.0 也已经初具规模.忍不住激动的心情,暂停更新<C#.NET 拾遗补漏>系列几天,先要和大家分享一下我了解到的 C# 9.0 的新特性.由于新特性比较多,所以会分成几篇来讲.这是第一篇,专讲模式匹配这个特性的简化. 模式匹配(Pattern Matching)

  • C#9.0 新特性简介

    CandidateFeaturesForCSharp9 看到标题,是不是认为我把标题写错了?是的,C# 8.0还未正式发布,在官网它的最新版本还是Preview 5,通往C#9的漫长道路却已经开始.前写天收到了活跃在C#一线的BASSAM ALUGILI给我分享C# 9.0新特性,我在他文章的基础上进行翻译,希望能对大家有所帮助. 这是世界上第一篇关于C#9候选功能的文章.阅读完本文后,你将会为未来可能遇到的C# 9.0新特性做好更充分的准备. 这篇文章基于, C# 9.0候选新特性 原生大小的

  • C# 9.0新特性——扩展方法GetEnumerator支持foreach循环

    1.介绍 我们知道,我们要使一个类型支持foreach循环,就需要这个类型满足下面条件之一: 该类型实例如果实现了下列接口中的其中之一: System.Collections.IEnumerable System.Collections.Generic.IEnumerable<T> System.Collections.Generic.IAsyncEnumerable<T> 该类型中有公开的无参GetEnumerator()方法,且其返回值类型必须是类,结构或者接口,同时返回值类型

  • C#9.0新特性详解——顶级程序语句（Top-Level Programs)

    C#9.0新特性详解——顶级程序语句（Top-Level Programs)

    1 背景与动机 通常,如果只想用C#在控制台上打印一行"Hello World!",这可不是Console.WriteLine("Hello World!");一条语句就可以搞定的,还涉及到其他必要基础代码(如定义类和入口函数Main),例如下面: using System; class Program { static void Main() { Console.WriteLine("Hello World!"); } } 就打印一句"

  • Android5.0新特性详解之全新的动画

    在Material Design设计中,为用户与app交互反馈他们的动作行为和提供了视觉上的连贯性.Material主题为控件和Activity的过渡提供了一些默认的动画,在android L上,允许自定义这些动画: Touch feedback 触摸反馈 Circular Reveal 圆形展示 Curved motion 曲线运动 View state changes 视图状态变化 Vector Drawables 矢量图动画 Activity transitions 活动转场 触摸反馈 触

  • Android 7.0新特性详解

    谷歌正式在I/O大会现场详细介绍了有关Android 7.0的大量信息.目前,我们已经知道,新一代Android操作系统将支持无缝升级,能够通过Vulkan API来在中低硬件配置设备上实现流 畅.游戏体验以及更多的Emoji表情.不过,Android 7.0最大也是最引人关注的还是来自运行效率上的改进. 来自I/O大会现场的PPT显示,Android N的代码减少了50%,新的代码减少50%,安卓N运行环境有了明显改善,软件运行速度提升幅度达到600%,应用安装提速75%.这意味着用户 正在迎

  • Python3.9新特性详解

    本文主要介绍Python3.9的一些新特性,如:更快速的进程释放,性能的提升,简便的新字符串函数,字典并集运算符以及更兼容稳定的内部API,详细如下: 字典并集和可迭代更新 字符串方法 类型提示 新的数学函数 新的解析器 IPv6范围内的地址 新模块:区域信息 其他语言更改 1.字典并集和可迭代更新 Python 3.9 dict类.如果有两个字典a和b,则现在可以使用这些运算符进行合并和更新. 我们有合并运算符|: 使用Iterables进行字典更新 | =运算符的另一个很棒的性能是能够使用可

  • SQL Server 2012 FileTable 新特性详解

    FileTable是基于FILESTREAM的一个特性.有以下一些功能: •一行表示一个文件或者目录. •每行包含以下信息: • •file_Stream流数据,stream_id标示符(GUID). •用户表示和维护文件及目录层次关系的path_locator和parent_path_locator •有10个文件属性 •支持对文件和文档的全文搜索和语义搜索的类型列. •filetable强制执行某些系统定义的约束和触发器来维护命名空间的语义 •针对非事务访问时,SQL Server配置FIL

  • JavaScript_ECMA5数组新特性详解

    var arr = [ 1, 2, 3, 4, 5, 4, 3, 2, 1 ]; 新加位置的方法: indexOf lastIndexOf 1.1个参数的时候表示传值 返回索引位置(index从0开始) var index = arr.indexOf(4); alert(index); //3 2. 2个参数的时候 第一个参数表示起始位置 第二个参数还是值 var index = arr.indexOf(4,4); alert(index); //5 3.他们查找数组比较的时候 '===' la

  • python3.9之你应该知道的新特性详解

    一.数字类型 python除了支持原有的int和float类型,新增了支持Decimal或者Fraction.python还内置支持复数,后缀j或者J用于标识虚数. 二.字符串 如果字符串中有单引号而没有双引号,该字符串外将加注双引号,反之,则加注单引号.print() 函数输出的内容更简洁易读,它会省略两边的引号,并输出转义后的特殊字符. >> '"Isn\'t," they said.' '"Isn\'t," they said.' >>

  • Java8常用的新特性详解

    Java8常用的新特性详解

    一.Java 8 新特性的简介 速度更快 代码更少(增加了新的语法:Lambda表达式)强大的Stream API 便于并行 最大化减少空指针异常:Optional Nashorn引擎,允许在JVM上运行JS应用 二.Lambda表达式 Lambda表达式:特殊的匿名内部类,语法更简洁. Lanbda表达式允许把函数作为一个方法的参数(函数作为方法参数传递),将代码像数据一样传递. 基本语法: <函数式接口> <变量名> = (参数1,参数2...) ->{ //方法体 }

  • MySQL 8.0的关系数据库新特性详解

    前言 MySQL 8.0 当前的最新版本是 8.0.4 rc,估计正式版本出来也快了.本文介绍几个 8.0 在关系数据库方面的主要新特性. 你可能已经知道 MySQL 从版本 5.7 开始提供了 NoSQL 存储的功能,在 8.0 中这部分功能也得到了一些改进,但鉴于这个在实际当中用得极少,本人也是没用过,所以本文不会介绍这方面的东西,而是关注其关系数据库方面. 1.隐藏索引 隐藏索引的特性对于性能调试非常有用.在 8.0 中,索引可以被"隐藏"和"显示".当一个索

  • JAVA8 十大新特性详解

    "Java is still not dead-and people are starting to figure that out." 本教程将用带注释的简单代码来描述新特性,你将看不到大片吓人的文字. 一.接口的默认方法 Java 8允许我们给接口添加一个非抽象的方法实现,只需要使用 default关键字即可,这个特征又叫做扩展方法,示例如下: 复制代码 代码如下: interface Formula {    double calculate(int a); default do

随机推荐