STM32 类型隐性转换 为何 6 + (-20) 6 ？？？

2024-01-24 23:18
文章标签 类型 转换 stm32 20 隐性

本文主要是介绍STM32 类型隐性转换 为何 6 + (-20) 6 ？？？，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

在STM32平台上输入一下代码段：

int main(void)
{uint8_t a = 6;int8_t b = -20;if(b+a>6){LED0=1;}else{LED0=0;}
}

程序最终会执行，LED0=0，即表示 6+(-20)<6。

通过MDK的反汇编得到代码：

    10:     uint8_t a = 6; 
0x080002FC 2106      MOVS     r1,#0x0611:     int8_t b = -20; 12:  
0x080002FE F06F0213  MVN      r2,#0x1313:     if(b+a>6){ 
0x08000302 1850      ADDS     r0,r2,r1
0x08000304 2806      CMP      r0,#0x06
0x08000306 DD03      BLE      0x0800031014:         LED0=1; 15:     }else{ 
0x08000308 2001      MOVS     r0,#0x01
0x0800030A 4B04      LDR      r3,[pc,#16]  ; @0x0800031C
0x0800030C 6018      STR      r0,[r3,#0x00]
0x0800030E E002      B        0x0800031616:         LED0=0; 17:     } 
0x08000310 2000      MOVS     r0,#0x00
0x08000312 4B02      LDR      r3,[pc,#8]  ; @0x0800031C
0x08000314 6018      STR      r0,[r3,#0x00]18: } 
0x08000316 2000      MOVS     r0,#0x00
0x08000318 4770      BX       lr

把uint8_t 修改为uint16_t ，得到的汇编代码：

    10:     uint16_t a = 6; 
0x080002FC 2106      MOVS     r1,#0x0611:     int16_t b = -20; 12:  
0x080002FE F06F0213  MVN      r2,#0x1313:     if(b+a>6){ 
0x08000302 1850      ADDS     r0,r2,r1
0x08000304 2806      CMP      r0,#0x06
0x08000306 DD03      BLE      0x0800031014:         LED0=1; 15:     }else{ 
0x08000308 2001      MOVS     r0,#0x01
0x0800030A 4B04      LDR      r3,[pc,#16]  ; @0x0800031C
0x0800030C 6018      STR      r0,[r3,#0x00]
0x0800030E E002      B        0x0800031616:         LED0=0; 17:     } 
0x08000310 2000      MOVS     r0,#0x00
0x08000312 4B02      LDR      r3,[pc,#8]  ; @0x0800031C
0x08000314 6018      STR      r0,[r3,#0x00]18: } 
0x08000316 2000      MOVS     r0,#0x00
0x08000318 4770      BX       lr

这跟uint8_t时的汇编代码一样，没有变化。

当把uint8_t 修改为uint32_t 时，即代码如下:

int main(void)
{uint32_t a = 6;int32_t b = -20;if(b+a>6){LED0=1;}else{LED0=0;}
}

得到的汇编也变了：

    10:     uint32_t a = 6; 
0x080002FC 2106      MOVS     r1,#0x0611:     int32_t b = -20; 12:  
0x080002FE F06F0213  MVN      r2,#0x1313:     if(b+a>6){ 
0x08000302 1850      ADDS     r0,r2,r1
0x08000304 2806      CMP      r0,#0x06
0x08000306 D903      BLS      0x0800031014:         LED0=1; 15:     }else{ 
0x08000308 2001      MOVS     r0,#0x01
0x0800030A 4B04      LDR      r3,[pc,#16]  ; @0x0800031C
0x0800030C 6018      STR      r0,[r3,#0x00]
0x0800030E E002      B        0x0800031616:         LED0=0; 17:     } 
0x08000310 2000      MOVS     r0,#0x00
0x08000312 4B02      LDR      r3,[pc,#8]  ; @0x0800031C
0x08000314 6018      STR      r0,[r3,#0x00]18: } 
0x08000316 2000      MOVS     r0,#0x00
0x08000318 4770      BX       lr

3个程序段得到的代码，只有在跳转指令不同（LED0=1上面一句）：

uint8_t 和uint16_t 中，跳转指令是：0x08000306 DD03      BLE      0x08000310

而在uint32_t 中，跳转指令是：0x08000306 D903      BLS      0x08000310

区别就在与BLE 和BLS，为搞懂这两个指令的含义，需要找ST官方的文档PM0056，在该文档的3.8.5章节由说到跳转指令：

PS：BLE和BLS是B指令，不是BL指令，LE和LS是条件码。

可选条件码在刚文档的表23， Table 23: Condition code suffixes on page 57：

简言之，BLE就是有符号类的小于等于，BLS就是无符号类的小于等于。

明白了以上一点，就再继续分析。

STM32为32为的CPU，其寄存器就是32位的，在执行

    uint32_t a = 6;int32_t b = -20;
或uint16_t a = 6;int16_t b = -20;
或uint8_t a = 6;int8_t b = -20;和a+b

以上程序时，得到的汇编代码都是一样的:

0x080002FC 2106      MOVS     r1,#0x06
0x080002FE F06F0213  MVN      r2,#0x13
0x08000302 1850      ADDS     r0,r2,r1

最后得到的结果就是a+b = R0=0xFFFF FFF2，而这个R0的值，到底是把它当有符号看，还是无符号看，就要看后面的指令了，STM32就只是个存储。

前面说到，BLE就是有符号类的小于等于，BLS就是无符号类的小于等于。对于uin32_t 汇编得到的是BLS，因此R0这个数就是一个无符号的数，所以 a+b = 0xFFFF FFF2 = 4294967282 > 6 

对于uint8_t 汇编得到的数是BLE，因此R0这个数是一个有符号数，所以 a+b = 0xFFFF FFF2 = -14 < 6

 

因此对于STM32来说，并非所有情况都能使 6 + (-20) > 6 成立。

那么什么时候这个条件成立？先说类型转换规则：

（1）、进行运算的两个变量的数据类型长度，若都小于32位，则都转换为有符号32位数据，即int32_t

（2）、若两变量中数据类型长度大的那一个，且它的数据类型大于等于32位，则另一个数据转换为与数据类型大的那一个一样

（3）、若两变量中数据类型长度一样，若存在无符号数，则都转换为无符号数。

根据规则，判断如下情况：

/********************************/uint8_t a = 6;int8_t b = -20;uint16_t a = 6;int8_t b = -20;uint32_t a = 6;int8_t b = -20;uint64_t a = 6;int8_t b = -20;/********************************//********************************/uint8_t a = 6;int16_t b = -20;uint16_t a = 6;int16_t b = -20;uint32_t a = 6;int16_t b = -20;uint64_t a = 6;int16_t b = -20;/********************************//********************************/uint8_t a = 6;int32_t b = -20;uint16_t a = 6;int32_t b = -20;uint32_t a = 6;int32_t b = -20;uint64_t a = 6;int32_t b = -20;/********************************//********************************/uint8_t a = 6;int64_t b = -20;uint16_t a = 6;int64_t b = -20;uint32_t a = 6;int64_t b = -20;uint64_t a = 6;int64_t b = -20;/********************************/

可以使用代码自行实验：

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>#define TYPE            uint8_t#define FirstVar        -20
#define SeconedVar      6int main()
{char *p="int64_t";uint8_t a = FirstVar;TYPE b = SeconedVar;if(a+b>6){printf("uint8_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint8_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}uint16_t c = FirstVar;TYPE d = SeconedVar;if(c+d>6){printf("uint16_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint16_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}uint32_t e = FirstVar;TYPE f = SeconedVar;if(e+f>6){printf("uint32_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint32_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}uint64_t g = FirstVar;TYPE h = SeconedVar;if(g+h>6){printf("uint64_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);}else{printf("uint64_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);}getchar();return 0;
}//int main()
//{
//    char *p="uint8_t";
//
//    int8_t a = FirstVar;
//    TYPE b = SeconedVar;
//
//    if(a+b>6){
//        printf("int8_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int8_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//
//    int16_t c = FirstVar;
//    TYPE d = SeconedVar;
//    if(c+d>6){
//        printf("int16_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int16_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//    int32_t e = FirstVar;
//    TYPE f = SeconedVar;
//    if(e+f>6){
//        printf("int32_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int32_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//    int64_t g = FirstVar;
//    TYPE h = SeconedVar;
//    if(g+h>6){
//        printf("int64_t %d + %s %d  > 6 \r\n",FirstVar,p,SeconedVar);
//    }else{
//        printf("int64_t %d + %s %d  < 6 \r\n",FirstVar,p,SeconedVar);
//    }
//
//
//    getchar();
//    return 0;
//}

 

这篇关于STM32 类型隐性转换 为何 6 + (-20) 6 ？？？的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/641343。

相关文章

使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解

《使用Python批量将.ncm格式的音频文件转换为.mp3格式的实战详解》本文详细介绍了如何使用Python通过ncmdump工具批量将.ncm音频转换为.mp3的步骤,包括安装、配置ffmpeg环... 目录1. 前言2. 安装 ncmdump3. 实现 .ncm 转 .mp34. 执行过程5. 执行结
阅读更多...
Java实现将HTML文件与字符串转换为图片

Java实现将HTML文件与字符串转换为图片

《Java实现将HTML文件与字符串转换为图片》在Java开发中,我们经常会遇到将HTML内容转换为图片的需求,本文小编就来和大家详细讲讲如何使用FreeSpire.DocforJava库来实现这一功... 目录前言核心实现：html 转图片完整代码场景 1：转换本地 HTML 文件为图片场景 2：转换 H
阅读更多...
Python中Json和其他类型相互转换的实现示例

Python中Json和其他类型相互转换的实现示例

《Python中Json和其他类型相互转换的实现示例》本文介绍了在Python中使用json模块实现json数据与dict、object之间的高效转换,包括loads(),load(),dumps()... 项目中经常会用到json格式转为object对象、dict字典格式等。在此做个记录，方便后续用到该方
阅读更多...
python中的显式声明类型参数使用方式

python中的显式声明类型参数使用方式

《python中的显式声明类型参数使用方式》文章探讨了Python3.10+版本中类型注解的使用,指出FastAPI官方示例强调显式声明参数类型,通过|操作符替代Union/Optional,可提升代... 目录背景python函数显式声明的类型汇总基本类型集合类型Optional and Union(py
阅读更多...
MySQL中查询和展示LONGBLOB类型数据的技巧总结

MySQL中查询和展示LONGBLOB类型数据的技巧总结

《MySQL中查询和展示LONGBLOB类型数据的技巧总结》在MySQL中LONGBLOB是一种二进制大对象（BLOB）数据类型,用于存储大量的二进制数据,：本文主要介绍MySQL中查询和展示LO... 目录前言1. 查询 LONGBLOB 数据的大小2. 查询并展示 LONGBLOB 数据2.1 转换为十
阅读更多...
使用Java读取本地文件并转换为MultipartFile对象的方法

使用Java读取本地文件并转换为MultipartFile对象的方法

《使用Java读取本地文件并转换为MultipartFile对象的方法》在许多JavaWeb应用中,我们经常会遇到将本地文件上传至服务器或其他系统的需求,在这种场景下,MultipartFile对象非... 目录1. 基本需求2. 自定义 MultipartFile 类3. 实现代码4. 代码解析5. 自定
阅读更多...
MyBatis的xml中字符串类型判空与非字符串类型判空处理方式(最新整理)

MyBatis的xml中字符串类型判空与非字符串类型判空处理方式(最新整理)

《MyBatis的xml中字符串类型判空与非字符串类型判空处理方式(最新整理)》本文给大家介绍MyBatis的xml中字符串类型判空与非字符串类型判空处理方式,本文给大家介绍的非常详细,对大家的学习或... 目录完整 Hutool 写法版本对比优化为什么status变成Long？为什么 price 没事？怎
阅读更多...
C#之枚举类型与随机数详解

C#之枚举类型与随机数详解

《C#之枚举类型与随机数详解》文章讲解了枚举类型的定义与使用方法,包括在main外部声明枚举,用于表示游戏状态和周几状态,枚举值默认从0开始递增,也可手动设置初始值以生成随机数... 目录枚举类型1.定义枚举类型(main外)2.使用生成随机数总结枚举类型1.定义枚举类型(main外)enum 类型名字
阅读更多...
Python lambda函数(匿名函数)、参数类型与递归全解析

Python lambda函数(匿名函数)、参数类型与递归全解析

《Pythonlambda函数(匿名函数)、参数类型与递归全解析》本文详解Python中lambda匿名函数、灵活参数类型和递归函数三大进阶特性,分别介绍其定义、应用场景及注意事项,助力编写简洁高效... 目录一、lambda 匿名函数：简洁的单行函数1. lambda 的定义与基本用法2. lambda
阅读更多...
C语言自定义类型之联合和枚举解读

C语言自定义类型之联合和枚举解读

《C语言自定义类型之联合和枚举解读》联合体共享内存,大小由最大成员决定,遵循对齐规则；枚举类型列举可能值,提升可读性和类型安全性,两者在C语言中用于优化内存和程序效率... 目录一、联合体1.1 联合体类型的声明1.2 联合体的特点1.2.1 特点11.2.2 特点21.2.3 特点31.3 联合体的大小1
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2