我需要一些关于c++内存管理和MISRA准则的说明。
我必须实现一个与MISRA兼容的程序,所以我必须遵守一个重要的规则:不可能使用‘新’操作符(动态内存堆)。
在这种情况下,对于任何自定义对象,我必须使用静态分配:
例如:
我的类Student有一个构造函数Student(int age)。每当我必须实例化一个Student对象时,我必须这样做:
int theAge = 18;
Student exampleOfStudent(theAge);这将创建一个Student对象exampleOfStudent。这样,我就不用担心,我不使用析构函数。这些都是对的吗?还有其他方法来使用静态内存管理吗?我能以相同的方式使用std::vector或其他数据结构吗?例如,我可以在std::向量中添加一个学生实例(我是作为exampleOfStudent(TheAge)创建的)。
发布于 2013-05-24 22:09:54
Student exampleOfStudent(theAge);是一个自动变量,而不是静态变量。
据我所知,米斯拉规则不允许所有形式的动态记忆。这包括malloc和new 以及 std::vector (带有默认分配器)。
只剩下自动变量和静态变量。
如果您的系统有有限的RAM,您不想使用动态内存,因为您可能需要比可用内存更多的内存。堆碎片也是一个问题。这将阻止您编写可证明正确的代码。例如,如果使用带有自动或静态存储的变量,静态分析应用程序可以输出应用程序将使用的最大内存量。这个号码你可以对照你的系统RAM。
发布于 2021-03-26 15:11:30
该规则背后的想法并不是malloc和new,特别是不安全的,而是内存分配(通常)是一种懒散的解决方法,因为无法理解或管理程序的内存需求。
特别是在一个小型的、非MMU的嵌入式系统中,由于缺乏设计深度,常常导致系统不稳定,在那些奇怪的“角落情况”异常中完全崩溃。小内存,短堆栈,是一个系统杀手。
在许多策略中,有几种策略避免假设您没有无限内存,甚至在这个廉价的嵌入式系统中没有很多内存,并迫使您处理在应用程序中可能很重要的错误。
不要写你自己的malloc。
发布于 2015-03-29 23:25:43
对于MISRA遵从性,安置-新不是一个问题,因为没有动态分配发生。可以编写库(如STL分配器),以便引用静态分配的内存区域作为用于此目的的内存池。优点:确定性,快速。缺点:记忆效率低下。对确定性实时系统有利的权衡。所有需要的RAM必须在程序启动时存在,否则程序将无法运行。如果程序启动,则不受可用堆大小、碎片等的影响。
编写自己的分配器可能很复杂,内存不足的情况(毕竟静态内存池大小是固定的)仍然需要处理。
https://stackoverflow.com/questions/16740435
复制相似问题