随笔 - 31  文章 - 128  trackbacks - 0
<2024年4月>
31123456
78910111213
14151617181920
21222324252627
2829301234
567891011

常用链接

留言簿(5)

随笔分类(38)

随笔档案(31)

收藏夹(4)

College

High School

最新随笔

搜索

  •  

积分与排名

  • 积分 - 54305
  • 排名 - 408

最新评论

  • 1. re: [yc]详解link
  • 面试的时候面试官就问过我什么是编译和链接,我说编译就是把代码文件生成目标文件,链接就是把目标文件生成可执行文件,他说不对,又问我什么是动态链接,还问我预编译都做什么处理。。。都在这里找到了答案!!!!
  • --王至乾
  • 2. re: [yc]详解link
  • @刘伟
    我是说博主,不是叫你啊
  • --溪流
  • 3. re: [yc]详解link
  • 谁是石老师,我不是哈@溪流
  • --刘伟
  • 4. re: [yc]详解link
  • 石老师?我是溪流~
  • --溪流
  • 5. re: [yc]详解link
  • 期待楼主下文啊,多谢楼主了
  • --刘伟

阅读排行榜

评论排行榜

就给我去死!
posted @ 2007-07-29 20:29 shifan3 阅读(751) | 评论 (7)编辑 收藏
      我发现我的心情很难被影响,在高兴的时候一些不好的小事我会直接无视,在不爽的时候也很难挽回低落的心情。所以坏处就是,虽然心情不容易变坏,但是一旦变坏,那就好几天都好转不了,不管是多么小的事。
      这大概就是传说中的拿得起放不下。
      嗯。今天一天的心情就被区区小事给毁了。不知道明天会不会忘掉。
      多半还会继续不爽。埃,几天就毕业了,大家作鸟兽散,心中本应有的是那种既高兴又伤感,充满了回忆和憧憬的情感,但是现在只剩下一肚子的


                  怨念



posted @ 2007-06-29 01:48 shifan3 阅读(352) | 评论 (1)编辑 收藏

在本机上调试Linux内核实在是惨烈,各种错误都能出来:
1。键盘无反应
2。鼠标无反应
3。键盘鼠标一起无反应
4。屏幕突然黑掉
5。直接重启动
6。屏幕黑掉,数秒后出现一幅银灰色图片,数秒后重启动

7。进程无法启动
8。不能切换到root
于是我一天重启动40+次,囧
posted @ 2007-06-11 11:47 shifan3 阅读(363) | 评论 (1)编辑 收藏
     可以很明显的感觉到,在不断的努力下,校内的本届,以及下几届的技术圈,渐渐开始接受boost, 接触boost,甚至asio等等,boost以从未有过的高速,走进了人们的视野。
    看到这一切,很欣慰,也很有成就感。
posted @ 2007-05-02 00:52 shifan3 阅读(538) | 评论 (8)编辑 收藏
     摘要: 平台 i386 , win32 , msvc 2003   代码简单介绍:   调度算法:轮转法。。,可修改   内存模型:每个线程拥有各自独立的堆栈。启动线程的时候,切换到对应的堆栈再启动,使得线程之间的堆栈互不干扰   调度方式:线程调用 schedule 函数, schedule 用 setjmp 保存当前堆栈,选择一个...  阅读全文
posted @ 2007-03-16 16:33 shifan3 阅读(3259) | 评论 (4)编辑 收藏
这家伙的书写的太牛了,而且太有创意了
posted @ 2007-02-23 19:56 shifan3 阅读(577) | 评论 (0)编辑 收藏
下面是腮边打网的东西
1。学了一点点法语(处于会说但听不懂的阶段)
2。深入了解了佛教等几大宗教,认真学习了佛教的教义(不过仍然没信教)
3。对西方古典音乐有了系统的学习
4。终于开始用linux了,我真土

下面是技术:
1。重新看了libtorrent的代码
2。被迫研究Windows,ReactOS,wine和linux的源代码,挖得有点感觉了
3。写了一堆范型的概念实现(typeof,multibyte什么的)
4。摸了摸boost.MPL,写了一个静态状态机(结果代码不小心被误删了。。。)
5。用asio写了些东西,不过都是很土的程序

好像没做什么事情唉


下面是阶段性的
1。保研了
2。实习了
3。写书了
posted @ 2007-02-04 15:45 shifan3 阅读(564) | 评论 (3)编辑 收藏

说到 C/C++ 的资源管理,人人都会头痛半天。自从 C++0x (就是 C++09 了)标准漏出风声之后, C++ 标准是否会引入自动垃圾回收机制就成为了众多 C++ 爱好者谈论的话题。但是实际上,在 C++ 标准的探索上,垃圾回收一直处在一个十分低下的地位。造成其这一处境的原因很多,也很复杂。我们来看看站在 C++ 程序员的角度上看,资源管理机制现在所面临的局势。

从系统结构上来讲, C/C++ 支持 3 种内存管理方式,基于栈的自动管理,基于堆的动态管理,和基于全局区的静态管理。由于 RAII 的理念,对于 C++ 来说,内存管理和其他资源管理本质上没有区别。因此对于资源而言,也就自然的拥有这样 3 种管理方式。

首先简要的介绍一下 RAII RAII 的全称是 Resource Acquisition Is initialization 。这个思想的基本手法是对于一种想要使用的资源,为其书写一个 guard 类,在该类的构造函数里进行资源的请求,在析构函数里进行资源的释放。例如假设我们想管理一个互斥锁,可能的方式是:

struct  lock_guard
{
        lock_guard()
{ lock ();}
        
~ lock_guard() {unlock();}
}
;


     此后,对这个对象使用什么内存管理方式,也就等价于对这个互斥锁使用什么内存管理方式。

         借助于 RAII ,以后我们可以只讨论内存资源的管理方式,其它资源的管理方式可以使用 RAII 来同样的实现。现在我们已经很自然的获得了资源管理的 3 种方式:基于堆的动态方式、基于栈的自动方式和全局。值得一提的是,这 3 种方式中比较不容易出错的后两种实际上可以解决大部分的资源管理需求。因为绝大部分资源,都属于获取 - 使用 - 释放型的,例如很多同步对象,文件锁, WinGDI 里的许多 GDI 对象。我们缺乏管理的,只有那些一次获得,多个环境拥有,并且只能有一次释放的少数资源。

         回到内存模型来看,有一点让我们无法将内存与其它资源等同(反过来,把其它资源和内存等同却是可以的),那就是循环引用。 A 内存可以持有指向 B 内存的引用, B 内存也可以反过来持有 A 内存的引用。循环引用导致内存管理不可以用“是否有指向该内存的引用”来区分一块内存是否可以回收。从而丧失了一个绝佳的管理手段。但是在没有循环引用的场合下,我们还是有非常简洁高效的管理方法的。那就是引用计数。

         引用计数是在没有循环引用场合下进行内存管理的绝佳手段,它具有轻量、高效、即时、可控的优点。而且在 C++ 里,引用计数已经非常成熟,只需要使用 boost.shared_ptr 或者其它非官方的引用计数指针库就可以了,而且据悉 C++09 很可能把 boost.shared_ptr 纳入标准库。引用计数的原则是,如果一个对象没有别的指针或引用来指向它,那么这个对象就是可以释放的。具体的手法有大把大把的资料可以查阅,这里就不详细说明了。引用计数通常可以处理哪些场合的资源管理问题呢?首先,对于单方向的资源管理,也就是多个 A 的实体拥有 1 B ,然而 B 并不会反过来依赖于 A (例如多个对象共享一个日志),引用计数是非常合适的。其次,对于拥有 - 反作用的场合,也就是 1 个或多个 A 的实体拥有 1 个或多个 B ,而 B 也拥有这些 A 的实体的引用,但是 B 的生存期仍然决定于 A 的生存期(例如父窗口拥有若干子窗口,子窗口也具有 parent 指针指向父窗口,但是子窗口的生存期决定于父窗口的生存期),这个时候 A 可以对 B 使用引用计数指针,而 B 可以对 A 使用原生的普通指针,同样的可以很好的解决问题。

         现在所剩下的,就只有生存期的循环依赖了。如果 AB 互相持有对方的引用,而且 AB 互相的存在都依赖于对方,这样引用计数就无法解决了。但是如果仔细想一下就会发现,这种情况在 C++ 里几乎不可能存在。生存期循环依赖只有 2 种后果,要么 A B 的析构函数里互相析构(当然就挂了),要么互相都不析构(当然就泄露了)。而这两种都是在正常编程中不会出现的情况。所以如果即使仅仅使用引用计数,我们也可以解决几乎所有的资源管理问题。

现在还剩下那么一丁点极少出现的不能处理的情况,我们可以使用更加复杂的 gc 来实现。可惜的是,实现一个 gc 所要耗费的精力实在太大,而且几乎不可避免的要成为侵入式的库。所以有点得不偿失。而且 gc 通常会产生更多的毛病:

1.               你无法却知对象析构的具体时间,从而无法真正知道影响程序性能的瓶颈在什么地方。

2.               gc 都倾向于大量的使用内存,直到内存不够的时候再进行清理,这样会导致程序的内存用量严重颠簸,并且产生大量的换页。

3.               过度的依赖于 gc 会使程序员大量的把可以由之前提到的各种方法来处理的资源交给 gc 来处理,无故的加重了 gc 的负担。

4.               gc 的管理方法和 C++ 的析构函数有可能产生语义上的冲突。

这就是为什么 C++ 标准对垃圾回收的态度如此恶劣的原因。

 

我们现在回过头来看 Java/C# 这样的内置 gc 的语言。这样的语言由于使用了 gc ,就不可避免的放弃了析构函数。为什么 gc 会和析构函数产生冲突呢?一个 gc 一般会希望在进行垃圾回收的时候,整个过程是一个原子的,但析构函数会破坏这一点,在释放内存的时候如果还要执行代码,那么难免会对整个 gc 环境产生破坏性的影响。由于没有析构函数,这些语言就不可能做到 RAII ,也就是说,它们的 gc 所能够管理的,也就仅仅只有内存而已了。对于其他资源, Java 等就必须手动释放。虽然 C# 提供了 with 关键字来缓解这一问题,但仍然无法彻底的解决。

还有什么麻烦呢?之前说的那 4 点全部都有。虽然 JVM 的速度在不断的提高,但是内存使用这一点却完全没有发展,不能不说是 gc 说导致。它所带来了什么好处呢?是内存管理的自动化,而不是资源管理的自动化。

 

所以说 C++ 并不是世人所想象的那样需要 gc C++ 本身就已经提供了足够强大的资源管理能力。基于栈的自动管理,或者使用引用计数,几乎可以达到和 gc 同样的覆盖面,而且没有 gc 的那些问题, RAII 使得 C++ 在管理非内存资源的时候还更加有优势,为什么不使用呢?

 

ps. 设计一个非官方的 gc 库还是可以的。但是毕竟不会成为主流了。

posted @ 2007-01-24 18:02 shifan3 阅读(2100) | 评论 (4)编辑 收藏
发信人: ufoer (我有一双黑色的眼睛), 板面: Religion
标  题: [转载] 人生三重境界
发信站: 飘渺水云间 (Sat Jan 13 13:22:14 2007), 转信

【 原文由 abbr 发表于 ZJUOnline 讨论区 】                                                                               
人生有三重境界,这三重境界可以用一段充满禅机的语言来说明,这段语言便是:
  看山是山,看水是水;
  看山不是山,看水不是水;
  看山还是山。看水还是水。
  这就是说一个人的人生之初纯洁无瑕,初识世界,一切都是新鲜的,眼睛看见什
么就是什么,人家告诉他这是山,他就认识了山;告诉他这是水,他就认识了水。

  随着年龄渐长,经历的世事渐多,就发现这个世界的问题了。这个世界问题越来
越多,越来越复杂,经常是黑白颠倒,是非混淆,无理走遍天下,有理寸步难行,好
人无好报,恶人活千年。进人这个阶段,人是激愤的,不平的,忧虑的,疑问的,警
惕的,复杂的。人不愿意再轻易地相信什么。人到了这个时候看山也感慨,看水也叹
息,借古讽今,指桑骂槐。山自然不再是单纯的山,水自然不再是单纯的水。一切的
一切都是人的主观意志的载体,所谓“好风凭借力,送我上青云”。一个人倘若停留
在人生的这一 阶段,那就苦了这条性命了。人就会这山望了那山高,不停地攀登,
争强好胜,与人比较,怎么做人,如何处世,绞尽脑汁,机关算尽,永无休止和满足
的一天。因为这个世界原本就是一个圆的,人外还有人,天外还有天,循环往复,绿
水长流。而人的生命是短暂的有限的,哪里能够去与永恒和无限计较呢?
  许多人到了人生的第二重境界就到了人生的终点。追求一生.劳碌一生,心高气
傲一生,最后发现自己并没有达到自己的理想,于是抱恨终生。但是有些人通过自己
的修练,终于把自己提升到了第三重人生境界。茅塞顿开,回归自然。人这个时候便
会专心致志做自己应该做的事情,不与旁人有任何计较。任你红尘滚滚,我自清风朗
月。面对 芜杂世俗之事,一笑了之,了了有何不了,这个时候的人看山又是山,看
水又是水了。正是:人本是人,不必刻意去做人;世本是世,无须精心去处世;便也
就是真正的做人与处世了。
--

陨石疾驰的绚烂会消逝在无尽的夜空
但恒星的光辉依旧闪耀在苍穹
明星显赫的声名将淡出于大众的记忆
而他们的旋律永远被灵魂传诵

※ 来源:·飘渺水云间 freecity.cn·[FROM: beyondgenius]                                                                  
--
※ 转载:·飘渺水云间 freecity.cn·[FROM: abbr]                                                                          
--
※ 转载:·飘渺水云间 freecity.cn·[FROM: ufoer]                                                                         
posted @ 2007-01-13 14:33 shifan3 阅读(560) | 评论 (3)编辑 收藏
详解link
有些人写C/C++(以下假定为C++)程序,对unresolved external link或者duplicated external simbol的错误信息不知所措(因为这样的错误信息不能定位到某一行)。或者对语言的一些部分不知道为什么要(或者不要)这样那样设计。了解本文之后,或许会有一些答案。
    首先看看我们是如何写一个程序的。如果你在使用某种IDE(Visual Studio,Elicpse,Dev C++等),你可能不会发现程序是如何组织起来的(很多人因此而反对初学者使用IDE)。因为使用IDE,你所做的事情,就是在一个项目里新建一系列的.cpp和.h文件,编写好之后在菜单里点击“编译”,就万事大吉了。但其实以前,程序员写程序不是这样的。他们首先要打开一个编辑器,像编写文本文件一样的写好代码,然后在命令行下敲
    cc 1.cpp -o 1.o
    cc 2.cpp -o 2.o
    cc 3.cpp -o 3.o
这里cc代表某个C/C++编译器,后面紧跟着要编译的cpp文件,并且以-o指定要输出的文件(请原谅我没有使用任何一个流行编译器作为例子)。这样当前目录下就会出现:
    1.o 2.o 3.o
最后,程序员还要键入
    link 1.o 2.o 3.o -o a.out
来生成最终的可执行文件a.out。现在的IDE,其实也同样遵照着这个步骤,只不过把一切都自动化了。
    让我们来分析上面的过程,看看能发现什么。
    首先,对源代码进行编译,是对各个cpp文件单独进行的。对于每一次编译,如果排除在cpp文件里include别的cpp文件的情况(这是C++代码编写中极其错误的写法),那么编译器仅仅知道当前要编译的那一个cpp文件,对其他的cpp文件的存在完全不知情。
    其次,每个cpp文件编译后,产生的.o文件,要被一个链接器(link)所读入,才能最终生成可执行文件。
    好了,有了这些感性认识之后,让我们来看看C/C++程序是如何组织的。
    
    首先要知道一些概念:
    编译:编译器对源代码进行编译,是将以文本形式存在的源代码翻译为机器语言形式的目标文件的过程。
    编译单元:对于C++来说,每一个cpp文件就是一个编译单元。从之前的编译过程的演示可以看出,各个编译单元之间是互相不可知的。
    目标文件:由编译所生成的文件,以机器码的形式包含了编译单元里所有的代码和数据,以及一些其他的信息。
    
    下面我们具体看看编译的过程。我们跳过语法分析等,直接来到目标文件的生成。假设我们有一个1.cpp文件
     int n = 1;

    void f()
     {
        ++n;
    }

    它编译出来的目标文件1.o就会有一个区域(假定名称为2进制段),包含了以上数据/函数,其中有n, f,以文件偏移量的形式给出很可能就是:
    偏移量    内容    长度
    0x000    n    4
    0x004    f     ??
    注意:这仅仅是猜测,不代表目标文件的真实布局。目标文件的各个数据不一定连续,也不一定按照这个顺序,当然也不一定从0x000开始。
    现在我们看看从0x004开始f函数的内容(在0x86平台下的猜测):
    0x004 inc DWORD PTR [0x000]
    0x00? ret
    注意n++已经被翻译为:inc DWORD PTR [0x000],也就是把本单元0x000位置上的一个DWORD(4字节)加1。
    
    下面如果有另一个2.cpp,如下
    extern int n;
    void g()
    {
        ++n;
    }
    那么它的目标文件2.o的2进制段就应该是
    偏移量    内容    长度
    0x000    g     ??
    为什么这里没有n的空间(也就是n的定义),因为n被声明为extern,表明n的定义在别的编译单元里。别忘了编译的时候是不可能知道别的编译单元的情况的,故编译器不知道n究竟在何处,所以这个时候g的二进制代码里没有办法填写inc DWORD PTR [???]中的???部分。怎么办呢?这个工作就只能交给后来的链接器去处理。为了让链接器知道哪些地方的地址是没有填好的,所以目标文件还要有一个“未解决符号表”,也就是unresolved symbol table. 同样,提供n的定义的目标文件(也就是1.o)也要提供一个“导出符号表”,export symbol table, 来告诉链接器自己可以提供哪些地址。
    让我们理一下思路:现在我们知道,每一个目标文件,除了拥有自己的数据和二进制代码之外,还要至少提供2个表:未解决符号表和导出符号表,分别告诉链接器自己需要什么和能够提供什么。下面的问题是,如何在2个表之间建立对应关系。这里就有一个新的概念:符号。在C/C++中,每一个变量和函数都有自己的符号。例如变量n的符号就是“n”。函数的符号要更加复杂,它需要结合函数名及其参数和调用惯例等,得到一个唯一的字符串。f的符号可能就是"_f"(根据不同编译器可以有变化)。
    所以,1.o的导出符号表就是
    符号    地址
    n    0x000
    _f    0x004
    而未解决符号表为空
    2.o的导出符号表为
    符号    地址
    _g    0x000
    未解决符号表为
    符号    地址    
    n    0x001    
    这里0x001为从0x000开始的inc DWORD PTR [???]的二进制编码中存储???的起始地址(这里假设inc的机器码的第2-5字节为要+1的绝对地址,需要知道确切情况可查手册)。这个表告诉链接器,在本编译单元0x001的位置上有一个地址,该地址值不明,但是具有符号n。
    链接的时候,链接器在2.o里发现了未解决符号n,那么在查找所有编译单元的时候,在1.o中发现了导出符号n,那么链接器就会将n的地址0x000填写到2.o的0x001的位置上。
    “打住”,可能你就会跳出来指责我了。如果这样做得话,岂不是g的内容就会变成inc DWORD PTR [0x000],按照之前的理解,这是将本单元的0x000地址的4字节加1,而不是将1.o的对应位置加1。是的,因为每个编译单元的地址都是从0开始的,所以最终拼接起来的时候地址会重复。所以链接器会在拼接的时候对各个单元的地址进行调整。这个例子中,假设2.o的0x00000000地址被定位在可执行文件的0x00001000上,而1.o的0x00000000地址被定位在可执行文件的0x00002000上,那么实际上对链接器来说,1.o的导出符号表其实
    符号    地址
    n    0x000 + 0x2000
    _f    0x004 + 0x2000
    而未解决符号表为空
    2.o的导出符号表为
    符号    地址
    _g    0x000 + 0x1000
    未解决符号表为
    符号    地址            
    n    0x001 + 0x1000
所以最终g的代码会变为inc DWORD PTR [0x000 + 0x2000]。
    最后还有一个漏洞,既然最后n的地址变为0x2000了,那么以前f的代码inc DWORD PTR [0x000]就是错误的了。所以目标文件为此还要提供一个表,叫做地址重定向表address redirect table。
    对于1.o来说,它的重定向表为
    地址
    0x005
    这个表不需要符号,当链接器处理这个表的时候,发现地址为0x005的位置上有一个地址需要重定向,那么直接在以0x005开始的4个字节上加上0x2000就可以了。
    让我们总结一下:编译器把一个cpp编译为目标文件的时候,除了要在目标文件里写入cpp里包含的数据和代码,还要至少提供3个表:未解决符号表,导出符号表和地址重定向表。
    未解决符号表提供了所有在该编译单元里引用但是定义并不在本编译单元里的符号及其出现的地址。
    导出符号表提供了本编译单元具有定义,并且愿意提供给其他编译单元使用的符号及其地址。
    地址重定向表提供了本编译单元所有对自身地址的引用的记录。
    链接器进行链接的时候,首先决定各个目标文件在最终可执行文件里的位置。然后访问所有目标文件的地址重定向表,对其中记录的地址进行重定向(即加上该编译单元实际在可执行文件里的起始地址)。然后遍历所有目标文件的未解决符号表,并且在所有的导出符号表里查找匹配的符号,并在未解决符号表中所记录的位置上填写实际的地址(也要加上拥有该符号定义的编译单元实际在可执行文件里的起始地址)。最后把所有的目标文件的内容写在各自的位置上,再作一些别的工作,一个可执行文件就出炉了。
    最终link 1.o 2.o .... 所生成的可执行文件大概是
    0x00000000  ????(别的一些信息)
    ....
    0x00001000  inc DWORD PTR [0x00002000]              //这里是2.o的开始,也就是g的定义
    0x00001005  ret                                  //假设inc为5个字节,这里是g的结尾
    ....
    0x00002000  0x00000001                           //这里是1.o的开始,也是n的定义(初始化为1)
    0x00002004  inc DWORD PTR [0x00002000]         //这里是f的开始
    0x00002009  ret                                  //假设inc为5个字节,这里是f的结尾
    ...
    ...
    实际链接的时候更为复杂,因为实际的目标文件里把数据/代码分为好几个区,重定向等要按区进行,但原理是一样的。


    
    现在我们可以来看看几个经典的链接错误了:
    unresolved external link..
    这个很显然,是链接器发现一个未解决符号,但是在导出符号表里没有找到对应的項。
    解决方案么,当然就是在某个编译单元里提供这个符号的定义就行了。(注意,这个符号可以是一个变量,也可以是一个函数),也可以看看是不是有什么该链接的文件没有链接
    duplicated external simbols...
    这个则是导出符号表里出现了重复项,因此链接器无法确定应该使用哪一个。这可能是使用了重复的名称,也可能有别的原因。


    我们再来看看C/C++语言里针对这一些而提供的特性:
    extern:这是告诉编译器,这个符号在别的编译单元里定义,也就是要把这个符号放到未解决符号表里去。(外部链接)
    
    static:如果该关键字位于全局函数或者变量的声明的前面,表明该编译单元不导出这个函数/变量的符号。因此无法在别的编译单元里使用。(内部链接)。如果是static局部变量,则该变量的存储方式和全局变量一样,但是仍然不导出符号。
    
    默认链接属性:对于函数和变量,模认外部链接,对于const变量,默认内部链接。(可以通过添加extern和static改变链接属性)

    外部链接的利弊:外部链接的符号,可以在整个程序范围内使用(因为导出了符号)。但是同时要求其他的编译单元不能导出相同的符号(不然就是duplicated external simbols)

    内部链接的利弊:内部链接的符号,不能在别的编译单元内使用。但是不同的编译单元可以拥有同样名称的内部链接符号。

    为什么头文件里一般只可以有声明不能有定义:头文件可以被多个编译单元包含,如果头文件里有定义,那么每个包含这个头文件的编译单元就都会对同一个符号进行定义,如果该符号为外部链接,则会导致duplicated external simbols。因此如果头文件里要定义,必须保证定义的符号只能具有内部链接。

    为什么常量默认为内部链接,而变量不是:
        这就是为了能够在头文件里如const int n = 0这样的定义常量。由于常量是只读的,因此即使每个编译单元都拥有一份定义也没有关系。如果一个定义于头文件里的变量拥有内部链接,那么如果出现多个编译单元都定义该变量,则其中一个编译单元对该变量进行修改,不会影响其他单元的同一变量,会产生意想不到的后果。

    为什么函数默认是外部链接:
        虽然函数是只读的,但是和变量不同,函数在代码编写的时候非常容易变化,如果函数默认具有内部链接,则人们会倾向于把函数定义在头文件里,那么一旦函数被修改,所有包含了该头文件的编译单元都要被重新编译。另外,函数里定义的静态局部变量也将被定义在头文件里。

    为什么类的静态变量不可以就地初始化:所谓就地初始化就是类似于这样的情况:
        class A
        {
            static char msg[] = "aha";
        };
不允许这样做得原因是,由于class的声明通常是在头文件里,如果允许这样做,其实就相当于在头文件里定义了一个非const变量。

    在C++里,头文件定义一个const对象会怎么样:
        一般不会怎么样,这个和C里的在头文件里定义const int一样,每一个包含了这个头文件的编译单元都会定义这个对象。但由于该对象是const的,所以没什么影响。但是:有2种情况可能破坏这个局面:
        1。如果涉及到对这个const对象取地址并且依赖于这个地址的唯一性,那么在不同的编译单元里,取到的地址可以不同。(但一般很少这么做)
        2。如果这个对象具有mutable的变量,某个编译单元对其进行修改,则同样不会影响到别的编译单元。

    为什么类的静态常量也不可以就地初始化:
        因为这相当于在头文件里定义了const对象。作为例外,int/char等可以进行就地初始化,是因为这些变量可以直接被优化为立即数,就和宏一样。

    内联函数:
        C++里的内联函数由于类似于一个宏,因此不存在链接属性问题。

    为什么公共使用的内联函数要定义于头文件里:
        因为编译时编译单元之间互相不知道,如果内联函数被定义于.cpp文件中,编译其他使用该函数的编译单元的时候没有办法找到函数的定义,因此无法对函数进行展开。所以说如果内联函数定义于.cpp文件里,那么就只有这个cpp文件可以是用这个函数。

    头文件里内联函数被拒绝会怎样:
        如果定义于头文件里的内联函数被拒绝,那么编译器会自动在每个包含了该头文件的编译单元里定义这个函数并且不导出符号。

    如果被拒绝的内联函数里定义了静态局部变量,这个变量会被定义于何处:
        早期的编译器会在每个编译单元里定义一个,并因此产生错误的结果,较新的编译器会解决这个问题,手段未知。

    为什么export关键字没人实现:
        export要求编译器跨编译单元查找函数定义,使得编译器实现非常困难。




  编译和静态链接就分析到这里,我会带着动态链接和load的详解杀回来






posted @ 2007-01-05 16:03 shifan3 阅读(6171) | 评论 (13)编辑 收藏
仅列出标题
共3页: 1 2 3