c++函数学习-关于c++函数的林林总总

柔情只为你懂 2022-07-12 11:39 180阅读 0赞

本文是我在学习c++过程中的一些思考和总结，主要是c++中关于函数的林林总总。欢迎大家批评和指正，共同学习。

os version: ubuntu 12.04 LTS gcc version: gcc 4.6.3 文中以 $ 开头语句表示 shell command

0.this 指针

我觉得首先得讲明白这个东东，让大家明白c++中函数与c语言中函数的区别  
什么是 this 指针？ 这里我直接选自 ISO c++ 中关于 this 定义(注:我会大量援引ISO c++,相信大家应该都看得懂,哈哈)

In the body of a non-static member function, the this is a prvalue expression whose value is a address of the object for which the function is called.

这个定义里面，我们需要注意两点:  
(1) 只有类中的 non-static member function 才有隐含的 this 指针，这样 类中的 static 函数、不属于类的全局函数 都没有 this 指针

(2) this 是常指针，一直指向调用该函数的类对象，其指向(地址值)不可更改，即 Widget\* const this

![复制代码][copycode.gif]

class Widget { public: int fun() { return a + b; } private: int a; int b; };

![复制代码][copycode.gif]

c++编译器会将 member function 转化为对等 non-member function  
a.改写函数原型，安插额外的隐含参数到 member function,用以提供一个存储通道，使得该类的所有对象都可以调用该函数

int Widget::fun(Widget* const this)

b.将每一个 non-static data member 的存取操作改写成 经由 this 指针来存取

int Widget::fun(Widget* const this) { return this->a + this->b; }

注:只有属于类并且 non-static 的 data member 才由 this 指针来存取，如果这样：int fun(int x, int y) \{ return x + y; \}, 则会如下改写:

int Widget::fun(Widget* const this, int x, int y) { return x + y; }

c.将 member function 重新写成一个外部函数，对函数进行 "name mangling"处理，使它在程序中成为独一无二的词汇  
注: name mangling 确保每一个符号都有唯一的名字，函数重载部分我会详细讲讲这个  
我们对示例代码 cpp\_function.cc :

$ g++ cpp_function.cc -o cpp_function.o -W -g -c -std=c++0x

我们对生成的 cpp\_function.o:

$ nm cpp_function.o | grep -E fun

可以将 "name mangling"视为编码过程，当然有对应的解码过程"demangling"

$ c++filt _ZN6Widget3funEv

![01203858-de88a36e3aee4a9980d1ff915d152486.png][]

d.现在假如我们调用 fun 函数:  
成员调用符:widget.fun(); 实际上是: fun(&widget);  
指针调用: pwidget->fun(); 实际上是: fun(pwidget);

知识小结：

0.1 任何一个non-static data member 都是且只能通过this指针存取的

0.2 编译器在每个 non-static 的 member function的第一个参数都安插一个隐藏this指针参数

0.3 调用 non-static non-virtual 的 member function：

// non-virtual function 调用不需要通过this寻址，而是通过编译器的符号表
      widget.fun()   ==>  Widget_3fun(&widget);  //编译器安插一个this指针
      pwidget->fun() ==>  Widget_3fun(pwidget);  //编译器安插一个this指针

0.4 调用 virtual member function：

// virtual function 调用首先需要通过this指针、vptr虚表指针寻址
      widget.vfun()   ==>  (*(widget.vptr[1])) (&widget) //&widget为this指针,1为vfun虚表下标
      pwidget->vfun() ==>  (*(pwidget->vptr[1])) (pwidget)

0.5 调用 static member function：

static member function 无 额外安插的this指针，因此：
       a.不能存取 non-static data member (这些data必须通过this指针存取)
       b.不能为 virtual function (virtual function都是有 this 有vptr的)
       c.不能为 const member function(const member function 都是 const Widget* const this)
       widget.sfun()  ==>  Widget_4fun();  // 无额外安插的this指针
       pwidget.sfun() ==>  Widget_4fun();  // 无额外安插的this指针

好吧，this 指针这部分暂时告一段落吧

1. inline 函数

可能有的同学觉得 inline 函数很简单，其实这里面还是有点门道的  
当函数被声明 inline 函数之后，编译器可能会将其内联展开，无需按照通常的函数调用机制调用 inline 函数  
这里我重点突出了两个字"可能"，难道我将一个函数声明为 inline，编译器敢违背我命令不进行内联展开吗？ 是的，完全可能  
inline 声明对编译器来说只是一个建议，编译器可以选择忽略这个建议

优点: inline 函数可以避免函数调用的开销，令目标码更加高效  
缺点：inline 一个很大的函数将增加目标码大小

究竟哪些函数应该声明 inline？  
Google c++ 编程规范里面: 只将小于10行的函数进行 inline  
(1)编译器隐式地将在类内定义的成员函数当作 inline 函数(注：建议在类定义函数时 显式声明为 inline，喜欢她就要最大声最直白的表达出来，哈哈)  
(2)inline 函数应该在头文件中定义，确保调用函数时所使用的定义是相同的，并且编译器对 inline 函数的定义保持可见  
(3)不要将内含循环语句的函数 inline  
(4)大多数编译器不支持递归函数 inline   
(5)大多数编译器不支持 virtual 函数 inline (因为 virtual 函数意味着 运行时确定调用，而 inline 函数需要编译时内联展开)  
(6)编译器一般不支持 构造函数 和 析构函数 inline (因为这两个函数实际上做的工作比我们想象的多，尤其是涉及到继承时)  
(7)编译器一般不支持 "通过函数指针而进行的调用" 实施 inline   
c++ sort 通过函数对象(将 operator()函数 inline)进行比较 快于 c语言中qsort通过自定义comp函数指针进行比较 (详见Effective STL 第46条)

2. 函数重载

ISO c++: Two delarations in the same scope that declare the same name but with different types are called overloaded

a. 一定要出现在相同作用域  
b. 函数具有相同的名字但是函数原型一定不相同  
什么是函数原型？

函数原型 = 函数名 + 函数参数个数 + 函数参数类型

这里我们可以知道 仅仅靠 函数返回值类型不同 或者 函数参数名称不同 都不能 构成 重载  
我们在第0部分提到过: 编译器通过 "name mangling" 确保每一个符号都有唯一的独一无二的名字

class Widget { public: int fun(int a, int b); int fun(double a, double b); int fun(int a, int b, int c); };

![01203944-636baac8e2ff415a9140587e0dfa5226.png][]

我们由图中可以看到 经过 name mangling 过后，每个符号名字带有:

类名信息、函数名长度、函数名、所有参数的第一个字母缩写

如果我们 添加诸如: int fun(int c, int d); double fun(int a, int b) 都是编译错误

我们再来看看这3组：

![复制代码][copycode.gif]

//第一组
    int fun(int a); int fun(const int a); //第二组
    int fun(int* a); int fun(const int* a); //第3组
    int fun(int& a); int fun(const int& a);

![复制代码][copycode.gif]

![01203959-dca46edae7f2428d9d3354eb13a39cc6.png][]

上图中三次编译分别依次对应于上述三组情况  
我们可以看到：  
第1组编译错误，不能重载  
第2组构成重载，通过符号名字可以大概猜测到: P代表 pointer，K代表 const  
第3组构成重载，通过符号名字可以大概猜测到：R代表 reference， K代表 const

首先我说说 c++中的值语义和对象语义，这部分具体可以详见 http://www.cnblogs.com/solstice/archive/2011/08/16/2141515.html

值语义: 对象的拷贝与原对象无关，两个对象拷贝之后互相分离，彼此无关。c++的内置类型(bool/int/double/char)都是值语义 eg：int a; int b; a = b; //b值赋值给a后，a与b彼此分离

对象语义：对象拷贝之后与原对象并不分离，而是共享同一资源。c++指针、引用、含有各种资源(内存、文件描述符、socket、TCP连接、数据库连接等)的对象 eg：int* a; int* b; b = a;    //b值(地址)赋值给a后，a与b并未分离，而是共同指向同一地址

引用也是如此，作用在引用上的所有操作事实上都是作用在该引用绑定的对象上。其实引用最终是靠指针实现的.

好了，我们再来说这3组  
(1)第一组，根据编译器给出的错误提示，感觉编译器直接把 const 吞了，有没有 const 都一样，好吧，const 在这里好没存在感，哈哈  
第一组参数既不是指针，也不是引用，绝对的值语义对象。现假设传入实参 int b = 1;   
两个函数都发生对实参对象的拷贝，拷贝之后，实参与形参分离，两个函数都是在操作实参的拷贝，而且这个拷贝已经跟实参没有任何联系了  
这样一来，这两个函数对于 实参 来说，具有完全相同的语义，并无本质区别，编译器当然得制止这种行为，不然显得太弱智了...

(2)第二组和第三组的原因其实相同，这里我只解释第2组  
通过上面介绍，我们知道第2组传递的参数具有对象语义. 现假设传入实参 &b  
第一个函数发生如下的实参拷贝: int\* a = &b;  
第二个函数发生如下的实参拷贝: const int\* a = &b;(注：non-const 对象地址可以赋值给 const 指针，隐式转换. 只能 non-const ==> const 反之错误)  
拷贝之后，实参与形参没有分离，而是共同指向同一地址  
但是，这两个函数有不同的语义：  
第一个函数可以通过形参a 更改 实参b的值，比如：\*a = 2; //这时 实参b所指元素变成了2  
第二个函数不能通过形参a 更改 实参b的值，因为 const int\* a(a is a pointer to const int)，a所指元素为 const，不可修改  
这样一来，这两个函数对于 实参 来说，具有不同的语义(一个可以改变实参，另一个不可以)，有本质区别，编译器得允许这种行为.

3. const member function  
为什么我会在将函数重载之后将这个呢？ 哈哈，当然是有因果关系！

class Widget { public: int fun(int a) {...} int fun(int b) const {...} };

当我们写出这样的代码，编译器竟然没有抱怨出错，为什么？ 函数名和参数列表(参数名称和参数个数)都相同，为什么没有违反函数重载规则？？  
编译器处理后的结果:

![01204014-9764423110db4be7bc972db7f591f2e0.png][]

注意 const member function 经过 "name mangling"之后多了一个"K".

首先 我们来看看 const member function 的语义: const member function 不能修改调用该函数的对象  
编译器是怎样保证这种特性的呢？ 答案是 this 指针

第0部分 我们讲到 第一个fun 函数可以改写为:

int Widget::fun(Widget* const this, int a); //this 是常指针

第二个fun 函数因为 const 的原因，改写为：

int Widget::fun(const Widget* const this, int a); // this 是常指针 并且指向 常对象(不可修改)

看到这两个函数改写形式，是不是有点眼熟？ 正是！ 正是第2部分 函数重载中第2组情况，所以这部分我就此打住  
还是多说一句吧：const member function 有两种不同的语义(个人觉得很恶心)，详见 Effective c++ 第3条

4. static function

![复制代码][copycode.gif]

class Widget {
    public:
        int fun1() {...}
        virtual int fun2() {...}
        static int fun2() {...}
    private:
        int m1;
        static int m2;
    };

![复制代码][copycode.gif]

![01204540-27162365553346a091ff2c3e371027a0.png][]

static 成员函数和成员数据都独立于该类的任意对象而存在.不是类对象的组成部分  
static 成员遵循正常的 public/private 访问规则

(1)static member function  
static 成员是类的组成部分但不是任何对象的组成部分，因此，static 成员函数没有 this 指针  
static 函数没有 this 指针，所以 static 函数不能是 const member function 和 virtual function

(2)static member data  
static member data 不属于任何对象，所以不是通过构造函数进行初始化的  
static member data 在类定义体外部定义，且在外部定义时进行初始化(static const int a = 0 可以在类内定义. 真心不喜欢这种打补丁式的特性设计)  
static double ClassName::StaticData = 0.0;

(3)调用规则  
ClassName::StaticFunc(...);  
static function 可以直接使用该类的 static data,不能使用该类的 non-static data(因为所有 non-static data 必须经由 this 指针调用)  
static function 与 non-static function 之间:  
static function 属于类，在该类实例化对象之前已经定义并且分配内存空间，而 static function 必须在类实例化对象之后才定义分配内存空间，故:  
static function 调用 non-static function 是错误的  
non-static function 调用 static function 是正确的

5. virtual function

![复制代码][copycode.gif]

class Base { public: virtual void func() const = 0; }; class Derived : public Base { public: virtual void func() const; }; Base* pBase = new Base; Base* pDerived = new Derived;

![复制代码][copycode.gif]

(1)对象的静态类型:对象在程序中被声明时所采用的类型  
pBase声明为 Base\*，所以 pBase 静态类型为 Base\*(不论真正指向的对象类型)  
pDerived声明为 Base\*，所以 pDerived 静态类型为 Base\*(不论真正指向的对象类型)

(2)对象的动态类型:目前实际所指对象的类型  
pBase真正指向的对象类型为 Base\*，所以 pBase 动态类型为 Base\*  
pDerived真正指向的对象类型为 Derived\*，所以 pDerived 动态类型为 Derived\*

virtual 函数系动态绑定而来，最终调用哪一份函数实现代码，取决于发出调用的那个对象的动态类型

![复制代码][copycode.gif]

class Shape { public: virtual void draw() const = 0; virtual void error(const std::string& msg); int objectID() const; }; class Rectangle : public Shape {...}; class Elllipse  : public Shape {...};

![复制代码][copycode.gif]

成员函数的接口总是被继承，因为 public 继承意味着 is-a，所以对base class 为真的任何事情一定也对其 derived class 为真

我们现在将类的 non-static function 分为三类：

a. pure virtual member function b. non-pure virtual member function c. non-virtual member function

(1) pure virtual member function:  
pure virtual 函数有两个最突出的特性：  
a.必须在所有 Derived class 中重定义该函数  
b.它们在 抽象基类里面通常没有定义

声明一个 pure virtual 函数是为了让 derived class 只继承 函数接口

(2) non-pure virtual member function：  
non-pure virtual 函数是为了让 derived class 继承 函数接口 和 函数缺省实现  
函数为 non-pure virtual 函数，表明 Base class 可以选择是否为该函数提供一个缺省实现，并且让 Derived class 继承该函数缺省实现  
a. 若 Base class 没有提供缺省实现，Derived class 也没有重定义该函数，当然会编译错误  
b. 若 Base class 没有提供缺省事项，Derived class 重定义了该函数，调用函数的重定义版本  
c. 若 Base class 提供了缺省实现，Derived class 没有重定义该函数，则默认继承该函数的缺省实现  
d. 若 Base class 提供了缺省实现，Derived class 重定义了该函数，则触发c++多态机制，最终调用的函数取决于发出调用的对象的动态类型

(3) non-virtual member function:  
声明 non-virtual 函数是为了让 derived class 继承 函数接口 和 函数强制性实现(注意区别于 函数缺省实现)  
实际上 non-virtual 函数表现出 不变性(所有Derived class 都不能重定义该函数，并且都共享 Base class 的同一份强制性函数实现)

6.To be continue  
最初学c++时，最初的印象就是一个函数貌似有好多的关键词可以修饰, inline、const、static、virtual...  
最大的迷惑就是这些关键词到底谁和谁可以在一起，谁和谁不能在一起?  
慢慢的学习，陆续的理解了这些关键词背后的语义之后，觉得也不过如此  
在这里我根据自己的理解，结合本文最后奉上一幅图

![01204105-f80e63c0b7d4423392563425400b5503.png][]

ps:我没有加入 friend function(这是c++封装与访问机制的妥协物,是一个典型的c++补丁式特性)

写在最后的话:  
每次我看到这幅函数图，我都想仰天长叹，喃喃自语: c++啊，想说爱你不容易...

欢迎大家批评指正，共同学习...

转载请注明出处，原文地址：http://www.cnblogs.com/wwwjieo0/p/3452930.html

[copycode.gif]: /images/20220710/d903a2326c334286a2dd6fe065718626.png
[01203858-de88a36e3aee4a9980d1ff915d152486.png]: /images/20220710/274df968cafb4f47a878553c9a1ca02e.png
[01203944-636baac8e2ff415a9140587e0dfa5226.png]: /images/20220710/c575394efc4c41fb980c0cb91b7cde67.png
[01203959-dca46edae7f2428d9d3354eb13a39cc6.png]: /images/20220710/2f348ee829a240df87ea058a79c29ab3.png
[01204014-9764423110db4be7bc972db7f591f2e0.png]: /images/20220710/72e2375835ae4d46b82c7d0d41232ca4.png
[01204540-27162365553346a091ff2c3e371027a0.png]: /images/20220710/10f26ca0a0c5478d82fd94e9764bbc59.png
[01204105-f80e63c0b7d4423392563425400b5503.png]: /images/20220710/ea6655b9ffb344b0a632b8afc112e310.png