blob: 7ad86712c32b63e0b18bfae39c50ceb60ede9112 [file] [log] [blame]
// Part of the Crubit project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// pathological shadowed names: shadow important modules that the macros use.
mod std {}
mod forward_declare {}
mod test_is_same_0 {
type _Expected = ::forward_declare::internal::Symbol<()>;
fn _is_same(x: _Expected) -> ::forward_declare::symbol!("") {
x
}
}
mod test_is_same_1 {
type _Expected = ::forward_declare::internal::Symbol<(::forward_declare::internal::C<'x'>,)>;
fn _is_same(x: _Expected) -> ::forward_declare::symbol!("x") {
x
}
}
mod test_is_same_3 {
type _Expected = ::forward_declare::internal::Symbol<(
::forward_declare::internal::C<'f'>,
::forward_declare::internal::C<'o'>,
::forward_declare::internal::C<'o'>,
)>;
fn _is_same(x: _Expected) -> ::forward_declare::symbol!("foo") {
x
}
}
#[test]
fn test_conversions() {
use ::forward_declare::CcCast as _; // test becomes too verbose otherwise.
struct MyType;
type MyTypeSymbol = ::forward_declare::symbol!("X");
::forward_declare::unsafe_define!(MyTypeSymbol, MyType);
let mut complete = MyType;
::forward_declare::forward_declare!(MyTypeIncomplete = MyTypeSymbol);
fn ptr_location(x: impl ::std::ops::Deref) -> usize {
&*x as *const _ as *const u8 as usize
}
let loc = ptr_location(&complete);
// & -> &
{
let incomplete_ref: &MyTypeIncomplete = (&complete).cc_cast();
let complete_ref: &MyType = incomplete_ref.cc_cast();
assert_eq!(ptr_location(incomplete_ref), ptr_location(complete_ref));
}
// Pin<&> <-> Pin<&>
{
let incomplete_pin_ref: ::std::pin::Pin<&MyTypeIncomplete> =
::std::pin::Pin::new(&complete).cc_cast();
let complete_pin_ref: ::std::pin::Pin<&MyType> = incomplete_pin_ref.cc_cast();
assert_eq!(ptr_location(incomplete_pin_ref), loc);
assert_eq!(ptr_location(complete_pin_ref), loc);
let complete_unpinned_ref: &MyType = incomplete_pin_ref.cc_cast();
assert_eq!(ptr_location(complete_unpinned_ref), loc);
}
// Pin<&mut> <-> Pin<&mut>
{
let incomplete_pin_mut: ::std::pin::Pin<&mut MyTypeIncomplete> =
::std::pin::Pin::new(&mut complete).cc_cast();
assert_eq!(ptr_location(&*incomplete_pin_mut), loc);
let complete_pin_mut: ::std::pin::Pin<&mut MyType> = incomplete_pin_mut.cc_cast();
assert_eq!(ptr_location(complete_pin_mut), loc);
}
{
// &mut -> Pin<&mut>
let mut incomplete_pin_mut: ::std::pin::Pin<&mut MyTypeIncomplete> =
(&mut complete).cc_cast();
assert_eq!(ptr_location(&*incomplete_pin_mut), loc);
// Pin<&mut> -> &mut
{
let complete_unpinned_mut: &mut MyType = incomplete_pin_mut.as_mut().cc_cast();
assert_eq!(ptr_location(complete_unpinned_mut), loc);
}
// Pin<&mut> -> &
{
let complete_unpinned_ref: &MyType = incomplete_pin_mut.as_ref().cc_cast();
assert_eq!(ptr_location(complete_unpinned_ref), loc);
}
}
/// Typeless location&length info for a slice.
fn slice_location<T>(slice: &[T]) -> (usize, usize) {
(slice.as_ptr() as usize, slice.len())
}
// Vec<&> <-> Vec<&>
{
let complete_vec: Vec<&MyType> = vec![&complete];
let loc = slice_location(&complete_vec);
let incomplete_vec: Vec<&MyTypeIncomplete> = complete_vec.cc_cast();
assert_eq!(slice_location(&incomplete_vec), loc);
let complete_vec: Vec<&MyType> = incomplete_vec.cc_cast();
assert_eq!(slice_location(&complete_vec), loc);
}
// &[&] <-> &[&]
{
let complete_vec: Vec<&MyType> = vec![&complete];
let complete_slice: &[&MyType] = complete_vec.as_slice();
let loc = slice_location(complete_slice);
let incomplete_slice: &[&MyTypeIncomplete] = complete_slice.cc_cast();
assert_eq!(slice_location(incomplete_slice), loc);
let complete_slice: &[&MyType] = incomplete_slice.cc_cast();
assert_eq!(slice_location(complete_slice), loc);
}
// [&; N] <-> [&; N]
{
let complete_array: [&MyType; 2] = [&complete, &complete];
let incomplete_array: [&MyTypeIncomplete; 2] = complete_array.cc_cast();
// TODO(jeanpierreda, lukasza): Avoid copying the array to a different memory location
// (maybe by tweaking `cc_cast()` to use `std::mem::transmute`
// instead of `std::mem::transmute_copy` when the input and output types
// are both `Sized`). Once that is done, we should be able to add
// asserts that say:
//
// let loc = slice_location(&complete_array);
// ...
// assert_eq!(slice_location(&incomplete_array), loc)
// ...
// assert_eq!(slice_location(&complete_array), loc)
let _complete_array: [&MyType; 2] = incomplete_array.cc_cast();
}
}
/// You should be able to call unsafe_define!() twice (on different types) in
/// the same scope.
#[test]
fn test_hygiene() {
struct MyType1;
type MyTypeSymbol1 = ::forward_declare::symbol!("X1");
::forward_declare::unsafe_define!(MyTypeSymbol1, MyType1);
struct MyType2;
type MyTypeSymbol2 = ::forward_declare::symbol!("X2");
::forward_declare::unsafe_define!(MyTypeSymbol2, MyType2);
}
/// Suppose a library used to define its API using an incomplete type, but
/// changed to using a complete type?
/// This test verifies that callers continue to work as normal.
///
/// (The reverse direction, fundamentally, is a lot less likely to work in
/// idiomatic code.)
#[test]
fn test_formerly_incomplete() {
use ::forward_declare::CcCast as _; // test becomes too verbose otherwise.
struct MyType;
::forward_declare::unsafe_define!(::forward_declare::symbol!("X"), MyType);
mod callee {
::forward_declare::forward_declare!(pub MyType = ::forward_declare::symbol!("X"));
}
mod caller {
::forward_declare::forward_declare!(pub MyType = ::forward_declare::symbol!("X"));
}
fn takes_incomplete(_: &callee::MyType) {}
fn takes_complete(_: &MyType) {}
// calls which previously were converting a complete type to incomplete type are
// now converting a complete type to itself -- not great, but still compiles
// and works.
let x = MyType;
let x = &x;
takes_incomplete(x.cc_cast()); // before
takes_complete(x.cc_cast()); // after
// Calls which previously were converting an incomplete type to an incomplete
// will also continue to work. In fact, this is required, since different crates
// will define different incomplete types.
let x: &caller::MyType = x.cc_cast();
takes_incomplete(x.cc_cast()); // before
takes_complete(x.cc_cast()); // after
// However, if you passed an incomplete type in without calling
// .cc_cast(), that will no longer work.
// takes_incomplete(x); // COMPILATION ERROR
// takes_complete(x); // COMPILATION ERROR
// Symmetrically, you can also convert complete types to incomplete if all
// callers call .cc_cast(), but this is much less reasonable a
// requirement.
}
/// In C++, you can define a type as so:
/// template<typename T> struct Vector {T* x; size_t length;};
/// and it can be passed by value, even for forward-declared T.
/// How would this look in Rust?
///
/// The aim of this test is to establish that we can define such a Vector that
/// supports conversion for complete/incomplete T, though being Rust, it cannot
/// be passed by *value*, only by *reference*.
///
/// We can then add an additional trait bound on all methods, `where T :
/// Complete`. This turns out to be easier, for silly typing reasons, than
/// defining a whole new vector type for incomplete T.
#[test]
fn test_vector_alike() {
use ::forward_declare::{
forward_declare, internal::CcType, symbol, unsafe_define, CcCast, Complete,
};
struct MyComplete;
unsafe_define!(symbol!("T"), MyComplete);
forward_declare!(MyIncomplete = symbol!("T"));
/// An equivalent to Vector from the function comment, which is a compound
/// type that supports conversion.
struct Vector<T: ?Sized>(*mut T, usize);
unsafe impl<T: ?Sized> CcType for Vector<T>
where
T: CcType,
{
type Name = (Vector<()>, T::Name);
}
/// Methods on `Vector` that don't require complete `T`
impl<T: ?Sized> Vector<T> {
fn len(&self) -> usize {
self.1
}
}
/// Methods on Vector that require complete `T`.
impl<T: Complete> Vector<T> {
fn back(&self) -> Option<&T> {
if self.len() == 0 {
return None;
}
unimplemented!("An *actual* implementation is not important for this test");
}
}
fn expects_incomplete(_: &Vector<MyIncomplete>) {}
fn expects_complete(_: &Vector<MyComplete>) {}
let complete = &Vector(0 as *mut MyComplete, 0);
let incomplete: &Vector<MyIncomplete> = complete.cc_cast();
expects_incomplete(complete.cc_cast());
expects_incomplete(incomplete.cc_cast());
expects_complete(incomplete.cc_cast());
expects_complete(complete.cc_cast());
assert!(complete.back().is_none()); // works fine
// incomplete.back() // compilation error due to unsatisfied trait bounds
// (`!Complete`)
}