{"id":45005,"date":"2023-12-15T20:20:27","date_gmt":"2023-12-17T10:44:04","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/"},"modified":"2024-05-04T13:43:20","modified_gmt":"2024-05-04T05:43:20","slug":"45005-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/","title":{"rendered":""},"content":{"rendered":"<h2>\u76ee\u6b21<\/h2>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">19.1 Unsafe Rust \u306e\u6982\u8981<\/ul>\n<\/li>\n<\/ul>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u306b\u3064\u3044\u3066<\/p>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u3068\u306f<br \/>\n\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210<br \/>\n\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u53c2\u7167\u5916\u3057<\/p>\n<p>unsafe \u306a\u95a2\u6570\u3084\u30e1\u30bd\u30c3\u30c9\u306e\u5229\u7528<\/p>\n<p>unsafe \u30d6\u30ed\u30c3\u30af\u3092\u542b\u3080\u5b9f\u88c5\u3092\u5b89\u5168\u306a\u95a2\u6570\u3068\u3057\u3066\u62bd\u8c61\u5316\u3059\u308b<\/p>\n<p>unsafe \u30b3\u30fc\u30c9\u3092\u62bd\u8c61\u5316\u3059\u308b\u95a2\u6570\u306e\u5b9f\u88c5\u306e\u4f8b\uff1asplit_at_mut<\/p>\n<p>extern \u95a2\u6570\u3092\u4f7f\u7528\u3057\u3066\u3001\u5916\u90e8\u306e\u30b3\u30fc\u30c9\u3092\u547c\u3073\u51fa\u3059<br \/>\n\u4ed6\u306e\u8a00\u8a9e\u304b\u3089 Rust \u306e\u95a2\u6570\u3092\u547c\u3073\u51fa\u3059<\/p>\n<p>\u53ef\u5909\u3067\u9759\u7684\u306a\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u3057\u305f\u308a\u5909\u66f4\u3059\u308b<br \/>\nunsafe \u306a\u30c8\u30ec\u30a4\u30c8\u306e\u5b9f\u88c5<\/p>\n<h2>19.1 Unsafe Rust \u306e\u6982\u8981<\/h2>\n<p>Unsafe Rust: Rust \u306e\u4fdd\u8a3c\u306e\u4e00\u90e8\u3092\u629c\u3051\u3066\u305d\u306e\u4fdd\u8a3c\u306b\u95a2\u3057\u3066\u30d7\u30ed\u30b0\u30e9\u30de\u5074\u3067\u8cac\u4efb\u3092\u8ca0\u3046\u65b9\u6cd5<\/p>\n<p>unsafe{&#8230;} \u3067\u56f2\u3063\u305f\u30d6\u30ed\u30c3\u30af\u5185\u3067\u306f\u3001\u901a\u5e38\u306e Rust \u3067\u306f\u8a31\u3055\u308c\u306a\u3044\u4ee5\u4e0b\u306e\u6a5f\u80fd\u304c\u4f7f\u3048\u308b\u3088\u3046\u306b\u306a\u308b\uff1a<\/p>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u53c2\u7167\u5916\u3057<\/p>\n<p>\u300c\u501f\u7528\u898f\u5247\u306b\u53cd\u3059\u308b\u304c\u5b89\u5168\u3067\u3042\u308b\u300d\u3068\u30d7\u30ed\u30b0\u30e9\u30de\u304c\u5224\u65ad\u3067\u304d\u308b\u30b3\u30fc\u30c9\u3092\u66f8\u304f\u65b9\u6cd5<\/p>\n<p>unsafe \u306a\u95a2\u6570\u3084\u30e1\u30bd\u30c3\u30c9\u306e\u547c\u3073\u51fa\u3057<\/p>\n<p>unsafe \u306a\u95a2\u6570\u3092\u5229\u7528\u3059\u308b<\/p>\n<p>extern &#8220;ABI \u540d&#8221; {&#8230;} \u3067 FFI \u3092\u5229\u7528\u3059\u308b<\/p>\n<p>pub extern &#8220;ABI \u540d&#8221; fn \u95a2\u6570\u540d(&#8230;) {&#8230;} \u3067\u4ed6\u306e\u8a00\u8a9e\u306b Rust \u95a2\u6570\u3092\u547c\u3073\u51fa\u3059\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u3092\u63d0\u4f9b\u3059\u308b<\/p>\n<p>\u53ef\u5909\u3067\u9759\u7684\u306a\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u3057\u305f\u308a\u5909\u66f4\u3092\u52a0\u3048\u308b<\/p>\n<p>static \u30ad\u30fc\u30ef\u30fc\u30c9\u3092\u7528\u3044\u3066\u9759\u7684\u5909\u6570\uff08\u4ed6\u306e\u8a00\u8a9e\u306e\u30b0\u30ed\u30fc\u30d0\u30eb\u5909\u6570\u306e\u3088\u3046\u306a\u3082\u306e\uff09\u3092\u5b9a\u7fa9\u3067\u304d\u308b<br \/>\n\u9759\u7684\u5909\u6570\u306f const \u3067\u5b9a\u7fa9\u3055\u308c\u308b\u5b9a\u6570\u3068\u306f\u7570\u306a\u308a\u3001mut \u30ad\u30fc\u30ef\u30fc\u30c9\u3067\u53ef\u5909\u306b\u3067\u304d\u308b<br \/>\n\u53ef\u5909\u306a\u9759\u7684\u5909\u6570\u306e\u8aad\u307f\u3068\u308a\u30fb\u66f8\u304d\u8fbc\u307f\u306f\u3069\u3061\u3089\u3082 unsafe \u3067\u3042\u308b<\/p>\n<p>unsafe \u306a\u30c8\u30ec\u30a4\u30c8\u306e\u5b9f\u88c5<\/p>\n<h2>\u751f\u30dd\u30a4\u30f3\u30bf\u306b\u3064\u3044\u3066<\/h2>\n<h3>\u751f\u30dd\u30a4\u30f3\u30bf\u3068\u306f<\/h3>\n<p>unsafe Rust \u306b\u306f\u751f\u30dd\u30a4\u30f3\u30bf\u3068\u3044\u3046\u4e8c\u3064\u306e\u65b0\u3057\u3044\u578b\u304c\u3042\u308b\uff08\u3053\u3053\u3067\u767b\u5834\u3059\u308b * \u306f\u53c2\u7167\u5916\u3057\u6f14\u7b97\u5b50\u3067\u306f\u306a\u3044\u3053\u3068\u306b\u6ce8\u610f\uff09\uff1a<\/p>\n<p>*const T: \u4e0d\u5909\u306a\u751f\u30dd\u30a4\u30f3\u30bf (\u53c2\u7167\u5916\u3057\u5f8c\u306b\u76f4\u63a5\u30dd\u30a4\u30f3\u30bf\u306b\u4ee3\u5165\u3067\u304d\u306a\u3044)<\/p>\n<p>*mut T: \u53ef\u5909\u306a\u751f\u30dd\u30a4\u30f3\u30bf<\/p>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u3067\u306f<\/p>\n<p>Rust \u306e\u501f\u7528\u898f\u5247\u304c\u7121\u8996\u3055\u308c\u308b<\/p>\n<p>\u4e0d\u5909\u306a\u30dd\u30a4\u30f3\u30bf\u3068\u53ef\u5909\u306a\u30dd\u30a4\u30f3\u30bf\u304c\u540c\u6642\u306b\u5b58\u5728\u3067\u304d\u308b<br \/>\n\u8907\u6570\u306e\u53ef\u5909\u306a\u30dd\u30a4\u30f3\u30bf\u306e\u5b58\u5728\u304c\u8a31\u3055\u308c\u308b<\/p>\n<p>\u6709\u52b9\u306a\u30e1\u30e2\u30ea\u3092\u6307\u3057\u3066\u3044\u308b\u3068\u4fdd\u8a3c\u3055\u308c\u306a\u3044<br \/>\nnull \u306e\u53ef\u80fd\u6027\u304c\u3042\u308b<br \/>\n\u81ea\u52d5\u7684\u306a\u7247\u4ed8\u3051\u306f\u5b9f\u88c5\u3055\u308c\u3066\u3044\u306a\u3044<\/p>\n<h3>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210<\/h3>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210\u81ea\u4f53\u306f safe \u30b3\u30fc\u30c9\u3067\u3082\u53ef\u80fd<\/p>\n<p>\u3060\u304c\u3001unsafe \u30d6\u30ed\u30c3\u30af\u306e\u5916\u3067\u306f\u53c2\u7167\u5916\u3057\u3067\u304d\u306a\u3044<\/p>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210\u306e\u4f8b\uff11\uff1a<br \/>\nas \u3092\u4f7f\u7528\u3057\u3066\u751f\u30dd\u30a4\u30f3\u30bf\u578b\u306b\u30ad\u30e3\u30b9\u30c8\uff08\u6709\u52b9\u306a\u53c2\u7167\u304b\u3089\u751f\u6210\u3057\u3066\u3044\u308b\u306e\u3067\u3001\u3053\u308c\u3089\u306e\u751f\u30dd\u30a4\u30f3\u30bf\u3082\u6709\u52b9\u3067\u3042\u308b\u3053\u3068\u304c\u308f\u304b\u308b\uff09<br \/>\nlet mut num = 5;<\/p>\n<p>\/\/ \u4e0d\u5909\u30dd\u30a4\u30f3\u30bf\u3068\u53ef\u5909\u30dd\u30a4\u30f3\u30bf\u306e\u5171\u5b58<br \/>\nlet r1 = &amp;num as *const i32;<br \/>\nlet r2 = &amp;mut num as *mut i32;<\/p>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u751f\u6210\u306e\u4f8b\uff12\uff1a<br \/>\n\u30e1\u30e2\u30ea\u306e\u4efb\u610f\u306e\u7b87\u6240\u3092\u6307\u3059\u751f\u30dd\u30a4\u30f3\u30bf\uff08\u305d\u306e\u30a2\u30c9\u30ec\u30b9\u306b\u30c7\u30fc\u30bf\u306f\u3042\u308b\u304b\u3082\u3057\u308c\u306a\u3044\u3057\u3001\u306a\u3044\u304b\u3082\u3057\u308c\u306a\u3044\u3002\u30b3\u30f3\u30d1\u30a4\u30e9\u304c\u30b3\u30fc\u30c9\u3092\u6700\u9069\u5316\u3057\u3066\u30e1\u30e2\u30ea\u30a2\u30af\u30bb\u30b9\u304c\u306a\u304f\u306a\u3063\u305f\u308a\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u30bb\u30b0\u30e1\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u30d5\u30a9\u30fc\u30eb\u30c8\u3067\u30a8\u30e9\u30fc\u3092\u8d77\u3053\u3059\u53ef\u80fd\u6027\u3082\u3042\u308b\uff09<br \/>\nlet address = 0x012345usize;<br \/>\nlet r = address as *const i32;<\/p>\n<h3>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u53c2\u7167\u5916\u3057<\/h3>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u53c2\u7167\u5916\u3057\uff08\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u6307\u3059\u5024\u3078\u306e\u30a2\u30af\u30bb\u30b9\uff09\u306f unsafe \u30d6\u30ed\u30c3\u30af\u5185\u3067\u3057\u304b\u5b9f\u884c\u3067\u304d\u306a\u3044<\/p>\n<p>\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u53c2\u7167\u5916\u3057\u306e\u4f8b\uff1a<br \/>\nlet mut num = 5;<\/p>\n<p>let r1 = &amp;num as *const i32;<br \/>\nlet r2 = &amp;mut num as *mut i32;<\/p>\n<p>\/\/ \u751f\u30dd\u30a4\u30f3\u30bf\u304c\u6307\u3059\u5024\u3092\u8aad\u3080\u305f\u3081\u306b unsafe \u30d6\u30ed\u30c3\u30af\u3092\u4f5c\u6210<br \/>\nunsafe {<br \/>\n\/\/ \u901a\u5e38\u306e\u53c2\u7167\u5916\u3057\u3068\u540c\u3058\u3088\u3046\u306b * \u3067\u53c2\u7167\u5916\u3057<br \/>\nprintln!(&#8220;r1 is: {}&#8221;, *r1);<br \/>\nprintln!(&#8220;r2 is: {}&#8221;, *r2);<br \/>\n}<\/p>\n<h2>unsafe \u306a\u95a2\u6570\u3084\u30e1\u30bd\u30c3\u30c9\u306e\u5229\u7528<\/h2>\n<p>unsafe \u95a2\u6570\u306e\u5b9a\u7fa9\uff08\u5b9a\u7fa9\u3060\u3051\u306a\u3089 safe \u30b3\u30fc\u30c9\uff09<\/p>\n<p>unsafe \u95a2\u6570\u306e\u5229\u7528\u306f unsafe \u30d6\u30ed\u30c3\u30af\u5185\u3068 unsafe \u95a2\u6570\u5185\u306b\u9650\u3089\u308c\u308b<\/p>\n<p>unsafe \u95a2\u6570\u3092\u5229\u7528\u3059\u308b\u969b\u306f\u3001\u305d\u306e\u95a2\u6570\u306e\u30c9\u30ad\u30e5\u30e1\u30f3\u30c6\u30fc\u30b7\u30e7\u30f3\u3092\u8aad\u307f\u3001\u95a2\u6570\u306e\u5951\u7d04\u3092\u5b88\u3063\u3066\u3044\u308b\u3068\u30d7\u30ed\u30b0\u30e9\u30de\u5074\u3067\u8cac\u4efb\u3092\u8ca0\u3046\u5fc5\u8981\u304c\u3042\u308b<br \/>\n\/\/ unsafe \u95a2\u6570\u306e\u5b9a\u7fa9<br \/>\nunsafe fn dangerous() {<br \/>\n\/\/ &#8230;<br \/>\n}<\/p>\n<p>\/\/ unsafe \u95a2\u6570\u306e\u5229\u7528<br \/>\nunsafe {<br \/>\ndangerous();<br \/>\n}<\/p>\n<h3>unsafe \u30d6\u30ed\u30c3\u30af\u3092\u542b\u3080\u5b9f\u88c5\u3092\u5b89\u5168\u306a\u95a2\u6570\u3068\u3057\u3066\u62bd\u8c61\u5316\u3059\u308b<\/h3>\n<p>unsafe \u30d6\u30ed\u30c3\u30af\u3092\u542b\u3080\u95a2\u6570\u306f unsafe \u95a2\u6570\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\u308f\u3051\u3067\u306f\u306a\u3044<\/p>\n<p>safe \u95a2\u6570\u5185\u3067 unsafe \u30d6\u30ed\u30c3\u30af\u3092\u4f7f\u3046\u306e\u306f\u4e00\u822c\u7684\u306a\u62bd\u8c61\u5316<\/p>\n<h4>unsafe \u30b3\u30fc\u30c9\u3092\u62bd\u8c61\u5316\u3059\u308b\u95a2\u6570\u306e\u5b9f\u88c5\u306e\u4f8b\uff1asplit_at_mut<\/h4>\n<p>\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea\u5185\u306b\u5b58\u5728\u3059\u308b\u53ef\u5909\u306a\u30b9\u30e9\u30a4\u30b9\u306b\u5b9a\u7fa9\u3055\u308c\u305f\u30e1\u30bd\u30c3\u30c9 spllit_at_mut \u306e\u5b9f\u88c5\u3092\u53c2\u8003\u4f8b\u306b\u8003\u3048\u308b<\/p>\n<p>\u3053\u306e\u95a2\u6570\u306e\u52d5\u4f5c\u306f\u4ee5\u4e0b\u306e\u901a\u308a\uff1a<br \/>\nlet mut v = vec![1, 2, 3, 4, 5, 6];<\/p>\n<p>let r = &amp;mut v[..];<\/p>\n<p>let (a, b) = r.split_at_mut(3);<\/p>\n<p>assert_eq!(a, &amp;mut [1, 2, 3]);<br \/>\nassert_eq!(b, &amp;mut [4, 5, 6]);<\/p>\n<p>\u3053\u306e\u95a2\u6570\u306e\u5b9f\u88c5\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308b\u3068\u601d\u308f\u308c\u308b\uff08\u304c\u3001\u5b9f\u969b\u306b\u306f\u3053\u306e\u307e\u307e\u3067\u306f\u554f\u984c\u304c\u3042\u308b\uff09\uff1a<\/p>\n<p>Rust \u306e\u501f\u7528\u30c1\u30a7\u30c3\u30ab\u30fc\u306f\u4e0e\u3048\u305f\u30b9\u30e9\u30a4\u30b9\u306e\uff08\u4e92\u3044\u306b\u91cd\u8907\u3057\u306a\u3044\uff09\u7570\u306a\u308b\u90e8\u5206\u3092\u501f\u7528\u3057\u3066\u3044\u308b\u3053\u3068\u3092\u7406\u89e3\u3067\u304d\u306a\u3044\u306e\u3067\u3001\u540c\u3058\u30c7\u30fc\u30bf\u306b\u5bfe\u3059\u308b\u4e8c\u3064\u4ee5\u4e0a\u306e\u53ef\u5909\u53c2\u7167\u304c\u3042\u308b\u3068\u52d8\u9055\u3044\u3057\u3066\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u3092\u8d77\u3053\u3059<\/p>\n<p>fn split_at_mut(slice: &amp;mut [i32], mid: usize) -&gt; (&amp;mut [i32], &amp;mut [i32]) {<br \/>\nlet len = slice.len();<\/p>\n<p>assert!(mid &lt;= len); (&amp;mut slice[..mid], &amp;mut slice[mid..]) } \u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u3088\u308b\u300c\u52d8\u9055\u3044\u300d\u3092\u56de\u907f\u3059\u308b\u305f\u3081\u306b unsafe \u3092\u5c0e\u5165\u3057\u3066\u3001\u3053\u306e\u95a2\u6570\u306e\u5b9f\u88c5\u3092\u3059\u308b\u65b9\u6cd5\u306f\u4ee5\u4e0b\u306e\u901a\u308a\uff1a slice::from_raw_parts_mut \u95a2\u6570\u306f\u3001\u751f\u30dd\u30a4\u30f3\u30bf\u3068\u9577\u3055\u3092\u53d6\u3063\u3066\u3001\u30b9\u30e9\u30a4\u30b9\u3092\u751f\u6210\u3059\u308b\u95a2\u6570 ptr.offset(num as isize) \u306f ptr \u304b\u3089 num \u500b\u5206\u3060\u3051\u5f8c\u308d\u306e\u30dd\u30a4\u30f3\u30bf\u3092\u8fd4\u3059\u30e1\u30bd\u30c3\u30c9 \u3053\u308c\u3089\u4e8c\u3064\u306e\u95a2\u6570\u30fb\u30e1\u30bd\u30c3\u30c9\u306f\u3069\u3061\u3089\u3082\u751f\u30dd\u30a4\u30f3\u30bf\u306e\u6307\u3059\u5024\u3092\u8fd4\u3059\u306e\u3067 unsafe \u3067\u3042\u308b fn split_at_mut(slice: &amp;mut [i32], mid: usize) -&gt; (&amp;mut [i32], &amp;mut [i32]) {<br \/>\nlet len = slice.len();<\/p>\n<p>\/\/ \u30b9\u30e9\u30a4\u30b9\u306e\u751f\u30dd\u30a4\u30f3\u30bf\u3092\u53d6\u5f97<br \/>\nlet ptr = slice.as_mut_ptr();<\/p>\n<p>\/\/ \u7121\u52b9\u306a\u30a2\u30c9\u30ec\u30b9\u3078\u306e\u30a2\u30af\u30bb\u30b9\u3092\u9632\u6b62\u3059\u308b\u305f\u3081\u306b mid &gt; len \u306e\u5834\u5408\u306f unsafe \u30d6\u30ed\u30c3\u30af\u306b\u5165\u308b\u524d\u306b\u30d1\u30cb\u30c3\u30af\u3092\u8d77\u3053\u3059<br \/>\nassert!(mid &lt;= len);<\/p>\n<p>unsafe {<br \/>\n(slice::from_raw_parts_mut(ptr, mid),<br \/>\nslice::from_raw_parts_mut(ptr.offset(mid as isize), len &#8211; mid))<br \/>\n}<br \/>\n}<\/p>\n<p>\u3053\u306e\u95a2\u6570\u306f\u3001\u5185\u90e8\u3067 unsafe \u30d6\u30ed\u30c3\u30af\u3092\u4f7f\u7528\u3057\u3066\u3044\u308b\u304c\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u5074\u3067\u5b89\u5168\u306a\u95a2\u6570\u3060\u3068\u8cac\u4efb\u3092\u8ca0\u3063\u3066\u3044\u308b<\/p>\n<p>\u2192 safe Rust \u3067\u4f7f\u7528\u53ef\u80fd\u306a\u95a2\u6570<\/p>\n<p>\u60aa\u3044 unsafe \u306e\u4f7f\u7528\u4f8b\uff1a<br \/>\nuse std::slice;<\/p>\n<p>\/\/ \u30a2\u30c9\u30ec\u30b9\u3092\u76f4\u63a5\u6307\u5b9a\u3057\u3066\u751f\u30dd\u30a4\u30f3\u30bf\u3092\u53d6\u5f97<br \/>\n\/\/ (\u5024\u304c\u6709\u52b9\u3060\u3068\u5168\u304f\u4fdd\u8a3c\u3055\u308c\u3066\u3044\u306a\u3044&#8230;\u6050\u308d\u3057\u3044&#8230;\uff09<br \/>\nlet address = 0x012345usize;<br \/>\nlet r = address as *mut i32;<\/p>\n<p>\/\/ \u5148\u306e\u751f\u30dd\u30a4\u30f3\u30bf\u304b\u3089\u9023\u7d9a\u3067 10000 \u500b\u306e\u30a2\u30c9\u30ec\u30b9\u306b\u308f\u305f\u308b\u30b9\u30e9\u30a4\u30b9\u3092\u751f\u6210<br \/>\n\/\/ (10000 \u500b\u306e\u30a2\u30c9\u30ec\u30b9\u306e\u3069\u3053\u3082\u304b\u3057\u3053\u3082\u6709\u52b9\u306a\u5024\u304c\u5165\u3063\u3066\u3044\u308b\u4fdd\u8a3c\u304c\u306a\u3044&#8230;\u6050\u308d\u3057\u3059\u304e\u308b!!!)<br \/>\nlet slice = unsafe {<br \/>\nslice::from_raw_parts_mut(r, 10000)<br \/>\n};<\/p>\n<h3>extern \u95a2\u6570\u3092\u4f7f\u7528\u3057\u3066\u3001\u5916\u90e8\u306e\u30b3\u30fc\u30c9\u3092\u547c\u3073\u51fa\u3059<\/h3>\n<p>extern \u30ad\u30fc\u30ef\u30fc\u30c9\u306f FFI (Foreign Function Interface: \u5916\u90e8\u95a2\u6570\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9)\u306e\u751f\u6210\u30fb\u5229\u7528\u3092\u5bb9\u6613\u306b\u3059\u308b<\/p>\n<p>FFI: \u3042\u308b\u8a00\u8a9e\u306b\u95a2\u6570\u3092\u5b9a\u7fa9\u3055\u305b\u3066\u3001\u7570\u306a\u308b\u8a00\u8a9e\u304b\u3089\u305d\u306e\u95a2\u6570\u3092\u547c\u3073\u51fa\u305b\u308b\u3088\u3046\u306b\u3059\u308b\u65b9\u6cd5\u306e\u3053\u3068<\/p>\n<p>FFI \u3067\u5c0e\u5165\u3057\u305f\u95a2\u6570\u3092 Rust \u5185\u3067\u4f7f\u7528\u3059\u308b\u5834\u5408 unsafe \u3068\u306a\u308b<\/p>\n<p>\u4f8b\uff1aC \u8a00\u8a9e\u306e\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea\u304b\u3089 abs \u95a2\u6570\u3092\u7d71\u5408\u3059\u308b<\/p>\n<p>ABI (application binary interface): \u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u30fb\u30d0\u30a4\u30ca\u30ea\u30fb\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9. \u95a2\u6570\u306e\u547c\u3073\u51fa\u3057\u65b9\u6cd5\u3092\u30a2\u30bb\u30f3\u30d6\u30ea\u30ec\u30d9\u30eb\u3067\u5b9a\u7fa9\u3059\u308b.<\/p>\n<p>\u4ee3\u8868\u4f8b\u306f &#8220;C&#8221; ABI (C \u8a00\u8a9e\u306e ABI \u306b\u5f93\u3046)<\/p>\n<p>\/\/ \u307e\u305a\u3069\u306e ABI(application binary interface: \u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u30fb\u30d0\u30a4\u30ca\u30ea\u30fb\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9) \u304b\u3089 FFI \u3092\u5229\u7528\u3059\u308b\u304b\u3092 extern \u3067\u6307\u5b9a<br \/>\nextern &#8220;C&#8221; {<br \/>\n\/\/ \u547c\u3073\u51fa\u3057\u305f\u95a2\u6570\u306e\u540d\u524d\u3068\u30b7\u30b0\u30cd\u30c1\u30e3\u3092\u5217\u6319<br \/>\nfn abs(input: i32) -&gt; i32;<br \/>\n}<\/p>\n<p>fn main() {<br \/>\nunsafe {<br \/>\nprintln!(&#8220;-3 \u306e\u7d76\u5bfe\u5024\u306f C \u306b\u3088\u308b\u3068: {}&#8221;, abs(-3));<br \/>\n}<br \/>\n}<\/p>\n<h3>\u4ed6\u306e\u8a00\u8a9e\u304b\u3089 Rust \u306e\u95a2\u6570\u3092\u547c\u3073\u51fa\u3059<\/h3>\n<p>pub extern &#8220;ABI\u540d&#8221; fn &#8230; \u3067\u4ed6\u306e\u8a00\u8a9e\u306b Rust \u306e\u95a2\u6570\u3092\u547c\u3073\u51fa\u3055\u305b\u308b\u305f\u3081\u306e\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9\u3092\u751f\u6210\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308b<\/p>\n<p>\u3053\u3053\u3067\u3001#[no_mangle] \u6ce8\u91c8\u3092\u8ffd\u52a0\u3057\u3066\u3001Rust \u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u95a2\u6570\u540d\u3092\u30de\u30f3\u30b0\u30eb\u3057\u306a\u3044\u3088\u3046\u306b\u6307\u793a\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b<\/p>\n<p>\u30de\u30f3\u30b0\u30eb\uff1a\u30b3\u30f3\u30d1\u30a4\u30e9\u304c\u30b3\u30f3\u30d1\u30a4\u30eb\u306e\u904e\u7a0b\u3067\u95a2\u6570\u540d\u3092\uff08\u4eba\u9593\u306b\u3068\u3063\u3066\u8aad\u307f\u306b\u304f\u3044\uff09\u7570\u306a\u308b\u540d\u524d\u306b\u5909\u66f4\u3059\u308b\u3053\u3068<\/p>\n<p>\u3053\u308c\u306f unsafe \u3067\u306f\u306a\u3044<\/p>\n<p>\u4f8b\uff1a<br \/>\n#[no_mangle]<br \/>\npub extern &#8220;C&#8221; fn call_from_c() {<br \/>\nprintln!(&#8220;C \u304b\u3089 Rust \u95a2\u6570\u3092\u547c\u3073\u51fa\u3057\u307e\u3057\u305f\uff01&#8221;);<br \/>\n}<\/p>\n<h2>\u53ef\u5909\u3067\u9759\u7684\u306a\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u3057\u305f\u308a\u5909\u66f4\u3059\u308b<\/h2>\n<p>\u30b0\u30ed\u30fc\u30d0\u30eb\u5909\u6570\uff1a Rust \u3067\u306f static \u5909\u6570\uff08\u9759\u7684\u5909\u6570\uff09\u3068\u547c\u3076<\/p>\n<p>\u5b9a\u7fa9\u306f\u5b9a\u6570\u3068\u4f3c\u305f\u308a\u5bc4\u3063\u305f\u308a\uff08const \u3092 static \u306b\u3059\u308b\u3060\u3051\u3060\u3068\u601d\u3048\u3070\u3088\u3044\uff09<\/p>\n<p>\u9759\u7684\u5909\u6570\u3068\u5b9a\u6570\u306e\u9055\u3044\uff1a<\/p>\n<p>\u9759\u7684\u5909\u6570\u306e\u5024\u306f\u56fa\u5b9a\u3055\u308c\u305f\u30e1\u30e2\u30ea\u30a2\u30c9\u30ec\u30b9\u306b\u306a\u308b<\/p>\n<p>\u9759\u7684\u5909\u6570\u306e\u5024\u3092\u4f7f\u7528\u3059\u308b\u3068\u5e38\u306b\u540c\u3058\u30c7\u30fc\u30bf\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b<br \/>\n\u5b9a\u6570\u306f\u4f7f\u7528\u306e\u305f\u3073\u306b\u30c7\u30fc\u30bf\u3092\u8907\u88fd\u53ef\u80fd<\/p>\n<p>\u9759\u7684\u5909\u6570\u306f\u53ef\u5909\u306b\u3082\u306a\u308a\u3046\u308b<\/p>\n<p>\u4e0d\u5909\u306a\u9759\u7684\u5909\u6570\u306e\u4f7f\u7528\u4f8b\uff1a<br \/>\nstatic HELLO_WORLD: &amp;str = &#8220;Hello, world!&#8221;;<\/p>\n<p>fn main() {<br \/>\nprintln!(&#8220;name is: {}, HELLO_WORLD&#8221;);<br \/>\n}<\/p>\n<p>\u53ef\u5909\u306a\u9759\u7684\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u3057\u305f\u308a\u5909\u66f4\u3092\u52a0\u3048\u308b\u3053\u3068\u306f unsafe<\/p>\n<p>\u306a\u305c\u306a\u3089\u3070\u30012 \u3064\u306e\u30b9\u30ec\u30c3\u30c9\u304c\u540c\u3058\u53ef\u5909\u306a\u30b0\u30ed\u30fc\u30d0\u30eb\u5909\u6570\u306b\u30a2\u30af\u30bb\u30b9\u3057\u3066\u3044\u305f\u3089\u3001\u30c7\u30fc\u30bf\u7af6\u5408\u3092\u8d77\u3053\u3059\u3053\u3068\u304c\u3042\u308b\u304b\u3089<\/p>\n<p>\u4f8b\uff1a<br \/>\n\/\/ \u901a\u5e38\u306e\u5909\u6570\u3068\u540c\u3058\u304f mut \u30ad\u30fc\u30ef\u30fc\u30c9\u3067\u53ef\u5909\u306b\u3067\u304d\u308b<br \/>\nstatic mut COUNTER: u32 = 0;<\/p>\n<p>fn add_to_count(inc: u32) {<br \/>\n\/\/ \u53ef\u5909\u306a\u9759\u7684\u5909\u6570\u306b\u5909\u66f4\u3092\u52a0\u3048\u308b\u306e\u306f unsafe<br \/>\nunsafe {<br \/>\nCOUNTER += inc;<br \/>\n}<br \/>\n}<\/p>\n<p>fn main() {<br \/>\nadd_to_count(3);<\/p>\n<p>\/\/ \u53ef\u5909\u306a\u9759\u7684\u5909\u6570\u306f\u8aad\u3080\u3060\u3051\u3067\u3082 unsafe<br \/>\nunsafe {<br \/>\nprintln!(&#8220;COUNTER: {}&#8221;, COUNTER);<br \/>\n}<br \/>\n}<\/p>\n<h2>unsafe \u306a\u30c8\u30ec\u30a4\u30c8\u306e\u5b9f\u88c5<\/h2>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">1\u3064\u4ee5\u4e0a\u306e\u30e1\u30bd\u30c3\u30c9\u306b\u30b3\u30f3\u30d1\u30a4\u30e9\u304c\u78ba\u304b\u3081\u3089\u308c\u306a\u3044\u306a\u3093\u3089\u304b\u306e\u4e0d\u5909\u6027\u304c\u3042\u308b\u3068\u3001\u30c8\u30ec\u30a4\u30c8\u306f unsafe \u306b\u306a\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u305d\u306e\u3088\u3046\u306a\u30c8\u30ec\u30a4\u30c8\u306b\u306f unsafe \u30ad\u30fc\u30ef\u30fc\u30c9\u3092\u4ed8\u4e0e\u3057\u3066\u30c8\u30ec\u30a4\u30c8\u304c unsafe \u3067\u3042\u308b\u3053\u3068\u3092\u660e\u793a\u3059\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\u307e\u305f\u3001\u30c8\u30ec\u30a4\u30c8\u3092\u4f55\u3089\u304b\u306e\u69cb\u9020\u4f53\u3084 Enum \u306b\u5b9f\u88c5\u3059\u308b\u969b\u306b\u3082 unsafe \u30ad\u30fc\u30ef\u30fc\u30c9\u3092\u4ed8\u4e0e\u3059\u308b<\/ul>\n<pre class=\"post-pre\"><code><span class=\"k\">unsafe<\/span> <span class=\"k\">trait<\/span> <span class=\"n\">Foo<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"c1\">\/\/ \u30e1\u30bd\u30c3\u30c9\u306e\u30b7\u30b0\u30cd\u30c1\u30e3<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">unsafe<\/span> <span class=\"k\">impl<\/span> <span class=\"n\">Foo<\/span> <span class=\"k\">for<\/span> <span class=\"nb\">i32<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"c1\">\/\/ \u30e1\u30bd\u30c3\u30c9\u306e\u5b9f\u88c5<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{}<\/span>\r\n<\/code><\/pre>\n<h2>\u53c2\u8003\u6587\u732e<\/h2>\n<ul class=\"post-ul\">The Rust Programming Language \u65e5\u672c\u8a9e\u7248<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>\u76ee\u6b21 19.1 Unsafe Rust \u306e\u6982\u8981 \u751f\u30dd\u30a4\u30f3\u30bf\u306b\u3064\u3044\u3066 \u751f\u30dd\u30a4\u30f3\u30bf\u3068\u306f \u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210 \u751f\u30dd\u30a4\u30f3 [&hellip;]<\/p>\n","protected":false},"author":8,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45005","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v21.5 (Yoast SEO v21.5) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>- Blog - Silicon Cloud<\/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.silicloud.com\/zh\/blog\/45005-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"\u76ee\u6b21 19.1 Unsafe Rust \u306e\u6982\u8981 \u751f\u30dd\u30a4\u30f3\u30bf\u306b\u3064\u3044\u3066 \u751f\u30dd\u30a4\u30f3\u30bf\u3068\u306f \u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210 \u751f\u30dd\u30a4\u30f3 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2023-12-17T10:44:04+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-05-04T05:43:20+00:00\" \/>\n<meta name=\"author\" content=\"\u96c5, \u609f\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u96c5, \u609f\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 \u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2023-12-17T10:44:04+00:00\",\"dateModified\":\"2024-05-04T05:43:20+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/\",\"name\":\"Blog - Silicon Cloud\",\"description\":\"\",\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6\",\"name\":\"\u96c5, \u609f\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g\",\"caption\":\"\u96c5, \u609f\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/yawu\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/#local-main-organization-logo\",\"url\":\"\",\"contentUrl\":\"\",\"caption\":\"Blog - Silicon Cloud\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"- Blog - Silicon Cloud","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.silicloud.com\/zh\/blog\/45005-2\/","og_locale":"zh_CN","og_type":"article","og_description":"\u76ee\u6b21 19.1 Unsafe Rust \u306e\u6982\u8981 \u751f\u30dd\u30a4\u30f3\u30bf\u306b\u3064\u3044\u3066 \u751f\u30dd\u30a4\u30f3\u30bf\u3068\u306f \u751f\u30dd\u30a4\u30f3\u30bf\u306e\u751f\u6210 \u751f\u30dd\u30a4\u30f3 [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2023-12-17T10:44:04+00:00","article_modified_time":"2024-05-04T05:43:20+00:00","author":"\u96c5, \u609f","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u96c5, \u609f","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"2 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2023-12-17T10:44:04+00:00","dateModified":"2024-05-04T05:43:20+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/"]}]},{"@type":"WebSite","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website","url":"https:\/\/www.silicloud.com\/zh\/blog\/","name":"Blog - Silicon Cloud","description":"","inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6","name":"\u96c5, \u609f","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g","caption":"\u96c5, \u609f"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/yawu\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45005-2\/#local-main-organization-logo","url":"","contentUrl":"","caption":"Blog - Silicon Cloud"}]}},"_links":{"self":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45005","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45005"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45005\/revisions"}],"predecessor-version":[{"id":98666,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45005\/revisions\/98666"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45005"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45005"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45005"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}