缺省参数是声明或定义函数时为函数的参数指定一个默认值。在调用该函数时,如果没有指定实参则采用该默认值,否则使用指定的实参。
void TestFunc(int a = 0)
{
cout << a << endl;
}
int main()
{
TestFunc(); // 没有传参时,使用参数的默认值
TestFunc(10); // 传参时,使用指定的实参
}
注意:
- 半缺省参数必须从右往左依次来连续给出,不能空着给。
- 缺省参数不能在函数声明和定义中同时出现。
- 缺省值必须是常量或者全局变量。
- C语言不支持(编译器不支持)。
void testFunc2(int a = 10, int b = 20, int c = 30)
{
cout << "a = " << a << endl;
cout << "b = " << b << endl;
cout << "c = " << c << endl;
}
using namespace std;
int Add(int a, int b, int c = 0, int d = 0, int e = 0)
{
return a + b + c + d + e;
}
由于使用该函数的时候,要从左往右输入参数,若是半缺省参数非从右往左依次来给出,就会出现testFunc3(,2,3);的类似非法情况。而如图上可以进行如testFunc3(1);的输入,b、c均被赋有默认值。
void testFunc1(int a = 0)
{
std::cout << a << std::endl;
}
int main()
{
testFunc1(10);
testFunc2();
testFunc3(1);
return 0;
}
函数重载是函数的一种特殊情况,C++允许在同一作用域中声明几个功能类似的同名函数,这些同名函数的形参列表(参数个数或类型或顺序)必须不同,常用来处理实现功能类似数据类型不同的问题。
#include
using namespace std;
//利用参数类型的不同实现ADD函数的重载
int Add(int x, int y)
{
return x + y;
}
float Add(float x, float y)
{
return x + y;
}
long Add(long x, long y)
{
return x + y;
}
int main()
{
cout << Add(1, 2) << endl;
//小数默认double类型,需要末尾加f,否则无法寻找到重载对象
cout << Add(1.5f, 2.7f) << endl;
cout << Add(10L, 20L) << endl;
return 0;
}
注意:
函数重载不考虑返回值类型的不同
(若是参数相同,返回值不同则不构成函数重载。)
int Add(int x, int y)
{
return x + y;
}
float Add(float x, float y)
{
return x + y;
}
long Add(long x, long y)
{
return x + y;
}
int Add(int a, int b)
{
return a + b;
}
int Add(int a, int b, int c)
{
return a + b + c;
}
float func(int a, float b)
{
return b;
}
float func(float a, int b)
{
return a;
}
int Add(int a, int b, int c = 0)
{
return a + b + c;
}
int Add(int a, int b)
{
return a + b;
}
如以上情况,若输入func(2, 3)则会出现有多个重载函数 "func" 实例与参数列表匹配。
与c语言不同,c++支持函数重载,其原理是C++通过函数修饰规则来区分,只要参数不同,修饰出来的名字就不一样,就支持了重载。
在编译的汇编阶段中, 汇编代码会转换为符号表,在此阶段c与c++的表现不同。
通过这里就理解了C语言没办法支持重载,因为同名函数没办法区分。而C++是通过函数修饰规则来区分,只要参数不同,修饰出来的名字就不一样,就支持了重载。
C++工程中可能需要将某些函数按照C的风格来编译,在函数前加extern “C”,意思是告诉编译器,将该函数按照C语言规则来编译,所以这个函数不能进行重载。
extern "C" int Add(int a, int b);
int main()
{
Add(1, 2);
return 0;
}
引用不是新定义一个对象,而是给对象取了一个别名,将一个已经存在的对象通过引用来访问,编译器不会为引用对象开辟内存空间,它和它引用的变量共用同一块内存空间。
int x = 10;
//a指向x,a是x的另一个名字
//引用与其初始值一直绑定
int& a = x;
注意:
虽然引用和指针都可以用于访问变量,但它们之间存在很多不同之处。指针是一个对象,它存储一个变量的地址,可以进行指针运算和空指针检查,而引用则没有这些功能。此外,指针可以被重新分配和释放,而引用不能。
需要注意的是,在某些情况下,编译器可能会将引用实现为指针。但这只是编译器的实现细节,不应该将引用视为指针或常量指针。
- 引用在定义时必须初始化,且与初始化对象一直绑定,再不能绑定其他对象。
- 一个对象可以有多个引用。
- 除了两种例外情况(后续补充),引用类型与绑定对象,必须严格匹配。
例外情况:
- 常引用
- 类型转换和继承
常引用可以绑定到临时对象,但不是所有常引用都是绑定到临时对象。
void TestConstRef()
{
const int a = 10;
//int& ra = a; // 该语句编译时会出错,a为常量,而且a为不可以修改
const int& ra = a; // 绑定常变量a
// int& b = 10; // 该语句编译时会出错,b为常量
const int& b = 10;
double d = 12.34;
//int& rd = d; // 该语句编译时会出错,类型不同
const int& rd = d; // 该语句常引用会绑定临时对象
}
绑定到临时对象的情况:
1. 字面量
const int& rb = 15;
//编译器会给常量15开辟一片内存,并将引用名作为这片内存的别名
2.隐式类型转换
int c=10;
double d=1.11;
const double& rc=c;
直接对原参数本体进行操作,而非进行对原参数的副本进行操作。
void Swap(int& a, int& b)
{
if (a == b) return;
a ^= b;
b ^= a;
a ^= b;
}
int& Add(int a, int b)
{
int c = a + b;
return c;
}
int main()
{
int& ret = Add(1, 2);
Add(3, 4);
cout << "Add(1, 2) is :" << ret << endl;
return 0;
}
在这里返回了函数的局部变量或临时变量c的地址。出现了在某些情况下,编译器可能会将引用实现为指针的情况。
在语法概念上引用就是一个别名,没有独立空间,和其引用实体共用同一块空间,在底层实现上实际是有空间的,因为引用是按照指针方式来实现的。