Will C++ introduce something similar to Borrow Checker to improve memory safety?

This page summarizes the projects mentioned and recommended in the original post on /r/cpp

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • rust

    Empowering everyone to build reliable and efficient software.

  • Yes it is: https://github.com/rust-lang/rust/issues/54878

  • scpptool

    scpptool is a command line tool to help enforce a memory and data race safe subset of C++.

  • For those that are adventurous and open to a 3rd party solution, you can check out the scpptool project. (Shameless plug.) As u/pjmlp noted, it necessarily involves "curbing C++ language features or having annotations all over the place". It's closer to enforcing full memory safety than the other solutions, but maybe less ergonomic and not quite as adept at confirming the safety of existing C++ code.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • hylo

    The Hylo programming language

  • Personally, I have no interest in Carbon or 'cppfront'. Val, on the other hand, is interesting: https://www.val-lang.dev/

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts