当今所有语言:

TypeA a = (TypeA)some_operation_returning_TypeB(1,2,3); // TypeB is not inheriting TypeA

在运行时失败，并带有"Cast to TypeA failed exception"-消息(或类似消息)。这告诉我们程序员到底有多懒。他们没有办法产生消息“未能将TypeA的变量‘a’与TypeB的值‘some_operation_returning_TypeB(1,2,3)’赋值”。他. .他们的座右铭是“犯错误的人必须受苦”。

闲聊：

在类Test中有一个类方法，返回一个常量字符串:

method1
    ^ 'niko'

无论发生什么，这个方法都会不断返回字符串'niko'。但事实并非如此。

s := Test method1 

(设置为“niko”。)

s at: 4 put: $i.

(设置为“niki”。)

s := Test method1

(再次设置为“niki”。)

因此，第二行代码永久地将method1更改为返回'niki'而不是'niko'，即使方法的源代码没有更新。

在Python中:

>>> x = 4
>>> y = 1000000
>>> x is 4
True
>>> y is 1000000
False
>>>

如果你不相信，就试试吧!

Perl的$[(已弃用)，这在之前关于通用Perl变量的另一篇文章中提到过，但它值得特别提到，并有更好的解释。对$[的更改仅限于当前范围。更多的信息以及如何使用它的含义;)可以在$[中找到，请访问http://www.perlmonks.org/index.pl/?node_id=480333

很久以前，我曾经用BUT子句构建过一种语言。

Algol通过名称传递(使用C语法说明):

int a[3] = { 1, 2, 3 };
int i = 1;

void f(int j)
{
    int k;
    k = j;  // k = 2
    i = 0;
    k = j;  // k = 1 (!?!)    
}

int main()
{
    f(a[i]);
}