C中经常使用:“ #define 变量名 变量值”定义一个值替代,然而却有个致命缺点:缺少类型检测机制,这样预处理在C++中成为可能引起错误的隐患,因而引入const。
安全
咱们定义的类的成员函数中,经常有一些成员函数不改变类的数据成员,也就是说,这些函数是"只读"函数,而有一些函数要修改类数据成员的值。若是把不改变数据成员的函数都加上const关键字进行标识,显然,可提升程序的可读性。其实,它还能提升程序的可靠性,已定义成const的成员函数,一旦企图修改数据成员的值,则编译器按错误处理。函数
实际上,const成员函数还有另一项做用,即常量对象相关。对于内置的数据类型,咱们能够定义它们的常量,用户自定义的类也同样,能够定义它们的常量对象。例如,定义一个整型常量的方法为:this
const int i=1 ;
一样,也能够定义常量对象,假定有一个类classA,定义该类的常量对象的方法为:spa
const classA a(2);
这里,a是类classA的一个const对象,"2"传给它的构造函数参数。const对象的数据成员在对象寿命期内不能改变。指针
可是,如何保证该类的数据成员不被改变呢?code
为了确保const对象的数据成员不会被改变,在C++中,const对象只能调用const成员函数。若是一个成员函数实际上没有对数据成员做任何形式的修改,可是它没有被const关键字限定的,也不能被常量对象调用。下面经过一个例子来讲明这个问题:对象
class C { int X; public: int GetX() { return X; } void SetX(int X) { this->X = X; } }; void main() { const C constC; cout< }
若是咱们编译上面的程序代码,编译器会出现错误提示:constC是个常量对象,它只能调用const成员函数。虽然GetX( )函数实际上并无改变数据成员X,因为没有const关键字限定,因此仍旧不能被constC对象调用。若是咱们将上述代码中:内存
int GetX()
改写成:原型
int GetX()const
再从新编译,就没有问题了。编译器
const成员函数的使用
const成员函数表示该成员函数只能读类数据成员,而不能修改类成员数据。定义const成员函数时,把const关键字放在函数的参数表和函数体之间。有人可能会问:为何不将const放在函数声明前呢?由于这样作意味着函数的返回值是常量,意义彻底不一样。下面是定义const成员函数的一个实例:
class X { int i; public: int f() const; };
关键字const必须用一样的方式重复出如今函数实现里,不然编译器会把它当作一个不一样的函数:
int X::f() const { return i; }
若是f( )试图用任何方式改变i或调用另外一个非const成员函数,编译器将给出错误信息。任何不修改为员数据的函数都应该声明为const函数,这样有助于提升程序的可读性和可靠性。
a、用于指针的两种状况:const是一个左结合的类型修饰符。
int const *A; //A可变,*A不可变 int *const A; //A不可变,*A可变
b、限定函数的传递值参数。
void function(const int Var); //传递过来的参数在函数内不能够改变.
c、限定函数返回值型。
const int function(); //此时const无心义 const myclassname function(); //函数返回自定义类型myclassname.
d、限定函数类型。
void function()const; //常成员函数, Const成员函数不能改变对象的成员函数。
例如:
int Point::GetY() { return yVal; }
这个函数被调用时,不改变Point对象,而下面的函数改变Point对象:
void Point:: SetPt (int x, int y) { xVal=x; yVal=y; }
为了使成员函数的意义更加清楚,咱们可在不改变对象的成员函数的函数原型中加上const说明:
class Point { public: int GetX() const; int GetY() const; void SetPt (int, int); void OffsetPt (int, int); private: int xVal, yVal; };
const成员函数应该在函数原型说明和函数定义中都增长const限定:
int Point::GetY() const { return yVal; } class Set { public: Set (void){ card = 0; } bool Member(const int) const; void AddElem(const int); //... }; bool Set::Member (const int elem) const { //... }
很是量成员函数不能被常量成员对象调用,由于它可能企图修改常量的数据成员:
const Set s; s.AddElem(10); // 非法: AddElem不是常量成员函数 s.Member(10); // 正确
但构造函数和析构函数对这个规则例外,它们从不定义为常量成员,但可被常量对象调用(被自动调用)。它们也能给常量的数据成员赋值,除非数据成员自己是常量。
a、const与指针
先来看看下面的几种定义:
int me; const int * p1=&me;//p1可变,*p1不可变,可是不能用*p1来修改,p1能够转向 int * const p2=&me;//p2不可变,*p2可变,此时容许*p2来修改其值,可是p2不能转向。 const int *const p3=&me;//p3不可变,*p3也不可变,此时既不能用*p3来修改其值,也不能转向 第一个const的意思是对p1来说它指向的就是const常量,虽然me不是,可是对p1来讲就是。
b、指针和引用的的区别很简单,就是引用更简洁,更安全。由于引用声明是必须初始化。 引用更接近const指针,一旦与某个变量关联,就将一直效忠于他。
c、const指针能够接受const和非const地址,可是非const指针只能接受非const地址。因此const指针的能力更强一些,因此尽可能多用const指针,这是一种习惯。
define宏是在预处理阶段展开。
const常量是编译运行阶段使用。
define宏常量没有数据类型,不作任何类型安全检查,仅仅是展开,在字符替换可能会产生意料不到的错误(边际效应)。
const常量有具体的数据类型,在编译阶段会执行类型检查。
define宏仅仅是展开,有多少地方使用,就展开多少次,不会分配内存。
const常量会在内存中分配(能够是堆中也能够是栈中)。
例如:
#define PI 3.14159 //常量宏 const doulbe Pi=3.14159; //此时并未将Pi放入ROM中 ...... double i=Pi; //此时为Pi分配内存,之后再也不分配! double I=PI; //编译期间进行宏替换,分配内存 double j=Pi; //没有内存分配 double J=PI; //再进行宏替换,又一次分配内存!
const定义常量从汇编的角度来看,只是给出了对应的内存地址,而不是象#define同样给出的是当即数,由于const变量是存放在内存的静态区域中,因此const定义的常量在程序运行过程当中只有一份拷贝,而 #define定义的常量在内存中有若干个拷贝。
编译器一般不为普通const常量分配存储空间,而是将它们保存在符号表中,这使得它成为一个编译期间的常量,没有了存储与读内存的操做,使得它的效率也很高。
在C++ 程序中只使用const常量而不使用宏常量,即const常量彻底取代宏常量。
规则一:须要对外公开的常量放在头文件中,不须要对外公开的常量放在定义文件的头部。为便于管理,能够把不一样模块的常量集中存放在一个公共的头文件中。
规则二:若是某一常量与其它常量密切相关,应在定义中包含这种关系,而不该给出一些孤立的值。
例如:
const float RADIUS = 100; const float DIAMETER = RADIUS * 2;
有时咱们但愿某些常量只在类中有效。因为#define定义的宏常量是全局的,不能达到目的,因而想固然地以为应该用const修饰数据成员来实现。
const数据成员的确是存在的,但其含义却不是咱们所指望的。const数据成员只在某个对象生存期内是常量,而对于整个类而言倒是可变的,由于类能够建立多个对象,不一样的对象其const数据成员的值能够不一样。
不能在类声明中初始化const数据成员。如下用法是错误的,由于类的对象未被建立时,编译器不知道SIZE的值是什么。
class A {… const int SIZE = 100; // 错误,企图在类声明中初始化const数据成员 int array[SIZE]; // 错误,未知的SIZE };
const数据成员的初始化只能在类构造函数的初始化表中进行,例如
class A {… A(int size); // 构造函数 const int SIZE ; }; A::A(int size) : SIZE(size) // 构造函数的初始化表 { … } A a(100); // 对象 a 的SIZE值为100 A b(200); // 对象 b 的SIZE值为200
怎样才能创建在整个类中都恒定的常量呢?别期望const数据成员了,应该用类中的枚举常量来实现。例如:
class A {… enum { SIZE1 = 100, SIZE2 = 200}; // 枚举常量,sizeof(EM) = 4 int array1[SIZE1]; int array2[SIZE2]; };
枚举常量不会占用对象的存储空间,它们在编译时被所有求值。枚举常量的缺点是:它的隐含数据类型是整数,其最大值有限,且不能表示浮点数(如PI=3.14159)。sizeof(A) = 1200;其中枚举部长空间。