电梯和类型安全

Question

我正在学习电梯。当我读到有关模板，我明白，他们有很多的事情不是在编译时typechecked：

• 模板可能包含
• SiteMaps的可能是指
不存在的页面不存在的片段引用
• 片段调度方法采取字符串参数，我们可以很容易地发现错字

是否有替代品，使这个问题不太严重，即外部代码检查或选择在图书馆，这将允许做相同的，但在类型安全的方式？或者可能存在另一个更严格的网络框架（可能是其他语言）。

Answer 1

类型检查是强类型语言（如Scala或Java）的编译时功能，允许验证签名和类型之间的关系。当期望一个类型为Meat的参数或者将一个String赋值给一个Int类型的变量时，这些检查将阻止您传递一个类型为Banana的参数。通常，在动态语言（如Ruby或Javascript）中，这是不可能的

你在找什么不是一个类型检查器。你不想验证你的程序在语法上是正确的，而是说它的行为是正确的，并且解决方案称为自动化测试。

你完全可以写代码在语法上是正确的，但行为错误：

public boolean isTrue(boolean value){ 
     return !value; 
} 

如果你认为它周围的其他方式，你会如何测试一个编译时模板的正确性，其需要填写一些数据？

<!-- importing a snippet depending on the value of a variable --> 
<import src="${snippetName}.xml"/> 

你不能，因为编译时你所有的变量都没有任何价值。这就是为什么自动化测试非常重要，编写测试用例为您的应用程序不能被编译时检查替代。