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

2014-11-24 12:10:44 · 作者: · 浏览: 0

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
class Foobar
{};

namespace
{
void abc()
{
wcout<<_T(”abc”)< };
}
static void efg()
{
wcout<<_T(”efg”)< };
int _tmain(int argc, _TCHAR* argv[])
{
Foobarxyz //! ;这一行可以通过
Foobarrst; //! 注意这一行编译不过
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.c