C++

C++复习笔记(之三)-extern用法总结

2018-09-25  本文已影响6人  芒鞋儿

extern用法总结

基本使用

对变量而言,变量的声明有两种情况: 一种是需要建立存储空间的,不用加extern;2、另一种是不需要建立存储空间,需要加extern 。如果你想在本源文件中使用另一个源文件的变量,就需要在使用前用extern声明该变量,或者在头文件中用extern声明该变量;

对函数而言,如果你想在本源文件中使用另一个源文件的函数,就需要在使用前用声明该函数,声明函数加不加extern都没关系,所以在头文件中函数可以不用加extern。

extern "C"的用法
链接指示符extern C
如果程序员希望调用其他程序设计语言尤其是C 写的函数,那么调用函数时必须告诉编译器使用不同的要求,例如当这样的函数被调用时函数名或参数排列的顺序可能
不同,无论是C++函数调用它还是用其他语言写的函数调用它,程序员用链接指示符linkage directive 告诉编译器该函数是用其他的程序设计语言编写的,链接指示符有两种形式既可以是单一语句single statement 形式也可以是复合语句compound statement 形式。

// 单一语句形式的链接指示符
extern "C" void exit(int);
// 复合语句形式的链接指示符
extern "C" {
int printf( const char* ... );
int scanf( const char* ... );
}
// 复合语句形式的链接指示符
extern "C" {
#include <cmath>
}
int main()
{
// 错误: 链接指示符不能出现在函数内
extern "C" double sqrt( double );
305 第七章函数
double getValue(); //ok
double result = sqrt ( getValue() );
//...
return 0;
}

如果把链接指示符移到函数体外程序编译将无错误

extern "C" double sqrt( double );
int main()
{
double getValue(); //ok
double result = sqrt ( getValue() );
//...
return 0;
}

但是把链接指示符放在头文件中更合适在那里函数声明描述了函数的接口所属,如果我们希望C++函数能够为C 程序所用又该怎么办呢我们也可以使用extern "C"链接指示符来使C++函数为C 程序可用

实践中的例子

比如说你用C 开发了一个DLL 库,为了能够让C ++语言也能够调用你的DLL 输出(Export) 的函数,你需要用extern "C" 来强制编译器不要修改你的函数名。

通常,在C 语言的头文件中经常可以看到类似下面这种形式的代码:

#ifdef __cplusplus  
extern "C" {  
#endif  
  
/**** some declaration or so *****/  
  
#ifdef __cplusplus  
}  
#endif

现在要写一个c语言的模块,供以后使用,可在头文件中使用上述表述。

拷贝函数总结

对于普通类型的对象来说,它们之间的复制是很简单的,就是赋值。对于类对象,由于存在很多成员变量,需要采用拷贝构造函数。

#include <iostream>  
using namespace std;  
  
class CExample {  
private:  
    int a;  
public:  
    //构造函数  
    CExample(int b)  
    { a = b;}  
      
    //拷贝构造函数  
    CExample(const CExample& C)  
    {  
        a = C.a;  
       cout << "Copy" << endl;
    }  
  
    //一般函数  
    void Show ()  
    {  
        cout<<a<<endl;  
    }  
};  
  
int main()  
{  
    CExample A(100);  
    CExample B = A; // CExample B(A); 也是一样的  
     B.Show ();  
    return 0;  
}   

以上演示了一下拷贝构造函数的例子,其特点是:函数的名称必须和类名称一致,它必须的一个参数是本类型的一个引用变量。

在C++中,下面三种对象需要调用拷贝构造函数!

  1. 对象以值传递的方式传入函数参数
    调用g_Fun()时,会产生以下几个重要步骤:
    (1).test对象传入形参时,会先会产生一个临时变量,就叫 C 吧。
    (2).然后调用拷贝构造函数把test的值给C。 整个这两个步骤有点像:CExample C(test);
    (3).等g_Fun()执行完后, 析构掉 C 对象。
  2. 对象以值传递的方式从函数返回
    当g_Fun()函数执行到return时,会产生以下几个重要步骤:
    (1). 先会产生一个临时变量,就叫XXXX吧。
    (2). 然后调用拷贝构造函数把temp的值给XXXX。整个这两个步骤有点像:CExample XXXX(temp);
    (3). 在函数执行到最后先析构temp局部变量。
    (4). 等g_Fun()执行完后再析构掉XXXX对象。
  3. 对象需要通过另外一个对象进行初始化;
CExample A(100);  
CExample B = A;   
深拷贝和浅拷贝
很多时候在我们都不知道拷贝构造函数的情况下,传递对象给函数参数或者函数返回对象都能很好的进行,这是因为编译器会给我们自动产生一个拷贝构造函数,这就是“默认拷贝构造函数”,这个构造函数很简单,仅仅使用“老对象”的数据成员的值对“新对象”的数据成员一一进行赋值,它一般具有以下形式:
Rect::Rect(const Rect& r)  
{  
    width = r.width;  
    height = r.height;  
} 

但是默认拷贝函数不会处理静态变量 只能通过显式定义拷贝函数,例如:

class Rect  
{  
public:  
    Rect()      // 构造函数,计数器加1  
    {  
        count++;  
    }  
    Rect(const Rect& r)   // 拷贝构造函数  
    {  
        width = r.width;  
        height = r.height;  
        count++;          // 计数器加1  
    }  
    ~Rect()     // 析构函数,计数器减1  
    {  
        count--;  
    }  
    static int getCount()   // 返回计数器的值  
    {  
        return count;  
    }  
private:  
    int width;  
    int height;  
    static int count;       // 一静态成员做为计数器  
}; 

以上count是静态变量,如果使用默认拷贝,不会被顺利拷贝过去,需要在拷贝函数中显式定义

浅拷贝:

所谓浅拷贝,就是对对象中的数据成员进行简单的赋值。默认拷贝函数当然是浅拷贝之一。
如果出现有动态成员,浅拷贝就会出错。
以上拷贝函数就是浅拷贝的例子,不赘述。


shallowCopy.gif
深拷贝:

深拷贝的处理,对于动态成员,不仅仅赋值,还要重新动态分配空间

class Rect  
{  
public:  
    Rect()      // 构造函数,p指向堆中分配的一空间  
    {  
        p = new int(100);  
    }  
    Rect(const Rect& r)  
    {  
        width = r.width;  
        height = r.height;  
        p = new int;    // 为新对象重新动态分配空间  
        *p = *(r.p);  
    }  
    ~Rect()     // 析构函数,释放动态分配的空间  
    {  
        if(p != NULL)  
        {  
            delete p;  
        }  
    }  
private:  
    int width;  
    int height;  
    int *p;     // 一指针成员  
}; 
DeepCopy.gif
关于拷贝函数的几个注意点:
  1. 拷贝构造函数里能调用private成员变量吗?
    解答:我们就知道拷贝构造函数其时就是一个特殊的构造函数,操作的还是自己类的成员变量,所以不受private的限制。

  2. 以下函数哪个是拷贝构造函数,为什么?

X::X(const X&);      
X::X(X);      
X::X(X&, int a=1);      
X::X(X&, int a=1, int b=2);  

解答:对于一个类X,如果构造函数的第一个参数是以下之一:

a) X&
b) const X&
c) volatile X&
d) const volatile X&
且没有其他参数或其他参数都有默认值,那么这个函数是拷贝构造函数.

因此以上除了第二个,其他都是。

上一篇下一篇

猜你喜欢

热点阅读