C++难点的一些总结

一、 C++成员函数的重载

C++中的成员函数有四种，分别是普通成员函数，virtual虚函数，const成员函数。

(1) void func(int a);

(2) virtual void func(int a);

(3) void func(int a) const;

如果在一个类中，声明这四种函数，哪是重复定义？哪些是重载？

其中(1)(2)是重复定义，故编译不能通过，而(3)与(1)(2)是不同类型的函数，是重载。

【注意：众所周知,C++函数重载时返回值是不参与重载决议的, 也就是说，

int lex_cast(const char*);

double lex_cast(const char*);

这样两个函数在同一个编译单元同一个 namespace 中时, 会编译报错。

】

成员函数被重载的特征是：

(1)具有相同的作用域(即同一个类定义中)；

(2)函数名字相同

(3)参数类型，顺序 或 数目不同(包括const参数和非const函数)

(4)virtual关键字可有可无。

从成员函数的重载特征中，可以知道(1)(2)是重复定义。那么(3)为什么和(1)(2)不同呢？

因为类中的函数，都会自动添加一个自身类指针this，所以

void func(int a) ==== void func(Base * this, int a)

virtual func(int a) ==== virtual func(Base *this, int a)

void func(int a)const === void func(const Base *this, int a) const 【重要】

所以(3)可以与(1)(2)发生重载，因为参数有一个const。

二、inline, static, constructor三种函数都不能带有virtual关键字

（1）．[b]为什么C++不支持构造函数[/b]为虚函数？

这个原因很简单，主要是从语义上考虑，所以不支持。因为构造函数本来就是为了明确初始化对象成员才产生的，然而virtual function主要是为了再不完全了解细节的情况下也能正确处理对象。另外，virtual函数是在不同类型的对象产生不同的动作，现在对象还没有产生，如何使用virtual函数来完成你想完成的动作。（这不就是典型的悖论）

【最简单是因为，类中只有构造、析构和拷贝构造三个函数不能被继承，所以每个类都必须有明确的编译期就确定的上述三个函数，没有的会自动生成。】

（2）．[b]为什么C++不支持内联成员函数[/b]为虚函数？

其实很简单，那内联函数就是为了在代码中直接展开，减少函数调用花费的代价，虚函数是为了在继承后对象能够准确的执行自己的动作，这是不可能统一的。（再说了，inline函数在编译时被展开，虚函数在运行时才能动态的邦定函数）

4．[b]为什么C++不支持静态成员函数为[/b]虚函数？

这也很简单，静态成员函数对于每个类来说只有一份代码，所有的对象都共享这一份代码，他也没有要动态邦定的必要性。【只是因为没有太大必要性所以这样，这条可以死记住。因为实际上是可以实现的，技术上没什么问题，就是为了逻辑性而强制这样规定了。】

5．（补充）[b]为什么C++不支持友元函数为[/b]虚函数？

因为C++不支持友元函数的继承，对于没有继承特性的函数没有虚函数的说法。