c/c++中const详解

最新推荐文章于 2024-07-05 05:45:00 发布

tyy_ing

最新推荐文章于 2024-07-05 05:45:00 发布

阅读量625

点赞数

一. cons 的作用

(1) 可以定义 const 常量

[cpp] view plain copy print ?

const int Max=100;
int Array[Max];

const int Max=100;

int Array[Max];

(2) 可以保护被修饰的东西，防止意外的修改，增强程序的健壮性

如果在函数体内修改了i，编译器就会报错；

[cpp] view plain copy print ?

void f (const int i)
{
i=10;//error!
}

void f (const int i) 
{ 
    i=10;//error! 
}

(3) 为函数重载提供了一个参考

[c-sharp] view plain copy print ?

class A
{
......
void f(int i) {......} //一个函数
void f(int i) const {......} //上一个函数的重载
......
};

(4) 可以节省空间，避免不必要的内存分配

[c-sharp] view plain copy print ?

#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定义的常量在程序运行过程中只有一份拷贝，而#define定义的常量在内存中有若干个拷贝。

(5) 提高了效率
编译器通常不为普通const常量分配存储空间，而是将它们保存在符号表中，这使得它成为一个编译期间的常量，没有了存储与读内存的操作，使得它的效率也很高。

二. 使用 const
(1) 修饰一般常量，常数组，常对象
修饰符const可以用在类型说明符前，也可以用在类型说明符后。例如：

[cpp] view plain copy print ?

//常量
int const x=2;
const int x=2;
//常数组
int const a[5]={1, 2, 3, 4, 5};
const int a[5]={1, 2, 3, 4, 5};
//常对象
class A;
const A a;
A const a;

//常量
int const x=2;
const int x=2;

//常数组
int const a[5]={1, 2, 3, 4, 5};
const int a[5]={1, 2, 3, 4, 5};

//常对象
class A;
const A a;
A const a;

(2) 修饰指针

[c-sharp] view plain copy print ?

const int *A;
int const *A; //const修饰指向的对象，A可变，A指向的对象不可变
int *const A; //const修饰指针A， A不可变，A指向的对象可变
const int *const A; //指针A和A指向的对象都不可变

<<effective C++>>上有个好记的方法：const在*号左边修饰的是指针所指的内容；const在*号右边修饰的是指针。
简单记就是：左内容，右指针。

也可以这样理解：先忽略类型名，然后看const离哪个近，就修饰谁。

如：const [int] *p; //先去掉int，这时const 修饰*p, p是指针，*p是指针指向的对象，不可变

(3) 修饰引用

[cpp] view plain copy print ?

const double & v; //该引用所引用的对象不能被更新

const double & v; //该引用所引用的对象不能被更新

(4) 修饰函数的返回值

const修饰符也可以修饰函数的返回值，返回值不可被改变，格式如下：

[cpp] view plain copy print ?

const int Fun1();
const MyClass Fun2();

const int Fun1();

const MyClass Fun2();

(5) 修饰类的成员函数
const修饰符也可以修饰类的成员函数，格式如下：

[c-sharp] view plain copy print ?

class ClassName
{
public:
int Fun() const;
.....
}；

这样，在调用函数Fun时就不能修改类里面的数据。

[c-sharp] view plain copy print ?

class A
{
public:
A(int i=0):test(i) {} //初始化列表
private:
const int i

(6) 在另一连接文件中引用const常量

[cpp] view plain copy print ?

extern const int i; //正确的引用
extern const int j=10; //错误！常量不可以被再次赋值

extern const int i;     //正确的引用

extern const int j=10;  //错误！常量不可以被再次赋值

三. 几个要说明的问题
(1) 如何初始化类内部的常量?
方法1：初始化列表：

[cpp] view plain copy print ?

class A
{
public:
A(int num):i(num) //用num来初始化i
{};
private:
const int i;
};

class A
{
public:
	A(int num):i(num) //用num来初始化i
	{};

private:
	const int i;
};

方法2：外部初始化

[c-sharp] view plain copy print ?

class A
{
public:
A() {}
private:
static const int i; //注意必须是静态的
}；
const int A::i=3; //外部初始化

(2) 放在类内部的常量有什么限制？

[cpp] view plain copy print ?

//error
class A
{
public:
A()
{};
private:
const int c1 = 7; //error
static const int c2 = 7; //error
static int c3 = 7; //error
}
//correct
class A
{
public:
A(int num):c1(num)
{};
private:
const int c1;
static const int c2;
static int c3;
}
const int A::c2 = 7; //不要加static
int A::c3 = 7; //不要加statci

//error
class A
{
public:
  A()
  {};

private:
  const int c1 = 7;          //error
  static const int c2 = 7;   //error
  
  static int c3 = 7;         //error
}


//correct
class A
{
public:
  A(int num):c1(num)
  {};

private:
  const int c1;
  static const int c2;
  
  static int c3;
}
const int A::c2 = 7;  //不要加static
int A::c3 = 7;        //不要加statci

这里是三种正确的初始化方法，要注意的是static在外部初始化时，不能再加上static标志。

3) const到底是不是一个重载的参考对象?
先看一个例子：

[c-sharp] view plain copy print ?