震惊！C++中这个逻辑运算符的坑，90%程序员都踩过！

Ne0inhk

— 10 min read

今天我要分享一个C++开发中常见的逻辑陷阱，以及如何优雅地处理多个容器的非空检查。这不仅是一个语法问题，更是一种编程思维的体现。

🎯 问题背景

在实际开发中，我们经常需要检查多个容器是否都为空，或者是否有任意一个非空。比如在图形处理、数值计算等场景，我们需要确保多个数据源都已经准备就绪。

原始需求是这样的：我们有一个车辆轨迹曲线的容器 GwheelCurve，需要检查它是否为空，并将结果取反：

bool success =!GwheelCurve.empty();

但现在需求升级了！我们需要同时检查5个不同的数据容器，只要任意一个非空，就认为检查失败（success = false）。

💡 核心思想

这个问题看似简单，但隐藏着几个关键点：

  1. 逻辑运算符的选择：应该用 && 还是用 ||？
  2. 取反的时机：是先各自判断再组合，还是先组合再整体取反？
  3. 可读性和性能的平衡

让我用几个完整的代码示例来详细说明。

📊 示例1：错误的直观写法

#include<iostream>#include<vector>#include<string>intmain(){// 假设我们有5个数据容器 std::vector<double> positionData;// 位置数据 std::vector<double> curvatureData;// 曲率数据 std::vector<double> gammaData;// 角度数据 std::vector<double> alphaData;// 初始角数据 std::vector<double> lambdaData;// 斜率数据// 填充一些数据 positionData.push_back(1.0); curvatureData.push_back(2.0);// 其他三个容器保持为空// ❌ 错误写法1：直接使用容器对象// 这行代码编译不通过，因为vector不能直接转换为bool// bool result = !(positionData || curvatureData || gammaData || alphaData || lambdaData);// ❌ 错误写法2：错误地组合条件bool wrongResult =!positionData.empty()&&!curvatureData.empty()&&!gammaData.empty()&&!alphaData.empty()&&!lambdaData.empty(); std::cout <<"错误写法的结果: "<< std::boolalpha << wrongResult << std::endl; std::cout <<"解释：这个条件要求所有容器都非空，不符合我们的需求"<< std::endl;return0;}

运行结果：

错误写法的结果: false 解释：这个条件要求所有容器都非空，不符合我们的需求

📈 示例2：正确的解决方案

根据德摩根定律（De Morgan’s laws）：

¬(P∨Q)≡¬P∧¬Q \neg (P \lor Q) \equiv \neg P \land \neg Q ¬(P∨Q)≡¬P∧¬Q
¬(P∧Q)≡¬P∨¬Q \neg (P \land Q) \equiv \neg P \lor \neg Q ¬(P∧Q)≡¬P∨¬Q

其中 PPP、QQQ 表示逻辑命题，¬\neg¬ 表示非，∨\lor∨ 表示或，∧\land∧ 表示与。

我们的需求是：只要有一个非空，结果就为假。用数学语言描述：

success=¬(非空1∨非空2∨非空3∨非空4∨非空5) \text{success} = \neg (\text{非空}_1 \lor \text{非空}_2 \lor \text{非空}_3 \lor \text{非空}_4 \lor \text{非空}_5) success=¬(非空1​∨非空2​∨非空3​∨非空4​∨非空5​)

#include<iostream>#include<vector>#include<algorithm>classVehicleTrajectory{private: std::vector<double> m_positionValues;// 位置序列 std::vector<double> m_curvatureList;// 曲率列表 std::vector<double> m_gammaAngles;// 伽马角序列 std::vector<double> m_alphaAngles;// 阿尔法角序列 std::vector<double> m_lambdaSlopes;// 拉姆达斜率序列public:// 构造函数VehicleTrajectory()=default;// 添加数据的方法voidaddPosition(double pos){ m_positionValues.push_back(pos);}voidaddCurvature(double k){ m_curvatureList.push_back(k);}voidaddGamma(double gamma){ m_gammaAngles.push_back(gamma);}voidaddAlpha(double alpha){ m_alphaAngles.push_back(alpha);}voidaddLambda(double lambda){ m_lambdaSlopes.push_back(lambda);}// ✅ 方法1：检查是否有任意一个容器非空boolhasAnyData()const{// 只要有一个非空，就返回truereturn!m_positionValues.empty()||!m_curvatureList.empty()||!m_gammaAngles.empty()||!m_alphaAngles.empty()||!m_lambdaSlopes.empty();}// ✅ 方法2：与原始需求一致的接口boolcheckSuccess()const{// 原始：success = !GwheelCurve.empty();// 现在：success = !(任意一个非空)return!hasAnyData();}// ✅ 方法3：清晰的单行写法boolisAllEmpty()const{return m_positionValues.empty()&& m_curvatureList.empty()&& m_gammaAngles.empty()&& m_alphaAngles.empty()&& m_lambdaSlopes.empty();}// 显示状态voidprintStatus()const{ std::cout <<"=== 容器状态 ==="<< std::endl; std::cout <<"位置数据: "<< m_positionValues.size()<<" 个元素"<< std::endl; std::cout <<"曲率数据: "<< m_curvatureList.size()<<" 个元素"<< std::endl; std::cout <<"伽马角: "<< m_gammaAngles.size()<<" 个元素"<< std::endl; std::cout <<"阿尔法角: "<< m_alphaAngles.size()<<" 个元素"<< std::endl; std::cout <<"斜率数据: "<< m_lambdaSlopes.size()<<" 个元素"<< std::endl; std::cout <<"hasAnyData(): "<< std::boolalpha <<hasAnyData()<< std::endl; std::cout <<"checkSuccess(): "<< std::boolalpha <<checkSuccess()<< std::endl; std::cout <<"isAllEmpty(): "<< std::boolalpha <<isAllEmpty()<< std::endl;}};intmain(){// 场景1：所有容器都为空 std::cout <<"场景1：所有容器为空"<< std::endl; VehicleTrajectory trajectory1; trajectory1.printStatus(); std::cout << std::endl;// 场景2：部分容器有数据 std::cout <<"场景2：部分容器有数据"<< std::endl; VehicleTrajectory trajectory2; trajectory2.addPosition(10.5); trajectory2.addCurvature(0.3); trajectory2.printStatus(); std::cout << std::endl;// 场景3：所有容器都有数据 std::cout <<"场景3：所有容器都有数据"<< std::endl; VehicleTrajectory trajectory3;for(int i =0; i <3;++i){ trajectory3.addPosition(i *1.0); trajectory3.addCurvature(i *0.1); trajectory3.addGamma(i *0.5); trajectory3.addAlpha(i *0.3); trajectory3.addLambda(i *0.2);} trajectory3.printStatus();return0;}

运行结果：

场景1：所有容器为空 === 容器状态 === 位置数据: 0 个元素 曲率数据: 0 个元素 伽马角: 0 个元素 阿尔法角: 0 个元素 斜率数据: 0 个元素 hasAnyData(): false checkSuccess(): true isAllEmpty(): true 场景2：部分容器有数据 === 容器状态 === 位置数据: 1 个元素 曲率数据: 1 个元素 伽马角: 0 个元素 阿尔法角: 0 个元素 斜率数据: 0 个元素 hasAnyData(): true checkSuccess(): false isAllEmpty(): false 场景3：所有容器都有数据 === 容器状态 === 位置数据: 3 个元素 曲率数据: 3 个元素 伽马角: 3 个元素 阿尔法角: 3 个元素 斜率数据: 3 个元素 hasAnyData(): true checkSuccess(): false isAllEmpty(): false

🧮 示例3：模板化通用解决方案

如果我们有更多类型的数据需要检查，可以设计一个更通用的解决方案：

#include<iostream>#include<vector>#include<type_traits>#include<initializer_list>// 通用检查器类template<typenameContainer>conceptHasEmptyMethod=requires(Container c){{ c.empty()}-> std::convertible_to<bool>;};classMultiContainerChecker{public:// 方法1：变参模板，支持任意数量的容器template<HasEmptyMethod... Containers>staticboolallEmpty(const Containers&... containers){return(containers.empty()&&...);// C++17折叠表达式}// 方法2：初始化列表版本staticboolanyNonEmpty(std::initializer_list<bool> emptinessList){for(bool empty : emptinessList){if(!empty)returntrue;// 如果有一个非空}returnfalse;}};intmain(){// 创建不同数据的容器 std::vector<int> sensorData ={1,2,3}; std::vector<double> velocityData; std::vector<char> directionData ={'N','E'}; std::string statusData ="";// 测试折叠表达式 std::cout <<"=== 使用折叠表达式 ==="<< std::endl;bool result1 =MultiContainerChecker::allEmpty(sensorData, velocityData, directionData, statusData); std::cout <<"所有容器都为空: "<< std::boolalpha << result1 << std::endl;// 测试初始化列表 std::cout <<"\n=== 使用初始化列表 ==="<< std::endl;bool result2 =MultiContainerChecker::anyNonEmpty({ sensorData.empty(), velocityData.empty(), directionData.empty(), statusData.empty()}); std::cout <<"有任意容器非空: "<< std::boolalpha << result2 << std::endl;// 模拟原始需求 std::cout <<"\n=== 模拟原始需求 ==="<< std::endl; std::vector<double> originalGwheelCurve ={1.1,2.2,3.3};bool originalSuccess =!originalGwheelCurve.empty();// 新需求：检查多个容器bool newSuccess =!MultiContainerChecker::anyNonEmpty({ sensorData.empty(), velocityData.empty(), directionData.empty(), statusData.empty()}); std::cout <<"原始success: "<< originalSuccess << std::endl; std::cout <<"新的success: "<< newSuccess << std::endl;return0;}

🎓 深入理解：逻辑运算的数学原理

在布尔代数中，我们处理的是二元值 {0,1}\{0, 1\}{0,1} 或 {false,true}\{\text{false}, \text{true}\}{false,true}。设 A,B,C,D,EA, B, C, D, EA,B,C,D,E 分别表示五个容器非空的命题，即：

A=¬empty(m_xValues) A = \neg \text{empty}(m\_xValues) A=¬empty(m_xValues)
B=¬empty(m_kappaRa) B = \neg \text{empty}(m\_kappaRa) B=¬empty(m_kappaRa)
C=¬empty(m_gammaOa) C = \neg \text{empty}(m\_gammaOa) C=¬empty(m_gammaOa)
D=¬empty(m_alpha0a) D = \neg \text{empty}(m\_alpha0a) D=¬empty(m_alpha0a)
E=¬empty(m_lambdaS) E = \neg \text{empty}(m\_lambdaS) E=¬empty(m_lambdaS)

原始需求是：

success=¬(A∨B∨C∨D∨E) \text{success} = \neg (A \lor B \lor C \lor D \lor E) success=¬(A∨B∨C∨D∨E)

根据德摩根定律，这等价于：

success=¬A∧¬B∧¬C∧¬D∧¬E \text{success} = \neg A \land \neg B \land \neg C \land \neg D \land \neg E success=¬A∧¬B∧¬C∧¬D∧¬E

用代码表示就是：

bool success = m_xValues.empty()&& m_kappaRa.empty()&& m_gammaOa.empty()&& m_alpha0a.empty()&& m_lambdaS.empty();

🏆 性能与可读性的平衡

#include<iostream>#include<vector>#include<chrono>constint TEST_SIZE =1000000;// 性能测试：比较不同写法的效率voidperformanceTest(){ std::vector<int>data1(TEST_SIZE,1); std::vector<int> data2; std::vector<int>data3(TEST_SIZE,2); std::vector<int> data4; std::vector<int>data5(TEST_SIZE,3);int iterations =10000;// 方法1：直接检查auto start1 = std::chrono::high_resolution_clock::now();for(int i =0; i < iterations;++i){bool result = data1.empty()&& data2.empty()&& data3.empty()&& data4.empty()&& data5.empty();volatilebool dummy = result;// 防止被优化掉}auto end1 = std::chrono::high_resolution_clock::now();// 方法2：通过函数调用auto start2 = std::chrono::high_resolution_clock::now();for(int i =0; i < iterations;++i){auto checkEmpty =constauto& v{return v.empty();};bool result =checkEmpty(data1)&&checkEmpty(data2)&&checkEmpty(data3)&&checkEmpty(data4)&&checkEmpty(data5);volatilebool dummy = result;}auto end2 = std::chrono::high_resolution_clock::now();auto duration1 = std::chrono::duration_cast<std::chrono::microseconds>(end1 - start1);auto duration2 = std::chrono::duration_cast<std::chrono::microseconds>(end2 - start2); std::cout <<"=== 性能测试结果 ==="<< std::endl; std::cout <<"直接检查耗时: "<< duration1.count()<<" 微秒"<< std::endl; std::cout <<"函数调用耗时: "<< duration2.count()<<" 微秒"<< std::endl; std::cout <<"性能差异: "<<(double)duration2.count()/duration1.count()<<" 倍"<< std::endl;}intmain(){performanceTest();return0;}

📝 总结与最佳实践

通过以上分析，我们得出以下结论：

  1. 明确需求：首先要清楚到底是要检查"所有容器都为空"还是"有任意容器非空"
  2. 正确的写法：
  4. 提高可读性：使用有意义的函数名，如 hasAnyData()、isAllEmpty()
  5. 考虑扩展性：当容器数量多时，考虑使用模板或容器存储容器引用

如果要检查是否有任意容器非空（然后取反得到是否全空）：

bool anyNonEmpty =!container1.empty()||!container2.empty()||!container3.empty();bool allEmpty =!anyNonEmpty;// 等价于上一种写法

如果要检查是否所有容器都为空：

bool allEmpty = container1.empty()&& container2.empty()&& container3.empty();

记住这个简单的原则：在C++中，检查多个条件时，用 && 连接表示"所有"，用 || 连接表示"任意一个"。结合德摩根定律，可以灵活地在不同形式间转换。

掌握了这个技巧，你就能优雅地处理各种复杂的逻辑判断，写出既高效又易读的代码！

Read more

【C++】深入浅出“图”——最短路径算法

【C++】深入浅出“图”——最短路径算法

文章目录 * 一、Dijkstra算法 * 二、Bellman_Ford算法 * 三、Floyd_Warshall算法 一、Dijkstra算法 最短路径问题是指，从在带权的有向图中从某一顶点出发，找到通往另一顶点的最短路径，“最短”指的是沿路径各边的权值总和最小。 Dijkstra算法是单源最短路径的经典贪心算法，只能用于没有负权的图。它从起点出发，每次选当前距离最小且未确定最短路径的节点，用它去松弛（更新）所有邻接点的最短路径估计值，标记该节点为 “已确定”，重复此过程直到所有节点处理完毕，最终得到起点到图中所有节点的最短路径。 // src是选定的起点，dist记录起点到各点的最短路径，pPath记录到每个点的最短路径的前驱顶点下标voidDijkstra(const V& src, vector<W>& dist, vector<int>& pPath){ size_t srci =GetVertexIndex(

By Ne0inhk
深入解剖STL RB-tree(红黑树)：用图解带入相关复杂操作实现

深入解剖STL RB-tree(红黑树)：用图解带入相关复杂操作实现

👇点击进入作者专栏： 《算法画解》 ✅ 《linux系统编程》✅ 《C++》 ✅ 文章目录 * 一、红黑树介绍 * 1. 什么是红黑树？ * 2. 红黑树的规则 * 3. 为什么最长路径不超过最短路径的两倍？ * 4. 红黑树的效率 * 二、红黑树的实现 * 2.1 红黑树的节点结构 * 2.2 红黑树整体结构 * 三、红黑树的插入操作 * 3.1 插入的大致流程 * 3.2 插入后的三种情况 * 情况1：叔叔节点存在且为红色（变色处理） * 情况2：叔叔节点不存在或为黑色 + cur和p在同一侧（单旋+变色） * 情况3：叔叔节点不存在或为黑色 + cur和p在不同侧（双旋+变色） * 3.3 插入完整代码 * 3.4 旋转操作的实现

By Ne0inhk
C++之基于正倒排索引的Boost搜索引擎项目usuallytool部分代码及详解

C++之基于正倒排索引的Boost搜索引擎项目usuallytool部分代码及详解

这部分是通用工具部分的代码，简单来说就是这份代码里面的函数会在项目的其他多个部分里面被使用，所以我们专门创建一个部分用来存储这些代码。 1.FileUtil 这个类就是专门用来读取文件用的，这个代码从指定的文件路径读取文件内容，将读取到的内容（按行读取）追加到传入的字符串指针（out）所指向的字符串中；同时，该方法会返回一个布尔值，用于标识读取操作是否成功 —— 若文件成功打开并完成读取，返回 true；若文件打开失败（如路径错误等），则输出错误信息并返回 false。 文件以二进制输入模式打开，读取过程中不会修改原文件内容。 class FileUtil{ public: static bool ReadFile(const std::string &file_path,std::string *out) { //下面这行代码就是在打开文件，并通过ifstream定义一个对象in，用于关联特定的文件 std::ifstream in(file_path,std::ios::in

By Ne0inhk