静态检查编译

❶ 对于C++语言来说,什么叫做类型检查

静态类型检查：编译器检查，int i = "k" 编译器直接报错
还有dynamic_cast<>()也是由编译器进行类型检查

❷ 类型系统类型检查

类型检查在编程中扮演关键角色，涉及到编译时期（静态检查）或运行时期（动态检查）进行的检验处理与类型约束。静态类型检查在编译器执行语义分析过程中进行，确保程序在编译阶段就遵循类型规则。如果语言强制执行类型规则，即允许以不丢失信息为前提的自动类型转换，称其为强类型；反之，若允许自由类型转换，则称为弱类型。静态类型语言在编译时期和运行时期之间有明确区分，程序的独立模块可以在编译阶段进行各自的类型检查，无需依赖运行时信息。动态类型语言则在运行时期进行类型检查，因变量在运行路径中可能获得不同的类型标记。静态类型语言通过辨识联合类型表示类型标记，而动态类型语言则经常在运行时期进行类型检查。

动态类型语言，如脚本语言和快速应用开发（RAD）语言，通常具有运行时期标记的检查。静态类型语言在编译时期完成类型检查，无需测试运行时期表达式的等价性。术语“推断类型”（鸭子类型，ck typing）描述了动态类型语言中应用的一种方式，它通过上下文推断变量的类型。某些静态语言允许编写不被静态类型检查的代码，如Java和C风格语言的转型功能。静态和动态类型语言之间的选择取决于权衡，静态类型语言在编译阶段发现错误，提高程序可靠性，而动态类型语言允许更快的编译和解析，减少开发周期。

静态类型语言通常能够编译出速度更快的代码，因为编译器在知道数据类型后可以产生优化的机器码。静态类型语言中的编译器更容易发现优化路径。动态类型语言允许更快的编译和解析，因源代码检查较少，减少编译周期。静态类型语言需要编写者明确声明方法或函数的类型，而动态类型语言允许类型推断，减少类型声明需求。静态类型语言提供构造库的额外保护，减少意外误用，而动态类型语言允许创建静态类型系统无法实现的功能，如eval函数和过渡代码。动态类型语言在元程序设计方面更为强大，支持更高级的运行时期构成物，如元类型和内观。

静态和动态类型语言各有优势和局限，选择哪一种取决于项目需求、团队偏好和开发效率的考量。对于动态类型语言，开发速度和灵活性是其主要优势；静态类型语言则在程序可靠性、优化和类型安全方面具有显着优势。在实际应用中，许多语言融合了静态和动态类型元素，以利用两者的优势并减少局限性。

❸ Groovy 2.0静态类型检查及编译功能介绍

Groovy开发团队近日发布了 的版本 Groovy是基于Java虚拟机（JVM） 属于一种动态 面向对象的编程语言 尽管是一门动态语言 但是新版本加入了静态类型检查器和可选的静态编译应用程序的某些部分的功能 Groovy 还包括了语法加强 更加模块化 能充分利用JDK 的动态调用（invoked dynamic）等特性

因为很多Java开发者使用Groovy作为一种扩展语言嵌套使用 Groovy因静态类型检查特性的加入使得开发者就能像使用Java一样在编译的时候看到错误消息 如果开发者在代码中使用@TypeChecked注解 Groovy编译器将在编译阶段执行静态类型检查 指出明显的错误如变量名称输入错误等 静态类型检查器同样可以验证返回值 开发者可以混合静态类型方法和该语言的动态特性以及可选的类型检查 这些都得益于Groovy的动态特性

Groovy 支持JDK 的动态调用特性 当使用JDK 版本时此特性增强了Groovy的动态调用的性能 因为JDK 可以广泛的部署 Groovy开发团队增加了新的@CompileStatic转换 使之包含了静态类型检查代码的特性 这个版本的Groovy还包括了来自于Project Coin项目的一些语法增强

为了让Groovy更加模块化 Groovy 分拆了最初的Groovy Jar 文件 由多个小模块组织起来 这使得核心Groovy JAR文件大小减少一半 因此而更加可移植 用户现在可以只选取必要的模块放到他们的程序中 这样开发的好处就是支持模块的扩展 Groovy的模块现在可以提供方法给其他类使用 包括JDK或者其他的库 这些扩展的方法是完全支持的 而且能被静态类型检查器和编译器所理解

开发团队最初计划发布这个版本叫 但是此版本大量的新特性让他们改变了想法 因此而命名为Groovy

从现在起 开发团队计划每年发布一个主要的版本 Groovy 将在明年发布

❹ 类型系统的类型检查

类型检查所进行的检验处理以及实行类型的约束，可发生在编译时期（静态检查）或运行时期（动态检查）。静态类型检查是在编译器所进行语义分析中进行的。如果一个语言强制实行类型规则（即通常只允许以不丢失信息为前提的自动类型转换）就称此处理为强类型，反之称为弱类型。 如果一个编程语言的类型检查，可在不测试运行时期表达式的等价性的情况下进行，该语言即为静态类型的。一个静态类型的编程语言，是在运行时期和编译时期之间的处理阶段下重视这些区别的。如果程序的独立模块，可进行各自的类型检查(独立编译)，而无须所有会在运行时出现的模块的那些信息，该语言即具有一个编译时期阶段。如果一个编程语言支持运行时期（动态）调度已标记的数据，该语言即为动态类型的。如果一个编程语言破坏了阶段的区别，因而类型检查需要测试运行时期的表达式的等价性，该语言即为依存类型的。
在动态类型中，经常在运行时期进行类型标记的检查，因为变量所约束的值，可经由运行路径获得不同的标记。在静态类型编程语言中，类型标记使用辨识联合类型表示。
动态类型经常出现于脚本语言和RAD语言中。动态类型在解译语言中极为普遍，编译语言则偏好无须运行时期标记的静态类型。对于类型和隐式类型语言较完整的列表参见类型和隐式类型语言。
术语推断类型（鸭子类型，ck typing）指的是动态类型在语言中的应用方式，它会“推断”一个数值的类型。
某些静态语言有一个“后门”，在这些编程语言中，能够编写一些不被静态类型所检查的代码。例如，Java 和 C-风格的语言有“转型”可用。在静态类型的编程语言中，不必然意味着缺乏动态类型机制。例如 Java 使用静态类型，但某些运算需要支持运行时期的类型测试，这就是动态类型的一种形式。更多静态和动态类型的讨论，请参阅编程语言。 对静态类型和动态类型两者之间的权衡也是必要的。
静态类型在编译时期时，就能可靠地发现类型错误。因此通常能增进最终程序的可靠性。然而，有多少的类型错误发生，以及有多少比例的错误能被静态类型所捕捉，仍有争论。静态类型的拥护者认为，当程序通过类型检查时，它才有更高的可靠性。虽然动态类型的拥护者指出，实际流通的软件证明，两者在可靠性上并没有多大差别。可以认为静态类型的价值，在于增进类型系统的强化。强类型语言（如 ML 和 Haskell）的拥护者提出，几乎所有的臭虫都可以看作是类型错误，如果编写者以足够恰当的方式，或者由编译器推断来声明一个类型。
静态类型通常可以编译出速度较快的代码。当编译器清楚知道所要使用的数据类型，就可以产生优化过后的机器码。更进一步，静态类型语言中的编译器，可以更轻易地发现较佳捷径。某些动态语言（如 Common Lisp）允许任意类型的声明，以便于优化。以上理由使静态类型更为普及。参阅优化。
相较之下，动态类型允许编译器和解译器更快速的运作。因为源代码在动态类型语言中，变更为减少进行检查，并减少解析代码。这也可减少编辑－编译－测试－除错的周期。
静态类型语言缺少类型推断（如 Java），而需要编写者声明所要使用的方法或函数的类型。编译器将不允许编写者忽略，这可为程序起附加性说明文件的作用。但静态类型语言也可以无须类型声明，所以与其说是静态类型的代价，倒不如说是类型声明的报酬。
静态类型允许构造函数库，它们的用户不太可能意外的误用。这可作为传达库开发者意图的额外机制。
动态类型允许建构一些静态类型系统所做不出来的东西。例如，eval 函数，它使得运行任意数据作为代码成为可能（不过其代码的类型仍是静态的）。此外，动态类型容纳过渡代码和原型设计，如允许使用字符串代替数据结构。静态类型语言最近的增强（如 Haskell 一般化代数数据类型）允许 eval 函数以类型安全的方式撰写。
动态类型使元程序设计更为强大，且更易于使用。例如 C++ 模板的写法，比起等价的 Ruby 或 Python 写法要来的麻烦。更高度的运行时期构成物，如元类型(metaclass)和内观(Introspection)，对静态类型语言而言通常更为困难。