C++关键字const,readonly,volatile,static

参考:C++ static const volatile总结

const

1.const位于*左侧,用来修饰指针指向的变量,故指针指向常量
// 指针不允许改变数据 int b = 500; const int *a = &b; *a = 600; // error // 可以通过变量本身去修改 int b = 500; const int *a = &b; b = 600; cout << *a << endl; // 600

2.const 位于 *的右侧: 用来修饰指针本身,指针是常量。
// 指针本身是常量,定义时需要初始化
int b = 500;
//int * const a;  // error
int * const c = &b;  // error

*c = 600;  // 正常,允许改值
cout << *c << endl;

3.const 用在成员函数中, 位于 function_name () const {}

我们在定义类的成员函数中,常常有一些成员函数不改变类的数据成员。 也就是说这些函数的 readonly function,而有一些函数要修改类的数据成员的值。 如果在readonly function都加上const进行标识,无疑会提高程序的可读性。 其实还能提高程序的可靠性,已定义成const的成员函数,一旦企图改变数据成员的值,则编译器按错误处理。

class A
{
public:
    A(int x) : a(x) {}
    int get() const { return a; }
    int get2() const { return a++; }  // ERROR read-only object
private:
    int a;
};

int main(int argc, char const *argv[])
{
    A obj(10);
    cout << obj.get() << endl;
    cout << obj.get2() << endl;
    return 0;
}

const 修饰之后,readonly function 也将只能调用 readonly function, 其实很好理解,如果readonly function 函数调用了其他函数,可能数据就会发生变化。

class A
{
public:
    A(int x) : a(x) {}
    int get() const { get2(); return a; }  // 错误,不能调用非 readonly function
    int get2() const {}
private:
    int a;
};

int main(int argc, char const *argv[])
{
    A obj(10);
    int b = obj.get();
    cout << b << endl;
    return 0;
}

如果类的数据成员加上mutable后,修饰为 const的成员变量,也可以修改。

class A
{
public:
    A(int x) : a(x) {}
    int get() const { return ++a; }
private:
    mutable int a;
};


int main(int argc, char const *argv[])
{
    A obj(10);
    int b = obj.get();
    cout << b << endl;
    return 0;
}

4.const 位于函数声明前,意味着函数的返回值是常量

面试时需要注意的是: 面试时应该描述const的只读,而不仅仅是常量,关键字const的作用是为读你代码的人传达非常有用的信息。 实际上,声明一个参数为常量是为了告诉用户这个参数的应用目的。 如果你曾花很多时间清理其他人留下的垃圾,你就会很快学会感谢这点儿多余的信息。 当然,懂得用 const 的程序员很少会留下垃圾让别人来清理。 通过给优化器一些附加的信息, 使用关键字const也许能产生更紧凑的代码。 合理地使用关键字const可以使编译器很自然地保护那些不希望被改变的参数, 防止其被无意的代码修改。 简而言之,这样可以减少bug的出现。

volatile

volatile 关键字是一种类型修饰符,用它声明的类型变量表示可以被某些编译器未知的因素更改,比如:操作系统、硬件或者其它线程等。

遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化。

volatile限定修饰符的用法与const非常相似都是作为类型的附加修饰符。例如:

volatile int display_register;
volatile Task *curr_task;
volatile int ixa[ max_size ];
volatile Screen bitmap_buf;

display_register是一个int型的volatile对象;
curr_task是一个指向volatile的Task类对象的指针;
ixa是一个volatile的整型数组,数组的每个元素都被认为是volatile的;
bitmap_buf 是一个volatile的Screen类对象,它的每个数据成员都被视为volatile的。

volatile的语法与const是一样的,但是volatie的意思是“在编译器认识的范围外,这个数据可以被改变”。不知什么原因,环境正在改变数据(可能通过多任务处理),所以,volatile告诉编译器不要擅自做出有关数据的任何假定,在优化期间这是特别重要的。如果编译器说:我已经把数据读进寄存器,而且再没有与寄存器接触。”在一般情况下,它不需要再读这个数据。但是,如果数据是volatile修饰的,编译器则不能做出这样的假定,因为数据可能被其他进程改变了,编译器必须重读这个数据而不是优化这个代码。 就像建立const对象一样,程序员也可以建立volatile对象,甚至还可以建立const volatile 对象。 这个对象不能被程序员改变,但可通过外面的工具改变。

例1: 关键字volatile有什么含义?并给出3个不同的例子。

一个定义为volatile的变量是说这变量可能会被意想不到地改变,这样,编译器就不会去假设这个变量的值了。精确地说就是,优化器在用到这个变量时必须每次都小心地重新读取这个变量的值,而不是使用保存在寄存器里的备份。

下面是volatile变量的几个例子:

  1. 并行设备的硬件寄存器(如状态寄存器)
  2. 一个中断服务子程序中会访问到的非自动变量(Non-automatic varbliaes)。
  3. 多线程应用中被几个任务共享的变量。

例2: 一个参数可以既是const又是volatile吗?一个指针可以是volatile吗?解释为什么。

第一个问题:可以。一个例子就是只读的状态寄存器。它是volatile,因为它可能被意想不到地改变;它又是const, 因为程序不应该试图去修改

第二个问题: 可以。 尽管这并不很常见。一个例子是当一个中断服务子程序修改一个指向一个buffer的指针时。

例3: 下面的函数有什么错误?

int square(volatile int *ptr) {
    return *ptr * *ptr;
}

这段代码的目的是用来返还指针*ptr指向值的平方,但是,由于*ptr指向一个volatlie型参数,编译器将产生类似下面的代码:

int square(volatile int *ptr) {
    int a, b;
    a = *ptr;
    b = *ptr;
    return a * b;
}

由于*ptr的值可能被意想不到地改变,因此a和b可能是不同的。 结果,这段代码可能无法返回你所期望的平方值。

正确的代码如下:

int square(volatile int *ptr) {
    int a = *ptr;
    return a * a;
}

static

  • 函数体内static变量的作用范围为该函数体,不同于auto变量,该变量的内存只被分配一次,因此其值在下次调用时仍维持上次的值。
  • 在模块内的static全局变量可以被模块内所有函数访问,但不能被模块外其他函数访问。
  • 在模块内的static函数只可被这模块内的其他函数调用,这个函数的使用范围被限制在声明它的模块内。
  • 在类中的static成员变量属于整个类所拥有,对类的所有对象只有一份复制
  • 在类中的static成员函数属于整个类所拥有,这个函数不接收this指针,因而只能访问类的static成员变量。

 

上一篇:Linux:遍历文件目录


下一篇:C语言-动态内存管理