C++小知识:不要去做编译器的工作

对于C++编程的老鸟来说，有时候他们喜欢把一些东西按照编译器的工作原理进行改写，以便提高代码的运行效率。这么做确实高明，也能体现出程序员的水平，但是这么做也是有风险的。因为有时候你可能会因为一些简单的笔误，而造成非常难以察觉的错误。本文就给出了类似的例子。

这个Bug 出现在MySQL源代码中。

错误代码：

static int rr_cmp(uchar *a,uchar *b)
{
 if (a[0] != b[0])
  return (int) a[0] - (int) b[0];
 if (a[1] != b[1])
  return (int) a[1] - (int) b[1];
 if (a[2] != b[2])
  return (int) a[2] - (int) b[2];
 if (a[3] != b[3])
  return (int) a[3] - (int) b[3];
 if (a[4] != b[4])
  return (int) a[4] - (int) b[4];
 if (a[5] != b[5])
  return (int) a[1] - (int) b[5];   <<<<====
 if (a[6] != b[6])
  return (int) a[6] - (int) b[6];
 return (int) a[7] - (int) b[7];
}

说明：

这是一个在对代码段进行拷贝粘贴时出现的典型错误。程序员很可能是把“if (a[1] != b[1]) (int) a[1] – (int) b[1];” 这段代码拷贝了好几遍（然后手动改数组下标），用来实现一个循环。不过程序员忘记把其中某一行的数组下标 1 改成 5。结果就是函数有时候能返回正确的值（，有的时候则不行），这种错误是很难侦测的。事实上这个错误的确很难捕捉，在我们用 PVS-Studio 扫描 MySQL 源代码之前，所有其他的测试都没能发现这个错误。

正确的代码：

if (a[5] != b[5])
 return (int) a[5] - (int) b[5];

尽管之前的代码看上去整洁易读，但是程序员还是很有可能漏看这个错误。因为这个代码块的内部结构很相似，所以你本能地会一扫而过，而不会特别集中注意力去阅读代码。

之所以把代码写成这样，很可能是程序员想尽可能地优化代码。他（或她）想手动“展开循环”（来进行优化）。不过我想在这儿可不是个好主意。

首先，我很怀疑程序员是不是真的能通过这种方法达到效果。要知道，现代编译器已经相当智能了，如果真的能优化程序性能，（编译器）自动就会完成展开循环的优化。

其次，由于尝试进行优化却造成了代码中出现 bug。如果程序员一开始能老老实实写一个简单循环，那么犯错误的几率就会降低很多。

我建议把这个方法写成这样：

static int rr_cmp(uchar *a,uchar *b)
{
 for (size_t i = 0; i < 7; ++i)
 {
  if (a[i] != b[i])
   return a[i] - b[i];
 }
 return a[7] - b[7];
}

这种写法有两个优势：

  • 1.这个函数更容易阅读和理解。
  • 2.编写代码时，降低犯错几率。

至于性能方面，我敢说这个版本不会比之前写得很长的那个版本慢。

这个推荐的方法实际上表达了下面的意思：代码要简单易读。简单的代码通常即是正确的代码。不要去做编译器的工作——例如，（手动）展开循环。编译器很明确知道自己该做什么，并不需要你的帮助。手动代码优化工作只针对某些特定的关键代码，而且只在分析器已经确认这些代码是瓶颈以后，才可能恰当。

总结

以上就是这篇文章的全部内容了，希望本文的内容对大家的学习或者工作具有一定的参考学习价值，谢谢大家对我们的支持。如果你想了解更多相关内容请查看下面相关链接

赞 (0)

相关推荐

  • 剑指offer之C++语言实现链表(两种删除节点方式)

    1 问题 用C++语言实现链表 2 代码实现 #include <iostream> #include <stdlib.h> using namespace std; class List { public: List(); ~List(); List* createNode(int value);//创建节点 bool insertNode(List *node);//插入节点 void printList();//打印节点 bool deleteNode(List *node)

  • C++实践排序函数模板项目的参考方法

    [项目-排序函数模板] 已知 void Sort(int a[],int size); void Sort(double a[],int size); 是一个函数模板的两个实例,其功能是将数组a中的前size个元素按从小到大顺序排列.试设计这个函数模板. 参考解答: #include<iostream> using namespace std; template<class T> void Sort(T set[],int n) { int i,j; T temp; for(i=1

  • C++实践分数类中运算符重载的方法参考

    [项目-分数类中的运算符重载] (1)实现分数类中的运算符重载,在分数类中可以完成分数的加减乘除(运算后再化简).比较(6种关系)的运算. class CFraction { private: int nume; // 分子 int deno; // 分母 public: //构造函数及运算符重载的函数声明 }; //重载函数的实现及用于测试的main()函数 (2)在(1)的基础上,实现分数类中的对象和整型数的四则运算.分数类中的对象可以和整型数进行四则运算,且运算符合交换律.例如:CFrac

  • Android Java调用自己C++类库的实例讲解

    Android Java 如何调用自己的 C++ 的类库 下面以 Java 调用 C++ 的加法运算函数为例,做简单说明. (使用 Android Studio 3 编译) 首先编译 c++ 类库 创建独立目录存放 c++ 文件,例如 "app/src/main/cpp/add.cpp",内容如下 #include <jni.h> extern "C" JNIEXPORT jint JNICALL Java_com_example_liyi_demo_U

  • C++小知识:用合适的工具来分析你的代码

    静态代码分析工具可简化编码过程,检测出错误并帮助修复.有个国外团队检测了 200 多个 C/C++ 开源项目,包括了 Php.Qt 和 Linux 内核等知名项目.于是他们每天分享一个错误案例,并给出相应建议.今天的案例来自 LibreOffice 项目. 错误代码 BOOL WINAPI DllMain( HINSTANCE hinstDLL, DWORD fdwReason, LPVOID lpvReserved ) { .... CreateThread( NULL, 0, ParentM

  • C++二维数组中数组元素存储地址的计算疑问讲解

    C++二维数组中数组元素存储地址的计算疑问讲解

    关于二维数组中数组元素的存储地址,有同学问出了个好问题. 在我的课件中,出现了下面的讲解: a[i][j]的地址是p+(i*col+j)*d(d是数组元素所占的字节数). 同学编程序进行验证,出问题了: 地球停止转动了也必须先赞这种学习方式! 同学问:"老师,第一张图的4,我怎么觉得不对呢?第二张图我没4,结果好像也对,这里面差在哪呢?" 我的答复:"两个都对." 第一张图在讲原理,是我们在人脑里面要以"字节"为单位计算,p为首地址,单位是字节,

  • C++实践Time类中的运算符重载参考方法

    [项目-Time类中的运算符重载] 实现Time类中的运算符重载. class CTime { private: unsigned short int hour; // 时 unsigned short int minute; // 分 unsigned short int second; // 秒 public: CTime(int h=0,int m=0,int s=0); void setTime(int h,int m,int s); void display(); //二目的比较运算符

  • Python使用ctypes调用C/C++的方法

    python使用ctypes调用C/C++ 1. ctpes介绍 ctypes is a foreign function library for Python. It provides C compatible data types, and allows calling functions in DLLs or shared libraries. It can be used to wrap these libraries in pure Python. 官方文档地址: https://do

  • C++实践数组类运算的实现参考

    [项目-数组类运算的实现] 设计数组类Array,为了实现测试函数中要求的功能,请补足相关的函数(构造.析构函数)和运算符重载的函数. 实现策略提示:可以将测试函数中的语句加上注释,取消一句的注释,增加相应的函数,以渐增地实现所有的功能,避免全盘考虑带来的困难. class Array { private: int* list; //用于存放动态分配的数组内存首地址 int size; //数组大小(元素个数) public: //成员函数声明 }; //要求测试函数能够运行出正确.合理的结果:

  • C++小知识:C/C++中不要按值传递数组

    错误的代码: ID_INLINE mat3_t::mat3_t( float src[ 3 ][ 3 ] ) { memcpy( mat, src, sizeof( src ) ); } 说明: 有时候程序员会忘记 C/C++ 里数组不能按值传递给函数.当你试图这样做时,是数组的指针(第一个元素的地址)而不是整个数组被传递.我们还应该记住,方括号中的数字没有任何意义.它们仅仅是程序员所做的标志,记录了传递数组的『假定』大小.事实上,你也可以传递一个大小完全不同的数组.例如,下面的代码就会成功编译

随机推荐