Scheme中没有保留标识符。因此，下面的表达式的值为1:

((lambda (lambda) lambda) (let ((let 1)) let))

注意，给定作用域内的定义是有限制的:任何定义都不能重新定义用于在该作用域内定义标识符的标识符，因此下面是一个语法错误:

(begin (define define 1) define)

Python for循环中的else。

来自Python文档:

for n in range(2, 10):
    for x in range(2, n):
        if n % x == 0:
            print n, 'equals', x, '*', n/x
            break
    else:
        # loop fell through without finding a factor
        print n, 'is a prime number'

输出:

2 is a prime number
3 is a prime number
4 equals 2 * 2
5 is a prime number
6 equals 2 * 3
7 is a prime number
8 equals 2 * 4
9 equals 3 * 3

在我看来，这在c++中是不允许的:

class A {
public:
  virtual string foo(){return "A::foo";}
};

class B : public A {
public:
  virtual string foo(){return "B::foo";}
};

int main () {
  B* b = new B();
  // In my opinion the following should not be allowed
  cout << b->A::foo() << endl;  // Will print "A::foo"
}

这似乎是正确的，但这意味着如果不允许子类的用户调用原始方法而不是新方法，就不能重写方法。

只要考虑一个集合的子类，当向集合本身添加一个元素时，您希望增加元素的数量。

一个合乎逻辑的解决方案是重写add()方法，在添加元素之前增加计数器，但是新集合的用户可以使用旧方法向其添加元素，这样就绕过了增量，导致元素计数器与集合的实际元素数量不一致。

这在Java中是不可能的。

在PHP中，“true”，“false”和“null”是常量，通常不能被重写。但是，随着PHP >=5.3中名称空间的引入，现在可以在除全局名称空间之外的任何名称空间中重新定义这些常量。这可能导致以下行为:

namespace {
    define('test\true', 42);
    define('test\false', 42);
    define('test\null', 42);
}

namespace test {
    var_dump(true === false && false === null); // is (bool) true
}

当然，如果希望真值为真，总是可以从全局名称空间导入真值

namespace test {
    var_dump(\true === \false); // is (bool) false
}

在Forth中，任何不包含空格的东西都可以是标识符(包含空格的东西需要做一些工作)。解析器首先检查事物是否定义了，在这种情况下，它被称为单词，如果没有，则检查它是否为数字。没有关键字。

无论如何，这意味着人们可以重新定义一个数字来表示其他东西:

: 0 1 ;

它创建了单词0，由1组成，不管它在执行时是什么。反过来，它会导致以下结果:

0 0 + .
2 Ok

另一方面，定义可以接管解析器本身——这是可以做到的 通过评论词。这意味着Forth程序实际上可以在中途变成一个完全不同语言的程序。事实上，这是Forth推荐的编程方式:首先你写你想要解决问题的语言，然后你解决问题。

交替:在许多语言中的事物之间交替:

boolean b = true;
for(int i = 0; i < 10; i++)
  if(b = !b)
    print i;

乍一看，b怎么可能不等于它自己呢? 这实际上只会打印奇数