C++核心准则：优先使用编译时检查而不是运行时检查

谁践踏了优雅 2022-11-12 10:54 174阅读 0赞

# 原因 #

代码的清晰度和性能：

*  你无需为在编译时捕获的错误编写错误处理程序==》代码结构清晰、简洁
 *  **编译时检查**不会占用执行时间==》性能更好

# 例子 #

// Int is an alias used for integers
        int bits = 0;         // don't: avoidable code
        for(Int i = 0; i ; i <<= 1){
        
            ++bits;
        }
        if(bits < 32){
        
            cerr << "Int too small";
        }

这个例子无法达成它想要达成的目标（因为溢出时的行为是无定义的），应该使用`static_assert`代替

*  代码目的：通过一个循环的左移操作计算Int的位数，如果小于32为就报错。这是一种运行时检查方式
 *  `static_assert`支持编译时的断言错误

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

更好的做法是只使用类型系统并替换`Int`为`int32_t`

# 例子： #

void read(int* p, int n);   // 将最大n个整数读入*p
    
    int a[100];
    read(a, 1000);    // bad, off the end

better：

void read(span<int> r); // 读入整数r的范围
    
    int a[100];
    read(a);        // better: 让编译器计算出元素的数量

注：

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

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

# 建议 #

*  注意指针类型参数
 *  注意运行时对范围违反的检查

也就是说：**编译时能做的，就不要延迟到运行时**

[参考][Link 1]

[Link 1]: https://blog.csdn.net/craftsman1970/article/details/103243498

C++核心准则：优先使用编译时检查而不是运行时检查

发表评论取消回复

还没有评论，来说两句吧...

相关阅读

相关 Java泛型在编译时类型检查

相关 Java泛型在编译时类型检查失败

相关运行时异常，检查异常，Error

相关检查异常与运行时异常（非检查异常）的区别

相关 C++核心准则：优先使用编译时检查而不是运行时检查

相关 C++核心准则：编译时无法检查的内容应在运行时检查

相关 java常见检查异常和非检查异常_Java检查异常、非检查异常、运行时异常、非运行时异常的区别...

相关 Java检查异常和非检查异常,运行时异常和非运行时异常的区别

相关 Dubbo启动时检查

相关 java 运行时异常和检查异常