| commit | c003cbdf40d8fc51705280636ebc2319e3b4a3a0 | [log] [tgz] |
|---|---|---|
| author | Sam McCall <sammccall@google.com> | Mon Jul 17 05:12:18 2023 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Jul 17 05:13:47 2023 -0700 |
| tree | e6237869520dbec1a0b79ed6536fc03b7577a076 | |
| parent | 61645e1bb4380dc3e30b27370e93ca84591ee831 [diff] |
Replace is_known property with from_nullable The old property meant "was the source either Nullable or Nonnull?" The new property means "was the source Nullable?" Despite how central these properties are, I believe this is a very safe change. These behave in very similar ways. (As descriptions of the source, they don't affect runtime behavior and are mostly just moved around by the framework). The "is nullable" test is the same as before: in scenarios where the pointer is null, a nonnull source is impossible, so known == from_nullable. There are a couple of advantages motivating the change: - from_nullable is IMO a more concrete concept and so easier to reason about - inference uses variables for e.g. annotated_nullable and annotated_nonnull. mapping these to from_nullable is simpler, and yields a simpler SAT system. PiperOrigin-RevId: 548656500 Change-Id: Ib1d3deb150ef55a7b4ebc15bb1ef91d6b5198c1f
Crubit is an experimental bidirectional bindings generator for C++ and Rust.
Please don‘t use, this is an experiment and we don’t yet know where will it take us. There will be breaking changes without warning. Unfortunately, we can't take contributions at this point.
Crubit allows for C++ code and Rust code to call each other without manually wrapping the APIs in an FFI-friendly interop layer. For example, a C++ function like this:
bool IsAbsPath(std::string_view path);
... becomes callable from Rust as if it were defined as:
pub fn IsAbsPath(path: std::string_view) -> bool {...}
Crubit automatically generates ABI-compatible bindings for structs (which can be passed both by value and by reference), functions, and methods, for a large variety of types. (Trivial types, nontrivial types, templated types, etc.)
$ apt install clang lld bazel $ git clone git@github.com:google/crubit.git $ cd crubit $ bazel build --linkopt=-fuse-ld=/usr/bin/ld.lld //rs_bindings_from_cc:rs_bindings_from_cc_impl
$ git clone https://github.com/llvm/llvm-project $ cd llvm-project $ CC=clang CXX=clang++ cmake -S llvm -B build -DLLVM_ENABLE_PROJECTS='clang' -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=install $ cmake --build build -j $ # wait... $ cmake --install build $ cd ../crubit $ LLVM_INSTALL_PATH=../llvm-project/install bazel build //rs_bindings_from_cc:rs_bindings_from_cc_impl