重载函数有如下约束
@ 该组重载函数中任何两个都必须有不同的参量表。
@ 具有相同类型参量表、仅在返回值类型上不同的重载函数会引起错误。
@ 成员函数的重载不能仅基于一个说明为静态的,另一个说明为非静态的。
@ typedef说明并未定义新的类型,它们仅为已存在的类型引入了一个同义词。它们不能影响重载机制。
@ 枚举类型是一些可区分的类型,故可以区分重载函数。
@ 从区分重载函数的意义上说,类型“数组”和“指针”是相同的。对于一维数组来说是正确的。
运算符重载有如下的约束
@ 运算符要遵守它们同内部类型一起使用所指定的优先原则、分组及操作数的个数。
@ 单目运算符说明为成员函数不带参量;如果说明为全局函数,要带一个参量。双目运算符说明为成员函数只带一个参量;如果说明为全局函数,要带两个参量。
@ 所有的重载运算符除了赋值(operator=)外均可被派生类继承。
@ 重载运算符的成员函数的第一个参量总是激活该运算符的对象的类类型参量(运算符被定义的类,或者定义了运算符的类的派生类)。对于第一个参量也不支持转换。
具体内容：
单目运算符函数
ret-type operator op() //成员,使用类型的内部成员
ret-type operator op(arg) //全局，参数为对其操作的类型的变量
双目运算符函数
ret-type oprator op(arg) //arg可以为任意类型的变量
ret-type operator op(arg1, arg2)
//全局，arg1和arg2是参量。至少其中之一必须是操作类类型。
注意:对于双目运算符的返回类型没有限制;然而大多数用户自定义型双目运算符返回类类型或类类型的引用。
参考：
C++运算符重载转换运算符
C++运算符重载赋值运算符
构造函数、析构函数与赋值函数是每个类最基本的函数。每个类只有一个析构函数，但可以有多个构造函数（包含一个拷贝构造函数，其它的称为普通构造函数）和
多个赋值函数（除了同类的赋值以外，还有其他的赋值方法）。对于任意一个类A，如果不想编写上述函数，C++编译器将自动为A产生四个缺省的函数，如
A(void);
// 缺省的无参数构造函数
A(const A &a); // 缺省的拷贝构造函数
~A(void); // 缺省的析构函数
A & operate =(const A &a); // 缺省的赋值函数
有几个需要注意的内容：
@ 构造函数与析构函数的另一个特别之处是没有返回值类型
@ 构造从类层次的最顶层的基类开始，在每一层中，首先调用基类的构造函数，然后调用成员对象的构造函数。析构则严格按照与构造相反的次序执行，在析构的时候，最低层的派生类的析构函数最开始被调用，然后调用每个基类的析构函数。
@ “缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝”而非“值拷贝”的方式来实现，倘若类中含有指针变量，这两个函数注定将出错
下面通过例子进一步说明，
1.构造函数的初始化表
设存在两个类：
class A
{
…
A(void); // 无参数构造函数
A(const A &other); // 拷贝构造函数
A & operate =( const A &other); // 赋值函数
virtual ~A(void); //析构函数
}；
class B
{
public:
B(const A &a); // B的构造函数
private:
A m_a; // 成员对象
};
下面面是B的构造函数的2个实现，其中第一个的类B的构造函数在其初始化表里调用了类A的拷贝构造函数，从而将成员对象m_a初始化；而第二个的B的构造
函数在函数体内用赋值的方式将成员对象m_a初始化。我们看到的只是一条赋值语句，但实际上B的构造函数干了两件事：先暗地里创建m_a对象（调用了A的
无参数构造函数），再调用类A的赋值函数，将参数a赋给m_a。
B::B(const A &a)
: m_a(a)
{
…
}
B::B(const A &a)
{
m_a = a;
…
}
2.拷贝函数和构造函数的区别
拷贝构造函数是在对象被创建时调用的，而赋值函数只能被已经存在了的对象调用。
String a(“hello”);
String b(“world”);
String c = a; // 调用了拷贝构造函数，最好写成 c(a);
c = b; // 调用了赋值函数
本例中第三个语句的风格较差，宜改写成String c(a) 以区别于第四个语句。
如果我们实在不想编写拷贝构造函数和赋值函数，又不允许别人使用编译器生成的缺省函数，可以将拷贝构造函数和赋值函数声明为私有函数，不用编写代码。
3.析构函数与虚析构函数
基类的构造函数、析构函数、赋值函数都不能被派生类继承。如果类之间存在继承关系，在编写上述基本函数时应注意以下事项：
@ 派生类的构造函数应在其初始化表里调用基类的构造函数
@ 基类与派生类的析构函数应该为虚（即加virtual关键字）
#include <iostream>
class Base
{
public:
virtual ~Base() { cout<< "~Base" << endl ; }
};
class Derived : public Base
{
public:
virtual ~Derived() { cout<< "~Derived" << endl ; }
};
void main(void)
{
Base * pB = new Derived; // upcast
delete pB;
}
输出结果为：
~Derived
~Base
如果析构函数不为虚，那么输出结果为
~Base
进一步参考：
C++/CLI思辨录之拷贝构造函数C++类对象的复制－拷贝构造函数类的构造函数、析构函数与赋值函数
析构函数的工作方式是：最底层的派生类（most derived
class）的析构函数最先被调用，然后调用每一个基类的析构函数。
因为在C++中，当一个派生类对象通过使用一个基类指针删除，而这个基类有一个非虚的析构函数，则结果是未定义的。运行时比较有代表性的后果是对象的派生部分不会被
销毁。然而，基类部分很可能已被销毁，这就导致了一个古怪的“部分析构”对象，这是一个泄漏资源。
排除这个问题非常简单：给基类一个虚析构函数。于是，删除一个派生类对象的时候就有了你所期望的正确行为。将销毁整个对象，包括全部的派生类部分。
但是，一般如果不做基类的类的析构函数一般不声明为虚函数，因为虚函数的实现要求对象携带额外的信息，这些信息用于在运行时确定该对象应该调用哪一个虚函
数。典型情况下，这一信息具有一种被称为 vptr（virtual table pointer，虚函数表指针）的指针的形式。vptr
指向一个被称为 vtbl（virtual table，虚函数表）的函数指针数组，每一个包含虚函数的类都关联到
vtbl。当一个对象调用了虚函数，实际的被调用函数通过下面的步骤确定：找到对象的 vptr 指向的 vtbl，然后在 vtbl
中寻找合适的函数指针。这样子会使类所占用的内存增加。
“指针函数”指返回类型是指针的函数，如
返回类型标识符 *返回名称（形式参数表）
{ 函数体 }
“函数指针”是指向函数的指针变量，“函数指针”本身首先应是指针变量，只不过该指针变量指向函数。这正如用指针变量可指向整型变量、字符
型、数组一样，这里是指向函数，C在编译时，每一个函数都有一个入口地址，该入口地址就是函数指针所指向的地址。有了指向函数的指针变量后，可
用该指针变量调用函数，就如同用指针变量可引用其他类型变量一样，在这些概念上一致的。
1.定义函数指针类型：
typedef int (*fun_ptr_t)(int,int);
2.申明变量，赋值:
fun_ptr_t pfunc=fun_definition_name;
3.调用函数
(*pfunc)(int,int);
参考例子：
C/C++中函数指针的含义