【新人】K&R书中的不解之处

除美灭日平韩

围观大神级辩论，哈哈

ahocat

回复 20# pmerofc


    pm兄说得也不无道理，《C和指针》对于编程白丁来说也许门槛略微高了那么一点。不过这本书真正区别于其他C教程的价值是在后半本，我强烈建议所有对指针感觉懵懂的C程序员把这后半本书的练习都做一遍，绝对有帮助！

幻の上帝

Ager 发表于 2013-07-18 19:23
这句话出自K&R TCPL 2/e的第211页（英文原版），即在附录A8当中。原文是这样的：

翻译成所谓“static类型”完全是不负责任的胡扯。

不过这里还有个有趣的问题。
注意传统的C有存储类(storage class)的概念。变量和函数具有存储类。存储类具有两个方面的含义：变量或函数对应的符号的可见性(visibility)，以及如何被存储。
ANSI C使用更精确的两个概念：存储期(storage duration)和链接(linkage)取代了这个概念。其中存储期只适用于对象，用于明确对象的生存期；而链接适用于标识符，用于明确不同翻译单元中相同标识符是否指称同一实体——注意不仅仅限于对象或函数的。
被声明为static的对象具有静态存储期(static storage duration)。而链接只分为外部链接(external linkage)、内部链接(internal linkage)和无链接(no linkage)，不具有“静态链接”的说法。（至于static linking是实现上的另一回事。）也就是说，如果明确是存储期，那么“静态”只适合于对象，不适合于函数。
但是关键字static的含义大体上没有改变（仍然可用于函数，虽然对函数来说只是影响函数名的链接），和extern等其它一些关键字一起被称为storage-class specifier，仍然存在于现在的ISO C中——尽管extern只影响链接。
所以原书第一版的时候用static，解释为static class来说其实是说得通的（甚至可以说应当作为关键字），虽然static class这个概念理解起来比较麻烦。但是现在有了更精确的描述，这样的说法就是不准确的了，作为关键字容易引起误会。（不过奇怪为什么这里没有改掉。）

幻の上帝

附：1975年版的C Reference Manual里就可以看到早期C的没有对于对象而言正交的存储期和链接的概念，存储类直接用于标识符（这里的标识符显然只能解释为对象/函数的）：

4. What’s in a Name?
C bases the interpretation of an identifier upon two attributes of the identifier: its storage class and its type. The
storage class determines the location and lifetime of the storage associated with an identifier; the type determines the
meaning of the values found in the identifier’s storage.
There are four declarable storage classes: automatic, static, external, and register. Automatic variables are local to
each invocation of a function, and are discarded on return; static variables are local to a function, but retain their values
independently of invocations of the function; external variables are independent of any function. Register variables
are stored in the fast registers of the machine; like automatic variables they are local to each function and disappear
on return.

Ager

幻の上帝 发表于 2013-07-24 00:11
不过这里还有个有趣的问题。

赞 ——！

大牛你要经常来呀，哈哈 {:3_193:}

除美灭日平韩

辛苦LS几位了，学习了！1