Rust, rlib и строки

Какие преобразования строки будут при передаче ее по указателю в растовскую функцию через ffi динамической библиотеки с возвратом указателя модифицированной строки?

никакие

А если вызывается сишная функция? Ffi же использует C ABI, а значит растовские строки должны стать сишными, т.е. растовская строка перед отправкой в ffi функцию должна стать сишной, из функции мы получаем обратно измененную сишную ffi строку, преобразуем её в растовскую и используем дальше по коду, разве нет?

т.е. растовская строка перед отправкой в ffi функцию должна стать сишной,

Для «оправки в ffi» нужно всего-лишь взять готовый указатель и отдать. В rust строки используют utf-8, т.е. по сути char*.

1. ... Rlib - динамическая библиотека с растовским ABI, так ведь?

https://doc.rust-lang.org/rustc/metadata/loader

An rlib is a rustc-defined file format (currently just an ar archive)

2. Можно динамически слинковаться с rlib?

Таки нужна динамическая библиотека, чего-то в этом духе:

// treble.rs - a rust library for tripling numbers.

#![crate_type = "dylib"]

#[no_mangle]
pub extern fn treble(value: i32) -> i32 {
    value * 3
}

Compile this using:

$ rustc treble.rs
$ ls
libtreble.so  treble.rs

libtreble.so is our shared library file, which we can use from non-Rust programs.

(http://harkablog.com/calling-rust-from-c-and-python.html)

А насчет преобразований почитай

https://doc.rust-lang.org/std/ffi/struct.CString.html

https://doc.rust-lang.org/std/ffi/struct.CStr.html

и сам код, тут не много - https://github.com/rust-lang/rust/blob/68fc2d9/src/libstd/ffi/c_str.rs

Не совсем - в rust строки не нуль-терминированные.

В библиотеке одна функция возвращает число, бинарник печатает его в терминал. При статической линковке бинарник занимает 8.9КБ, а если динамически: бинарник 2.8МБ, библиотека 2.9МБ. Можно понизить прожорливость?

Rlib из 100кб разбух до 3.1мб.

Rustишка!

... При статической линковке бинарник занимает 8.9КБ, а если динамически: бинарник 2.8МБ, библиотека 2.9МБ. Можно понизить прожорливость?

http://stackoverflow.com/questions/29008127/why-are-rust-executables-so-huge

$ rustc treble.rs    
$ ls -lh libtreble.so
-rwxrwxr-x 1 ozkriff ozkriff 2,7M июля  29 15:37 libtreble.so
$ rustc -C prefer-dynamic treble.rs
$ ls -lh libtreble.so              
-rwxrwxr-x 1 ozkriff ozkriff 9,7K июля  29 15:37 libtreble.so
$ 

растовские строки

*mut u8 - тоже растовская строка (она же char* в сишечке)

*mut u8 - тоже растовская строка (она же char* в сишечке)

NO

NO

YES

*mut u8 - тоже растовская строка (она же char* в сишечке)

В смысле? Почему?

а почему нет?

а почему нет?

Например потому, что в функцию, ожидающую str, нельзя передать *mut u8. Только копировать данные при каждом вызове.

Например потому, что в функцию, ожидающую str, нельзя передать *mut u8

str - это еще не синоним слова «строка»

rust тем и фичаст, что ownership - концепция сугубо добровольная, хоть и дефолтная

а почему нет?
str - это еще не синоним слова «строка»

Вопрос терминологии. В каком-то смысле указатель на массив байт, конечно, является строкой. Но ни в официальной документации ржавчины, ни в сообществе, вроде, строкой это не называют. Есть «byte string», но это ж не просто «строка».

Просто если человек спрашивает «какие преобразования строки будут при передаче ее по указателю в растовскую функцию через ffi..?» то, в случае ржавчины, имхо, по-умолчанию подразумевается str/String и для них таки преобразования будут.

Владеющая строка - String, невладеющая - str, больше растовых строк нет.

Вопрос терминологии

в общем, да.

хотя я, похоже, неправильно понял не термин растовская строка, а модальность исходного вопроса:

Какие преобразования строки будут при передаче ее по указателю

vs

Какие преобразования строки должны быть (нужно сделать)

Да не. Тут вопрос про FFI и автопреобразование.

Пусть есть библиотека:

#![crate_type = "dylib"]

#[no_mangle]
pub extern fn treble(value: str) -> int32 {
    value.len()
}

И вызываем её из растовской программы через FFI. FFI не знает про str, поэтому при вызове будет один раз копирование на стороне вызывающей программы (str -> char*) и ещё раз на стороне библиотеки (char* -> str).