当前位置:编程学习 > C/C++ >>

C++ 关于声明,定义,类的定义,头文件作用,防止头文件在同一个编译单元重复引用,不具名空间

1.  编译单元,一个.cc,或.cpp作为一个编译单元.生成.o

    2.  普通数据类型的定义,声明,函数的定义声明(类函数是一样的)

extern int x; //变量是声明,并未实际分配地址,未产生实际目标代码
      void print(); // 函数声明,  未产生实际目标代码

      如int x; int x = 3 ; void print() {}; //均为定义产生了实际目标代码。

声明不产生实际的目标代码,它的作用是告诉编译器,OK,我在该编译单元后面,或者其它编译单元会有这个x变量,print函数的定义。否则编译器如果发现程序用到x,print,而前面没有声明会报错。如果有声明,而没有定义,那么链接的时候会报错未定义。
比较常见的是我在source.cc中调用print(),而head.h中声明print(),而source.cc 中include
       head.h从而就有了print的声明,可以通过编译,但是如果在所有编译单元中没有print函数的定义,那么链

       接的时候source.o单元就会出错,因为它试图用print函数但是找不到print的定义。

        //head.h

       void pirnt();

       //source.cc

       void foo() {

            print();

       }

由于声明不产生实际代码,所以可以有多个重复声明的存在。
       //source1.cc

       extern int x;

       //source2.cc

       extern int x;

      甚至同一个编译单元也可以有多各个重复声明

      //source1.cc

      extern int x;

      extern int x;

      而普通变量定义,函数定义是不允许的。

3. 同一编译单元内部的重名符号在编译期就被阻止了,而不同编译单元之间的重名符号要到链接器才会被发

     现。

     如果你在一个 source1.cc中

     //source1.cc

     int x;

     int x;

     出现两次 int x; int x;即两个x的定义,会编译报错,x重复定义。

     如果你的

     //source1.cc

     int x;

     //source2.cc

     int x;

     g++ –o test source1.cc source2.cc

     那么编译过程不会出错,在链接过程,由于目标代码中有两个全局域的x,会链接出错,x重定义。

     不同的编程人员可能会写不同的模块,那么很容易出现这种情况,如何避免呢,namespace可以避免重名。

     google 编程规范鼓励使用不具名空间

     //source1.cc

     namespace {

     int x;

     }

     //source2.cc

     namespace {

     int x;

     }

     OK,现在不会链接出错了因为两个x不重名了,当然对于这个简单的例子只在source1.cc中用不具名命名空间就可

     避免链接出差了。

  //注

     //source1.cc

     namespace {

     int x;

     }

    //source1.cc

    static int x;

   有什么区别呢,看上去效果一样,区别在于不具名空间的x仍然具有外链接,但是由于它是不具名的,所以别的单元没办法链接到,如果

   namespace haha{

   int x;

   } 

   则在别的单元可以用haha::x访问到它,static 则因为是内部链接特性,所以无法链接到。

 

C++ 中 static 和 anonymouse namespace 的差别
2009-01-02 14:54  |  分类:桌面应用开发
记得以前一个同事问我为什么程序里使用了 anonymouse namespace ,想了想 就回答说其实就是保持局部性(这也是我的目的),然后就有人说为什么不用static,嗯 似乎这两个东西乍一看没什么区别,自己便Google了一下,发现有一个原因就是 anonymousenamespace 里的 member 都是有外部链接的,只不过永远都不能被外部link到!而 static 就明确为根本没有外部链接!此时就出现问题了,在模板里无类型的参数必须是有外部链接的才可以,否则编译无法通;比如:
template <void fn()>
class Foobar
{};

namespace
{
void abc()
{
wcout<<_T(”abc”)<<endl;
};
}
static void efg()
{
wcout<<_T(”efg”)<<endl;
};
int _tmain(int argc, _TCHAR* argv[])
{
Foobar<abc>xyz //! ;这一行可以通过
Foobar<efg>rst; //! 注意这一行编译不过
return 0;
}
也有人认为使用 anon namespace比较好,因为static的方式被C++98标准所批评,呵呵 总体来说 ,其实你完全可以用anony namespace代替static。

 

4.  关于头文件。

     //head.h

     int x;

     //source1.cc

     #include “head.h”

     //source2.cc

     #include “head.h”

     头文件不被编译,.cc中的引用 include “ head.h”其实就是在预编译的时候将head.h中的内容插入到.cc中。

     所以上面的例子如果

         g++ –o test source1.cc source2.cc, 同样会链时发现重复定义的全局变量x。

     因此变量定义,包括函数的定义不要写到头文件中,因为头文件很可能要被多个.cc引用。

     那么如果我的head.h如下这么写呢,是否防止了x的链接时重定义出错呢?

     //head.h

     #ifndef _HEAD_H_

     #define _HEAD_H_

     int x;

     #endif

     //source1.cc

     #include “head.h”

     //source2.cc

     #include “head.h”

        现在是否g++ –o test source1.cc source2.cc就没有问题了呢,答案是否定的。

      所有的头文件都是应该如上加#ifndef    #endif的,但它的作用是防止头文件在同一编译单元被重复引用。

      就是说防止可能的

     //source1.cc

     #include “head.h”

     #include “head.h”

     这种情况,当然我们不会主动写成上面的形式但是,下面的情况很可能发送

     //source1.cc

     #include “head.h”

     #inlcude “a.h”

     //a.h

     #include “head.h”

     这样就在不经意见产生了同一编译单元的头文件重复引用,于是soruc1.cc 就出现了两个int x;定义。

     但是对于不同的编译单元source1.cc,source2.cc他们都是还会引用head.h的,即使#ifndef #endif的存在。

5. 关于类的声明和定义。

    class A;  //类的声明

    类的声明和普通变量声明一样,不产生目标代码,可以在同一,以及多个编译单元重复声明。

   class A {

   };  //类的定义 www.zzzyk.com

   类的定义就特殊一点了,可能会有疑问,为什么不能把int x;这样的变量定义放到.h中(见4

补充:软件开发 , C++ ,
CopyRight © 2012 站长网 编程知识问答 www.zzzyk.com All Rights Reserved
部份技术文章来自网络,