我认为这实际上不是一个“语言特性”(C)，我很可能在发布它时很无知，但我不知道为什么会发生这种情况，所以我会问。如果它被证明与一些奇怪的语言特征有关…这真的让我很不爽，所以这个地方是值得的。

int a = 0;
int *p = &a;

printf("%d, %d, %d.\n", *p, (*p)++, *p); // Outputs "1, 0, 0.\n" on MinGW's GCC 4.4.1

Why?

——编辑

刚拿到的，没什么大不了的。我能感觉到c++大师们现在在嘲笑我。我猜函数参数计算的顺序是未指定的，所以编译器可以自由地调用它们(我想我已经在boost的文档中读到过)。在本例中，实参语句是向后求值的，这可能反映了函数的调用约定。

Haskell's use of Maybe and Just. Maybe a is a type constructor that returns a type of Just a, but Maybe Int won't accept just an Int, it requires it to be a Just Int or Nothing. So in essence in haskell parlance Just Int is about as much of an Int as an apple is an orange. The only connection is that Just 5 returns a type of Maybe Interger, which can be constructed with the function Just and an Integer argument. This makes sense but is about as hard to explain as it can theoretically be, which is the purpose of haskell right? So is Just really JustKindaLikeButNotAtAll yea sorta, and is Maybe really a KindaLooksLikeOrIsNothing, yea sorta again.

-- Create a function that returns a Maybe Int, and return a 5, which know is definitly Int'able
>  let x :: Maybe Int; x = 5;
<interactive>:1:24:
    No instance for (Num (Maybe Int))
      arising from the literal `5' at <interactive>:1:24
    Possible fix: add an instance declaration for (Num (Maybe Int))
    In the expression: 5
    In the definition of `x': x = 5

>  Just 5  
Just 5
it :: Maybe Integer

    -- Create a function x which takes an Int
>  let x :: Int -> Int; x _ = 0;
x :: Int -> Int
-- Try to give it a Just Int
>  x $ Just 5                   

<interactive>:1:4:
    Couldn't match expected type `Int' against inferred type `Maybe t'
    In the second argument of `($)', namely `Just 5'
    In the expression: x $ Just 5
    In the definition of `it': it = x $ Just 5

祝你好运读到这篇文章，我希望它是正确的。

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

在JavaScript中:

var something = 12;

function nicelyCraftedFunction()
{
  something = 13;
  // ... some other code
  // ... and in Galaxy far, far away this:
  if( false ) // so the block never executes:
  { 
    var something; 
  }
}
nicelyCraftedFunction(); // call of the function

通常你会期望某个变量的值是13。 但在JavaScript中不是这样——变量有函数作用域，所以后面的声明会影响上游的一切。

在使用C/ c++ /Java表示法的语言(如JS)中，你会期望变量具有块范围，而不是像这样…

因此，编译器甚至可以从最终生成的字节码中删除的死代码块仍然会对正常执行的其余代码产生副作用。

因此，在调用函数之后，某些东西仍然是12 -不变的。

这并不是一个真正的语言特性，而是一个实现缺陷:一些早期的Fortran编译器通过使用常量池来实现常量。所有参数都是通过引用传递的。如果你调用一个函数，例如。

f(1)

编译器会将常量池中常量1的地址传递给函数。 如果您为函数中的参数赋值，则会在程序中全局地更改该值(在本例中为1)。引起了一些挠头。

Haskell又说:

在Haskell中，你可以处理任意大小的文件，就好像它是一个简单的字符串。只有在实际使用字符串时，文件才会被读取。由于Haskell令人难以置信的懒惰，这样的程序将在恒定的空间中运行，而不管文件的大小:

main = interact (>>= \x -> if x == '\n' then "\r\n" else [x])

(这个程序将一个文件从stdin转换为stdout，并将LF替换为CRLF，交互函数将整个stdin输入到一个函数，并将输出移动到stdout。)

这种惰性也可能导致问题，因为如果关闭一个文件句柄，就不能完全shure，不管Haskell是否已经解析了其中的所有数据。