Misra C++编程 0 warning示例代码

2024-05-13 10:28

本文主要是介绍Misra C++编程 0 warning示例代码,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

以下代码通过Polyspace使用Misra C++ 2008规则扫描后是0 warning。

如下有两个线程,一个订阅线程,另一个为发送线程

/***  Copyright (C) 2023 - Fake Inc.**  All Rights Reserved.*  thread_sub_pub.cpp*/
#include <condition_variable>
#include <iostream>
#include <mutex>
#include <queue>
#include <thread>namespace Fake {class DataBuffer {public:void push_data(int32_t p_data) noexcept {const std::lock_guard<std::mutex> lck_mux{mut_data_};data_queue_.push(p_data);data_available_.notify_one();}int32_t pop_data() noexcept {std::unique_lock<std::mutex> lck_mux{mut_data_};data_available_.wait(lck_mux, [&] { return !data_queue_.empty(); });int32_t front_data{0};front_data = data_queue_.front();data_queue_.pop();return front_data;}private:std::queue<int32_t> data_queue_;std::mutex mut_data_;std::condition_variable data_available_;
};static void process_producer_s(DataBuffer& buf_out) noexcept {int32_t proidx{0};for (; proidx < 10; ++proidx) {buf_out.push_data(proidx);std::this_thread::sleep_for(std::chrono::milliseconds(100));}
}static void process_consumer_s(DataBuffer& buf_in) noexcept {int32_t conidx{0};for (; conidx < 10; ++conidx) {int32_t p_data{0};p_data = buf_in.pop_data();std::cout << "Consumer received: " << p_data << std::endl;}
}}  // namespace Fakeint32_t main() {int32_t main_res{0};try {Fake::DataBuffer buf_in;std::thread producer{Fake::process_producer_s, std::ref(buf_in)};std::thread consumer{Fake::process_consumer_s, std::ref(buf_in)};producer.join();consumer.join();main_res = 0;} catch (...) {std::cerr << "Exception occurred" << std::endl;main_res = 1;  // Exception occurred}return main_res;
}

这篇关于Misra C++编程 0 warning示例代码的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/985444

相关文章

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

Java调用DeepSeek API的最佳实践及详细代码示例

《Java调用DeepSeekAPI的最佳实践及详细代码示例》:本文主要介绍如何使用Java调用DeepSeekAPI,包括获取API密钥、添加HTTP客户端依赖、创建HTTP请求、处理响应、... 目录1. 获取API密钥2. 添加HTTP客户端依赖3. 创建HTTP请求4. 处理响应5. 错误处理6.

Android 悬浮窗开发示例((动态权限请求 | 前台服务和通知 | 悬浮窗创建 )

《Android悬浮窗开发示例((动态权限请求|前台服务和通知|悬浮窗创建)》本文介绍了Android悬浮窗的实现效果,包括动态权限请求、前台服务和通知的使用,悬浮窗权限需要动态申请并引导... 目录一、悬浮窗 动态权限请求1、动态请求权限2、悬浮窗权限说明3、检查动态权限4、申请动态权限5、权限设置完毕后

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

在 Spring Boot 中使用 @Autowired和 @Bean注解的示例详解

《在SpringBoot中使用@Autowired和@Bean注解的示例详解》本文通过一个示例演示了如何在SpringBoot中使用@Autowired和@Bean注解进行依赖注入和Bean... 目录在 Spring Boot 中使用 @Autowired 和 @Bean 注解示例背景1. 定义 Stud

使用 sql-research-assistant进行 SQL 数据库研究的实战指南(代码实现演示)

《使用sql-research-assistant进行SQL数据库研究的实战指南(代码实现演示)》本文介绍了sql-research-assistant工具,该工具基于LangChain框架,集... 目录技术背景介绍核心原理解析代码实现演示安装和配置项目集成LangSmith 配置(可选)启动服务应用场景

oracle DBMS_SQL.PARSE的使用方法和示例

《oracleDBMS_SQL.PARSE的使用方法和示例》DBMS_SQL是Oracle数据库中的一个强大包,用于动态构建和执行SQL语句,DBMS_SQL.PARSE过程解析SQL语句或PL/S... 目录语法示例注意事项DBMS_SQL 是 oracle 数据库中的一个强大包,它允许动态地构建和执行

Python中顺序结构和循环结构示例代码

《Python中顺序结构和循环结构示例代码》:本文主要介绍Python中的条件语句和循环语句,条件语句用于根据条件执行不同的代码块,循环语句用于重复执行一段代码,文章还详细说明了range函数的使... 目录一、条件语句(1)条件语句的定义(2)条件语句的语法(a)单分支 if(b)双分支 if-else(