引 言

在嵌入式系统开发中，结构体作为一种常见的数据组织方式，在内存中的布局方式对于程序性能和内存占用具有重要影响。

本文将深入探讨单片机C语言中的结构体对齐原理、重要性，以及不同的对齐方式；并通过示例演示结构体对齐如何影响内存占用、访问性能，以及传输与存储。同时，还将关注STM32这样的嵌入式系统，讨论结构体对齐在STM32中的具体体现，以及如何进行不同对齐方式的设置。

2 X3 D' I% R( O: a, \结构体对齐原理

1、为什么需要对齐？

在计算机内存中，数据的存储通常需要按照一定规则进行，这被称为内存对齐。内存对齐的目的是为了提高访问数据的效率，特别是对于硬件平台而言。不同的处理器架构可能有不同的对齐要求。

2、不同的对齐方式

单字节对齐（Byte Alignment）：每个数据类型从内存的任意地址开始存储，不需要对齐到特定字节边界。

双字节对齐（Half-Word Alignment）：数据类型的变量必须从内存的偶数地址开始存储，即地址必须是2的倍数。

四字节对齐（Word Alignment）：数据类型的变量必须从内存的4字节边界开始存储，即地址必须是4的倍数。

! @' y" M6 Y8 s9 V- V! i+ ~

3、结构体对齐示例

下面的C代码示例演示了不同对齐方式在内存中如何存储一个简单的结构体。

1. #include <stdio.h>
   
2. 
   ( P. S2 i; S+ |7 n9 F1 U/ q
3. // 结构体定义
   7 J# }! c$ d  ^/ [/ ]+ W% Y0 y
4. struct Example {
   3 o8 R5 L. a6 K$ q9 h
5.     char a;
   ; V6 q; s: a6 c
6.     int b;
     \& [# j8 b9 q, u" u; y# ^
7.     char c;
   8 \3 ]( I& e# _7 K9 ?0 Z% e$ m
8. };
   3 q) e# ^& ]7 Z7 B
9. 
   
10. int main() {
    
11.     struct Example e;
    
12. 
    
13.     // 计算各成员的地址
    * l5 [5 x& a6 j5 n5 X( r- u' H
14.     printf("Address of a: %p\n", &e.a);
    # @1 Q. B1 v# o+ a  I9 F0 m# U/ I
15.     printf("Address of b: %p\n", &e.b);
    : c0 u4 X3 n, F: s
16.     printf("Address of c: %p\n", &e.c);
    ) F6 V6 D0 s  ~  P+ m. c& O
17. 
    2 R1 x" \7 @; w/ S. N% s
18.     return 0;
    
19. }

复制代码

- G! N$ [) d/ ^! J
: s: l& e, _0 ^在这个示例中，我们定义了一个名为Example的结构体，包含一个字符a、一个整数b和一个字符c。通过printf语句，我们可以查看不同对齐方式下各成员的地址。


$ x, v) D* v7 O6 J0 g& V该结构体在内存中存储的方式如下：
! }- z$ ?9 t3 S" O
8 [5 }9 j2 ^3 p/ _

$ o$ ^' k% D' A$ @; D

喜欢的读者可以自行打印确定printf的输出结果，观察不同的地址有何规律。

4、结构体对齐的影响

（1）内存占用

结构体对齐可以影响内存的占用情况。考虑以下示例：

1. struct Example1 {
   6 d4 D* a% t" L4 `% W  ~+ C
2.     char a;
   
3.     int b;
   % E6 O$ e- h3 W* P* ^+ a
4.     char c;
   0 g$ @; A' a. A7 y4 x& |
5. };
   & I' V! }% d* V* r3 H1 l" i
6. 
   # }' J2 p8 }6 I: D# W' k; K
7. struct Example2 {
   ( [6 d! b: n3 x2 ~. @$ K  u
8.     char a;
   3 h" D  P& W8 r* w" I7 E8 w3 K9 B
9.     char b;
   
10.     char c;
    ! N/ ~" ?  Z) y9 ^
11. };

复制代码

在示例1中，int类型需要四字节对齐，因此struct Example1的大小为4字节。而在示例2中，所有成员都是字符类型，无需对齐，因此struct Example2的大小为3字节，这突显了对齐规则如何影响内存占用。

; D% U) C! D* }( e& ?: ^（2）访问性能
结构体对齐还会影响访问性能。在访问一个结构体变量的成员时，如果成员没有正确对齐，可能需要多次内存访问操作，从而降低了访问速度。合适的对齐可以减少内存访问次数，提高程序性能。


1 }4 k. T) z$ o0 d# w5 W（3）传输和存储

结构体对齐也会影响数据的传输和存储。当结构体作为数据包进行传输时，如果接收端和发送端的对齐方式不一致，可能需要进行字节序转换，以确保数据的正确传输。这增加了编程的复杂性，因为程序员需要处理不同对齐方式可能导致的字节序问题。

下面是一个传输和存储的C代码示例，演示了在不同对齐方式下数据的传输和存储：

7 p6 |) g/ y# a" d

1. #include <stdio.h>
   - P, j0 I$ g( [* H
2. #include <stdint.h>
   + s! y8 R3 ^+ T1 P
3. 
   ( k+ Y7 g' ]. P4 b, c
4. // 结构体定义
   
5. struct SensorData {
   
6.     uint16_t sensor1;
   
7.     uint32_t sensor2;
   
8. } __attribute__((packed));  // 使用编译器指令取消结构体对齐
   % p( `: k+ R( c! \9 S
9. 
   
10. int main() {
    8 K7 d" ^9 E' e/ y9 K( m, e6 L+ ~4 i1 y
11.     struct SensorData data;
    
12.     data.sensor1 = 0x1234;
    3 L( Q7 s" o8 w/ N# N
13.     data.sensor2 = 0x56789ABC;
    
14. 
    
15.     // 数据存储到内存中
    
16.     uint8_t buffer[sizeof(struct SensorData)];
    6 Y; Y8 q- E7 X
17.     memcpy(buffer, &data, sizeof(struct SensorData));
    
18. 
    + j. w$ W: I! O, ~, d
19.     // 模拟传输过程
    5 E8 c. O6 {* j. V+ r: s0 f3 P: r& q
20.     // 接收端假设数据是按照双字节对齐方式接收
    
21.     struct SensorData* receivedData = (struct SensorData*)buffer;
    2 i( a0 K, \/ }6 r# G; |
22. 
    
23.     printf("Received sensor1: 0x%04X\n", receivedData->sensor1);
    . g, q9 g2 k$ m8 L. M" c6 g
24.     printf("Received sensor2: 0x%08X\n", receivedData->sensor2);
    
25. 
    
26.     return 0;
    " @. ^9 x/ T) Q" G  P6 w
27. }

复制代码

+ \2 G" d9 N) D  l% n% l  j1 ]; z在这个示例中，我们定义了一个SensorData结构体，包含一个16位整数和一个32位整数。使用__attribute__((packed))编译器指令取消了结构体对齐，以确保数据在内存中是连续存储的。
- N6 e  a. i4 R$ Q

然后，我们将数据存储到内存中，并模拟了传输过程。接收端假设数据是按照双字节对齐方式接收，但由于我们取消了对齐，需要进行字节序转换。

结构体对齐在STM32中的体现

1、外设寄存器对齐要求

在STM32这样的嵌入式系统中，外设寄存器通常要求双字节或四字节对齐，以确保寄存器的访问性能和正确性。不满足对齐要求可能导致未定义的行为或性能问题。

在STM32中，可以使用编译器指令来实现对齐设置。例如，在Keil工程中，可以使用__align()指令来指定对齐方式。例如，要将一个结构体成员对齐到4字节边界，可以这样定义：

1. struct Example {
   & p9 M& }, O! a4 T6 Q
2.     char a;
   
3.     int b;
   
4.     char c;
   
5. } __attribute__((aligned(4)));

复制代码

9 k7 M9 y! E" W$ R/ z$ L& q

2、内存池分配

在嵌入式系统中，经常使用内存池来分配内存。内存池分配会确保分配的内存块是按照对齐要求进行的，以满足处理器的要求。这可以防止未对齐内存访问，提高代码的稳定性和可靠性。

% N  u+ l$ @( O7 x$ |

在STM32中，常用的内存池分配库如FreeRTOS提供了对齐设置的选项，以确保分配的内存块满足处理器的要求。

! H+ n/ x, m. q4 E8 y8 H' v3 v

3、DMA操作

嵌入式系统中常常使用DMA（直接内存访问）来进行数据传输。DMA操作通常要求数据缓冲区是双字节或四字节对齐的。不满足对齐要求可能导致DMA传输失败或性能下降。

在STM32中，配置DMA时可以使用寄存器来设置数据对齐方式，以确保DMA传输的正确性和性能。

# d' Z6 k1 \- p* J& t, f3 t
+ x8 Z- x: A5 ^1 Q7 [1 `4 q, _结 论

总之，作为嵌入式工程师，我们在编写代码时，需要根据目标硬件平台的对齐要求。

转载自：嵌入式微处理器

如有侵权请联系删除
" v. Y; G$ K% y- a3 P) y

' n6 P8 V) N5 y# M/ e
: q5 P: p8 I+ ^6 x: u+ f& l

example.b应该占用4字节吧？int类型的b是4字节？