Soundness/documentation issue: CallocBackingStore::new is not safety documented and potentially unsound

Chưa có ai nhận issue này.

The unsafe function CallocBackingStore::new does not have documentation for its safety invariants - and neither does the `define_allocator_memory_pool` macro calling it.
https://github.com/dropbox/rust-alloc-no-stdlib/blob/6032b6a9b20e03737135c55a0270ccffcc1438ef/src/lib.rs#L41

I believe the safety contract should mention that:
- the caller must guarantee that the allocator passed in can be safely called (including the corner-case of having a 0 argument for size), and returns buffers of the appropriate size.
- the correct relationship between `alloc` and `free` is upheld (free must be a valid function to free the memory allocated by `alloc`)
- computing `num_elements * sizeof(T)` must not overflow -- unless that is checked in the body of the function.

Moreover, using the macro with `malloc` is *always* unsound unless `T` is `MaybeUninit<_>`: `new` will end up creating a reference to a slice of uninitialized data, which is UB.
Even using the function with `calloc` might be unsound if `0` is not a valid bit pattern for `T`.
Similarly, when using a custom allocator, the bitpatterns returned by the custom allocator should be valid for `T`.

Bắt đầu trong src/lib.rs, quanh CallocBackingStore::new và macro define_allocator_memory_pool. Xem xét cách các callback của allocator và slice được sử dụng, sau đó ghi lại các bất biến an toàn được xác định trong issue, bao gồm tính tương thích giữa việc cấp phát và giải phóng cũng như các mẫu bit hợp lệ. Công việc được xem là hoàn tất khi cả hai điểm vào unsafe đều nêu rõ các bảo đảm mà caller phải đáp ứng.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.