C++ 之父反驳白宫观点-低调大师

C++ 之父反驳白宫观点

2024-03-19 293

白宫国家网络主任办公室 (ONCD) 此前曾发布了一份报告，呼吁科技界主动减少网络空间的攻击面；通过改用 Rust 等内存安全编程语言、避免使用 C++ 和 C 语言等易受攻击的语言，以减少内存安全漏洞的数量来提高软件安全性。

C++ 之父 Bjarne Stroustrup 在日前与 InfoWorld 的采访中针对白宫的这些言论进行了反驳。“我感到惊讶的是，这些政府文件的作者似乎对当代 C++ 的优势和提供强大安全保证的努力视而不见。另一方面，他们似乎已经意识到，编程语言只是工具链的一部分，因此改进工具和开发流程至关重要。”

Stroustrup 指出，安全性改进始终是 C++ 开发工作的目标。从 C++ 诞生的第一天起，提高安全性就一直是 C++ 的目标。只要将 K&R C 语言与最早的C++、早期的 C++ 以及当代的 C++ 进行就能看出差别。许多高质量的 C++ 都是使用基于 RAII (Resource Acquisition Is Initialization)、容器和资源管理指针的技术编写的，而不是传统的 C-style pointer messes。

Stroustrup 还列举了为改善 C++ 安全所做的一系列努力。

与安全有关的问题有两个。在数十亿行的 C++ 中，很少有完全遵循现代准则的，而且人们对安全的哪些方面是重要的概念也不尽相同。我和 C++ 标准委员会正在努力解决这个问题。

Profiles 是一个框架，用于指定一段代码需要什么保证，并启用实现来验证它们。委员会网站上有描述这一点的文件（可查看 WG21），并且还会有更多文件。然而，我们中的一些人没有心情等待委员会必然缓慢的进展。

Profiles 是一个框架，允许我们逐步改进 guarantees —— 例如，相对较快地消除大多数 range errors，并通过本地静态分析和最少的运行时检查逐步将 guarantees 引入大型代码库。我对 C++ 的长期目标一直是在需要的时候提供类型和资源安全。也许当前对内存安全的推动 —— 我想要的 guarantees 的一个子集 —— 将有助于我的努力，C++ 标准委员会中的许多人也认同这一点。

相关阅读：

微信关注我们

原文链接：https://www.oschina.net/news/283723/c-plus-plus-creator-rebuts-white-house-warning

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

推进“全球开源软件产品库”骨干库建设，“2024中国数据库产品调研”正式发布

在3月16日的中国开源数据库技术交流活动上，中国开源软件推进联盟常务副秘书长、北京开源创新委员会常务副主任宋可为，中国开源软件推进联盟数据库分会秘书长白国华，代表中国开源软件推进联盟正式发布了2024中国数据库产品调研。此次调研项目，是建设“全球开源软件产品库”骨干库的重要一步，标志着“全球开源软件产品库”建设工作进一步迈向成熟化和常态化运行。 “全球开源软件产品库”作为中国开源软件推进联盟重点工作，根据规划将涵盖操作系统、数据库、AI大模型、主流编程语言、区块链等领域。为更好的实施“产品库”建设工作，COPU根据“产品库”的类别构成，将组建各领域的子项工作组，其中，数据库作为核心基础软件和IT产业基础设施的关键组成，在产业链中处于关键生态位，直接影响数字基础设施发展的水平。此次在“产品库”的编制中，将其作为骨干库建设，以骨干库标准将全球主流的开源产品和商业闭源产品共同纳入库中，进一步强化产品库的全面性、客观性、可分析与可参考性。同时，“产品库”将首次引入工业界评价机制，力求为工业界的数据库选型带来实质性帮助。以“深入对工业界的数据库选型带来实质性帮助、推动自主开源根社区版本发展”为...

2024-03-19

293

欢迎阅读 OSCHINA 编辑部出品的开源日报，每天更新一期。 # 2024.3.18 今日要点 OpenSource Daily 马斯克开源 Grok 马斯克旗下的 xAI 正式宣布在 Apache 2.0 协议下开源了大模型 Grok-1 的基本模型权重和网络架构。其参数量达到 3140 亿，远超 Meta 的 Llama 2 的 700 亿、Mistral 8x7B 的 120 亿以及 OpenAI GPT-3.5 的 1750 亿；这也是迄今参数量最大的开源大语言模型。根据介绍，Grok 基础模型基于大量文本数据进行训练，未针对任何特定任务进行微调。其架构于 2023 年 10 月使用 JAX 和 Rust 之上的自定义训练堆栈开发，融合了神经网络设计的创新方法。该模型将 25% 的权重用于给定 token，旨在提高效率和有效性。历时 20 年，GnuCOBOL 已达到工业成熟度 OCamlPro 创始人兼 GnuCOBOL 贡献者 Fabrice Le Fessant表示，经过 20 年的发展，开源 GnuCOBOL“已经达到了工业成熟度，可以在所有环境中与专有产品竞争。...

2024-03-19

260

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。