`
cdragon
  • 浏览: 81023 次
  • 性别: Icon_minigender_1
  • 来自: 北京
最近访客 更多访客>>
社区版块
存档分类
最新评论

effective hierarchy(一)之 基本概念(8)

阅读更多

MSDN,C#2

 

一、语句

1.结束点和可达性(end points and reachability)

 

 (1)每个语句都有结束点。按照直觉(in intuitive terms),结束点是紧跟在语句后面的那个位置。复合语句(composite statements ,也叫合成语句,即包含嵌入语句的语句)的执行规则规定了(执行)控制到达一个嵌入语句的结束点时所采取的措施(action)。例如,当控制到达块中某个语句的结束点时,控制就转到该块中的下一个语句。

 

   (2)如果语句能够通过执行(遂可能)到达某个语句,则称该语句是可到达的。相反,如果某个语句不可能被执行,则称该语句是不可到达的。

          

void F() {
   Console.WriteLine("reachable");
   goto Label;
   Console.WriteLine("unreachable");//不可到达
   Label:
   Console.WriteLine("reachable");
}

 

   (3)如果编译器确定某个语句不可达,虽非错误,但会引发警告(warning)。

           为确定某个特定的语句或结束点是否是可达的,编译器遵循为每个语句定义的可达性规则(reachability rules)进行流分析(flow analysis)。流分析考量(take into account)常量表达式的值(该值用来控制语句行为),而并不考虑非常量表达式的可能值。换句话说,从控制流分析(control flow)的角度,给定类型的非常量表达式(如变量)视为那个类型的任何可能值。

   

//常量表达式,Console.WriteLine非可达
void F() {
   const int i = 1;
   if (i == 2) Console.WriteLine("unreachable");
}

//虽然事实上不可能执行,但因为是本地变量(表达式),Console.WriteLine可达
void F() {
   int i = 1;
   if (i == 2) Console.WriteLine("reachable");
}

 

 

   (4) 函数成员中的块总是视为可达。通过依次测算块中每条语句的可达性规则,以确定任何给定语句的可达性。

            void F(int x) {

                Console.WriteLine("start");
                if (x < 0) Console.WriteLine("negative"); }

 

           第二个 Console.WriteLine 的可到达性按下面顺序确定:

            ~第一个 Console.WriteLine 表达式语句是可到达的,原因是 F 方法的块是可到达的。

            ~第一个 Console.WriteLine 表达式语句的结束点是可到达的,原因是该语句是可到达的。

         ~if 语句是可到达的,原因是第一个 Console.WriteLine 表达式语句的结束点是可到达的。

                ~第二个 Console.WriteLine 表达式语句是可到达的,原因是 if 语句的布尔表达式不是常数值 false。 

 

   (5)如下两种情况,控制可到达某语句的结束点,会引起编译时错误:

           1'由于 switch 语句不允许一个 switch 节穿越(fall through)到相邻的switch节,因此如果一个switch 节的语句列表的结束点可达,会引出编译时错误,表明该处遗漏掉一个break语句。

           2'如果计算求某值(value)的函数成员块的结束点可达,会引出编译时错误,表明该处遗漏了一个return语句。

 

二、语句类型

   (1)statement:(语句包括:)
labeled-statement(标记语句)
    identifier   :   statement
declaration-statement(声明语句)   
            local-variable-declaration   ;
            local-constant-declaration   ;
embedded-statement(嵌入语句)

        embedded-statement(嵌入语句):

   block(块):
          {   statement-listopt   }
               statement-list:
         statement
         statement-list   statement

   empty-statement:(空语句);

   expression-statement:(表达式语句)
          statement-expression   ;
          statement-expression:
  invocation-expression
  object-creation-expression
  assignment
  post-increment-expression
  post-decrement-expression
  pre-increment-expression
  pre-decrement-expression

   selection-statement:(选择语句)
         if-statement
         switch-statement 

   iteration-statement(迭代语句)
          while-statement
          do-statement
          for-statement
          foreach-statement 

   jump-statement(跳转语句):
         break-statement
         continue-statement
         goto-statement
         return-statement
         throw-statement 

   try-statement(try 语句)

   checked-statement(checked 语句):
       checked   block

   unchecked-statement(unchecked 语句)
       unchecked   block 
   lock-statement(lock 语句)

   using-statement(using 语句)
 
   (2)非结束性(non-terminal)“嵌入语句”用于出现(appear)在其他语句中的语句。 嵌入语句(embedded statement)与普通语句(statement)的区别在于,嵌入语句在上下文语境中(context)排除声明语句和标签语句(declaration statements and labeled statements)。
           
//下列的i将引发编译时错误,因为这时的语境要求嵌入语句而非语句
void F(bool b) {
   if (b)
      int i = 44;
}

//但如果i放在块内,则是合法的.
 
         
三、名字空间
      C#使用名字空间来组织程序,它既用作内部的(internal)系统组织,也用作外部的(external)系统组织(向其它程序公开展示程序的元素);

       using命令提供用来“便利”名字空间使用(facilitate the use)。

 

       using-alias-directive引入名字空间或类型的别名;

       using-namespace-directive导入名字空间的类型成员;

 

四、类型声明

   (1) type-declaration:
              class-declaration(类声明)
              struct-declaration(结构声明)
              interface-declaration(接口声明)
              enum-declaration(枚举声明)
              delegate-declaration(委托声明)

 

   (2)类型声明能够作为顶级声明出现在编译单元中,或者作为成员声明出现在命名空间、类或结构内部;

   (3)当类型 T 的类型声明作为编译单元中的顶级声明出现时,新声明的类型的完全限定名正好是 T。当类型 T 的类型声明出现在命名空间、类或结构内时,新声明的类型的完全限定名是 N.T,其中 N 是包含它的命名空间、类或结构的完全限定名;

   (4)在类或结构内声明的类型称为嵌套类型(nested type);

   (5)某个类型声明所允许使用的访问修饰符(access modifiers)及默认的访问(default access)取决于出现声明处的环境。

           ~在编译单元和命名空间中声明的类型可以具有publicinternal(默认)访问属性。

           ~在类中声明的类型可以具有 publicprotected internalprotectedinternalprivate (默认)访问属性。

           ~在结构中声明的类型可以具有 publicinternalprivate(默认访问属性。 

分享到:
评论

相关推荐

    more_c++_idioms.pdf

    ### 更多C++惯用法概述 ...《更多C++惯用法》这本书为读者提供了一个详尽的指南,不仅涵盖了这些惯用法的基本概念,还提供了丰富的例子和参考资料,是任何想要深入掌握C++的专业人士不可或缺的资源。

    面向对象分析与设计(第3版) Object Oriented Analysis And Design With Applications 3Rd Edition

    本书通过大量例子说明了基本概念,解释了方法,并展示了在不同领域的成功应用。全书分为理论和应用两部分。理论部分深刻剖析了面向对象分析与设计 (OOAD)的概念和方法。应用部分连续列出了5个不同类型、不同领域的...

    Qt 采用http通信json解析读取天气

    Qt 采用http通信json解析读取天气

    岗位晋升360度调查表.doc

    岗位晋升360度调查表.doc

    合法辞退员工的N种方式.pptx

    合法辞退员工的N种方式.pptx

    大模型、Agent、具身智能及人形机器人学习全路径规划.pdf

    大模型、Agent、具身智能及人形机器人学习全路径规划.pdf

    华润万家员工手册.doc

    华润万家员工手册.doc

    招聘需求分析.xls

    招聘需求分析.xls

    光伏+蓄电池系统中双有源桥DC-DC变换器的Matlab仿真与MPPT及闭环控制实现

    内容概要:本文详细介绍了基于‘光伏(PV)+蓄电池+负载’架构的双有源桥DC-DC变换器仿真方法及其在Matlab 2021b中的具体实现。首先解析了光伏系统的MPPT控制,通过扰动观察法使光伏板始终处于最大功率点。接着讨论了蓄电池的恒流充放电控制,利用PI控制器确保电池的安全和高效运作。然后阐述了双有源桥DC-DC变换器的闭环控制机制,借助PID控制器维持系统输出电压的稳定性。最后,文章展示了如何在Matlab Simulink环境下构建完整的仿真模型,涵盖各模块间的电气连接与信号交互,为新能源系统的优化提供了理论和技术支持。 适合人群:从事电力电子、新能源系统设计的研究人员和工程师,尤其是那些需要深入了解光伏储能系统工作原理的人群。 使用场景及目标:适用于希望掌握光伏储能系统中关键组件如MPPT、恒流充放电控制及双有源桥DC-DC变换器的设计与仿真的技术人员。目标是在实际工程项目中提高系统的效率和可靠性。 其他说明:文中提供的代码片段和建模思路有助于读者更好地理解和实践相关技术,同时也强调了一些常见的陷阱和调试技巧,帮助避免潜在的问题。

    数学建模_Matlab_SPSS_教程分享_学习用途_1742838826.zip

    线性代数

    电机调速技术解析:直流电机双闭环与多种电机滞环调速方法对比

    内容概要:本文详细介绍了不同类型电机的调速方法,重点探讨了直流电机双闭环调速、永磁同步电机电流滞环闭环调速以及异步电机滞环电流调速。文中不仅提供了每种调速方法的基本原理和技术特点,还附带了相应的代码示例进行辅助解释。此外,文章对永磁同步电机的电流滞环调速与SVPWM调速进行了对比,指出了各自的优劣之处。最后,强调了在实际应用中选择合适调速方案的重要性。 适合人群:从事电机控制系统设计与开发的技术人员,尤其是有一定电机控制基础的研发人员。 使用场景及目标:适用于需要深入了解电机调速机制及其应用场景的专业人士。目标是帮助读者掌握不同电机调速方法的特点,以便在实际工程中做出最优选择。 其他说明:文章通过具体的代码实例展示了调速方法的实际应用,使读者能够更好地理解和实践相关技术。同时提醒读者在实际调试过程中要注意参数设置和硬件条件的影响。

    人员晋升推荐表.xls

    人员晋升推荐表.xls

    员工生日关怀方案.doc

    员工生日关怀方案

    模拟IC设计:解析国际知名大厂的SAR、Sigma-Delta和Pipeline ADC逆向工程

    内容概要:本文详细介绍了对国际知名大厂的三个逆向ADC电路(SAR ADC、Sigma-Delta ADC和Pipeline ADC)进行深入剖析。作者通过Cadence Virtuoso平台研究了这些电路的标准单元库设计,探讨了各个电路的关键技术和实现细节。对于24bit Sigma-Delta ADC,重点讨论了其调制器部分的时钟相位分配和噪声整形技术;对于16bit SAR ADC,则关注其比较器阵列的独特设计以及动态锁存比较器的应用;而对于14bit Pipeline ADC,着重分析了其级间放大器设计和电荷共享技术。此外,文中还提到了在将这些设计适配到自家工艺过程中遇到的问题及其解决方案,如电容寄生效应、时序约束调整、运放结构优化等。 适合人群:从事模拟集成电路设计的专业人士,尤其是对ADC设计感兴趣的工程师和技术研究人员。 使用场景及目标:帮助读者深入了解高精度ADC的工作原理和设计技巧,掌握逆向工程技术在实际项目中的应用,提高对不同工艺节点下ADC设计的理解和适应能力。 其他说明:文中提供了大量具体的代码片段和仿真命令,便于读者理解和实践。同时,作者分享了许多宝贵的经验教训,强调了在逆向工程中需要注意的技术细节和潜在风险。

    大型立体仓库智能物流系统的PLC控制与优化设计

    内容概要:本文详细介绍了大型立体仓库智能物流系统的构建与优化。该项目涉及一万多个库位、一百多台输送机和八台堆垛机,采用了西门子PLC作为控制核心,通过无线网桥与WCS和WMS系统对接。文章重点讲解了梯形图编程和功能块的应用,如输送机启停控制、堆垛机移动控制、路径规划、无线通讯处理以及异常处理机制。此外,还探讨了设备协同、逻辑优化、任务分配算法和速度曲线规划等方面的技术细节。 适合人群:从事工业自动化、智能仓储系统设计与开发的工程师和技术爱好者。 使用场景及目标:适用于智能仓储系统的设计、实施和维护,旨在提高系统的稳定性、效率和可维护性。 其他说明:文中提供了大量实际项目中的代码示例和调试经验,有助于读者理解和应用相关技术。

    新员工月工作总结表.xlsx

    新员工月工作总结表.xlsx

    西门子PLC汽车电子零件装配线SCL语言模块化编程与集成解决方案

    内容概要:本文详细介绍了基于西门子S7-1500 PLC的汽车电子零件装配线集成解决方案。主要内容涵盖伺服轴控制、阿特拉斯拧紧枪控制、康耐视视觉检测系统以及HMI界面的设计与实现。文中展示了如何利用SCL语言将多种工业设备(如HMI、伺服电机、六轴机器人等)的功能封装为标准化功能块,从而提高系统的模块化程度和可复用性。同时,还分享了一些实际项目中的调试经验和优化技巧,如通过调整加减速曲线避免机械振动、设置扭矩保持时间和视觉检测的防抖定时器等。 适合人群:从事自动化控制领域的工程师和技术人员,尤其是熟悉PLC编程和工业自动化设备集成的专业人士。 使用场景及目标:适用于汽车制造行业的生产线控制系统设计与实施。主要目标是帮助工程师快速掌握如何使用SCL语言构建高效稳定的PLC控制系统,提升生产效率和产品质量。 其他说明:文中不仅提供了详细的代码示例,还结合具体的应用场景进行了深入剖析,有助于读者更好地理解和应用相关技术。此外,强调了模块化编程的优势,如减少重复劳动、便于维护升级等。

    嵌入式系统中基于STM32/AT32/GD32的串口IAP Bootloader实现与远程升级方案

    内容概要:本文详细介绍了如何在STM32、AT32和GD32等Cortex-M系列MCU上实现串口IAP(In Application Programming)Bootloader,支持远程升级及RS485升级。主要内容涵盖Bootloader的工作原理、内存分配、通信协议设计、Flash写入操作以及跳转应用程序的关键步骤。文中提供了具体的代码示例,如Bootloader主循环、RS485收发控制、Flash写入、CRC校验等,并分享了多个实战经验和注意事项,确保数据传输的可靠性。 适合人群:从事嵌入式系统开发的技术人员,尤其是对STM32、AT32、GD32等国产MCU有一定了解并希望掌握串口IAP技术的研发人员。 使用场景及目标:适用于需要远程升级固件的嵌入式项目,帮助开发者避免现场升级带来的不便,提高设备维护效率。目标是让读者能够独立实现一个可靠的串口IAP Bootloader,掌握RS485通信和Flash编程的关键技术。 其他说明:文中提到的代码和配置已在GitHub上提供,方便读者下载和实践。同时,作者分享了许多实战经验和常见问题解决方案,有助于减少开发过程中可能出现的问题。

    线性代数_矩阵运算_方程组解释_MIT公开课笔记用途_1742822302.zip

    线性代数

    学生会干部竞选清心简约.pptx

    学生会干部竞选清心简约.pptx

Global site tag (gtag.js) - Google Analytics