830
社区成员
发帖
与我相关
我的任务
分享散分 & 关于Pascal强制类型转换
新年了，应该散一点分。为了不致于落下个“无聊放分”的印象，顺便把我的一篇学习笔记贴出来（笔记打算放在一楼，不要抢我沙发啊）。
声明，这仅仅是我的学习笔记，错误及幼稚言论大量存在。望高手不要笑掉大牙
元月4号结贴
声明，这仅仅是我的学习笔记，错误及幼稚言论大量存在。望高手不要笑掉大牙
元月4号结贴
...全文
请发表友善的回复…
发表回复
newfang 2007-01-02
- 打赏
- 举报
8错8错..学习 & 接分
constantine 2007-01-02
- 打赏
- 举报
接分
qjinshanq 2007-01-02
- 打赏
- 举报
学习...接分~
lihuasoft 2007-01-02
- 打赏
- 举报
提前结了。散分完毕。
OK，07年专注学习。
OK，07年专注学习。
天涯倦客 2007-01-02
- 打赏
- 举报
jf
dovelee 2007-01-02
- 打赏
- 举报
接分
王集鹄 2007-01-02
- 打赏
- 举报
低调接分，高调顶贴
yyjzsl 2007-01-02
- 打赏
- 举报
元旦快乐！
lihuasoft 2007-01-01
- 打赏
- 举报
唉，还是被抢沙发了，哥们儿也太快了吧
lihuasoft 2007-01-01
- 打赏
- 举报
《关于Pascal强制类型转换》
今天是2007年的元旦，写这篇文章，以示今年刻苦学习的决心，给今年开一个好头。本来，是想写一篇《认识指针》这样的文章的，但是，“认识指针”这样的题目太大，不是一下子可以写完的，所以，我选择了从“强制类型转换”这个侧面，写一点关于指针的东西。因属于学习笔记，所以言论难免会有不当之处，但对初学者应该是有参考价值的。
作者：LihuaSoft
出处：http://RabbitFox.blog.sohu.com
日期：2007-1-1
(转载请注明作者及出处)
以下如无特殊说明，皆以32位Windows操作系统为环境，示例代码语言为Pascal。
一、类型转换是特定编程语言及编译器的主观需求
内存中的数据，无非是 0 和 1 的组合。在机器语言里，根本没有数据类型的概念。例如，一个单字节中的二进制数据是这样的：0110 0001 即十六进制数61 。这时，在中、高级语言里，我们可以理解它为一个Byte型的10进制整型数97，也可以理解它为一个Char型字符 'a' ，甚至我们还可以理解它为一个布尔型数据，其值为True。那么，它在程序中倒底是被用做何类类型呢？
这就要求我们在处理一个变量时，要对它进行类型声明。假设有一个变量 Variable , 其值为前面所说的 0110 0001 ，如果我们在声明时，定义这个变量为Byte型：
var Variable : Byte;
那么，Variable就是一个Byte型，我们可以用它进行加减乘除等算术运算。但是，有时，我们在程序中又需要把这一个字节的数据用作其他类型处理，这就需要类型转换。
在弱类型语言(例如 C语言)中，类型转换通常是自动完成的。但是在Pascal等强类型语言里，一般情况下要求显式地进行转换。这也是强类型语别于弱类型语言的一大特色：弱类型语言代码风格自由、简短，而强类型语言代码风格严谨、可以避免一些不可预见的错误的发生。打个不太恰当的比方：面前有一片麦田，我们要越过这片麦田，可以从沿着麦田两边的大路走过去，也可以直接穿越这片麦田。无论是什么语言，无论是否有所强制，我们最终都达到了目的地，不同之处在于：强类型语言要求我们规规矩矩地走路，养成良好的代码风格，避免犯错误。
二、两个强制类型转换的例子
例1、看一下变量的地址：
var
I : integer;
begin
I := 2007;
ShowMessage('变量I的值为：' + IntToStr(I) + '；其地址是：' + IntToStr( Integer(@I) ) );
end;
上面这个例子中，@I是一个指针类型，即变量I的地址，它的大小与一个Integer类型相同(4字节，32位，即：1个字)，但是我们直接进行 IntToStr(@I) 这样的操作，编译器将会报错。于是，我们强制类型转换：Integer(@I) 将一个指针类型的数值转换为整型。
实际上面的例子，可以这样写：
var
I : integer;
begin
I := 2007;
ShowMessage( Format( '变量I的值为：%d；其地址是：%p', [I,@I] ) );
end;
为了直观理解强制类型转换，我用了第一种写法。读者注意，第一种写法显示的值是十进制的，而第二种是显示十六进的，其值是相等的。
例2、看一下一个地址值指向的空间的值(同时验证例1)：
type
TiP = ^Integer;
var
I, J : integer;
begin
I := 2007;
J := Integer(@I);
ShowMessage('J的值即I的地址为：'+IntToStr(Integer(@I))+'；该地址值指向的空间即I的值为：'+IntToStr(TiP(J)^));
end;
在这个例子里，有两个强制转换，其中Integer(@I)在例1里已经讲过了。TiP(J)是什么呢？J是一个32位整型数，现在，TiP(J)则把J的值强制转换为一个整型指针值(TiP类型已定义)。于是 TiP(J)^ 就是I。
上面的代码，与如下代码是等效的：
var
I : integer;
iP: ^integer;
begin
I := 2007;
iP:= @I;
ShowMessage('iP的值即I的地址为：'+IntToStr(Integer(iP))+'；iP指向的空间即I的值为：'+IntToStr(iP^));
end;
附：在Pascal语言里，PChar是个特殊的指针类型，是一个强制类型转换的应用。Pascal之所以要特别给我们一个PChar指针类型，目的应该是为了让大量的字符串操作与 C兼容(换言之：与Windows兼容)，这也是Pascal语言的一大独到之处。
三、强制类型转换的本质是一个临时指针变量的应用
我们知道，在编译器幕后，一切对象都是指针。下面这个例子，用来作为例证，算不上恰如其份，但因我一时也想不出更合适的例子，也就只有如此了。
Type
Test = record
I : integer;
S : string;
end;
var
T : Test;
P : ^Test;
begin
T.I := 2007;
T.S := '2007';
P := @T; //我们可以这样做，编译器也可以这样做
ShowMessage(T.S);
ShowMessage(P.S);
end;
在强制类型转换时，编译器将根据目标类型，定义一个临时的指针变量(此处再次声明：这是本人的学习笔记，理解可能是错误的或幼稚的)，指向被转换的对象的地址。然后，编译器用这个临时指针参与程序中的运算。
如：
var
B : Byte;
C : Char;
begin
B := 97;
C := Char(B);
end;
将等价于：
var
B : Byte;
C : Char;
P : ^Char;
begin
B := 97;
P := @B;
C := P^;
end;
通过强制类型转换，我们可以在编程中绕过强类型语言对我们的束缚。
今天是2007年的元旦，写这篇文章，以示今年刻苦学习的决心，给今年开一个好头。本来，是想写一篇《认识指针》这样的文章的，但是，“认识指针”这样的题目太大，不是一下子可以写完的，所以，我选择了从“强制类型转换”这个侧面，写一点关于指针的东西。因属于学习笔记，所以言论难免会有不当之处，但对初学者应该是有参考价值的。
作者：LihuaSoft
出处：http://RabbitFox.blog.sohu.com
日期：2007-1-1
(转载请注明作者及出处)
以下如无特殊说明，皆以32位Windows操作系统为环境，示例代码语言为Pascal。
一、类型转换是特定编程语言及编译器的主观需求
内存中的数据，无非是 0 和 1 的组合。在机器语言里，根本没有数据类型的概念。例如，一个单字节中的二进制数据是这样的：0110 0001 即十六进制数61 。这时，在中、高级语言里，我们可以理解它为一个Byte型的10进制整型数97，也可以理解它为一个Char型字符 'a' ，甚至我们还可以理解它为一个布尔型数据，其值为True。那么，它在程序中倒底是被用做何类类型呢？
这就要求我们在处理一个变量时，要对它进行类型声明。假设有一个变量 Variable , 其值为前面所说的 0110 0001 ，如果我们在声明时，定义这个变量为Byte型：
var Variable : Byte;
那么，Variable就是一个Byte型，我们可以用它进行加减乘除等算术运算。但是，有时，我们在程序中又需要把这一个字节的数据用作其他类型处理，这就需要类型转换。
在弱类型语言(例如 C语言)中，类型转换通常是自动完成的。但是在Pascal等强类型语言里，一般情况下要求显式地进行转换。这也是强类型语别于弱类型语言的一大特色：弱类型语言代码风格自由、简短，而强类型语言代码风格严谨、可以避免一些不可预见的错误的发生。打个不太恰当的比方：面前有一片麦田，我们要越过这片麦田，可以从沿着麦田两边的大路走过去，也可以直接穿越这片麦田。无论是什么语言，无论是否有所强制，我们最终都达到了目的地，不同之处在于：强类型语言要求我们规规矩矩地走路，养成良好的代码风格，避免犯错误。
二、两个强制类型转换的例子
例1、看一下变量的地址：
var
I : integer;
begin
I := 2007;
ShowMessage('变量I的值为：' + IntToStr(I) + '；其地址是：' + IntToStr( Integer(@I) ) );
end;
上面这个例子中，@I是一个指针类型，即变量I的地址，它的大小与一个Integer类型相同(4字节，32位，即：1个字)，但是我们直接进行 IntToStr(@I) 这样的操作，编译器将会报错。于是，我们强制类型转换：Integer(@I) 将一个指针类型的数值转换为整型。
实际上面的例子，可以这样写：
var
I : integer;
begin
I := 2007;
ShowMessage( Format( '变量I的值为：%d；其地址是：%p', [I,@I] ) );
end;
为了直观理解强制类型转换，我用了第一种写法。读者注意，第一种写法显示的值是十进制的，而第二种是显示十六进的，其值是相等的。
例2、看一下一个地址值指向的空间的值(同时验证例1)：
type
TiP = ^Integer;
var
I, J : integer;
begin
I := 2007;
J := Integer(@I);
ShowMessage('J的值即I的地址为：'+IntToStr(Integer(@I))+'；该地址值指向的空间即I的值为：'+IntToStr(TiP(J)^));
end;
在这个例子里，有两个强制转换，其中Integer(@I)在例1里已经讲过了。TiP(J)是什么呢？J是一个32位整型数，现在，TiP(J)则把J的值强制转换为一个整型指针值(TiP类型已定义)。于是 TiP(J)^ 就是I。
上面的代码，与如下代码是等效的：
var
I : integer;
iP: ^integer;
begin
I := 2007;
iP:= @I;
ShowMessage('iP的值即I的地址为：'+IntToStr(Integer(iP))+'；iP指向的空间即I的值为：'+IntToStr(iP^));
end;
附：在Pascal语言里，PChar是个特殊的指针类型，是一个强制类型转换的应用。Pascal之所以要特别给我们一个PChar指针类型，目的应该是为了让大量的字符串操作与 C兼容(换言之：与Windows兼容)，这也是Pascal语言的一大独到之处。
三、强制类型转换的本质是一个临时指针变量的应用
我们知道，在编译器幕后，一切对象都是指针。下面这个例子，用来作为例证，算不上恰如其份，但因我一时也想不出更合适的例子，也就只有如此了。
Type
Test = record
I : integer;
S : string;
end;
var
T : Test;
P : ^Test;
begin
T.I := 2007;
T.S := '2007';
P := @T; //我们可以这样做，编译器也可以这样做
ShowMessage(T.S);
ShowMessage(P.S);
end;
在强制类型转换时，编译器将根据目标类型，定义一个临时的指针变量(此处再次声明：这是本人的学习笔记，理解可能是错误的或幼稚的)，指向被转换的对象的地址。然后，编译器用这个临时指针参与程序中的运算。
如：
var
B : Byte;
C : Char;
begin
B := 97;
C := Char(B);
end;
将等价于：
var
B : Byte;
C : Char;
P : ^Char;
begin
B := 97;
P := @B;
C := P^;
end;
通过强制类型转换，我们可以在编程中绕过强类型语言对我们的束缚。
YouTuBe 2007-01-01
- 打赏
- 举报
谢谢,接分
