{"id":107722,"date":"2026-09-20T05:58:32","date_gmt":"2026-09-19T21:58:32","guid":{"rendered":"https:\/\/www.wsisp.com\/helps\/107722.html"},"modified":"2026-09-20T05:58:32","modified_gmt":"2026-09-19T21:58:32","slug":"%e7%ac%ac%e5%8d%81%e4%b8%89%e7%af%87%ef%bc%9a%e3%80%8aunsafe-rust-%e4%b8%8e-ffi%ef%bc%9a%e4%b8%8e-c-%e5%92%8c%e7%b3%bb%e7%bb%9f%e8%b0%83%e7%94%a8%e4%ba%a4%e4%ba%92%e3%80%8b","status":"publish","type":"post","link":"https:\/\/www.wsisp.com\/helps\/107722.html","title":{"rendered":"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b"},"content":{"rendered":"<p>\u5728\u4e4b\u524d\u7684\u5341\u4e8c\u7bc7\u6587\u7ae0\u4e2d&#xff0c;\u6211\u4eec\u4e00\u76f4\u5728\u5b89\u5168 Rust&#xff08;Safe Rust&#xff09; \u7684\u4e16\u754c\u91cc\u2014\u2014\u6240\u6709\u6743\u3001\u501f\u7528\u68c0\u67e5\u3001\u751f\u547d\u5468\u671f&#xff0c;\u7f16\u8bd1\u5668\u66ff\u6211\u4eec\u6321\u4f4f\u4e86\u6240\u6709\u5185\u5b58\u5b89\u5168\u95ee\u9898\u3002\u4f46\u7cfb\u7edf\u7f16\u7a0b\u7684\u67d0\u4e9b\u573a\u666f&#xff0c;\u5b89\u5168 Rust \u65e0\u6cd5\u8868\u8fbe&#xff1a;\u8c03\u7528 C \u5e93\u3001\u64cd\u4f5c\u88f8\u6307\u9488\u3001\u5b9e\u73b0\u5e95\u5c42\u6570\u636e\u7ed3\u6784\u3001\u76f4\u63a5\u4e0e\u64cd\u4f5c\u7cfb\u7edf\u4ea4\u4e92\u3002\u8fd9\u65f6&#xff0c;\u5c31\u9700\u8981 unsafe Rust\u3002unsafe \u4e0d\u662f\u201c\u5173\u95ed\u5b89\u5168\u68c0\u67e5\u201d&#xff0c;\u800c\u662f\u5f00\u542f\u4e94\u9879\u7f16\u8bd1\u5668\u65e0\u6cd5\u9a8c\u8bc1\u7684\u80fd\u529b&#xff0c;\u5e76\u5c06\u5b89\u5168\u8d23\u4efb\u8f6c\u79fb\u7ed9\u5f00\u53d1\u8005\u3002\u672c\u6587\u4ece unsafe \u7684\u4e94\u79cd\u80fd\u529b\u8bb2\u8d77&#xff0c;\u6df1\u5165\u8bb2\u89e3\u88f8\u6307\u9488\u3001FFI&#xff08;\u5916\u90e8\u51fd\u6570\u63a5\u53e3&#xff09;\u3001bindgen\/cbindgen \u5de5\u5177&#xff0c;\u5e76\u901a\u8fc7\u4e00\u4e2a\u5b8c\u6574\u7684 C \u5e93\u5c01\u88c5\u5b9e\u6218&#xff0c;\u5e2e\u4f60\u638c\u63e1\u5b89\u5168\u4f7f\u7528 unsafe \u7684\u65b9\u6cd5\u8bba\u3002<\/p>\n<p>\u4e00\u3001unsafe \u7684\u4e94\u79cd\u80fd\u529b<br \/>\nunsafe \u5173\u952e\u5b57\u89e3\u9501\u4e86\u4e94\u79cd\u7f16\u8bd1\u5668\u65e0\u6cd5\u9a8c\u8bc1\u7684\u64cd\u4f5c&#xff1a;<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.wsisp.com\/helps\/wp-content\/uploads\/2026\/09\/20260919215831-6aaf05877821c.png\" alt=\"\u80fd\u529b\u8bf4\u660e\u5178\u578b\u573a\u666f\n\u89e3\u5f15\u7528\u88f8\u6307\u9488*const T \/ *mut T\u5e95\u5c42\u6570\u636e\u7ed3\u6784\n\u8c03\u7528 unsafe \u51fd\u6570\u5305\u62ec C \u51fd\u6570\u548c unsafe fnFFI\u3001\u7cfb\u7edf\u8c03\u7528\n\u8bbf\u95ee\u6216\u4fee\u6539\u53ef\u53d8\u9759\u6001\u53d8\u91cfstatic mut\u5168\u5c40\u72b6\u6001\n\u5b9e\u73b0 unsafe trait\u5982 Send \/ Sync\u81ea\u5b9a\u4e49\u5e76\u53d1\u7c7b\u578b\n\u8bbf\u95ee union \u5b57\u6bb5union \u7c7b\u578b\u4e0e C \u7684 union \u4ea4\u4e92\" \/><\/p>\n<p>&#x1f4a1; \u5173\u952e\u7406\u89e3&#xff1a;unsafe \u4e0d\u4f1a\u5173\u95ed\u501f\u7528\u68c0\u67e5\u6216\u7c7b\u578b\u68c0\u67e5\u3002\u5b83\u53ea\u5141\u8bb8\u4f60\u505a\u4e0a\u8ff0\u4e94\u79cd\u64cd\u4f5c\u3002\u7f16\u8bd1\u5668\u4ecd\u7136\u68c0\u67e5\u7c7b\u578b\u5b89\u5168\u548c\u501f\u7528\u89c4\u5219\u3002<\/p>\n<p>\u4e8c\u3001\u88f8\u6307\u9488&#xff08;Raw Pointer&#xff09;<br \/>\n\u88f8\u6307\u9488 *const T \u548c *mut T \u4e0e C \u7684\u6307\u9488\u7c7b\u4f3c&#xff0c;\u4f46\u4e0d\u53d7 Rust \u501f\u7528\u89c4\u5219\u7ea6\u675f\u3002<\/p>\n<p>2.1 \u521b\u5efa\u548c\u4f7f\u7528\u88f8\u6307\u9488<\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> <span class=\"token keyword\">mut<\/span> num <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">5<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>    <span class=\"token comment\">\/\/ \u521b\u5efa\u88f8\u6307\u9488&#xff08;\u5b89\u5168\u64cd\u4f5c&#xff09;<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> r1 <span class=\"token operator\">&#061;<\/span> <span class=\"token operator\">&amp;<\/span>num <span class=\"token keyword\">as<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">const<\/span> <span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> r2 <span class=\"token operator\">&#061;<\/span> <span class=\"token operator\">&amp;<\/span><span class=\"token keyword\">mut<\/span> num <span class=\"token keyword\">as<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>    <span class=\"token comment\">\/\/ \u89e3\u5f15\u7528\u88f8\u6307\u9488&#xff08;unsafe \u64cd\u4f5c&#xff09;<\/span><br \/>\n    <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;r1 &#061; {}&#034;<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token operator\">*<\/span>r1<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;r2 &#061; {}&#034;<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token operator\">*<\/span>r2<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>        <span class=\"token operator\">*<\/span>r2 <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">10<\/span><span class=\"token punctuation\">;<\/span>   <span class=\"token comment\">\/\/ \u901a\u8fc7\u53ef\u53d8\u88f8\u6307\u9488\u4fee\u6539<\/span><br \/>\n        <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;num &#061; {}&#034;<\/span><span class=\"token punctuation\">,<\/span> num<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span>   <span class=\"token comment\">\/\/ 10<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u88f8\u6307\u9488\u4e0e\u5f15\u7528\u7684\u533a\u522b&#xff1a;<\/p>\n<p><img decoding=\"async\" src=\"https:\/\/www.wsisp.com\/helps\/wp-content\/uploads\/2026\/09\/20260919215831-6aaf058793e0a.png\" alt=\"\u7ef4\u5ea6\u5f15\u7528\uff08&amp;T \/ &amp;mut T\uff09\u88f8\u6307\u9488\uff08*const T \/ *mut T\uff09\n\u7a7a\u503c\u4e0d\u5141\u8bb8\u5141\u8bb8\uff08\u53ef\u4e3a null\uff09\n\u522b\u540d\u7f16\u8bd1\u671f\u68c0\u67e5\u65e0\u68c0\u67e5\n\u751f\u547d\u5468\u671f\u7f16\u8bd1\u671f\u4fdd\u8bc1\u65e0\u4fdd\u8bc1\n\u89e3\u5f15\u7528\u5b89\u5168unsafe\" \/><\/p>\n<p>2.2 \u88f8\u6307\u9488\u7684\u5178\u578b\u7528\u9014<br \/>\n\u573a\u666f\u4e00&#xff1a;\u4e0e C \u4ee3\u7801\u4ea4\u4e92<\/p>\n<p><span class=\"token keyword\">extern<\/span> <span class=\"token string\">&#034;C&#034;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">malloc<\/span><span class=\"token punctuation\">(<\/span>size<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">usize<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token keyword\">u8<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">free<\/span><span class=\"token punctuation\">(<\/span>ptr<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token keyword\">u8<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token keyword\">let<\/span> ptr <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">malloc<\/span><span class=\"token punctuation\">(<\/span><span class=\"token number\">1024<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">if<\/span> <span class=\"token operator\">!<\/span>ptr<span class=\"token punctuation\">.<\/span><span class=\"token function\">is_null<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            <span class=\"token comment\">\/\/ \u4f7f\u7528\u5185\u5b58&#8230;<\/span><br \/>\n            <span class=\"token function\">free<\/span><span class=\"token punctuation\">(<\/span>ptr<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u573a\u666f\u4e8c&#xff1a;\u5b9e\u73b0\u5e95\u5c42\u6570\u636e\u7ed3\u6784<\/p>\n<p><span class=\"token keyword\">struct<\/span> <span class=\"token type-definition class-name\">LinkedList<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    head<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token class-name\">Node<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span><span class=\"token punctuation\">,<\/span><br \/>\n    len<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">usize<\/span><span class=\"token punctuation\">,<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">struct<\/span> <span class=\"token type-definition class-name\">Node<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    value<span class=\"token punctuation\">:<\/span> <span class=\"token class-name\">T<\/span><span class=\"token punctuation\">,<\/span><br \/>\n    next<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token class-name\">Node<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span><span class=\"token punctuation\">,<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">impl<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token class-name\">LinkedList<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">new<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token keyword\">Self<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token class-name\">LinkedList<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            head<span class=\"token punctuation\">:<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>ptr<span class=\"token punctuation\">::<\/span><\/span><span class=\"token function\">null_mut<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n            len<span class=\"token punctuation\">:<\/span> <span class=\"token number\">0<\/span><span class=\"token punctuation\">,<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><\/p>\n<p>    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">push<\/span><span class=\"token punctuation\">(<\/span><span class=\"token operator\">&amp;<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token keyword\">self<\/span><span class=\"token punctuation\">,<\/span> value<span class=\"token punctuation\">:<\/span> <span class=\"token class-name\">T<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token keyword\">let<\/span> new_node <span class=\"token operator\">&#061;<\/span> <span class=\"token class-name\">Box<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">into_raw<\/span><span class=\"token punctuation\">(<\/span><span class=\"token class-name\">Box<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">new<\/span><span class=\"token punctuation\">(<\/span><span class=\"token class-name\">Node<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n            value<span class=\"token punctuation\">,<\/span><br \/>\n            next<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">self<\/span><span class=\"token punctuation\">.<\/span>head<span class=\"token punctuation\">,<\/span><br \/>\n        <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>        <span class=\"token keyword\">self<\/span><span class=\"token punctuation\">.<\/span>head <span class=\"token operator\">&#061;<\/span> new_node<span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">self<\/span><span class=\"token punctuation\">.<\/span>len <span class=\"token operator\">&#043;&#061;<\/span> <span class=\"token number\">1<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u4e09\u3001unsafe \u51fd\u6570<br \/>\nunsafe fn \u8868\u793a\u8c03\u7528\u8005\u5fc5\u987b\u6ee1\u8db3\u67d0\u4e9b\u524d\u63d0\u6761\u4ef6&#xff1a;<\/p>\n<p><span class=\"token comment\">\/\/\/ # Safety<\/span><br \/>\n<span class=\"token comment\">\/\/\/<\/span><br \/>\n<span class=\"token comment\">\/\/\/ &#096;ptr&#096; \u5fc5\u987b\u662f\u6307\u5411\u6709\u6548 &#096;i32&#096; \u7684\u975e\u7a7a\u6307\u9488\u3002<\/span><br \/>\n<span class=\"token keyword\">unsafe<\/span> <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">read_value<\/span><span class=\"token punctuation\">(<\/span>ptr<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">const<\/span> <span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token keyword\">i32<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token operator\">*<\/span>ptr<br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> x <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">42<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> value <span class=\"token operator\">&#061;<\/span> <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span> <span class=\"token function\">read_value<\/span><span class=\"token punctuation\">(<\/span><span class=\"token operator\">&amp;<\/span>x<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;value &#061; {}&#034;<\/span><span class=\"token punctuation\">,<\/span> value<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u6700\u4f73\u5b9e\u8df5&#xff1a;\u4e3a unsafe fn \u6dfb\u52a0 # Safety \u6587\u6863\u6ce8\u91ca&#xff0c;\u8bf4\u660e\u8c03\u7528\u8005\u5fc5\u987b\u6ee1\u8db3\u7684\u6761\u4ef6\u3002<\/p>\n<p>\u56db\u3001\u5b89\u5168\u62bd\u8c61&#xff1a;\u5c01\u88c5 unsafe \u4ee3\u7801<br \/>\nunsafe \u4ee3\u7801\u5e94\u8be5\u88ab\u5c01\u88c5\u5728\u5b89\u5168\u62bd\u8c61\u4e2d\u3002\u8fd9\u662f Rust \u751f\u6001\u7684\u6838\u5fc3\u539f\u5219&#xff1a;\u7528\u6700\u5c0f\u8303\u56f4\u7684 unsafe \u5b9e\u73b0\u529f\u80fd&#xff0c;\u5bf9\u5916\u66b4\u9732\u5b89\u5168 API\u3002<\/p>\n<p>4.1 \u5c01\u88c5\u793a\u4f8b&#xff1a;\u5b89\u5168\u7684 split_at_mut<br \/>\n\u6807\u51c6\u5e93\u7684 split_at_mut \u53ef\u4ee5\u5728\u4e00\u4e2a\u53ef\u53d8\u5207\u7247\u4e2d\u5b89\u5168\u5730\u521b\u5efa\u4e24\u4e2a\u4e0d\u91cd\u53e0\u7684\u53ef\u53d8\u5207\u7247&#xff1a;<\/p>\n<p><span class=\"token keyword\">use<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span><\/span>slice<span class=\"token punctuation\">;<\/span><\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">split_at_mut_safe<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token class-name\">T<\/span><span class=\"token operator\">&gt;<\/span><span class=\"token punctuation\">(<\/span>slice<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">&amp;<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token class-name\">T<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">,<\/span> mid<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">usize<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token punctuation\">(<\/span><span class=\"token operator\">&amp;<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token class-name\">T<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token operator\">&amp;<\/span><span class=\"token keyword\">mut<\/span> <span class=\"token punctuation\">[<\/span><span class=\"token class-name\">T<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> len <span class=\"token operator\">&#061;<\/span> slice<span class=\"token punctuation\">.<\/span><span class=\"token function\">len<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> ptr <span class=\"token operator\">&#061;<\/span> slice<span class=\"token punctuation\">.<\/span><span class=\"token function\">as_mut_ptr<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>    <span class=\"token macro property\">assert!<\/span><span class=\"token punctuation\">(<\/span>mid <span class=\"token operator\">&lt;&#061;<\/span> len<span class=\"token punctuation\">,<\/span> <span class=\"token string\">&#034;\u7d22\u5f15\u8d8a\u754c&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>    <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token punctuation\">(<\/span><br \/>\n            <span class=\"token namespace\">slice<span class=\"token punctuation\">::<\/span><\/span><span class=\"token function\">from_raw_parts_mut<\/span><span class=\"token punctuation\">(<\/span>ptr<span class=\"token punctuation\">,<\/span> mid<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n            <span class=\"token namespace\">slice<span class=\"token punctuation\">::<\/span><\/span><span class=\"token function\">from_raw_parts_mut<\/span><span class=\"token punctuation\">(<\/span>ptr<span class=\"token punctuation\">.<\/span><span class=\"token function\">add<\/span><span class=\"token punctuation\">(<\/span>mid<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> len <span class=\"token operator\">&#8211;<\/span> mid<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n        <span class=\"token punctuation\">)<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> <span class=\"token keyword\">mut<\/span> v <span class=\"token operator\">&#061;<\/span> <span class=\"token macro property\">vec!<\/span><span class=\"token punctuation\">[<\/span><span class=\"token number\">1<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">2<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">3<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">4<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">5<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">6<\/span><span class=\"token punctuation\">]<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> <span class=\"token punctuation\">(<\/span>left<span class=\"token punctuation\">,<\/span> right<span class=\"token punctuation\">)<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">split_at_mut_safe<\/span><span class=\"token punctuation\">(<\/span><span class=\"token operator\">&amp;<\/span><span class=\"token keyword\">mut<\/span> v<span class=\"token punctuation\">,<\/span> <span class=\"token number\">3<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    left<span class=\"token punctuation\">[<\/span><span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">10<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    right<span class=\"token punctuation\">[<\/span><span class=\"token number\">0<\/span><span class=\"token punctuation\">]<\/span> <span class=\"token operator\">&#061;<\/span> <span class=\"token number\">40<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;{:?}&#034;<\/span><span class=\"token punctuation\">,<\/span> v<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span>   <span class=\"token comment\">\/\/ [10, 2, 3, 40, 5, 6]<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u5c01\u88c5\u8981\u70b9&#xff1a;<\/p>\n<p>\u5916\u90e8 API \u662f\u5b89\u5168\u7684&#xff08;\u65e0 unsafe&#xff09;\u3002<\/p>\n<p>assert! \u68c0\u67e5\u524d\u7f6e\u6761\u4ef6\u3002<\/p>\n<p>unsafe \u5757\u53ea\u5305\u542b\u5fc5\u8981\u7684\u64cd\u4f5c\u3002<\/p>\n<p>\u4e94\u3001FFI&#xff1a;\u5916\u90e8\u51fd\u6570\u63a5\u53e3<br \/>\nFFI&#xff08;Foreign Function Interface&#xff09; \u8ba9 Rust \u53ef\u4ee5\u8c03\u7528\u5176\u4ed6\u8bed\u8a00&#xff08;\u4e3b\u8981\u662f C&#xff09;\u7684\u51fd\u6570&#xff0c;\u4e5f\u53ef\u4ee5\u88ab\u5176\u4ed6\u8bed\u8a00\u8c03\u7528\u3002<\/p>\n<p>5.1 \u8c03\u7528 C \u51fd\u6570<\/p>\n<p><span class=\"token keyword\">use<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>os<span class=\"token punctuation\">::<\/span>raw<span class=\"token punctuation\">::<\/span><\/span><span class=\"token punctuation\">{<\/span>c_char<span class=\"token punctuation\">,<\/span> c_int<span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p><span class=\"token comment\">\/\/ \u58f0\u660e\u5916\u90e8 C \u51fd\u6570<\/span><br \/>\n<span class=\"token keyword\">extern<\/span> <span class=\"token string\">&#034;C&#034;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">strlen<\/span><span class=\"token punctuation\">(<\/span>s<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">const<\/span> c_char<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token keyword\">usize<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">puts<\/span><span class=\"token punctuation\">(<\/span>s<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">const<\/span> c_char<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> c_int<span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> s <span class=\"token operator\">&#061;<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>ffi<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">CString<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">new<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;Hello from Rust!&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">unwrap<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token function\">puts<\/span><span class=\"token punctuation\">(<\/span>s<span class=\"token punctuation\">.<\/span><span class=\"token function\">as_ptr<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token keyword\">let<\/span> len <span class=\"token operator\">&#061;<\/span> <span class=\"token function\">strlen<\/span><span class=\"token punctuation\">(<\/span>s<span class=\"token punctuation\">.<\/span><span class=\"token function\">as_ptr<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n        <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;\u5b57\u7b26\u4e32\u957f\u5ea6: {}&#034;<\/span><span class=\"token punctuation\">,<\/span> len<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>C \u7c7b\u578b\u4e0e Rust \u7c7b\u578b\u7684\u5bf9\u5e94&#xff1a;<\/p>\n<p>C \u7c7b\u578bRust \u7c7b\u578b<br \/>\n<img decoding=\"async\" src=\"https:\/\/www.wsisp.com\/helps\/wp-content\/uploads\/2026\/09\/20260919215831-6aaf0587b49f5.png\" alt=\"intc_int\uff08i32\uff09\ncharc_char\uff08i8 \u6216 u8\uff09\nunsigned intc_uint\uff08u32\uff09\nfloatc_float\uff08f32\uff09\ndoublec_double\uff08f64\uff09\nsize_tusize\nvoid**mut c_void\" \/><\/p>\n<p>5.2 \u5bfc\u51fa Rust \u51fd\u6570\u7ed9 C<\/p>\n<p><span class=\"token attribute attr-name\">#[no_mangle]<\/span><br \/>\n<span class=\"token keyword\">pub<\/span> <span class=\"token keyword\">extern<\/span> <span class=\"token string\">&#034;C&#034;<\/span> <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">add<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token keyword\">i32<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    a <span class=\"token operator\">&#043;<\/span> b<br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token attribute attr-name\">#[no_mangle]<\/span><br \/>\n<span class=\"token keyword\">pub<\/span> <span class=\"token keyword\">extern<\/span> <span class=\"token string\">&#034;C&#034;<\/span> <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">greet<\/span><span class=\"token punctuation\">(<\/span>name<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">const<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>os<span class=\"token punctuation\">::<\/span>raw<span class=\"token punctuation\">::<\/span><\/span>c_char<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> name <span class=\"token operator\">&#061;<\/span> <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>ffi<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">CStr<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">from_ptr<\/span><span class=\"token punctuation\">(<\/span>name<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token macro property\">println!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;Hello, {}!&#034;<\/span><span class=\"token punctuation\">,<\/span> name<span class=\"token punctuation\">.<\/span><span class=\"token function\">to_str<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">unwrap<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u5173\u952e\u5c5e\u6027&#xff1a;<\/p>\n<p>#[no_mangle]&#xff1a;\u963b\u6b62 Rust \u4fee\u6539\u51fd\u6570\u540d\u3002<\/p>\n<p>extern \u201cC\u201d&#xff1a;\u4f7f\u7528 C \u8c03\u7528\u7ea6\u5b9a\u3002<\/p>\n<p>\u751f\u6210 C \u5934\u6587\u4ef6&#xff1a;<\/p>\n<p>toml<br \/>\n[lib]<br \/>\ncrate-type &#061; [\u201ccdylib\u201d]   # \u751f\u6210\u52a8\u6001\u5e93<br \/>\n\u7f16\u8bd1\u540e\u751f\u6210 .so&#xff08;Linux&#xff09;\u6216 .dll&#xff08;Windows&#xff09;&#xff0c;C \u7a0b\u5e8f\u53ef\u4ee5\u94fe\u63a5\u4f7f\u7528\u3002<\/p>\n<p>5.3 \u5904\u7406\u5b57\u7b26\u4e32<br \/>\nRust \u5b57\u7b26\u4e32 \u2192 C \u5b57\u7b26\u4e32&#xff1a;<\/p>\n<p><span class=\"token keyword\">use<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>ffi<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">CString<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p><span class=\"token keyword\">let<\/span> rust_str <span class=\"token operator\">&#061;<\/span> <span class=\"token string\">&#034;hello&#034;<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token keyword\">let<\/span> c_str <span class=\"token operator\">&#061;<\/span> <span class=\"token class-name\">CString<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">new<\/span><span class=\"token punctuation\">(<\/span>rust_str<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">unwrap<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token keyword\">let<\/span> ptr <span class=\"token operator\">&#061;<\/span> c_str<span class=\"token punctuation\">.<\/span><span class=\"token function\">as_ptr<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span>   <span class=\"token comment\">\/\/ *const c_char<\/span><\/p>\n<p>C \u5b57\u7b26\u4e32 \u2192 Rust \u5b57\u7b26\u4e32&#xff1a;<\/p>\n<p><span class=\"token keyword\">use<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>ffi<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">CStr<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p><span class=\"token keyword\">let<\/span> c_str<span class=\"token punctuation\">:<\/span> <span class=\"token operator\">*<\/span><span class=\"token keyword\">const<\/span> c_char <span class=\"token operator\">&#061;<\/span> <span class=\"token punctuation\">&#8230;<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token keyword\">let<\/span> rust_str <span class=\"token operator\">&#061;<\/span> <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span> <span class=\"token class-name\">CStr<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">from_ptr<\/span><span class=\"token punctuation\">(<\/span>c_str<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">}<\/span><br \/>\n    <span class=\"token punctuation\">.<\/span><span class=\"token function\">to_str<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n    <span class=\"token punctuation\">.<\/span><span class=\"token function\">unwrap<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>\u26a0\ufe0f \u6ce8\u610f&#xff1a;CString \u62e5\u6709\u6240\u6709\u6743&#xff0c;CStr \u662f\u501f\u7528\u3002CString::new \u4f1a\u68c0\u67e5\u5b57\u7b26\u4e32\u4e2d\u662f\u5426\u5305\u542b\u7a7a\u5b57\u8282\u3002<\/p>\n<p>\u516d\u3001bindgen \u4e0e cbindgen&#xff1a;\u81ea\u52a8\u751f\u6210\u7ed1\u5b9a<br \/>\n\u624b\u52a8\u7f16\u5199 FFI \u7ed1\u5b9a\u5bb9\u6613\u51fa\u9519\u3002\u793e\u533a\u63d0\u4f9b\u4e86\u4e24\u4e2a\u5de5\u5177&#xff1a;<\/p>\n<p>6.1 bindgen&#xff1a;\u4ece C \u5934\u6587\u4ef6\u751f\u6210 Rust \u7ed1\u5b9a<\/p>\n<p><span class=\"token function\">cargo<\/span> <span class=\"token function\">install<\/span> bindgen-cli<\/p>\n<p><span class=\"token comment\">\/\/ wrapper.h<\/span><br \/>\n#include <span class=\"token string\">&#034;mylib.h&#034;<\/span><\/p>\n<p>bindgen wrapper.h <span class=\"token parameter variable\">-o<\/span> src\/bindings.rs<\/p>\n<p>\u751f\u6210\u7684 bindings.rs \u5305\u542b C \u51fd\u6570\u548c\u7c7b\u578b\u7684 Rust \u58f0\u660e\u3002<\/p>\n<p>\u5728 build.rs \u4e2d\u81ea\u52a8\u751f\u6210&#xff1a;<\/p>\n<p><span class=\"token comment\">\/\/ build.rs<\/span><br \/>\n<span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> bindings <span class=\"token operator\">&#061;<\/span> <span class=\"token namespace\">bindgen<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">Builder<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">default<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">header<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;wrapper.h&#034;<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">parse_callbacks<\/span><span class=\"token punctuation\">(<\/span><span class=\"token class-name\">Box<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">new<\/span><span class=\"token punctuation\">(<\/span><span class=\"token namespace\">bindgen<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">CargoCallbacks<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">new<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">generate<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">expect<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;\u751f\u6210\u7ed1\u5b9a\u5931\u8d25&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>    <span class=\"token keyword\">let<\/span> out_path <span class=\"token operator\">&#061;<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>path<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">PathBuf<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">from<\/span><span class=\"token punctuation\">(<\/span><span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>env<span class=\"token punctuation\">::<\/span><\/span><span class=\"token function\">var<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;OUT_DIR&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">unwrap<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    bindings<br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">write_to_file<\/span><span class=\"token punctuation\">(<\/span>out_path<span class=\"token punctuation\">.<\/span><span class=\"token function\">join<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;bindings.rs&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">expect<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;\u5199\u5165\u7ed1\u5b9a\u5931\u8d25&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>6.2 cbindgen&#xff1a;\u4ece Rust \u751f\u6210 C \u5934\u6587\u4ef6<\/p>\n<p><span class=\"token function\">cargo<\/span> <span class=\"token function\">install<\/span> cbindgen<\/p>\n<p>cbindgen <span class=\"token parameter variable\">&#8211;config<\/span> cbindgen.toml <span class=\"token parameter variable\">&#8211;crate<\/span> my_crate <span class=\"token parameter variable\">&#8211;output<\/span> my_crate.h<\/p>\n<p>\u4e03\u3001\u5b9e\u6218&#xff1a;\u5c01\u88c5\u4e00\u4e2a C \u5e93<br \/>\n\u5047\u8bbe\u6211\u4eec\u6709\u4e00\u4e2a C \u5e93\u5b9e\u73b0\u4e86\u7b80\u5355\u7684\u8ba1\u7b97\u5668&#xff1a;<\/p>\n<p><span class=\"token comment\">\/\/ calculator.h<\/span><br \/>\n<span class=\"token keyword\">typedef<\/span> <span class=\"token keyword\">struct<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">double<\/span> result<span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">int<\/span> error_code<span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span> CalcResult<span class=\"token punctuation\">;<\/span><\/p>\n<p>CalcResult <span class=\"token function\">calc_add<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">double<\/span> a<span class=\"token punctuation\">,<\/span> <span class=\"token keyword\">double<\/span> b<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\nCalcResult <span class=\"token function\">calc_div<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">double<\/span> a<span class=\"token punctuation\">,<\/span> <span class=\"token keyword\">double<\/span> b<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>Step 1&#xff1a;\u521b\u5efa Rust \u9879\u76ee<\/p>\n<p>toml<br \/>\n[package]<br \/>\nname &#061; \u201ccalculator\u201d<br \/>\nversion &#061; \u201c0.1.0\u201d<br \/>\nedition &#061; \u201c2021\u201d<\/p>\n<p>[dependencies]<br \/>\nlibc &#061; \u201c0.2\u201d<\/p>\n<p>[build-dependencies]<br \/>\ncc &#061; \u201c1\u201d<br \/>\nStep 2&#xff1a;\u7f16\u5199\u5b89\u5168\u5c01\u88c5<\/p>\n<p><span class=\"token keyword\">use<\/span> <span class=\"token namespace\">std<span class=\"token punctuation\">::<\/span>os<span class=\"token punctuation\">::<\/span>raw<span class=\"token punctuation\">::<\/span><\/span>c_double<span class=\"token punctuation\">;<\/span><\/p>\n<p><span class=\"token attribute attr-name\">#[repr(C)]<\/span><br \/>\n<span class=\"token keyword\">struct<\/span> <span class=\"token type-definition class-name\">CalcResult<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    result<span class=\"token punctuation\">:<\/span> c_double<span class=\"token punctuation\">,<\/span><br \/>\n    error_code<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">,<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">extern<\/span> <span class=\"token string\">&#034;C&#034;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">calc_add<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">:<\/span> c_double<span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">:<\/span> c_double<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token class-name\">CalcResult<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">calc_div<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">:<\/span> c_double<span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">:<\/span> c_double<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token class-name\">CalcResult<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token comment\">\/\/ &#061;&#061;&#061;&#061;&#061; \u5b89\u5168\u62bd\u8c61 &#061;&#061;&#061;&#061;&#061;<\/span><\/p>\n<p><span class=\"token attribute attr-name\">#[derive(Debug)]<\/span><br \/>\n<span class=\"token keyword\">pub<\/span> <span class=\"token keyword\">enum<\/span> <span class=\"token type-definition class-name\">CalcError<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token class-name\">DivisionByZero<\/span><span class=\"token punctuation\">,<\/span><br \/>\n    <span class=\"token class-name\">Unknown<\/span><span class=\"token punctuation\">(<\/span><span class=\"token keyword\">i32<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">pub<\/span> <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">add<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token class-name\">Result<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token class-name\">CalcError<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> result <span class=\"token operator\">&#061;<\/span> <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span> <span class=\"token function\">calc_add<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token function\">check_result<\/span><span class=\"token punctuation\">(<\/span>result<span class=\"token punctuation\">)<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">pub<\/span> <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">div<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">:<\/span> <span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token class-name\">Result<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token class-name\">CalcError<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">let<\/span> result <span class=\"token operator\">&#061;<\/span> <span class=\"token keyword\">unsafe<\/span> <span class=\"token punctuation\">{<\/span> <span class=\"token function\">calc_div<\/span><span class=\"token punctuation\">(<\/span>a<span class=\"token punctuation\">,<\/span> b<span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">}<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token function\">check_result<\/span><span class=\"token punctuation\">(<\/span>result<span class=\"token punctuation\">)<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">check_result<\/span><span class=\"token punctuation\">(<\/span>result<span class=\"token punctuation\">:<\/span> <span class=\"token class-name\">CalcResult<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">-&gt;<\/span> <span class=\"token class-name\">Result<\/span><span class=\"token operator\">&lt;<\/span><span class=\"token keyword\">f64<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token class-name\">CalcError<\/span><span class=\"token operator\">&gt;<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">match<\/span> result<span class=\"token punctuation\">.<\/span>error_code <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token number\">0<\/span> <span class=\"token operator\">&#061;&gt;<\/span> <span class=\"token class-name\">Ok<\/span><span class=\"token punctuation\">(<\/span>result<span class=\"token punctuation\">.<\/span>result<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n        <span class=\"token number\">1<\/span> <span class=\"token operator\">&#061;&gt;<\/span> <span class=\"token class-name\">Err<\/span><span class=\"token punctuation\">(<\/span><span class=\"token class-name\">CalcError<\/span><span class=\"token punctuation\">::<\/span><span class=\"token class-name\">DivisionByZero<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n        code <span class=\"token operator\">&#061;&gt;<\/span> <span class=\"token class-name\">Err<\/span><span class=\"token punctuation\">(<\/span><span class=\"token class-name\">CalcError<\/span><span class=\"token punctuation\">::<\/span><span class=\"token class-name\">Unknown<\/span><span class=\"token punctuation\">(<\/span>code<span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p><span class=\"token attribute attr-name\">#[cfg(test)]<\/span><br \/>\n<span class=\"token keyword\">mod<\/span> <span class=\"token module-declaration namespace\">tests<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token keyword\">use<\/span> <span class=\"token keyword\">super<\/span><span class=\"token punctuation\">::<\/span><span class=\"token operator\">*<\/span><span class=\"token punctuation\">;<\/span><\/p>\n<p>    <span class=\"token attribute attr-name\">#[test]<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">test_add<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token macro property\">assert_eq!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token function\">add<\/span><span class=\"token punctuation\">(<\/span><span class=\"token number\">2.0<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">3.0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">.<\/span><span class=\"token function\">unwrap<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">5.0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><\/p>\n<p>    <span class=\"token attribute attr-name\">#[test]<\/span><br \/>\n    <span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">test_div_by_zero<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n        <span class=\"token macro property\">assert!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token macro property\">matches!<\/span><span class=\"token punctuation\">(<\/span><span class=\"token function\">div<\/span><span class=\"token punctuation\">(<\/span><span class=\"token number\">1.0<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token number\">0.0<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">,<\/span> <span class=\"token class-name\">Err<\/span><span class=\"token punctuation\">(<\/span><span class=\"token class-name\">CalcError<\/span><span class=\"token punctuation\">::<\/span><span class=\"token class-name\">DivisionByZero<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n    <span class=\"token punctuation\">}<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>Step 3&#xff1a;\u7f16\u8bd1 C \u4ee3\u7801&#xff08;build.rs&#xff09;<\/p>\n<p><span class=\"token comment\">\/\/ build.rs<\/span><br \/>\n<span class=\"token keyword\">fn<\/span> <span class=\"token function-definition function\">main<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span> <span class=\"token punctuation\">{<\/span><br \/>\n    <span class=\"token namespace\">cc<span class=\"token punctuation\">::<\/span><\/span><span class=\"token class-name\">Build<\/span><span class=\"token punctuation\">::<\/span><span class=\"token function\">new<\/span><span class=\"token punctuation\">(<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">file<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;src\/calculator.c&#034;<\/span><span class=\"token punctuation\">)<\/span><br \/>\n        <span class=\"token punctuation\">.<\/span><span class=\"token function\">compile<\/span><span class=\"token punctuation\">(<\/span><span class=\"token string\">&#034;calculator&#034;<\/span><span class=\"token punctuation\">)<\/span><span class=\"token punctuation\">;<\/span><br \/>\n<span class=\"token punctuation\">}<\/span><\/p>\n<p>\u6838\u5fc3\u8bbe\u8ba1\u539f\u5219&#xff1a;<\/p>\n<p>unsafe \u53ea\u51fa\u73b0\u5728\u6700\u5c0f\u7684\u8303\u56f4\u5185\u3002<\/p>\n<p>\u5bf9\u5916\u66b4\u9732\u7684\u662f\u5b89\u5168\u7684 Result&lt;f64, CalcError&gt;\u3002<\/p>\n<p>\u5185\u90e8\u9519\u8bef\u7801\u88ab\u8f6c\u6362\u4e3a Rust \u7684 enum\u3002<\/p>\n<p>\u63d0\u4f9b\u5355\u5143\u6d4b\u8bd5\u786e\u4fdd\u5c01\u88c5\u6b63\u786e\u3002<\/p>\n<p>\u516b\u3001unsafe \u7684\u6700\u4f73\u5b9e\u8df5<br \/>\n\u6700\u5c0f\u5316 unsafe \u8303\u56f4&#xff1a;unsafe \u5757\u5e94\u5c3d\u53ef\u80fd\u5c0f&#xff0c;\u53ea\u5305\u542b\u5fc5\u987b unsafe \u7684\u64cd\u4f5c\u3002<\/p>\n<p>\u5c01\u88c5\u4e3a\u5b89\u5168\u62bd\u8c61&#xff1a;\u5bf9\u5916\u66b4\u9732\u5b89\u5168 API&#xff0c;\u5c06 unsafe \u9690\u85cf\u5728\u5185\u90e8\u3002<\/p>\n<p>\u6587\u6863\u5316 Safety \u6761\u4ef6&#xff1a;\u4e3a unsafe fn \u6dfb\u52a0 # Safety \u6ce8\u91ca\u3002<\/p>\n<p>\u4f7f\u7528 debug_assert! \u9a8c\u8bc1\u524d\u7f6e\u6761\u4ef6&#xff1a;\u5728 debug \u6a21\u5f0f\u4e0b\u68c0\u67e5\u4e0d\u53d8\u91cf\u3002<\/p>\n<p>\u7528 Miri \u68c0\u6d4b\u672a\u5b9a\u4e49\u884c\u4e3a&#xff1a;cargo &#043;nightly miri test \u53ef\u4ee5\u68c0\u6d4b unsafe \u4ee3\u7801\u4e2d\u7684 UB\u3002<\/p>\n<p>\u4f18\u5148\u4f7f\u7528\u6807\u51c6\u5e93\u7684\u5b89\u5168\u62bd\u8c61&#xff1a;\u5982 std::slice::from_raw_parts_mut \u4ee3\u66ff\u624b\u5199\u6307\u9488\u8fd0\u7b97\u3002<\/p>\n<p>\u8003\u8651\u4f7f\u7528 bytemuck\u3001zerocopy \u7b49\u5e93&#xff1a;\u5b83\u4eec\u63d0\u4f9b\u4e86\u7ecf\u8fc7\u9a8c\u8bc1\u7684\u5b89\u5168\u7c7b\u578b\u8f6c\u6362\u3002<\/p>\n<p>8.1 \u4f7f\u7528 Miri \u68c0\u6d4b UB<\/p>\n<p>rustup &#043;nightly component <span class=\"token function\">add<\/span> miri<br \/>\n<span class=\"token function\">cargo<\/span> &#043;nightly miri <span class=\"token builtin class-name\">test<\/span><\/p>\n<p>Miri \u662f\u4e00\u4e2a MIR \u89e3\u91ca\u5668&#xff0c;\u53ef\u4ee5\u68c0\u6d4b\u672a\u5b9a\u4e49\u884c\u4e3a&#xff08;\u5982\u8d8a\u754c\u8bbf\u95ee\u3001\u4f7f\u7528\u672a\u521d\u59cb\u5316\u5185\u5b58\u3001\u6570\u636e\u7ade\u4e89&#xff09;\u3002<\/p>\n<p>\u4e5d\u3001\u5c0f\u7ed3<br \/>\nunsafe \u7684\u4e94\u79cd\u80fd\u529b&#xff1a;\u89e3\u5f15\u7528\u88f8\u6307\u9488\u3001\u8c03\u7528 unsafe \u51fd\u6570\u3001\u8bbf\u95ee\u53ef\u53d8\u9759\u6001\u53d8\u91cf\u3001\u5b9e\u73b0 unsafe trait\u3001\u8bbf\u95ee union \u5b57\u6bb5\u3002<\/p>\n<p>unsafe \u4e0d\u5173\u95ed\u501f\u7528\u68c0\u67e5\u548c\u7c7b\u578b\u68c0\u67e5\u2014\u2014\u5b83\u53ea\u89e3\u9501\u7f16\u8bd1\u5668\u65e0\u6cd5\u9a8c\u8bc1\u7684\u64cd\u4f5c\u3002<\/p>\n<p>\u88f8\u6307\u9488&#xff1a;*const T \/ *mut T&#xff0c;\u53ef\u4e3a null&#xff0c;\u4e0d\u53d7\u501f\u7528\u89c4\u5219\u7ea6\u675f\u3002<\/p>\n<p>FFI&#xff1a;extern \u201cC\u201d \u58f0\u660e\u5916\u90e8\u51fd\u6570&#xff0c;#[no_mangle] \u5bfc\u51fa Rust \u51fd\u6570\u3002<\/p>\n<p>bindgen \/ cbindgen&#xff1a;\u81ea\u52a8\u751f\u6210 C \u4e0e Rust \u7684\u7ed1\u5b9a\u4ee3\u7801\u3002<\/p>\n<p>\u5b89\u5168\u62bd\u8c61&#xff1a;unsafe \u4ee3\u7801\u5e94\u5c01\u88c5\u5728\u5b89\u5168 API \u5185\u90e8&#xff0c;\u6700\u5c0f\u5316 unsafe \u8303\u56f4\u3002<\/p>\n<p>Miri&#xff1a;\u68c0\u6d4b unsafe \u4ee3\u7801\u4e2d\u7684\u672a\u5b9a\u4e49\u884c\u4e3a\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5728\u4e4b\u524d\u7684\u5341\u4e8c\u7bc7\u6587\u7ae0\u4e2d&#xff0c;\u6211\u4eec\u4e00\u76f4\u5728\u5b89\u5168 Rust&#xff08;Safe Rust&#xff09; \u7684\u4e16\u754c\u91cc\u2014\u2014\u6240\u6709\u6743\u3001\u501f\u7528\u68c0\u67e5\u3001\u751f\u547d\u5468\u671f&#xff0c;\u7f16\u8bd1\u5668\u66ff\u6211\u4eec\u6321\u4f4f\u4e86\u6240\u6709\u5185\u5b58\u5b89\u5168\u95ee\u9898\u3002\u4f46\u7cfb\u7edf\u7f16\u7a0b\u7684\u67d0\u4e9b\u573a\u666f&#xff0c;\u5b89\u5168 Rust \u65e0\u6cd5\u8868\u8fbe&#xff1a;\u8c03\u7528 C \u5e93\u3001\u64cd\u4f5c\u88f8\u6307\u9488\u3001\u5b9e\u73b0\u5e95\u5c42\u6570\u636e\u7ed3\u6784\u3001\u76f4\u63a5\u4e0e\u64cd\u4f5c\u7cfb\u7edf\u4ea4\u4e92\u3002\u8fd9\u65f6&#xff0c;\u5c31\u9700\u8981 unsafe Rust\u3002unsafe \u4e0d\u662f\u201c\u5173\u95ed\u5b89\u5168\u68c0\u67e5\u201d&#xff0c;\u800c\u662f\u5f00\u542f\u4e94\u9879\u7f16\u8bd1\u5668\u65e0\u6cd5\u9a8c\u8bc1\u7684\u80fd\u529b&amp;#<\/p>\n","protected":false},"author":2,"featured_media":107719,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[206],"topic":[],"class_list":["post-107722","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-server","tag-rust"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.3 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.wsisp.com\/helps\/107722.html\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"og:description\" content=\"\u5728\u4e4b\u524d\u7684\u5341\u4e8c\u7bc7\u6587\u7ae0\u4e2d&#xff0c;\u6211\u4eec\u4e00\u76f4\u5728\u5b89\u5168 Rust&#xff08;Safe Rust&#xff09; \u7684\u4e16\u754c\u91cc\u2014\u2014\u6240\u6709\u6743\u3001\u501f\u7528\u68c0\u67e5\u3001\u751f\u547d\u5468\u671f&#xff0c;\u7f16\u8bd1\u5668\u66ff\u6211\u4eec\u6321\u4f4f\u4e86\u6240\u6709\u5185\u5b58\u5b89\u5168\u95ee\u9898\u3002\u4f46\u7cfb\u7edf\u7f16\u7a0b\u7684\u67d0\u4e9b\u573a\u666f&#xff0c;\u5b89\u5168 Rust \u65e0\u6cd5\u8868\u8fbe&#xff1a;\u8c03\u7528 C \u5e93\u3001\u64cd\u4f5c\u88f8\u6307\u9488\u3001\u5b9e\u73b0\u5e95\u5c42\u6570\u636e\u7ed3\u6784\u3001\u76f4\u63a5\u4e0e\u64cd\u4f5c\u7cfb\u7edf\u4ea4\u4e92\u3002\u8fd9\u65f6&#xff0c;\u5c31\u9700\u8981 unsafe Rust\u3002unsafe \u4e0d\u662f\u201c\u5173\u95ed\u5b89\u5168\u68c0\u67e5\u201d&#xff0c;\u800c\u662f\u5f00\u542f\u4e94\u9879\u7f16\u8bd1\u5668\u65e0\u6cd5\u9a8c\u8bc1\u7684\u80fd\u529b&amp;#\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.wsisp.com\/helps\/107722.html\" \/>\n<meta property=\"og:site_name\" content=\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\" \/>\n<meta property=\"article:published_time\" content=\"2026-09-19T21:58:32+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.wsisp.com\/helps\/wp-content\/uploads\/2026\/09\/20260919215831-6aaf05877821c.png\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/107722.html\",\"url\":\"https:\/\/www.wsisp.com\/helps\/107722.html\",\"name\":\"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"isPartOf\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\"},\"datePublished\":\"2026-09-19T21:58:32+00:00\",\"dateModified\":\"2026-09-19T21:58:32+00:00\",\"author\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.wsisp.com\/helps\/107722.html#breadcrumb\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.wsisp.com\/helps\/107722.html\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/107722.html#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.wsisp.com\/helps\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#website\",\"url\":\"https:\/\/www.wsisp.com\/helps\/\",\"name\":\"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3\",\"description\":\"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"contentUrl\":\"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery\",\"caption\":\"admin\"},\"sameAs\":[\"http:\/\/wp.wsisp.com\"],\"url\":\"https:\/\/www.wsisp.com\/helps\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.wsisp.com\/helps\/107722.html","og_locale":"zh_CN","og_type":"article","og_title":"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","og_description":"\u5728\u4e4b\u524d\u7684\u5341\u4e8c\u7bc7\u6587\u7ae0\u4e2d&#xff0c;\u6211\u4eec\u4e00\u76f4\u5728\u5b89\u5168 Rust&#xff08;Safe Rust&#xff09; \u7684\u4e16\u754c\u91cc\u2014\u2014\u6240\u6709\u6743\u3001\u501f\u7528\u68c0\u67e5\u3001\u751f\u547d\u5468\u671f&#xff0c;\u7f16\u8bd1\u5668\u66ff\u6211\u4eec\u6321\u4f4f\u4e86\u6240\u6709\u5185\u5b58\u5b89\u5168\u95ee\u9898\u3002\u4f46\u7cfb\u7edf\u7f16\u7a0b\u7684\u67d0\u4e9b\u573a\u666f&#xff0c;\u5b89\u5168 Rust \u65e0\u6cd5\u8868\u8fbe&#xff1a;\u8c03\u7528 C \u5e93\u3001\u64cd\u4f5c\u88f8\u6307\u9488\u3001\u5b9e\u73b0\u5e95\u5c42\u6570\u636e\u7ed3\u6784\u3001\u76f4\u63a5\u4e0e\u64cd\u4f5c\u7cfb\u7edf\u4ea4\u4e92\u3002\u8fd9\u65f6&#xff0c;\u5c31\u9700\u8981 unsafe Rust\u3002unsafe \u4e0d\u662f\u201c\u5173\u95ed\u5b89\u5168\u68c0\u67e5\u201d&#xff0c;\u800c\u662f\u5f00\u542f\u4e94\u9879\u7f16\u8bd1\u5668\u65e0\u6cd5\u9a8c\u8bc1\u7684\u80fd\u529b&amp;#","og_url":"https:\/\/www.wsisp.com\/helps\/107722.html","og_site_name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","article_published_time":"2026-09-19T21:58:32+00:00","og_image":[{"url":"https:\/\/www.wsisp.com\/helps\/wp-content\/uploads\/2026\/09\/20260919215831-6aaf05877821c.png"}],"author":"admin","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"admin","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"5 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.wsisp.com\/helps\/107722.html","url":"https:\/\/www.wsisp.com\/helps\/107722.html","name":"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b - \u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","isPartOf":{"@id":"https:\/\/www.wsisp.com\/helps\/#website"},"datePublished":"2026-09-19T21:58:32+00:00","dateModified":"2026-09-19T21:58:32+00:00","author":{"@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41"},"breadcrumb":{"@id":"https:\/\/www.wsisp.com\/helps\/107722.html#breadcrumb"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.wsisp.com\/helps\/107722.html"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.wsisp.com\/helps\/107722.html#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.wsisp.com\/helps"},{"@type":"ListItem","position":2,"name":"\u7b2c\u5341\u4e09\u7bc7\uff1a\u300aunsafe Rust \u4e0e FFI\uff1a\u4e0e C \u548c\u7cfb\u7edf\u8c03\u7528\u4ea4\u4e92\u300b"}]},{"@type":"WebSite","@id":"https:\/\/www.wsisp.com\/helps\/#website","url":"https:\/\/www.wsisp.com\/helps\/","name":"\u7f51\u7855\u4e92\u8054\u5e2e\u52a9\u4e2d\u5fc3","description":"\u9999\u6e2f\u670d\u52a1\u5668_\u9999\u6e2f\u4e91\u670d\u52a1\u5668\u8d44\u8baf_\u670d\u52a1\u5668\u5e2e\u52a9\u6587\u6863_\u670d\u52a1\u5668\u6559\u7a0b","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.wsisp.com\/helps\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/358e386c577a3ab51c4493330a20ad41","name":"admin","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.wsisp.com\/helps\/#\/schema\/person\/image\/","url":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","contentUrl":"https:\/\/gravatar.wp-china-yes.net\/avatar\/?s=96&d=mystery","caption":"admin"},"sameAs":["http:\/\/wp.wsisp.com"],"url":"https:\/\/www.wsisp.com\/helps\/author\/admin"}]}},"_links":{"self":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/107722","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/comments?post=107722"}],"version-history":[{"count":0,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/posts\/107722\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/media\/107719"}],"wp:attachment":[{"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/media?parent=107722"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/categories?post=107722"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/tags?post=107722"},{"taxonomy":"topic","embeddable":true,"href":"https:\/\/www.wsisp.com\/helps\/wp-json\/wp\/v2\/topic?post=107722"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}