当前位置:编程学习 > C/C++ >>

一段C++代码

const int a=5; //常量
int *b=(int*)&a;//一个非const指针指向它
*b=1;//试图通过指针b修改a
cout<<a<< " " <<*b<<endl;//输出结果
cout<<&a<< " " << b << endl;//输出地址

结果:a=5,b=1,但是&a=b的啊;

为什么地址相同但是内容却不同。。

注:我使用Microsoft visual studio 2008

追问:有什么用?结果不还是那样? b指向a的地址,但是通过b访问的内容却和通过a访问的内容不一样
答案:让编译器来告诉你为什么吧
这是vc下生成的汇编代码 下面我来帮助你分析
: const int a=5; //常量

mov DWORD PTR _a$[ebp], 5//定义常量a=5

; 8 : int *b=(int*)&a;//一个非const指针指向它

lea eax, DWORD PTR _a$[ebp]
mov DWORD PTR _b$[ebp], eax//指针变量PTR _b存放a的地址 相信你应该能够明白

; 9 : *b=1;//试图通过指针b修改a

mov ecx, DWORD PTR _b$[ebp]
mov DWORD PTR [ecx], 1//接下来修改地址里的值为1 确实做到了

//重点在这里 注意了
; 10 : cout<<a<< " " <<*b<<endl;//输出结果

push OFFSET FLAT:?endl@@YAAAVostream@@AAV1@@Z ; endl//cout最后一个参数endl进参数栈
mov edx, DWORD PTR _b$[ebp]
mov eax, DWORD PTR [edx]//第二个参数*b 赋给eax
push eax//eax进栈
push OFFSET FLAT:??_C@_01FCOA@?5?$AA@ ; `string'//空格进栈
push 5//这里 注意到没 当轮到a进栈时 编译器是直接用a的值来进栈的 也就是说编译器会保护常量的值 所以试图修改内置类型常量的行为是绝对不允许的 以下汇编语句不做分析 如果有兴趣可以自己阅读一下
mov ecx, OFFSET FLAT:?cout@@3Vostream_withassign@@A
call ??6ostream@@QAEAAV0@H@Z ; ostream::operator<<
mov ecx, eax
call ??6ostream@@QAEAAV0@PBD@Z ; ostream::operator<<
mov ecx, eax
call ??6ostream@@QAEAAV0@H@Z ; ostream::operator<<
mov ecx, eax
call ??6ostream@@QAEAAV0@P6AAAV0@AAV0@@Z@Z ; ostream::operator<<

; 11 : cout<<&a<< " " << b << endl;//输出地址

push OFFSET FLAT:?endl@@YAAAVostream@@AAV1@@Z ; endl
mov ecx, DWORD PTR _b$[ebp]
push ecx
push OFFSET FLAT:??_C@_01FCOA@?5?$AA@ ; `string'
lea edx, DWORD PTR _a$[ebp]
push edx
mov ecx, OFFSET FLAT:?cout@@3Vostream_withassign@@A
call ??6ostream@@QAEAAV0@PBX@Z ; ostream::operator<<
mov ecx, eax
call ??6ostream@@QAEAAV0@PBD@Z ; ostream::operator<<
mov ecx, eax
call ??6ostream@@QAEAAV0@PBX@Z ; ostream::operator<<
mov ecx, eax
call ??6ostream@@QAEAAV0@P6AAAV0@AAV0@@Z@Z ; ostream::operator<<

你使用调试的时候看看汇编最后的输出结果 是不是直接就是个5 而不是输出的a的地址保存的值 一切就明白了 编译器对其进行了优化处理 通过查看汇编代码你会发现a里面的值是被改变了 但是最后在输出时直接是5 给你看另外的一个例子你看看:

const int a=5;

const int *p1=&a;

int *p2=(int *)p1;

p2=4;

cout<<"*p1="<<*p1<<endl; 最后发现P1的值为4被修改了

cout<<"*p2="<<*p2<<endl; 最后发现p2的值为4被修改了

cout<<"a="<<a<<endl; 但是a的值还是4

我的同学遇到了与你同样的问题

你a声明为const常量,并给它一个常量值5,然后又在代码里直接用
编译器便在编译时就把所有对a的引用替换为了5,有点像用#define定义常量执行的宏替换

你可以用点小手段来压制编译器优化,从而实现你想要得到的结果:

#include <iostream>
using namespace std;

int main()
{
const int a=5; //常量
int *b=(int*)&a;//一个非const指针指向它
*b=1;//试图通过指针b修改a
cout<<(int&)a<< " " <<*b<<endl;//输出结果
cout<<&a<< " " << b << endl;//输出地址
}

或者:

#include <iostream>
using namespace std;

int main()
{
int n;
cin >> n;
const int a=n; //常量

int *b=(int*)&a;//一个非const指针指向它
*b=1;//试图通过指针b修改a
cout<<a<< " " <<*b<<endl;//输出结果
cout<<&a<< " " << b << endl;//输出地址
}

a是常量啊。

常量怎么可能被修改呢?

const 一旦注明,无法修改!

const修饰变量,一般有两种写法:

const TYPE value;

TYPE const value;

这两种写法在本质上是一样的。它的含义是:const修饰的类型为TYPE的变量value是不可变的。

对于一个非指针的类型TYPE,无论怎么写,都是一个含义,即value只不可变。

例如:

const int nValue; //nValue是const

int const nValue; // nValue是const

但是对于指针类型的TYPE,不同的写易做图有不同情况,例如:

A. const char *pContent;

B. char * const pContent;

C. char const *pContent;

D. const char* const pContent;

对于前三种写法,我们可以换个方式,给其加上括号

A. const (char) *pContent;

B. (char*) const pContent;

C. (char) const *pContent;

这样就一目了然。根据对于const修饰非指针变量的规则,很明显,A=C.

- 对于A,C, const修饰的类型为char的变量*pContent为常量,因此,pContent的内容为常量不可变.

- 对于B, 其实还有一种写法: const (char*) pContent;

含义为:const修饰的类型为char*的变量pContent为常量,因此,pContent指针本身为常量不可变.

- 对于D, 其实是A和B的混合体,表示指针本身和指针内容两者皆为常量不可变

总结:

(1) 指针本身是常量不可变

(char*) const pContent;

const (char*) pContent;

(2) 指针所指向的内容是常量不可变

const (char) *pContent;

(char) const *pContent;

(3) 两者都不可变

const char* const pContent;

还有其中区别方法:

沿着*号划一条线,

如果const位于*的左侧,则const就是用来修饰指针所指向的变量,即指针指向为常量;

如果const位于*的右侧,const就是修饰指针本身,即指针本身是常量。

2. const修饰函数参数

const修饰函数参数是它最广泛的一种用途,它表示函数体中不能修改参数的值(包括参数本身的值或者参数其中包含的值)。它可以很好

void function(const int Var); //传递过来的参数在函数内不可以改变(无意义,因为Var本身就是形参)

void function(const char* Var); //参数指针所指内容为常量不可变

void function(char* const Var); //参数指针本身为常量不可变(也无意义, 因为char* Var也是形参)

参数为引用,为了增加效率同时防止修改。

修饰引用参数时:

void function(const Class& Var);//引用参数在函数内不可以改变

void function(const TYPE& Var); //引用参数在函数内为常量不可变

3. const 修饰函数返回值

const修饰函数返回值其实用的并不是很多,它的含义和const修饰普通变量以及指针的含义基本相同。

(1) const int fun1() 这个其实无意义,因为参数返回本身就是赋值。

(2) const int * fun2()

调用时 const int *pValue = fun2();

我们可以把fun2()看作成一个变量,那么就是我们上面所说的1.(1)的写法,即指针内容不可变。

(3) int* const fun3()

调用时 int * const pValue = fun2();

我们可以把fun2()看作成一个变量,那么就是我们上面所说的1.(2)的写法,即指针本身不可变。

4. const修饰类对象/对象指针/对象引用

const修饰类对象表示该对象为常量对象,其中的任何成员都不能被修改。对于对象指针和对象引用也是一样。

const修饰的对象,该对象的任何非const成员函数都不能被调用,因为任何非const成员函数会有修改成员变量的企图。

例如:

class AAA

{
void func1();

void func2() const;

}

const AAA aObj;

aObj.func1(); ×

aObj.func2(); 正确

const AAA* aObj = new AAA();

aObj->func1(); ×

aObj->func2(); 正确

5. const修饰成员变量

const修饰类的成员函数,表示成员常量,不能被修改,同时它只能在初始化列表中赋值。

class A

{

const int nValue; //成员常量不能被修改

A(int x): nValue(x) {}; //只能在初始化列表中赋值

}

6. const修饰成员函数

const修饰类的成员函数,则该成员函数不能修改类中任何非const成员函数。一般写在函数的最后来修饰。

class A

{

void function()const; //常成员函数, 它不改变对象的成员变量. 也不能调用类中任何非const成员函数。

}

对于const类对象/指针/引用,只能调用类的const成员函数,因此,const修饰成员函数的最重要作用就是限制对于const对象的使用。

7. const常量与define宏定义的区别

(1) 编译器处理方式不同

define宏是在预处理阶段展开。

const常量是编译运行阶段使用。

(2) 类型和安全检查不同

define宏没有类型

上一个:关于ajax上传图片HttpFileCollection files = context.Request.Files为空
下一个:求九宫格c++代码

CopyRight © 2022 站长资源库 编程知识问答 zzzyk.com All Rights Reserved
部分文章来自网络,