C++核心准则边译边学-P.5 编译时检查比执行时检查更好

C++核心准则边译边学-P.5 编译时检查比执行时检查更好

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 *pint a[100];read(a, 1000); // bad, off the end

better（好一点）

void read(span r); // read into the range of integers rint 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之后，这些检查都可以重新考虑，看看是否可以转变成编译时检查。

觉得本文有帮助，欢迎点赞并分享给更多的朋友！

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。