什么是打字纪律?

时间:2017-09-13 21:38:12

标签: c# terminology

维基百科谈论C#打字纪律:

  

静态,动态,强大,安全,主格,部分推断

什么是打字纪律?这些术语的含义以及它们与语言的关系如何?

1 个答案:

答案 0 :(得分:7)

维基百科上的输入规则指的是C#使用的类型系统(只需点击链接,它就会引导您访问Type System文章。)

至于他们的意思:

static - 类型是在编译时确定的(编译器想要在运行之前知道类型)

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

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

强大 - 请参阅Eric Lippert关于该主题here

的文章,而不是解释不清楚。

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

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

相关问题