•
const
:
常量限定修饰符,它把一个对象转换为常量(
constant
)。
const
对象必须初始化而且是在定义的同时。初始化后的
const
对象(或指针)是不能修改的。
例1:
int i = 0; const int j = 0; // int const j = 0; const int *p; // int const *p ;可改变p但不能改变*p int* const p = &i; //可改变*p但不能改变p const int * const p = &i; // int const * const p = &i; p,*p都不能改变
例二: 为什么错误,为什么正确? 大家自己思考
class Test{ public: const int i; //正确 int & j; //正确 }; int main(){ const int i; //编译错误 error: uninitialized const 'i' int & j; //编译错误 }
关于初始化:
一般情况下:const对象必须初始化而且是在定义的同时。
如果是在类中定义的, 即常数据成员,必须要在初始化列表进行初始化!
class Test{ public: const int i; int & j; Test(int a,int b):i(a),j(b){ } };
•
const
修饰指针:
如果一个变量已被声明为常变量,只能用指向常变量的指针变量指向它。
int main() { const char c[] = "boy"; const char * p1; p1 = c; char * p2 = c; //错误! error: invalid conversion from 'const char*' to 'char*' return 0; }
•
const
修饰成员函数:
const
类对象只能调用
const
成员函数,而
const
成员函数不能修改类的成员变量。
const
成员函数若要修改某成员变量,就必须用
mutable
修饰该成员变量。
class Test{ public: int i; void f() const{ //错误! i++; } };
error: increment of member 'Test::i' in read-only object
例2:
class Test{ public: int i; int get() const{ return i; } void set(int a){ i = a; } }; int main(){ const Test t; // error: uninitialized const 't' }
int main(){ Test t1; const Test t2 = t1; t2.get(); /正确,不能调用 t2.set(); 如果把get()方法的const修饰去掉,此句也是错误! }
•
const
修饰函数参数:若是按值传递参数,不要用
const
修饰,因为这没有作用,而且容易产生误导。按值传递的函数参数最好是改为
const
的引用参数
。
class Test{ public: int i; int get() const{ return i; } void set(const int a){ i = a; a++; // error: increment of read-only parameter 'a' } };
int n; static int _n; void f(int = n);//错误!!! void f2(int = _n);
: error C2648: 'n' : use of member as default parameter requires static member
•
const
修饰函数返回值:当函数返回值不是内部类型时,通常用
const
修饰返回值。因为函数返回值是个
临时对象
,这样有助于编译器检查出调用者试图修改这临时对象。
•
const
的目的是正确性,而且没有运行的开销(编译时完成)。在
C++
里
const
的正确性仅仅是类型信息的另一种形式,是把程序员头脑里的正确信息语言化。