C++ 之 const 修饰符用法 详解!

时间:2022-05-14 21:08:00
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 的正确性仅仅是类型信息的另一种形式,是把程序员头脑里的正确信息语言化。