亚洲va久久久噜噜噜久久天堂 ,国产高潮久久免费观看,久久丫精品国产亚洲av

那谁 — Tue, 06 Jul 2010 05:04:00 GMT

最�q�需要提供一个功�?采用�c�M��C++��输出的格式输出一些日志信�? 例如Log(FATAL) << "log to" .

我找了两个类似项目来研究,google�?a >glog �?log4cpp, 它们都支持以C++��输出格式进行输�?

但是研究到最�?我发现最大的问题�? 如果按照C++的流输出格式�q�行输出, ��无法判定需要输出的信息到哪里是�l�束.比如log << "hello " << "world",是无法判断到底在输出"hello"�q�是"world"的时候上面的参数输入已经�l�束�?上面两个��目�? 解决�q�个问题的办法大致是相同�?以下面可�~�译�q�行代码��Z��说明它们的做�?在linux g++下面�~�译通过):

#include <iostream>
#include <sstream>

#ifdef __DEPRECATED
// Make GCC quiet.
# undef __DEPRECATED
# include <strstream>
# define __DEPRECATED
#else
# include <strstream>
#endif

using namespace std;

class LoggerStream : public std::ostrstream {
public:
  LoggerStream(char * buf, int len)
   : ostrstream(buf, len),
    buf_(buf),
    len_(len) {
  }

  ~LoggerStream() {
    // do the real fucking output
    cout << buf_;
  }

private:
  char *buf_;
  int len_;
};

int main() {
  char buf[100] = {'\0'};

  LoggerStream(buf, sizeof(buf)) << 1 << " hello world\n";

  cout << "buf = " << buf << endl;

  return 0;
}

在上面的代码�? 开始进行输出的时候首先初始化一个LoggerStream对象, 而在输出参数输入完毕的时候将调用它的析构函数,在这个析构函��C��才完成真正的输出动作.也就是说,�׃��对输入参数结束位�|�判断手�D늚��~�失,C++中不得不采用�q�个手段在析构函��C��完成最�l�的输出工作.
�q�样的做�?最大的问题�?频繁的构�?析构开销�?而且每个"<<"操作�W�背后又需要调用ostream的operator<<,也就是假如你的输入参数有三个��调用operator <<三次(当然是经�q�重载的,不一定都是同一个operator<<),因此,假如需要考虑多线�E�的�?那么一�ơ输入有多个函数函数中被调用,仍然是问�?�?要��用这门语�a�写出正确的程序来,需要了解底下多��的�l�节�?!

最�?我向��目�l�反映这个问�?一致同意以C中类似sprintf可变参数的�Ş式实现这个功�?可变参数解决�q�个问题,��我的感觉而言,��是输入参数的时�?�E�显复杂,需要用��h��定输入的格式.然�?其实�q�个做法也有好处:作�ؓ函数的��用�?你必��L��的知道你在做什么�ƈ且反馈给你所使用的函�?明确�?无歧义的使用函数,而不是依靠所谓函数重载猜你的用意,我想也是避免问题的一个手�D?gcc�? 提供了对可变参数��查的机制,�?a >�q�里.

那谁 2010-07-06 13:04 发表评论

那谁 — Sat, 29 May 2010 12:34:00 GMT

C++是一门��够复杂的语言.说它"��_��复杂",是因为C++提供了��够多�~�程范式--泛型, 模板, 面向对象, 异常,�{�等.��Z��说说,我已�l�很久没有跟�q�C++的最新发展了(比如C++0x), 所以前面列丑և�来的�Ҏ��应该只是C++所有特性的一个部分�Ş�?C++�Ҏ��过多很��N��驭好C++的原因之一.另一个原因是C++�q�于"自作聪明",在很多地�Ҏ��无声息的做了很多事情, 比如隐式的类型�{�? 重蝲, 模板推导�{�等.而很多时�?�q�些动作难以察觉,有时候会在你意想不到的地方发�?即��是熟�l�的C++�E�序员也隑օ�被误�?(关于了解C++�~�译器自作聪明做了哪些事�? <<深入理解C++物�g模型>>是不错的选择).

世界上有很多问题, ��Z��知道如何去解�?但是, ��g��q�还不算是最高明�?更高明的做法是学会避免问题的发生.而如何避免问题的发生, 需要经验的�U�篏--曄��犯下错误,吃一堑长一�?于是知道哪些事情是不该做的或者是不应该这么做�?

google C++ code style是google对外公布的一份google内部�~�写C++的代码规范文�?与其他很多我曄��看过的编码文档一�?里面有一些关于代码风格的规定,也就是代码的外观,�q�一部分不在�q�里�q�多讨论,毕竟代码如何才叫"��观"是一个见仁见智的话题.在这里专门讨��份文档中对一些C++�Ҏ��该如何使用的讨�?最后再做一个�ȝ��.注意其中的序号�ƈ不是文档中的序号,如果要详�l�了�?可以自己�ȝ��q�䆾文档.

1) Static and Global Variables
Static or global variables of class type are forbidden: they cause hard-to-find bugs due to indeterminate order of construction and destruction.

google明确��止全局对象是类对象, 只能是所谓POD(Plain Old Data,如int char�{?数据才行.因�ؓC++标准中没有明��规定全局对象的初始化��序, 假设全局�c�d��象A,B,其中A的初始化依赖于B的�? 那么��无法保证最后的�l�果.如果非要使用全局�c�d��? 那么只能使用指针, 在main�{�函数入口统一�q�行初始�?

2) Doing Work in Constructors
In general, constructors should merely set member variables to their initial values. Any complex initialization should go in an explicit Init() method.

文档规定, 在类构造函��C��对类成员对象做基本的初始化操�? 所有的复杂初始化操作集中一个比如Init()的函��C��,理由如下:

There is no easy way for constructors to signal errors, short of using exceptions (which are forbidden).
If the work fails, we now have an object whose initialization code failed, so it may be an indeterminate state.
If the work calls virtual functions, these calls will not get dispatched to the subclass implementations. Future modification to your class can quietly introduce this problem even if your class is not currently subclassed, causing much confusion.
If someone creates a global variable of this type (which is against the rules, but still), the constructor code will be called before main(), possibly breaking some implicit assumptions in the constructor code. For instance, gflags will not yet have been initialized.

��单的概括��h��也就�?构造函数没有返回�? 难以让��用者感知错�?假如在构造函��C��调用虚拟函数, 则无法按照��用者的��x��调用到对应子�c�M��实现的虚拟函�?理由是构造函数还未完成意味着�q�个对象�q�没有被成功构造完�?.

3) Default Constructors
You must define a default constructor if your class defines member variables and has no other constructors. Otherwise the compiler will do it for you, badly.

当程序员没有为类�~�写一个默认构造函数的时�? �~�译器会自动生成一个默认构造函�?而这个编译器生成的函数如何实�?比如如何初始化类成员对象)是不��定�?�q�样,假如出现问题时将�l�调试跟�t�带来困�?所�? 规范要求每个�c�都需要编写一个默认构造函数避免这�U�情�늚�出现.

4) Explicit Constructors
Use the C++ keyword explicit for constructors with one argument.

假如构造函数只有一个参�? 使用explicit避免隐式转换, 因�ؓ隐式转换可能在你�q�不需要的时候出�?

5) Copy Constructors
Provide a copy constructor and assignment operator only when necessary. Otherwise, disable them with DISALLOW_COPY_AND_ASSIGN.

只有当必要的时候才需要定义拷贝构造函数和赋值操作符. 同上一条理�׃��? 避免一些隐式的转换.另一条理由是,"="难以跟踪,如果真的要实现类似的功能,可以提供比如名�ؓCopy()的函�?�q�样子一目了�?不会像赋值操作符那样可能在每�?="出现的地方出�?

6) Operator Overloading
Do not overload operators except in rare, special circumstances.

不要重蝲操作�W?同样, 也是避免莫名其妙的调用了一些函�?同上一条一�? 比如要提供对"=="的重�? 可以提供一个名为Equal()的函�? 如果需要提供对"+"的重�? 可以提供一个名为Add()的函�?

7) Function Overloading
Use overloaded functions (including constructors) only in cases where input can be specified in different types that contain the same information. Do not use function overloading to simulate default function parameters.

只有在不同的�c�d��表示同样的信息的时�? 可以使用重蝲函数.其他情况�?一律不能��?使用重蝲, 也可能出��C��些隐式出现的转换.所�? 在需要对不同函数�q�行同样操作的时�? 可以在函数名�U�C��q�行区分, 而不是��用重�?如可以提供针对string�c�d��的AppendString()函数, 针对int�c�d��的AppendInt()函数,而不是对string和int�c�d��重蝲Append()函数.另一个好处在�? 在阅��M��码时,通过函数名称可以一目了�?

8) Exceptions
We do not use C++ exceptions.

不��用异�?理由如下:

When you add a throw statement to an existing function, you must examine all of its transitive callers. Either they must make at least the basic exception safety guarantee, or they must never catch the exception and be happy with the program terminating as a result. For instance, if f() calls g() calls h(), and h throws an exception that f catches, g has to be careful or it may not clean up properly.
More generally, exceptions make the control flow of programs difficult to evaluate by looking at code: functions may return in places you don't expect. This results maintainability and debugging difficulties. You can minimize this cost via some rules on how and where exceptions can be used, but at the cost of more that a developer needs to know and understand.
Exception safety requires both RAII and different coding practices. Lots of supporting machinery is needed to make writing correct exception-safe code easy. Further, to avoid requiring readers to understand the entire call graph, exception-safe code must isolate logic that writes to persistent state into a "commit" phase. This will have both benefits and costs (perhaps where you're forced to obfuscate code to isolate the commit). Allowing exceptions would force us to always pay those costs even when they're not worth it.
Turning on exceptions adds data to each binary produced, increasing compile time (probably slightly) and possibly increasing address space pressure.
The availability of exceptions may encourage developers to throw them when they are not appropriate or recover from them when it's not safe to do so. For example, invalid user input should not cause exceptions to be thrown. We would need to make the style guide even longer to document these restrictions!

上面提到的理�׃��, 我认��Z��用异常最大的宛_��是:异常的��用导致了�E�序无法按照代码所展现的流�E�去走的, 比如代码里面写了步骤一二三,但是假如有异常出�? �q�就不好预知代码真正步进的步骤了, 在出现问题时, �l�调试和跟踪带来困难.
另外, 我更喜欢unix API的设�?熟悉unix�~�程的�h都知�? unix API基本上都遵守下列规则:
a) �q�回0表示成功, 其他(一般是-1)表示��p�|.
b) 在失败时, 可以�Ҏ��errno判断��p�|的原�? �q�些在man手册中都是会清楚的描�q?

�ȝ��一�? �q�䆾规范中规避的C++�Ҏ��大致分��Z��下几�c?
a) 避免使用那些没有��定行�ؓ的特�?如全局变量不能是类对象(初始化顺序不��定), 不��用编译器生成的默认构造函�?构造行��Z��定), 异常(代码走向不确�?.
b) 避免使用那些隐式发生的操�?如声明单参数构造函��Cؓexplict以避免隐式�{�? 不定义拷贝构造函数避免隐式的拯��行�ؓ, 不��用操作符重蝲避免隐式的�{�?br>c) �Ҏ��׃��可的�Ҏ��给予明��的规定:不��用函数重载而是定义�Ҏ��个类型明��的函数.
d) 即��出错了程序也有办法知�? 比如不能在类构造函��C��q�行复杂的构造操�? ��这些移动到�c�Init()的函��C��.

同时, �q�䆾文档中描�q�的大部分C++�Ҏ�? 都是我之前所熟悉�?除了RTTI之外, 不过�q�里提到它也是要说明不��用它,另外�q�提到boost, 不过也是说的要对�?有限�?的��?比如里面的智能指�?.可以看到, 面对�q�样一门复杂同时还在不停的发展更新�Ҏ��的语言, google的态度是比�?保守"�?�q�与我之前对C++的理解也是接�q�的, 我一直认为C++中需要��用到的特性有基本的面向对�?STL��够�?�l�过最�q�的�~�码实践,我认��得加个智能指�?.我对�q�个"保守"态度的理解是, 以C++当前的应用场景来�? �q�些�Ҏ��已�l��? 如果使用其他一些更加复杂的, 对�h的要求提高了, 代码的可��L��以及以后的可维护性就下降�?

前面说过, 避免问题的出现比解决问题来的更加高明�? 而面对C++�q�一个提供了众多�Ҏ�? google C++ code style�l�予了明��的规定, 也就是每个行�? 如果都能做到有明��的动作, 同时�l�果也都是可以预知的, 那么会将出问题的概率最大可能的降低, 即��Z��问题, 也容易跟�t?

上面描述的�ƈ不是�q�䆾文档中有关C++的所有内�? 只不�q�我觉得�q�些更加有同感些, 详细的内�? 可以参看�q�䆾文档.都知道google的作�?质量有保�? 除了人的素质��实高之�? 有规范的制度保证也是重要的原�? 毕竟只要是�h��׃��犯错, ��Z��最大限度的避免人犯�? 有一份详��的代码规范, 写好哪些该做哪些不该做哪些不该这么做, 也是制度上的保证.另外, 假如每个人都能以一个比较高的标准要求自己所写的代码, 久而久�? 获得�q�步也是必然的结�?

从这套规范里�? 我的另一个感悟是, 不论是什么行�? "学会如何正确的做事情", 都是十分必要�?�q�个"正确的做事情", 具体到编码来�? ��是代码规范里面提到的那些要�?而除�ȝ��? 做�Q何的事情, 使用正确的方式做�? 都是��可能少的避免错误的�Ҏ��.但是, "�?�?�?是相对而言�? 没有之前"�?的经�? ��׃��好体会什么叫"�?.所�? "如何正确的做�?, 说到了最�? �q�得看个人的�l�验�U�篏, 有了之前"错误"的经�?才能吃一堑长一�? "错误"�q�不是一无是处的, 只不�q? �q�不是谁都去��试着从中学习.

那谁 2010-05-29 20:34 发表评论

Callback在C\C++中的实现

那谁 — Mon, 19 Apr 2010 14:45:00 GMT

摘要: Callback是这��L��一�c�d��?在这里不能简单的理解�?回调函数"�?:你注册一个函�?以及调用它时的参�?希望在满��x��个条件时,以这些注册的函数调用�q�个回调,完成指定的操�?很多地方会��用到�q�个概念.比如,UI�E�序�?注册一个函�?当某个鼠标事件发生的时候自动调�?比如,创徏一个线�E?�U�程开始运行时,执行注册的函数操�?Callback的出�?本质上是因�ؓ很多操作都有异步化的需�?--你不知道... 阅读全文

那谁 2010-04-19 22:45 发表评论

自己实现的memcpy

那谁 — Sat, 18 Apr 2009 01:30:00 GMT

摘要: 没有考虑目标和源地址可能重复的情�?不知道除了这个方法之外不用汇�~�等方式�q�有没有更快的方�?臛_��我目前是想不出来:)
阅读全文

那谁 2009-04-18 09:30 发表评论

服务器公共库开�?-�U�程安全的singleton�c? 可配�|�的�U�程锁管理类

那谁 — Fri, 01 Aug 2008 15:32:00 GMT

摘要: 阅读全文

那谁 2008-08-01 23:32 发表评论

服务器公共库开�?-��d��ini文�g格式的类

那谁 — Mon, 28 Jul 2008 16:57:00 GMT

摘要: 阅读全文

那谁 2008-07-29 00:57 发表评论

那谁 — Sat, 21 Jun 2008 07:36:00 GMT

摘要: 如何使用位操作得到大于N且�ؓ2的次方的最��的�?nbsp; 阅读全文

那谁 2008-06-21 15:36 发表评论

(C++)一个愚蠢的错误

那谁 — Fri, 06 Jun 2008 13:30:00 GMT

摘要: (C++)一个愚蠢的错误阅读全文

那谁 2008-06-06 21:30 发表评论

那谁 — Tue, 01 Apr 2008 11:55:00 GMT

摘要: 仿SGI STL的内存池��法.
阅读全文

那谁 2008-04-01 19:55 发表评论

memcache内存池的设计原理

那谁 — Mon, 21 Jan 2008 15:34:00 GMT

memcache中管理内存的数据�l�构如下:

typedef struct {
    unsigned int size;      /* sizes of items */
    unsigned int perslab;   /* how many items per slab */

    void **slots;           /* list of item ptrs */
    unsigned int sl_total;  /* size of previous array */
    unsigned int sl_curr;   /* first free slot */

    void *end_page_ptr;         /* pointer to next free item at end of page, or 0 */
    unsigned int end_page_free; /* number of items remaining at end of last alloced page */

    unsigned int slabs;     /* how many slabs were allocated for this class */

    void **slab_list;       /* array of slab pointers */
    unsigned int list_size; /* size of prev array */

    unsigned int killing;  /* index+1 of dying slab, or zero if none */
} slabclass_t;

�E�序中有一个全局的数�l?br>static slabclass_t slabclass[POWER_LARGEST + 1]用于保存slab,预分配内存池时调用的是void slabs_init(const size_t limit, const double factor) 函数,其中limit是内存池的最大容�?factor是分配时的增长因�?
比方�?加入factor�?,�W�一个在slabclass数组中的slab的每个item大小�?28字节,那么下一个slab每个item的大��就�?28*2,再下一个就�?28*2*2(注意,��Z��化问题的说明,上面没有考虑地址寚w��的因�?.

在预分配内存池时,最多给每个slab保存item的容量是1M内存,�q�个数值由#define POWER_BLOCK 1048576军_��.
因此,slab中的几个元素在预分配内存时是�q�么定的:
size有一个�v始�?�q�个��g��后的增长由factor军_��,增长的过�E�前面已�l�阐�q�过�?
perslab保存的是一个slab存放的item数量,因此perslab = POWER_BLOCK / slabclass[i].size;
如果预先分配一�D�内存供使用的话,也就是没有定义DONT_PREALLOC_SLABS�?那么��p��用slabs_preallocate�q�行预分配内�?
其中,end_page_ptr指向�q�个预分配好的指�?end_page_free表示的是目前�I�闲可用item的数�?在预分配�?�q�个��g��perslab相同.
在这个内存池模型�?每个page实际上是一个数�l?数组中每个元素的大小��是�q�个slab中item的大��?

另外,slots保存的是释放出来的item指针,sl_total表示�ȝ��数量,sl_curr表示的是目前可用的已�l�释攑և�来的item数量.

每一�ơ要分配内存的时�?首先�Ҏ��需要分配的内存大小在slabclass数组中查扄��引最��的一个大于所要求内存的slab,如果slots不�ؓ�I?那么��׃��q�里�q�回内存,否则��L��找end_page_ptr,如果也没�?那么��只能返回NULL�?
每一�ơ释攑ֆ�存的时�?同样的找到应该返回内存的slab元素,改写前面提到的slot指针和sl_curr�?

有点仓促,以后再完善~~

那谁 2008-01-21 23:34 发表评论

那谁 — Mon, 19 Mar 2007 16:28:00 GMT

摘要: 仿STL中的堆算法的一个实�?nbsp; 阅读全文

那谁 2007-03-20 00:28 发表评论

那谁 — Sun, 18 Mar 2007 11:40:00 GMT

摘要: 有关CGL写作中经常参考到的资�? 阅读全文

那谁 2007-03-18 19:40 发表评论

Modern C++ Design(MCD)学习�W�记 && ��试代码(�?

那谁 — Sun, 04 Feb 2007 15:18:00 GMT

摘要: ��查是否可以�{换以及是否存在��承关�pȝ��c?
阅读全文

那谁 2007-02-04 23:18 发表评论

Modern C++ Design(MCD)学习�W�记 && ��试代码(一)

那谁 — Sun, 04 Feb 2007 07:53:00 GMT

摘要: �~�译期断�a�模版�cȝ��技巧~~ 阅读全文

那谁 2007-02-04 15:53 发表评论

那谁 — Tue, 05 Sep 2006 13:04:00 GMT

摘要: little endian和big endian的概念解�?判定与用�?nbsp; 阅读全文

那谁 2006-09-05 21:04 发表评论

那谁 — Tue, 11 Jul 2006 11:04:00 GMT

摘要: ��试了一下VC和gcc对关键字export的支�?nbsp; 阅读全文

那谁 2006-07-11 19:04 发表评论

探烦C++的秘密之�?重蝲,覆盖,和隐�?

那谁 — Fri, 24 Mar 2006 12:39:00 GMT

摘要: 三个概念重蝲,覆盖,和隐藏的区别. 阅读全文

那谁 2006-03-24 20:39 发表评论

那谁 — Wed, 22 Mar 2006 15:41:00 GMT

时常看到�q�样的代�?比如以下�q�两�D�代�?

list<int>::iterator iter1;
list<T>::iterator iter1;

前者没有问题可以顺利的�~�译�q�去�Q�但是后者时�怼�报一个警告，��Z��么呢?
原因如下:
首先,list是一个模板类�Q�在模板实例化以前是无法��定��L��正的�c�d��?也就是说�~�译阶段是无法知道到底是哪个�cȝ��,那么可能出现以下一�U�情况：某个�c�M��恰好有一个静态成员�ؓiterator�Q�此时就会出错了�?br />因此��Z��明确的指��是一个类型而不是一个成员，我们需要在前面加上typename�Q�也��是:

typename list<T>::iterator iter1;

typename在这里用于说明后面紧跟着的字�W�串表示的是一个类型�?img src ="http://www.shnenglu.com/converse/aggbug/4476.html" width = "1" height = "1" />

那谁 2006-03-22 23:41 发表评论

那谁 — Tue, 21 Mar 2006 16:06:00 GMT

#include < iostream >
#include < map >
#include < string >

using namespace std;

int main()
{
    map < string , int > map1;
    map < string , map < string , int > > map2;
    map1[ " test " ] = 2 ;
    map2[ " test1 " ] = map1;

    cout << map2[ " test1 " ][ " test " ] << endl;
     return 0 ;
}

以上代码��单的实现了map�?二维"形式的支�?很简�?不是么？可是我第一�ơ面对这个问题的时候模板套模板的整�p�涂�?记录一个留个念惻I��?img src ="http://www.shnenglu.com/converse/aggbug/4445.html" width = "1" height = "1" />

那谁 2006-03-22 00:06 发表评论

那谁 — Thu, 16 Feb 2006 15:24:00 GMT

在CU�?别�h问到�q�样的一个问�?大致如下:

#include <iostream>
#include <string>
using namespace std;
class base
{
        public:
                virtual void print(){cout<<"base::print()"<<endl;}
                //virtual ~base(){}//增加虚析构函敎ͼ��导致输��Z��一致�?/SPAN>
};
class derived :public base
{
        public:
                virtual void print(){cout<<"devrived::print()"<<endl;}
};
int main(int argc, char *argv[])
{
        base* p1=&derived();
        p1->print();

        derived d;
        base* p2=&d;
        p2->print();

        return 0;
}

加入虚拟析构函数后，输出为：
base::print()
devrived::print()
不加入虚拟析构函敎ͼ�输出则�ؓ�Q?BR>devrived::print()
devrived::print()

我的解释如下:
实际�?�W�一个赋值指向的是一个��时对�?加入与没有加入虚拟析构函数的区别在于:加入之后,在derived�c�M��会合成一个析构函��C��便调用base的虚拟析构函�?如果没有加入的话那么��׃��会合成这个析构函�?所有的资源在main函数�l�束之后才回�?

因此,对于代码: base* p1=&derived();
没有加入虚拟析构函数的时候因为derived()函数生成的��时对象没有被销�?因此对它的调用是对derived的调�?当加入虚拟析构函��C��?derived()函数生成的��时对象在以上的赋值完成之后就会调用析构函数进行析�?�q�个时候再�ơ对p1调用print函数�?因�ؓ临时对象已经析构,那么�q�个调用��是对base的调用了.

我做了一个实验的代码,加了一些东�?大家看看~~

#include <iostream>
#include <string>
using namespace std;
class base
{
        public:
                virtual void print(){cout<<"base::print()"<<endl;}
                virtual ~base(){cout << "~base()\n";}//增加虚析构函敎ͼ��导致输��Z��一致�?/SPAN>
};
class derived :public base
{
        public:
                virtual void print(){cout<<"devrived::print()"<<endl;}
                //virtual ~derived(){cout << "~derived()\n";}//增加虚析构函敎ͼ��导致输��Z��一致�?/SPAN>
};

int main(int argc, char *argv[])
{
        derived *t = &derived();
        base* p1 = t;
        p1->print();

        derived d;
        base* p2=&d;
        p2->print();

        // �W�一部分相当于以下的代码
        // 用temp模拟临时对象
        derived temp;
        derived *s = &temp;
        base *p3 = s;
        // �q�次调用是对derived的函数调�?/SPAN>
        p3->print();
        // 昑ּ�地对temp�q�行析构
        temp.base::~base();
        // 析构完后,同样的一个内�?却是用base指针去解�?
        // 因此调用的是base的函�?/SPAN>
        p3->print();

        return 0;
}

那谁 2006-02-16 23:24 发表评论

探烦C++的秘密之一详解extern "C"

那谁 — Sat, 14 Jan 2006 15:52:00 GMT

时常在cpp的代码之中看到这��L��代码:

#ifdef __cplusplus
extern "C" {
#endif

//一�D�代�?/SPAN>

#ifdef __cplusplus
}
#endif

�q�样的代码到底是什么意思呢?首先,__cplusplus是cpp中的自定义宏,那么定义了这个宏的话表示�q�是一�D�cpp的代�?也就是说,上面的代码的含义�?如果�q�是一�D�cpp的代�?那么加入extern "C"{和}处理其中的代�?

要明白�ؓ何��用extern "C",�q�得从cpp中对函数的重载处理开始说�?在c++�?��Z��支持重蝲机制,在编译生成的汇编码中,要对函数的名字进行一些处�?加入比如函数的返回类型等�{?而在C�?只是��单的函数名字而已,不会加入其他的信�?也就是说:C++和C对��生的函数名字的处理是不一��L��.

比如下面的一�D늮�单的函数,我们看看加入和不加入extern "C"产生的汇�~�代码都有哪些变�?

int f(void)
{
return 1;
}

在加入extern "C"的时候��生的汇编代码�?

    .file    "test.cxx"
    .text
    .align 2
.globl _f
    .def    _f;    .scl    2;    .type    32;    .endef
_f:
    pushl    %ebp
    movl    %esp, %ebp
    movl    $1, %eax
    popl    %ebp
    ret

但是不加入了extern "C"之后

.file "test.cxx"
.text
.align 2
.globl __Z1fv
.def __Z1fv; .scl 2; .type 32; .endef
__Z1fv:
pushl %ebp
movl %esp, %ebp
movl $1, %eax
popl %ebp
ret

两段汇编代码同样都是使用gcc -S命��o产生�?所有的地方都是一��L��,
唯独是��生的函数�?一个是_f,一个是__Z1fv.

OK,明白了加入与不加入extern "C"之后对函数名�U�C�生的影响,我们�l�箋我们的讨�?��Z��么需要��用extern "C"�?
C++之父在设计C++之时,考虑到当时已�l�存在了大量的C代码,��Z��支持原来的C代码和已�l�写好C�?需要在C++中尽可能的支持C,而extern "C"��是其中的一个策�?

试想�q�样的情�?一个库文�g已经用C写好了而且�q�行得很良好,�q�个时候我们需要��用这个库文�g,但是我们需要��用C++来写�q�个新的代码.如果�q�个代码使用的是C++的方式链接这个C库文件的�?那么��׃��出现链接错误.我们来看一�D�代�?首先,我们使用C的处理方式来写一个函�?也就是说假设�q�个函数当时是用C写成�?

//f1.c
extern "C"
{
void f1()
{
return;
}
}

�~�译命��o�?gcc -c f1.c -o f1.o 产生了一个叫f1.o的库文�g.
再写一�D�代码调用这个f1函数:

// test.cxx
//�q�个extern表示f1函数在别的地方定�?�q�样可以通过
//�~�译,但是链接的时候还是需�?BR>//链接上原来的库文�?
extern void f1();

int main()
{
f1();

return 0;
}

通过gcc -c test.cxx -o test.o 产生一个叫test.o的文�?
然后,我们使用gcc test.o f1.o来链接两个文�?可是出错�?错误的提�C�是:
test.o(.text + 0x1f):test.cxx: undefine reference to 'f1()'
也就是说,在编译test.cxx的时候编译器是��用C++的方式来处理f1()函数�?但是实际上链接的库文件却是用C的方式来处理函数�?所以就会出现链接过不去的错�?因�ؓ链接器找不到函数.
因此,��Z��在C++代码中调用用C写成的库文�g,��需要用extern "C"来告诉编译器:�q�是一个用C写成的库文�g,��L��C的方式来链接它们.
比如,现在我们有了一个C库文�?它的头文件是f.h,产生的lib文�g是f.lib,那么我们如果要在C++中��用这个库文�g,我们需要这样写:

extern "C"
{
#include "f.h"
}

回到上面的问�?如果要改正链接错�?我们需要这样子改写test.cxx:

extern "C"
{
extern void f1();
}

int main()
{
f1();

return 0;
}

重新�~�译�q�且链接��可以过��M��.

�ȝ��:C和C++对函数的处理方式是不同的.extern "C"是��C++能够调用C写作的库文�g的一个手�D?如果要对�~�译器提�C�Z��用C的方式来处理函数的话,那么��p��使用extern "C"来说�?

那谁 2006-01-14 23:52 发表评论