- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我已经阅读了Crockford的JavaScript: The Good Parts并使用了他的验证器JSLint。有时我不知道他的建议背后的理由。以下是我想证实的示例列表。
"use strict";
,为什么JSLint会发出错误信号? [请参阅this SO thread。] var
进行变量声明? [请参阅this SO thread。] function
中的()
和function ()
之间放置一个空格? continue
? ++
和--
有什么问题? ,
(在for
语句的初始化和增量部分中除外)? [请参阅this blog post。] ;
结尾? [请参阅this blog post。] 最佳答案
JSLint的许多行为在JSLint instructions page上进行了解释。从现在开始,我将其称为JIP。
JIP未解释的许多行为由Crockford的Code Conventions for the JavaScript Programming Language解释。从现在开始,我将其称为CCJPL。
进入列表:
1)如果您不包括"use strict";
,为什么JSLint会发出错误信号?
因为严格模式强制执行许多良好实践; JSLint也是关于强制执行良好实践的,所以这自然就是它的行为。查看"use strict"
启用了哪些功能有助于弄清问题。我只是进入this blog post by Resig列表,因此在此应有功劳。我没有评论它所做的所有事情,因为我不确定Crockford对于每个功能的确切理由。
var
声明变量:这将阻止隐式全局变量的出现。全局变量are considered by Crockford是邪恶的,这有助于消除未明确设置的全局变量。 with
语句。这是considered by Crockford to be harmful。 delete
语句的行为被修改和覆盖
arguments
变量。我不知道Crockford是同意还是不同意这两件事,但是鉴于他帮助创建了ECMAScript 5标准,所以我倾向于同意。
var
进行变量声明?
var
声明而定义的变量都是隐式全局的,根据
JIP的说法,这可以“掩盖拼写错误的名称和其他问题”。因此,这就是需要
var
的原因。
var
,JavaScript引擎会自动将所有变量声明
are hoisted置于其作用域的顶部,所以我唯一的猜测是Crockford希望开发人员敏锐地意识到这一行为。除此之外,这可能是样式问题。在以下两个代码段之间,您更喜欢哪个?
var a, b, c;
var a; var b; var c;
var
很丑。我同意他的观点。
function
中的()
和function ()
之间放置一个空格?
If a function literal is anonymous, there should be one space between the word function and the ( (left parenthesis). If the space is omited, then it can appear that the function's name is function, which is an incorrect reading.
function
的代码,那么无论如何都可能非常需要进行重做。 (更不用说在JavaScript中,它是
SyntaxError
,因为
function
是关键字。)
continue
?
It tends to obscure the control flow of the function.
goto
进行比较的争论。想拿就拿吧。
++
和--
有什么问题?
The ++ (increment) and -- (decrement) operators have been known to contribute to bad code by encouraging excessive trickiness. They are second only to faulty architecture in enabling to viruses and other security menaces. Also, preincrement/postincrement confusion can produce off-by-one errors that are extremely difficult to diagnose.
,
(除了for
语句的初始化和增量部分之外)?
The comma operator can lead to excessively tricky expressions. It can also mask some programming errors.
;
结尾?
JavaScript uses a C-like syntax which requires the use of semicolons to delimit certain statements. JavaScript attempts to make those semicolons optional with a semicolon insertion mechanism. This is dangerous because it can mask errors.
Like C, JavaScript has ++ and -- and ( operators which can be prefixes or suffixes. The disambiguation is done by the semicolon.
return
a + b;
// Returns undefined. Treated as:
// return;
// a + b;
function shoeFactory() {
return // <--- semicolon inserted here
{
shoeSize: 48
};
}
var shoe = shoeFactory();
console.log(shoe); // undefined
a = b + c
(d + e).foo()
// Treated as:
// a = b + c(d + e).foo();
关于javascript - 证明克罗克福德的主张,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6950636/
(这不是关于定理证明,而是关于实践中的测试,例如 quickCheck) 让f一些通用函数 f :: RESTRICTIONS => GENERICS 具有一些“理想的”属性(即不是 hack,是不可
给定数组 arr 和索引数组 ind,以下算法就地重新排列 arr 以满足给定的索引: function swap(arr, i, k) { var temp = arr[i]; arr[i]
我有兴趣创建一个具有运行时间和空间限制的简单数组问题。看来我找到了解决问题的方法。请阅读以下java代码中问题的初始描述注释: /* * Problem: Given two integer ar
我是 isabelle 的新手,并试图证明以下简单的不等式: lemma ineq: "(a::real) > 0 ⟹ a 0 ⟹ b 0" proof have "1/a + 1/b >
是否有任何理论说缓存应该比文件系统更快? 我认为,由于文件系统也使用缓存,因此没有科学证据表明当文件系统的概念有些松散时,我们应该将内容从文件系统移动到诸如 memcache 之类的缓存中——比如下载
我正在做一个证明,我的一个子目标看起来有点像这样: Goal forall (a b : bool) (p: Prop) (H1: p -> a = b) (H2: p), neg
我有定义的归纳类型: Inductive InL (A:Type) (y:A) : list A -> Prop := | InHead : forall xs:list A, InL y (co
我知道 CRC 是一个线性函数,这意味着 CRC(x xor y) = CRC(x) xor CRC(y),但我不知道如何证明 CRC 的这个属性。 有谁有想法吗? 非常感谢! 最佳答案 这通常不是真
我是 Coq 的初学者。 虽然计算机为我验证了证明令人满意,但众所周知,满足 Coq 的证明对人类来说难以阅读。这是一个简单的例子,假设您没有看到任何评论: Theorem add_comm : fo
我试图了解是什么决定了类型参数是否必须是标称的。 虽然 GADT 和类型家族在某种意义上看起来不同,但它们不是“简单容器”,因为它们的实例定义可以“查看”它们的参数,但简单类型是否可以明显需要名义参数
我想使用 function 关键字定义来证明函数定义的正确性。以下是自然数的通常归纳定义上的加法函数的定义: theory FunctionDefinition imports Main begin
我定义了一个 Sygma-Type,如下所示: { R : nat -> nat -> bool | Reflexive R } 我有两个元素 r1 r2 : { R : nat -> nat ->
我有以下数据: new_pairs x y Freq start.latittude start.longitude start.station end.la
出于教育目的,我一直试图通过使用各种语言扩展和单例类型,在 Haskell 中重建《Type-Driven Development with Idris》(即 RemoveElem.idr )一书中的
我定义了一个 Sygma-Type,如下所示: { R : nat -> nat -> bool | Reflexive R } 我有两个元素 r1 r2 : { R : nat -> nat ->
我正在使用Ax DevTools,并且试图弄清楚如何使用相同的构建信息标记多个扫描。现在,我的测试运行如下: class MyTestCase : XCTestCase { func myTest
我正在尝试证明一个函数的正确性,该函数检查数组是否按递增/递减顺序排序或未排序。行为是返回 -1,如果按降序排序,1,如果按升序排序,大小为 1,或包含相同的值,0,如果没有已排序或为空。运行:Fra
我试图证明 Z3(Microsoft 的 SMT 求解器)中的一个归纳事实。我知道 Z3 通常不提供此功能,如 Z3 guide 中所述。 (第 8 节:数据类型),但是当我们限制要证明事实的域时,这
问题已编辑: 如代码中所述,HashSet 和 HashMap 是快速失败的(但这不是保证): void goHashSet() { Set set = new HashSet();
我试图使导航栏中的链接延伸到导航栏的全长。我环顾四周,发现了一些有用的信息,但无法使其正常工作 HTML: To
我是一名优秀的程序员,十分优秀!