英锐恩单片机论坛,Microchip单片机,模拟器件,接口电路,麦肯单片机,单片机应用交流

 找回密码
 立即注册
搜索
电子烟方案单片机单片机开发深圳单片机开发
单片机方案国产单片机8位单片机电子烟方案开发
查看: 5891|回复: 0
打印 上一主题 下一主题

MPLAB C30 与ANSI C 的差别(一)关键字的区别

[复制链接]
跳转到指定楼层
1#
发表于 2009-4-18 18:09:50 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
2.1 简介
本章讨论MPLAB C30 语法支持的C 语言和1989 年标准ANSI C 之间的差别。
2.2 主要内容
本章包括以下主要内容:
· 关键字差别
· 语句差别
·表达式差别
2.3 关键字差别
本节说明ANSI C 和MPLAB C30 所接受C 在关键字方面的差别。新关键字是基本
GCC 实现的一部分,本节的讨论基于标准的GCC 文档,选择GCC MPLAB C30 部分
的特定语法和语义来讲述。
· 指定变量的属性
·指定函数的属性
· 内联函数
· 指定寄存器中的变量
· 复数
· 双字整型
· 用typeof 引用类型
2.3.1 指定变量的属性
MPLAB C30 的关键字__attribute__ 用来指定变量或结构位域的特殊属性。关键
字后的双括弧中的内容是属性说明。下面是目前支持的变量属性:
· address (addr)
·aligned (alignment)
· deprecated
· far
· mode (mode)
· near
· noload
· packed
· persistent
· reverse (alignment)
·section ("section-name")
· sfr (address)
· space (space)
· transparent_union
· unordered
· unused
· weak
也可以通过在关键字前后使用__ (双下划线)来指定属性(例如,用__aligned
__ 代替aligned)。这样将使您在头文件中使用它们时不必考虑会出现与宏同名的情
况。
要指定多个属性,可在双括弧内用逗号将属性分隔开,例如:
__attribute__ ((aligned (16), packed)
address (addr)
address 属性为变量指定绝对地址。这个属性不能与section 属性同时使用;
address 属性优先。带address 属性的变量不能存放到_psv 空间(参见space() 属
性或-mconst-in-code 选项);这样做会产生警告,且编译器将此变量存放到psv
空间。
如果要将变量存放到PSV 段,地址应为程序存储器地址。
int var __attribute__ ((address(0x800)));

aligned (alignment)
该属性为变量指定最小的对齐方式,用字节表示。对齐方式必须是2 的次幂。例如,
下面的声明:
int x __attribute__ ((aligned (16))) = 0;
使编译器按照16 字节分配全局变量x。对于dsPIC 器件,这可以与访问需要对齐的
操作数的DSP 指令和寻址模式的asm 语句配合使用。
在前面的例子中,我们可以显式地指定我们希望编译器对给定变量使用的对齐方式
(用字节表示)。或者,我们可以省略对齐方式,而要求编译器为变量使用dsPIC 器件
的最大有用对齐。例如,我们可以这样写:
short array[3] __attribute__ ((aligned));
当省略了对齐属性说明中的对齐方式时,编译器会自动将已声明变量的对齐方式设置
为目标单片机任何数据类型所使用的最大对齐方式。在dsPIC 器件中,为双字节(1
个字)。
aligned 属性只能增大对齐;但可以通过指定packed 属性来减小对齐(见下文)。
aligned 属性与reverse 属性冲突,同时指定两者会产生错误。

deprecated
deprecated 属性使得包含这一属性的声明能被编译器特别识别到。当使用
deprecated 函数或变量时,编译器会发出警告。
deprecated 定义仍将被编译器执行,并被反映到目标文件中。例如,编译以下程序:
int __attribute__((__deprecated__)) i;
int main() {
return i;
}
将产生警告:
deprecated.c:4: warning: `i' is deprecated (declared
at deprecated.c:1)
在生成的目标文件中,仍以通常的方式定义了i。

far
far 属性告知编译器不必将变量分配到near(前8 KB)数据空间中(即变量可以分配
到数据存储器中的任何地址)。

mode (mode)
在变量声明中使用该属性来指定与模式mode 对应的数据类型。实际上就是允许根据
变量的宽度指定整数或浮点数类型。mode 的有效值见下表:
   
  模式宽度  MPLAB C30  类型   
   QI
   8 位   char
   HI    16 位   int
   SI    32 位   long
   DI    64 位   long long
   SF    32 位   float
   DF   64 位    long double


这一属性对于编写可在所有MPLAB C30 支持的目标单片机之间移植的代码很有用。
例如,如下函数将两个32 位有符号整数相加,并返回一个32 位有符号整数结果:
typedef int __attribute__((__mode__(SI))) int32;
int32
add32(int32 a, int32 b)
{
return(a+b);
}
可以指定 byte 或__byte__ 模式指明模式对应于单字节整数, word 或__word__
模式对应于单字整数, pointer 或__pointer__ 模式用于表示指针。
near
near 属性告知编译器将变量分配到near 数据空间(数据存储器的前8 KB)。对这种变
量的存取有时比存取未分配(或不知已分配)到near 数据空间的变量效率高。
int num __attribute__ ((near));
noload
noload 属性指明应该为变量分配空间,但不应为变量装入初值。这一属性对于设计在
运行时将变量装入存储器(如从串行EEPROM)的应用程序会有用。
int table1[50] __attribute__ ((noload)) = { 0 };
packed
packed 属性指定变量或结构位域采用最小的可能对齐方式 —— 变量占一个字节,位
域占一位,除非用aligned 属性指定了一个更大的值。
下面的结构中位域x 被压缩,所以它紧接在a 之后:
struct foo
{
char a;
int x[2] __attribute__ ((packed));
};

注: dsPIC 器件要求字按偶数字节对齐,因此在使用packed 属性时要特别
小心,避免运行时寻址错误。  


persistent
persistent 属性指定在启动时变量不应被初始化或清零。具有persistent 属性的
变量可用于存储器件复位后仍保持有效的状态信息。
int last_mode __attribute__ ((persistent));
reverse (alignment)
reverse 属性为变量的结束地址加1 指定最小对齐。对齐以字节指定,必须是2 的次
幂。反向对齐的变量可用于递减dsPIC 汇编语言中的模缓冲区。如果应用程序需要在
C 中定义的变量可从汇编语言访问,这一属性会有用。
int buf1[128] __attribute__ ((reverse(256)));
reverse属性与aligned和section属性冲突。试图为反向对齐的变量指定一个段将
被忽略,并发出警告。为同一个变量同时指定reverse 和aligned 会产生错误。带
有reverse 属性的变量不能存放到auto_psv 空间(参见space 属性或
-mconst-in-code 选项);试图这样做将导致警告,且编译器会将变量存放到psv 空
间。
section ("section-name")
默认情况下,编译器将其生成的目标代码存放在.data 和.bss 段中。section 属
性允许指定变量(或函数)存放到特定的段中。
struct array {int i[32];}
struct array buf __attribute__ ((section("userdata"))) = {0};
section 属性与address 和reverse 属性冲突。在这两种冲突情形下,段名将被忽
略,并发出警告。这一属性还可能与space 属性冲突。更多信息,参见关于space
属性的说明。
sfr (address)
sfr 属性告知编译器变量将变量分配到near 数据空间(数据存储器的前8 KB),同时
使用address 参数指定变量的运行时地址。对这种变量的存取有时比存取未分配
(或不知已分配)到near 数据空间的变量效率高。
extern volatile int __attribute__ ((sfr(0x200)))u1mod;
为避免产生错误,需要使用extern 说明符。
space (space)
一般来说,编译器在一般数据空间内分配变量。可使用space 属性来指示编译器将变
量分配到特定存储空间。关于存储空间的更多论述参见第4.6 节“存储空间”。
space 属性接受如下参数:
data
将变量分配到一般数据空间。可使用普通C 语句访问一般数据空间中的变量。
这是默认的分配。
xmemory
将变量分配到X 数据空间。 可使用普通C 语句访问 X 数据空间中的变量。
xmemory 空间分配举例如下:
int x[32] __attribute__ ((space(xmemory)));
ymemory
将变量分配到Y 数据空间。 可使用普通C 语句访问 Y 数据空间中的变量。
ymemory 空间分配举例如下:
int y[32] __attribute__ ((space(ymemory))); prog
将变量分配到程序空间中为可执行代码指定的段。程序空间中的变量不能使用普
通C 语句访问,这些变量必须由编程人员显式访问,通常通过表访问行内汇编
指令,或使用程序空间可视性窗口访问。
auto_psv
将变量分配到程序空间中为自动程序空间可视性(PSV)窗口访问指定的编译
器管理段。auto_psv 空间中的变量可使用普通C 语句来读(但不能写),且变
量的分配空间最大为32K 。当指定space(auto_psv) 时,不能使用。


section 属性指定段名;任何段名将被忽略并产生警告。auto_psv 空间中的变
量不能存放到特定地址或反对齐。
   注: 在启动时分配到auto_psv 段中的变量不装载到数据存储器。这一属
性对于减少RAM 使用可能有用。

psv
将变量分配到程序空间中为程序空间可视性(PSV)窗口访问指定的段。链接
器将定位段,因此可以通过PSVPAG 寄存器的设置来访问整个变量。PSV 空间
中的变量不是由编译器管理的,不能使用普通C 语句访问。这些变量必须由编
程人员显式访问,通常使用表访问行内汇编指令,或使用程序空间可视性窗口访
问。
eedata
将变量分配到EEData 空间。EEData 空间中的变量不能使用普通C 语句访问。
这些变量必须由编程人员显式访问,通常使用表访问行内汇编指令,或使用程序
空间可视性窗口访问。
transparent_union
这是属于union 型函数参数的属性,即相应的参数可以是任何联合成员的类型,但以
第一个联合成员的类型传递参数。使用 transparent 联合的第一个成员的调用约定将参
数传递给函数,而不是使用联合本身的调用约定。联合的所有成员必须具有相同的机
器码表示,这对于保证参数传递正常进行是必需的。
unordered
unordered 属性表明变量存放的地址可以相对于所在C 源文件中其他变量的位置而改
变。这不符合ANSI C,但可使链接器更好地利用存储空隙。
const int __attribute__ ((unordered)) i;
unused
这一变量属性表明变量可能不被使用。MPLAB C30 不会为这种变量产生未使用变量
警告。
weak
weak 属性声明weak 符号。weak 符号可能被全局定义取代。当对外部符号的引用使用
weak 时,则链接时不需要该符号。例如:
extern int __attribute__((__weak__)) s;
int foo() {
if (&s) return s;
return 0; /* possibly some other value */
}
在上面的程序中,如果s 没有被其他模块定义,程序仍会链接,但不会给s 分配地
址。若条件验证s 已被定义,就返回它的值(如果它有值的话)。否则将返回“0”
值。这个特征很有用,主要用于提供与任意库链接的通用代码。
weak 属性可以应用于函数和变量:
extern int __attribute__((__weak__))
compress_data(void *buf);
int process(void *buf) {
if (compress_data) {
if (compress_data(buf) == -1) /* error */
}
/* process buf */
}
在上述代码中,函数compress_data 只有在与其他模块链接时才使用。是否使用该
特性是由链接时决定的,而不是由编译时决定的。
weak 属性对定义的影响更为复杂,需要多个文件加以说明:
/* weak1.c */
int __attribute__((__weak__)) i;
void foo() {
i = 1;
}
/* weak2.c */
int i;
extern void foo(void);
void bar() {
i = 2;
}
main() {
foo();
bar();
}
在weak2.c 中对i 的定义使符号成为强定义。链接时不会出现错误,两个i 指向同
一个存储位置。为weak1.c 中的i 分配存储空间,但这个空间不可访问。
不能保证两个程序里的i 具有相同的类型,如果将weak2.c 中的i 改为float 型,
仍然允许链接,但是函数foo 的操作将无法预料。foo 将向32 位浮点值的最低有效
部分写入一个值。相反,在weak1.c 中把i 的weak 定义改为float 型,将导致灾
难性结果。这样会把一个32 位的浮点值写到16 位的整型地址中,覆盖掉紧接i 之后
存储的任何变量。
在只存在weak 定义的情况下,链接器才选择为第一个这种定义分配存储空间。其他
定义是不可访问的。
无论符号属于什么类型,操作是相同的;函数和变量具有相同的操作。
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

关闭

站长推荐上一条 /1 下一条

小黑屋|公司首页|Microchip单片机,模拟器件,接口电路,麦肯单片机,单片机应用交流 ( 粤ICP备09008620号 )

GMT+8, 2024-12-25 23:08 , Processed in 0.051992 second(s), 22 queries .

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表