什么时候应该劝阻弱类型？

Question

什么时候应该劝阻弱类型？ 弱类型是否会在大型项目中受到阻碍？ 如果左侧是强类型的，如下所示，这会是规则的例外吗？

   int i = 5
   string sz = i
   sz = sz + "1"
   i  = sz

是否有任何语言支持与上述类似的语法？ 告诉我更多关于弱类型和相关情况的利弊。

Answer 1

我认为您将“弱类型”与“动态类型”混淆了。

术语“弱类型”意味着“非强类型”，这意味着内存位置的值允许与其类型指示的值不同。

C 是弱类型语言的一个例子。 它允许编写这样的代码：

typedef struct
{
    int x;
    int y;

} FooBar;

FooBar foo;
char * pStr = &foo;
pStr[0] = 'H';
pStr[1] = 'i';
pStr[2] = '\0';

也就是说，它允许将 FooBar 实例视为字符数组。

在强类型语言中，这是不允许的。 要么会生成编译器错误，要么会引发运行时异常，但 FooBar 内存地址在任何时候都不会包含不是有效 FooBar 的数据。

C#、Java、Lisp、Java Script 和 Ruby 是不允许此类行为的语言示例。 它们是强类型的。

其中一些语言是“静态类型”，这意味着变量类型在编译时分配，而一些语言是“动态类型”，这意味着变量类型直到运行时才知道。 “静态与动态”和“弱与强”是正交问题。 例如，Lisp 是一种“强动态类型”语言，而“C”是一种“弱静态类型语言”。

此外，正如其他人指出的那样，“推断类型”和程序员指定的类型之间存在区别。 C# 中的“var”关键字是类型推断的一个示例。 但是，它仍然是静态类型构造，因为编译器在编译时而不是在运行时推断变量的类型。

所以，你的问题真正要问的是：

相对优点是什么？
静态类型的缺点，动态类型
打字、弱打字、强打字、
推断的静态类型和用户
指定静态类型。

我提供了以下所有这些问题的答案：

静态类型

静态类型有 3 个主要好处：

1. 更好的工具支持
2. 减少某些类型错误的可能性
3. 性能

用户体验和准确性由于静态类型提供了额外的信息，静态类型语言中的智能和重构等功能得到了极大的改进。 如果您输入“a”。 在代码编辑器中，并且“a”具有静态类型，那么编译器知道“.”之后可能合法出现的所有内容。 从而可以向您显示准确的完成列表。 可以用动态类型语言支持某些场景，但它们的限制要大得多。

此外，在没有编译器错误的程序中，重构工具可以识别使用特定方法、变量或类型的每个位置。 在动态类型语言中不可能做到这一点。

第二个好处有些争议。 静态类型语言的支持者喜欢这样说。 然而，静态类型语言的反对者认为，他们捕获的错误是微不足道的，并且无论如何他们都会通过测试捕获。 但是，您确实会预先收到有关拼写错误的变量或方法名称之类的通知，这可能会有所帮助。

静态类型语言还可以实现更好的“数据流分析”，与 Microsoft 的 SAL（或类似工具）等工具结合使用可以帮助发现潜在的安全问题。

最后，通过静态类型，编译器可以进行更多优化，因此可以生成更快的代码。

缺点：

静态类型的主要缺点是它限制了您可以执行的操作。 您可以使用动态类型语言编写无法使用静态类型语言编写的程序。 Ruby on Rails 就是一个很好的例子。

动态类型

动态类型的一大优点是它比静态类型强大得多。 你可以用它做很多很酷的事情。

另一个原因是它需要更少的打字。 您不必到处指定类型。

缺点：

动态类型有 2 个主要缺点：

1. 您无法从编译器或 IDE 获得尽可能多的“控制权”。
2. 它不适合关键性能场景。 例如，没有人用 Ruby 编写操作系统内核。

强类型：

强类型的最大好处是安全性。 强制执行强类型通常需要某种类型的运行时支持。 如果程序可以证明类型安全，那么许多安全问题（例如缓冲区溢出）就会消失。

弱类型：

强类型的最大缺点和弱类型的最大优点是性能。

当您可以以任何您喜欢的方式访问内存时，您就可以编写更快的代码。 例如，数据库只需写出原始字节即可将对象交换到磁盘，而不需要求助于“ISerialized”接口之类的东西。 视频游戏可以通过在大缓冲区上运行单个释放来丢弃与一个级别相关的所有数据，而不是为许多小对象运行析构函数。

能够做这些事情需要弱类型。

类型推断

类型推断可以发挥静态类型的许多优点，而无需进行太多类型的输入。

用户指定类型

有些人就是不喜欢类型推断，因为他们喜欢明确。 这更多的是一种风格。

Answer 2

弱类型是语言简化的一种尝试。 虽然这是一个值得实现的目标，但弱类型却是一个糟糕的解决方案。

COM Variants 中使用的弱类型是解决此问题的早期尝试，但它充满了危险，而且坦率地说，它会带来比其价值更多的麻烦。 即使是能够忍受各种垃圾的 Visual Basic 程序员也正确地认为这是一个坏主意，并将 Microsoft 的 ETC（扩展类型转换）反称为“邪恶类型转换”。

不要将推断类型与弱类型混淆。 推断类型是在编译时从上下文推断出的强类型。 一个很好的例子是 var 关键字，它在 C# 中用于声明适合接收 LINQ 表达式值的变量。

相比之下，每次计算表达式时都会推断出弱类型。 问题的示例代码对此进行了说明。 另一个例子是在 C 中使用非类型化指针。非常方便，但会带来麻烦。

推断类型解决了与弱类型相同的问题，但没有引入与弱类型相关的问题。 因此，只要宿主语言可用，它就是首选替代方案。

Answer 3

他们几乎总是应该感到沮丧。 我能想到的唯一需要的代码类型是需要一些指针巫术的低级代码。

为了回答你的问题，C 支持这样的代码（当然除了没有字符串类型），这听起来像 PHP 或 Perl 会有的东西（但我可能完全错了）。

Answer 4

”

什么时候应该阻止弱类型？ 弱者是否不鼓励
大项目？ 如果左侧是强类型的，如下所示
这会是规则的例外吗？

int i = 5 字符串 sz = i sz = sz + "1" i = sz

是否有任何语言支持与上述类似的语法？ 告诉我更多
关于弱类型和相关情况的利弊。

也许

您可以编写自己的库来做到这一点。

在 C++ 中，您可以使用称为“运算符重载”的东西，这意味着您可以声明一种类型的变量以将其初始化为另一种类型的变量。这就是为什么语句：

[std::string str = "Hello World";][1]

具体来说，您将定义一个函数（其中变量的类型是 T，B 是您想要将其设置为的类型）

，即使引号之间的任何文本都被解释为字符数组，

T& T::operator= ( const B s );

请注意，这是一个 字符数组。类的成员函数
另请注意，如果您想自由地使用它，您可能需要某种函数来反转此操作 - 像

B& T::operator= ( const T s);

C++ 这样的函数足够强大，可以让您创建一个通常为弱类型的对象，但如果您想纯粹地对待它弱类型，您将只想创建一个可用作任何原语的变量类型，并且仅使用带有指向 void 的指针的函数。
相信我，当强类型编程可用时，使用它会容易得多。

我个人更喜欢强类型，因为我不需要担心当我不知道变量的用途时出现的错误。 例如，如果我想编写一个函数来与一个人交谈 - 该函数使用了这个人的身高、体重、姓名、孩子的数量等 - 但你给了我一个颜色，我会得到一个错误，因为你可以使用非常简单的算法并不能真正确定颜色的大部分内容。

就弱类型的优点而言，如果您正在编写要在程序（即 Web 浏览器或 UNIX shell）中运行的内容，那么您可能希望习惯松散类型编程。 JavaScript 和 Shell 脚本是弱类型的。

我建议像汇编语言这样的编程语言是唯一的硬件级弱类型语言之一，但是我见过的汇编语言的风格根据分配的大小为每个变量附加一个类型，即word、dword、qword 。

我希望我给了你一个很好的解释，没有在你嘴里说任何话。

Answer 5

弱类型本质上不如强类型健壮，因为你没有告诉机器到底要做什么——相反，机器必须弄清楚你的意思。 这通常工作得相当充分，但通常并不清楚结果应该是什么。 例如，字符串乘以浮点值是什么？

Answer 6

是否有任何语言支持与上述类似的语法？

Perl 允许您互换地处理一些数字和字符串。 例如，“5”+“1”将为您提供 6。一般来说，这类事情的问题是很难避免歧义：“5”+1 应该是“51”还是“6”？ Perl 通过使用单独的字符串连接运算符并保​​留 + 来进行数字加法来解决这个问题。

其他语言必须弄清楚您是要进行串联还是相加，以及（如果相关）结果将是什么类型或表示形式。

Answer 7

我进行了 ASP/VBScript 编码，并在没有允许弱类型的“选项严格”的情况下使用遗留代码。

很多时候这都是地狱，尤其是在经验不足的程序员手中。 我们遇到的所有愚蠢错误都需要很长时间才能诊断。

其中一个愚蠢的例子是这样的：

'Config 
    Dim pass
    pass = "asdasd"


If NOT pass = Request("p") Then
Response.Write "login failed"
REsponse.End()
End If

到目前为止一切都很好，但是如果用户将 pass 更改为整数密码，猜猜它将不再起作用，因为 int pass != string pass (来自 querystring)。 我认为它应该可以工作，但它没有我不记得确切的代码。

我讨厌弱类型，而不是愚蠢的调试会话，我可以花额外的时间来输入变量的确切类型。

简而言之，根据我的经验，尤其是在大型项目中，尤其是对于没有经验的开发人员来说，这只是麻烦。