我有以下用例。 C语言中的结构如下:
typedef struct _zend_internal_arg_info {
const char *name;
zend_type type;
zend_uchar pass_by_reference;
zend_bool is_variadic;
} zend_internal_arg_info;
通常,name
字段包含一个函数名称。但是由于内部实现,该字段也可以携带整数。在C端,有一个宏在进行这样的转换:
(const char*)(unsigned long int)(1)
我想做的是在Rust端执行相同的转换。我最终得到了以下代码:
fn create_null_argument(required_args: u8, return_reference: bool) -> ZendFunctionArgument {
let required_args_ref = Box::into_raw(Box::new(required_args as i8)) as *const i8;
ZendFunctionArgument {
arg: php_bindings::_zend_internal_arg_info {
name: required_args_ref,
type_: 0,
pass_by_reference: if return_reference { 1 } else { 0 },
is_variadic: 0,
},
}
}
这似乎适用于以下测试:
let arguments_ptr = ZendFunctionArguments::new(5, true).into_raw();
unsafe {
let arguments: Vec<php_bindings::_zend_internal_arg_info> = Vec::from_raw_parts(arguments_ptr as *mut _, 1, 1);
let required_args = *arguments[0].name;
assert_eq!(5, required_args);
}
不幸的是,在PHP端(执行代码时),该值在每次执行时都是完全随机的。
我想问的是,与C端((const char*)(unsigned long int)(1)
)上的投射相比,我投射i8的方式是否正确?
----编辑-----
更多细节。生成的PHP绑定:
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct _zend_internal_arg_info {
pub name: *const ::std::os::raw::c_char,
pub type_: zend_type,
pub pass_by_reference: zend_uchar,
pub is_variadic: zend_bool,
}
这里有一个未使用的结构,其中包含一些关于这种扭曲逻辑的描述:
/* the following structure repeats the layout of zend_internal_arg_info,
* but its fields have different meaning. It's used as the first element of
* arg_info array to define properties of internal functions.
* It's also used for the return type.
*/
typedef struct _zend_internal_function_info {
zend_uintptr_t required_num_args;
zend_type type;
zend_bool return_reference;
zend_bool _is_variadic;
} zend_internal_function_info;
这是在c中非正式使用的整个宏指令:
#define ZEND_BEGIN_ARG_INFO_EX(name, _unused, return_reference, required_num_args) \
static const zend_internal_arg_info name[] = { \
{ (const char*)(zend_uintptr_t)(required_num_args), 0, return_reference, 0 },
zend_uintptr_t
是:
typedef uintptr_t zend_uintptr_t;
然后:
typedef unsigned long int uintptr_t;
和结构:
pub struct ZendFunctionArgument {
arg: php_bindings::_zend_internal_arg_info,
}
答案 0 :(得分:2)
您的代码不是不将整数转换为指针-正如Stargateur在评论中说的那样,正确的实现方法更简单地是required_args as *const ::std::os::raw::c_char
。
相反,您要使用required_args
在堆上分配Box::new
,然后使用into_raw
将其移出内存管理器的手-给出指向{ {1}},直到您手动清理它为止,它将永远存在。
这似乎适用于以下测试
因为您通过执行required_args
将指针解引用到堆中,并且该指针的值确实为*arguments[0].name
。
不幸的是,在PHP端(执行代码时),该值在每次执行时都是完全随机的。
这并不奇怪。由于代码的最终结果是该字段的值只是指向堆的某个指针,因此每次您运行代码时,它的值都会改变。