C++ 核心准则边译边学 哲学篇.4: Ideally, a program should be statically type safe理想情况下,程序应当是静态类型安全的

本文关注C++中可能导致程序不安全的几个关键领域,包括联合体、类型转换、数组退化、范围错误和缩小转换。建议使用variant替代联合体,减少不必要的类型转换,利用span管理数组以防止范围错误,并通过narrow或narrow_cast进行安全的数值转换,以增强程序的静态类型安全性。
摘要由CSDN通过智能技术生成

源网址:CppCoreGuidelines

原因

理想情况下,一个程序应当是完全静态(编译期)类型安全的。不幸的是,这不可能,问题区:

  • 联合体
  • 类型转化
  • 数组退化
  • 范围错误
  • 缩小(截断)转换

注意

这些区域是一系列问题之源(例如崩溃和安全违规)。我们尝试提供替换技术。

补充

我们可以根据个别程序的需要和可行性,单独禁止、限制或者检测个别问题。通常的建议是替换,例如:

  • 联合体:使用variant(c++17)
  • 转换:尽可能不使用,用模板
  • 数组退化:使用span(来自GSL)
  • 范围错误:使用span
  • 缩小转换:尽量不使用,并在必要时使用narrow或者narrow_cast(来自 GSL)
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值