什么是打字纪律？

Question

维基百科谈到了C#的输入纪律：

静态的，动态的，强的，安全的，命名的，部分推断的

什么是打字纪律？这些术语意味着什么，它们与语言的关系如何？

Answer 1

维基百科上的类型规则是指C#使用的类型系统(只要点击链接，它将引导您找到类型系统文章)。

至于他们的意思是：

静态-类型是在编译时确定的(编译器希望在它运行之前知道类型)

dynamic -在运行时确定类型(在C#中，这是通过C# 4.0中引入的dynamic关键字来实现的)

安全-该语言不允许您违反它所具有的类型规则。例如，如果没有强制转换定义，就不能将字符串放入复杂类型的列表中。

strong --与其解释不当，不如看一看Eric关于这里的文章

命名-类型的名称用于确定类型的等价性(这意味着两种具有相同字段但不同名称的类型被视为不同的类型)

部分推断的-编译器可以猜测编译时所引用的类型(这是c#中的var关键字，它允许您在代码中不指定类型，尽管它仍然是在编译时以静态和强的方式确定的)。