草庐IT

c# - 寻求澄清有关弱类型语言的明显矛盾

coder 2023-04-26 原文

我想我明白了strong typing ，但是每次我寻找弱类型的示例时，我最终都会找到简单地自动强制/转换类型的编程语言示例。

例如，在这篇名为 Typing: Strong vs. Weak, Static vs. Dynamic 的文章中说 Python 是强类型的，因为如果你尝试这样做会得到一个异常:

Python

1 + "1"
Traceback (most recent call last):
File "", line 1, in ? 
TypeError: unsupported operand type(s) for +: 'int' and 'str'

然而，这样的事情在 Java 和 C# 中是可能的，我们不认为它们是弱类型的。

Java

  int a = 10;
  String b = "b";
  String result = a + b;
  System.out.println(result);

C#

int a = 10;
string b = "b";
string c = a + b;
Console.WriteLine(c);

在这篇名为 Weakly Type Languages 的文章中作者说 Perl 是弱类型的，因为我可以将字符串连接到数字，反之亦然，而无需任何显式转换。

Perl

$a=10;
$b="a";
$c=$a.$b;
print $c; #10a

所以同样的例子使得 Perl 是弱类型的，而不是 Java 和 C#？。

哎呀，这令人困惑

作者似乎暗示，一种阻止对不同类型的值应用某些操作的语言是强类型的，相反则意味着弱类型。

因此，在某些时候，我觉得如果一种语言提供大量自动转换或类型之间的强制转换(如 perl)最终可能会被认为是弱类型，而其他只提供少量转换的语言可能最终被认为是强类型的。

不过，我倾向于认为我的这种解释一定是错误的，我只是不知道为什么或如何解释它。

所以，我的问题是:

  • 真正弱类型的语言到底意味着什么？
  • 您能否提及任何与语言自动转换/自动强制无关的弱类型的好例子？
  • 一种语言可以同时进行弱类型和强类型吗？

最佳答案

更新:This question was the subject of my blog on the 15th of October, 2012.谢谢你的好问题!

What does it really mean for a language to be "weakly typed"?

它的意思是“这种语言使用了一种我觉得讨厌的类型系统”。相比之下，“强类型”语言是一种具有我觉得令人愉快的类型系统的语言。

这些术语基本上没有意义，您应该避免使用它们。 Wikipedia列出了“强类型”的十一种不同的含义，其中有几个是相互矛盾的。这表明在任何涉及“强类型”或“弱类型”的对话中，产生混淆的可能性都很高。

您真正可以肯定地说的是，正在讨论的“强类型”语言在类型系统中存在一些额外的限制，无论是在运行时还是编译时，这是正在讨论的“弱类型”语言所缺乏的。如果没有进一步的上下文，则无法确定该限制可能是什么。

不要使用“强类型”和“弱类型”，您应该详细描述您的意思是哪种类型安全。例如，C# 是一种静态类型 语言、一种类型安全 语言和一种内存安全 语言，在大多数情况下时间>。 C# 允许违反所有这三种形式的“强”类型。强制转换运算符违反了静态类型；它对编译器说“我比你更了解这个表达式的运行时类型”。如果开发者错了，那么运行时会抛出异常以保护类型安全。如果开发人员希望破坏类型安全或内存安全，他们可以通过设置“不安全” block 来关闭类型安全系统来实现。在不安全的 block 中，您可以使用指针魔术将 int 视为 float (违反类型安全)或写入您不拥有的内存。 (违反内存安全。)

C# 施加了在编译时和运行时都检查的类型限制，因此与编译时检查或运行时检查较少的语言相比，它是一种“强类型”语言。 C# 还允许您在特殊情况下围绕这些限制进行最终运行，与不允许您进行此类最终运行的语言相比，它是一种“弱类型”语言。

究竟是什么？这是不可能的；这取决于说话者的观点以及他们对各种语言特征的态度。

关于c# - 寻求澄清有关弱类型语言的明显矛盾，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9929585/

c#澄清strong的javapythonperlweakly-typed

有关c# - 寻求澄清有关弱类型语言的明显矛盾的更多相关文章

  1. ruby - 如何将脚本文件的末尾读取为数据文件(Perl 或任何其他语言) - 2

    我正在寻找执行以下操作的正确语法(在Perl、Shell或Ruby中):#variabletoaccessthedatalinesappendedasafileEND_OF_SCRIPT_MARKERrawdatastartshereanditcontinues. 最佳答案 Perl用__DATA__做这个:#!/usr/bin/perlusestrict;usewarnings;while(){print;}__DATA__Texttoprintgoeshere 关于ruby-如何将脚

  2. ruby - Infinity 和 NaN 的类型是什么？ - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  3. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)

  4. ruby - Ruby 有 `Pair` 数据类型吗？ - 2

    有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳

  5. ruby - 寻找通过阅读代码确定编程语言的ruby gem？ - 2

    几个月前，我读了一篇关于ruby​​gem的博客文章，它可以通过阅读代码本身来确定编程语言。对于我的生活，我不记得博客或gem的名称。谷歌搜索“ruby编程语言猜测”及其变体也无济于事。有人碰巧知道相关gem的名称吗？ 最佳答案 是这个吗:http://github.com/chrislo/sourceclassifier/tree/master 关于ruby-寻找通过阅读代码确定编程语言的rubygem？，我们在StackOverflow上找到一个类似的问题：

  6. ruby - 查找字符串中的内容类型(数字、日期、时间、字符串等) - 2

    我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s

  7. c# - 如何在 ruby​​ 中调用 C# dll？ - 2

    如何在ruby​​中调用C#dll？ 最佳答案 我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器，如果它还没有，则使用Ruby的WIN32OLE库来调用它；看看RubyCLR,其中一位作者是JohnLam，他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了，可能不支持.Net2.0以上的版本)；正如其他地方已经提到的，看看使用IronRuby，如果这是您的技术选择。有一个主题是here.请注意，最后一篇文章实际上来自JohnLam(看起来像是2009年3月)，他似乎很自在地断言RubyCL

  8. ruby-on-rails - 在 Rails 开发环境中为 .ogv 文件设置 Mime 类型 - 2

    我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器，但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型，并且只返回text/plain，如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain

  9. C# 到 Ruby sha1 base64 编码 - 2

    我正在尝试在Ruby中复制Convert.ToBase64String()行为。这是我的C#代码:varsha1=newSHA1CryptoServiceProvider();varpasswordBytes=Encoding.UTF8.GetBytes("password");varpasswordHash=sha1.ComputeHash(passwordBytes);returnConvert.ToBase64String(passwordHash);//returns"W6ph5Mm5Pz8GgiULbPgzG37mj9g="当我在Ruby中尝试同样的事情时，我得到了相同sha

  10. Unity 热更新技术 | （三） Lua语言基本介绍及下载安装 - 2

    ?博客主页：https://xiaoy.blog.csdn.net?本文由呆呆敲代码的小Y原创，首发于CSDN??学习专栏推荐：Unity系统学习专栏?游戏制作专栏推荐：游戏制作?Unity实战100例专栏推荐：Unity实战100例教程?欢迎点赞?收藏⭐留言?如有错误敬请指正！?未来很长，值得我们全力奔赴更美好的生活✨------------------❤️分割线❤️-------------------------

随机推荐