C++编译时为什么检查比执行时检查更好

这篇文章主要讲解了“C++编译时为什么检查比执行时检查更好”,文中的讲解内容简单清晰,易于学习与理解,下面请大家跟着小编的思路慢慢深入,一起来研究和学习“C++编译时为什么检查比执行时检查更好”吧!

成都创新互联10多年成都定制网页设计服务;为您提供网站建设,网站制作,网页设计及高端网站定制服务,成都定制网页设计及推广,对门窗定制等多个行业拥有丰富的网站推广经验的网站建设公司。

P.5: Prefer compile-time checking to run-time checking(编译时检查比执行时检查更好)

Reason(原因)

Code clarity and performance. You don't need to write error handlers for errors caught at compile time.

代码的清晰和性能。你不需要为编译错误编写处理程序。

译者注:编译时检查不会占用执行时间,因此可以带来更好的性能;编译检查一般都是利用编译器,语言的基本功能,检查代码也会清晰明了。

Example(示例)

// Int is an alias used for integersint bits = 0;         // don't: avoidable codefor (Int i = 1; i; i <<= 1)    ++bits;if (bits < 32)    cerr << "Int too small\n";

This example fails to achieve what it is trying to achieve (because overflow is undefined) and should be replaced with a simple static_assert:

这个例子无法达成它想要达成的目标(因为溢出时的行为是无定义的)。它可以被一个简单的static_assert代替:

译者注:

  1. 代码应该是想通过一个循环的左移操作计算Int的位数,如果小于32位就报错。这是一种运行时检查的方式。

  2. static_assert支持编译时的断言检查。

// Int is an alias used for integersstatic_assert(sizeof(Int) >= 4);    // do: compile-time check

Or better still just use the type system and replace Int with int32_t.

或者直接使用类型系统并且用intr32_t代替Int。

Example(示例)

void read(int* p, int n);   // read max n integers into *p
int a[100];read(a, 1000);    // bad, off the end

better(好一点)

void read(span r); // read into the range of integers r
int a[100];read(a);        // better: let the compiler figure out the number of elements

译者注:使用指针传递数据的read可以使用int型的大小信息进行范围检查但是这种检查只能在执行时进行;而span包含了数组的尺寸信息,如果数组长度在编译时可以确定,span就可以实现编译时的范围检查。

Alternative formulation: Don't postpone to run time what can be done well at compile time.

另一个表达:编译时能做的,就不要延迟到执行时。

Enforcement(执行建议)

  • Look for pointer arguments.注意指针类型参数。

  • Look for run-time checks for range violations.注意运行时刻对范围违反的检查。

译者注:通过指针传递数据之后,大小信息也作为变量传递,因此之后的范围检查都只能在执行时进行。有了模板类span之后,这些检查都可以重新考虑,看看是否可以转变成编译时检查。

感谢各位的阅读,以上就是“C++编译时为什么检查比执行时检查更好”的内容了,经过本文的学习后,相信大家对C++编译时为什么检查比执行时检查更好这一问题有了更深刻的体会,具体使用情况还需要大家实践验证。这里是创新互联,小编将为大家推送更多相关知识点的文章,欢迎关注!


分享名称:C++编译时为什么检查比执行时检查更好
地址分享:http://pwwzsj.com/article/jispsi.html