我发现一些人将JavaScript称为“动态、弱类型”的语言，但有些人甚至说是“无类型”？它到底是哪种类型？
9个回答
142
JavaScript是无类型的：
(来源：no.gd)
甚至 Brendan Eich 也这么说。在 Twitter 上，他回复了一个链接到这个问题的帖子：
所以问题在于有几种不同的 无类型 定义。
其中一种定义已经在上面的答案中被讨论过 - 运行时不标记值，只将每个值视为位。JavaScript 会标记值，并根据这些标记具有不同的行为。因此，JavaScript 显然不属于该类别。
另一种定义来自于 编程语言理论（Brendan 所指的学术领域）。在这个领域，无类型 只是意味着 一切都属于单一类型。
为什么呢？因为只有当语言可以证明类型对齐（即Curry-Howard 对应；类型是定理，程序是证明）时，语言才会生成程序。这意味着在一个无类型的语言中：
- 程序总是会被生成
- 因此类型总是匹配
- 因此必须只有一个类型
- 可能不会生成程序
- 因为类型可能无法匹配
- 因为程序可以包含多种类型
- Brian McKenna
11
92
strong/weak和can可以理解为编译器（如果适用）如何处理类型的关系。
Weakly typed means the compiler, if applicable, doesn't enforce correct typing. Without implicit compiler interjection, the instruction will error during run-time.
"12345" * 1 === 12345 // string * number => numberStrongly typed means there is a compiler, and it wants you an explicit cast from string to integer.
(int) "12345" * 1 === 12345In either case, some compiler's features can implicitly alter the instruction during compile-time to do conversions for you, if it can determine that is the right thing to do.
Thus far, JavaScript can be categorized as Not-Strongly-Typed. That either means it's weakly-typed or un-typed.
Dynamically typed means the value's type is enforced, but the variable simply represents any value of any type.
x = 12345; // number x = "string"; // string x = { key: "value" }; // object y = 123 + x; // error or implicit conversion must take place.Statically typed means the variable type is strongly enforced, and the value type is less-so enforced.
int x = 12345; // binds x to the type int x = "string"; // too late, x is an integer - error string y = 123; // error or implicit conversion must take place.Thus far, JavaScript can be categorized as Not-Statically-Typed. Also, it appears to be Dynamically Typed, if typed at all. So we need to see what Typing means.
Typed 意味着该语言区分不同的类型，例如 字符串、数字、布尔值、对象、数组、null、undefined 等等。此外，每个操作都与特定的类型绑定。因此，您不能将一个 整数 除以一个 字符串。
2 / "blah" // produces NaN
2 / "blah" // will be treated as 2 / 1500275048
由于JavaScript的行为是按照类型定义的，因此它必须是动态类型和弱类型。如果有人声称JavaScript是无类型的，那只是学术理论，而不是实际应用。
- Gumbo
6
1但我认为最后一句话存在矛盾。在JavaScript中，整数字符串除法的结果对于任何整数或字符串的值都是明确定义的。只是它不太有用！ - Deniz Dogan
如果您有更好的定义/描述，请随意进行编辑。这就是为什么我将其设置为社区Wiki的原因。 - Gumbo
@skurpur：你完全颠倒了动态类型和弱类型的含义 - 已经更正。 - Rene Saarsoo
哦，抱歉，你在我编辑的同时也进行了编辑，我覆盖了你的更改。 - Rene Saarsoo
变量的类型与值的强制转换无关，而与变量类型的声明有关。Javascript根本没有这样的结构，这就是为什么很少有Javascript程序员理解这个概念，也是为什么他们中的许多人将变量类型定义错误地看作是与比较或强制转换变量类型有关的东西。在JS中，你根本不能声明
String a = "blah";或者var a:String = 'blah';(即有类型的变量)。这就是为什么它是无类型的。 - Jimbo Jonny50
- Andrew Hare
11
5这个回答比得票最高的回答好得多，而且更准确。 - Alex W
3@JimboJonny说的不正确。除非在Assembly开发人员的存在下，否则声明每种语言都是静态类型语言并不完全正确。动态类型语言指的是仅对比特操作进行直接操作，而考虑一下Javascript具有toString()和parseInt()方法，这就比这更加具有类型特征了。 - Suamere
2@Suamere - 来自W3C代表Charlie Kindel的说法：“VB、VBScript和JavaScript是无类型的” - Jimbo Jonny
3如果你相信某些人所声称的学术界人士故意使用“untyped”一词来表示“动态类型”，那么根据所有证据，JavaScript是无类型的。但如果你知道“untyped”被错误地用来表示真正的“动态类型”语言，那么就简单地称这些语言为“动态类型”。http://tinyurl.com/czhcv54 - Suamere
显示剩余6条评论
9
这里困惑了很多程序员的问题是，像这样的定义在某个地方没有标准化。术语“非类型编程语言”是模糊的。那是指一个没有数据类型的语言还是一个λ演算的无类型变体语言？
JavaScript / ECMAScript 有一种类型系统，所有函数的域都将接受任何参考规范类型。这意味着 JavaScript 实际上只有一种数据类型。这是实现更重要的问题，对于极其高级的 JavaScript 程序员来说更为重要。普通的 JavaScript 程序员只关心由 ECMAScript 指定的抽象语言数据类型。
在日常程序员的情况下，不是研究人员或理论计算机科学家，术语“非类型”是一个用词不当，因为大多数人并不使用λ演算。因此，这个术语使大众感到困惑，并似乎宣称 JavaScript 没有任何数据类型，这显然是不正确的。任何使用 typeof 的人都知道 JavaScript 有自己的语言数据类型：
JavaScript / ECMAScript 有一种类型系统，所有函数的域都将接受任何参考规范类型。这意味着 JavaScript 实际上只有一种数据类型。这是实现更重要的问题，对于极其高级的 JavaScript 程序员来说更为重要。普通的 JavaScript 程序员只关心由 ECMAScript 指定的抽象语言数据类型。
在日常程序员的情况下，不是研究人员或理论计算机科学家，术语“非类型”是一个用词不当，因为大多数人并不使用λ演算。因此，这个术语使大众感到困惑，并似乎宣称 JavaScript 没有任何数据类型，这显然是不正确的。任何使用 typeof 的人都知道 JavaScript 有自己的语言数据类型：
var test = "this is text";
typeof(test);
yield（产出）
"字符串"
ECMAScript 定义了以下八种语言类型：Undefined、Null、Boolean、String、Symbol、Number、BigInt 和 Object。
更准确地说，JavaScript 的设计应该被称为隐式类型、动态类型或者弱类型/松散类型（或它们的某些组合），因为在某些情况下 JavaScript 使用类型转换来使类型变得隐式，因此你不必显式地指定变量的类型。它属于弱类型，因为与一些区分浮点数和整数等的语言不同，它只使用一个number类型来涵盖所有数字，并利用前面提到的类型转换【ECMAScript 规范第9节】，这与强类型语言形成了鲜明的对比，后者将具有非常特定的数据类型（例如，你需要指定int或float）。
TypeError异常的原因。此处有示例
我认为得票最高的答案混淆了JavaScript函数的多态与接受任何东西的函数（与Lambda Calculus的未类型化变体一样）, 这是一个关联谬误。- Alex W
4
这不是一个错误的名称，但上下文很重要，请参见https://dev59.com/XWox5IYBdhLWcg3whUkV#9166519。 - Andreas Rossberg
1@AndreasRossberg，这绝对是一个错误的名称。在您“毫不掩饰地自我推销的链接”中所提到的是类型系统。该术语之所以是错误的名称是因为它是模糊的。当程序员听到“未类型化语言”时，他们大多数人会想到“数据类型”，而不是“类型系统”。我认为Konrad Rudoph的评论真正阐明了这一点。 - Alex W
不确定为什么你认为引用我之前的回答而不是在这里重复它是“无耻”的。此外，我明确表示上下文很重要。与K. Rudolph的抱怨相反，在文献中有完全一致且广泛接受的“类型系统”定义，并且我引用了其中一个。当然，你可以在你的上下文中发现它们令人困惑，但这并不意味着它们是“错误的名称”。 - Andreas Rossberg
1@AndreasRossberg 这里上下文非常重要。得票最高的回答说“untyped = 没有类型声明”，这显然是错误的。我想说的是，在这种情况下，这是一个误用。没有人在这里提到 λ演算，这样做有点自命不凡。 - Alex W
9
根据作者的观点，JavaScript 也被归类为 动态类型。维基百科指出，动态类型语言是在运行时进行类型检查而不是在编译器中进行的，而弱类型则是指能够在代码中随意更改类型的能力。因此，它既是动态类型又是弱类型。
- Darren Newton
1
请记住，JavaScript 允许您询问 typeof(your_variable) 是什么，并比较类型：5==="5" 返回 false。因此，我认为你不能称它为无类型。
它是动态和（估计为）弱类型的。您可能想知道它使用鸭子类型（请参见安德鲁的链接），并通过 原型 而不是类和继承来提供 OOP。
- instanceof me
1
变量的类型与值的强制转换无关，而与变量类型的声明有关。Javascript根本没有这样的结构，这就是为什么很少有Javascript程序员理解这个概念，也是为什么他们中的许多人将变量类型定义错误地看作是与比较或强制转换变量类型有关的东西。在JS中，你根本不能声明
String a = "blah";或者var a:String = 'blah';(即有类型的变量)。这就是为什么它是无类型的。 - Jimbo Jonny0
虽然它是有类型的（你可以问“typeof someVar”并了解其具体类型），但它非常弱。
假设：
var a = "5";
你可能会说a是一个字符串。然而，如果你接着写：
var b = a + 10;
b是一个等于15的整数，所以a的行为就像一个整数一样。当然，你也可以这样写：
var c = a + "Hello World";
而c将等于"5Hello World"，所以a再次像字符串一样运作。
- James Curran
4
- 转换值 != 类型化变量
- 它不是弱的，它不存在。你不能在JavaScript中为变量指定类型。
好奇为什么这个答案收到了两个踩。我在弱类型定义中找到的确切说法是：一个值的类型是根据它的使用方式来确定的。 - aioobe
1这是否准确？我得到了
b 等于 510：https://ideone.com/BRcSW7 - aioobeb等于510，因为类型强制转换影响了数字10。如果你把一个数字和一个字符串相加，结果就是一个字符串。这仍然说明了JS为什么是一种弱类型语言，但是...最终结果仍然是“5Hello World”，因为a在内存中仍然是'5'。他的答案只对了一半lol。 - Robert O'Toole
0
我认为 JavaScript 是强类型和动态类型的。
但这取决于一堆术语，这些术语似乎最好是松散定义的，因此如果您接受以下定义，上面的说法才是正确的...
强/弱
- "强"类型防止针对其他类型的数据执行操作。例如，在不是数组对象的情况下尝试写入数组的第 N 个元素。内存安全需要强类型。
- "弱"与"强"相反。
静态/动态
- "静态"类型在程序执行之前（在编译/转换时）检查类型。这需要将类型信息编码到语言的语法中。
- "动态"与"静态"相反。
JavaScript不会让您破坏内存(因此"strong")，但会在运行时执行所有检查和类型转换/强制转换(因此"dynamic")。
我发现将“强类型 vs 弱类型”与“静态类型 vs 动态类型”视为正交的概念是有帮助的。有些语言是强类型和静态类型（例如没有unsafe上下文的C#），有些是强类型和动态类型（大多数“脚本”语言似乎属于这一类），还有一些是弱类型和静态类型（C/C++）。
不确定什么是弱类型和动态类型...也许是汇编语言吧 :)
- Branko Dimitrijevic
1
在我看来，“内存安全”是一个更好的说法，可以用于这个答案中，而不是使用“强”这个词。 - Peter O.
-1
另一个有趣的松散类型 JS 的例子：
console.log(typeof(typeof(5)))
结果是字符串。为什么？因为初始 typeof 的结果是 'integer'，它本身就是一个字符串。我会认为在强类型语言中这种类型的转换不会存在。也许我错了，但那是我开始理解 JS 有多疯狂的第一个例子，哈哈。
- Robert O'Toole
网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接
1. 2. 3.并不适用于 JavaScript。JavaScript 不只有一种类型，大约有四到五种类型。那么这如何证明 JavaScript 是弱类型语言呢？ - Don Cheadle