{"id":45689,"date":"2023-03-26T00:56:27","date_gmt":"2023-09-16T11:48:14","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/"},"modified":"2024-04-29T20:33:03","modified_gmt":"2024-04-29T12:33:03","slug":"45689-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/","title":{"rendered":""},"content":{"rendered":"<p>\u79c1\uff08Rust\u521d\u5fc3\u8005\uff09\u304c\u56f0\u60d1\u3057\u305f\u4e8b\u67c4\u3092\u968f\u6642\u8ffd\u52a0\u3057\u3066\u3044\u304d\u307e\u3059\uff0e<\/p>\n<h1>\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3068\u30b9\u30b3\u30fc\u30d7<\/h1>\n<p>\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u30b3\u30f3\u30d1\u30a4\u30eb\u3059\u308b\u3068\u30a8\u30e9\u30fc\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">struct<\/span> <span class=\"n\">A<\/span> <span class=\"p\">{<\/span> <span class=\"n\">a<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span> <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    <span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">a1<\/span> <span class=\"o\">=<\/span> <span class=\"n\">A<\/span> <span class=\"p\">{<\/span> <span class=\"n\">a<\/span><span class=\"p\">:<\/span> <span class=\"mi\">1<\/span> <span class=\"p\">};<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">a2<\/span> <span class=\"o\">=<\/span> <span class=\"n\">A<\/span> <span class=\"p\">{<\/span> <span class=\"n\">a<\/span><span class=\"p\">:<\/span> <span class=\"mi\">2<\/span> <span class=\"p\">};<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">r<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">a1<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">x<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">r<\/span><span class=\"py\">.a<\/span><span class=\"p\">;<\/span>  <span class=\"c\">\/\/ &amp;i32, immutable<\/span>\r\n    <span class=\"n\">r<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">a2<\/span><span class=\"p\">;<\/span>   <span class=\"c\">\/\/ this line seems to be safe, but makes E0506<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3053\u306e\u30b3\u30fc\u30c9\u3060\u3051\u3060\u3068\u5927\u3057\u305f\u554f\u984c\u3067\u306f\u306a\u3044\u3068\u611f\u3058\u308b\u3068\u601d\u3044\u307e\u3059\u304c\uff0c\u518d\u5e30\u69cb\u9020\u3092\u30eb\u30fc\u30d7\u3067\u305f\u3069\u308b\u300c\u7d20\u76f4\u306a\u300d\u30b3\u30fc\u30c9\u3092\u66f8\u304f\u3068\u540c\u3058\u554f\u984c\u304c\u767a\u751f\u3057\u307e\u3059\uff0e<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u672b\u5c3e\u518d\u5e30\u3092\u30eb\u30fc\u30d7\u306b\u3067\u304d\u306a\u3044Rust\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u4f8b &#8211; \u7c21\u6f54\u306aQ<\/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\">rust\u3067\u5358\u65b9\u5411\u30ea\u30b9\u30c8\uff0b\u5358\u4f53\u30c6\u30b9\u30c8 &#8211; Qiita<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">Learning Rust With Entirely Too Many Linked Lists<\/ul>\n<p>Stack Overflow\u3067\u89e3\u6c7a\u6cd5\u3092\u3044\u304f\u3064\u304b\u898b\u3064\u3051\u3089\u308c\u307e\u3059\uff0e<\/p>\n<ul class=\"post-ul\">Cannot obtain a mutable reference when iterating a recursive structure: cannot borrow as mutable more than once at a time &#8211; Stack Overflow<\/ul>\n<p>Non-Lexical Lifetime\u306eRFC\u306f\u3053\u3061\u3089\uff0e2018-10-30\u6642\u70b9\u3067\u306f\uff0c#![feature(nll)]\u306fNightly\u3067\u306e\u307f\u52d5\u4f5c\u3057\u307e\u3059\uff0e<\/p>\n<h1>\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u5ba3\u8a00<\/h1>\n<p>Rust\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u30b7\u30b9\u30c6\u30e0\u306f\uff0c\u30d5\u30a1\u30a4\u30eb\u304a\u3088\u3073\u30d5\u30a9\u30eb\u30c0\u69cb\u6210\u3068\u5bc6\u63a5\u306b\u95a2\u4fc2\u3057\u3066\u3044\u307e\u3059\uff0e\u305d\u306e\u305f\u3081\uff0c\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u5ba3\u8a00\uff08\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u5b9a\u7fa9\u3067\u306f\u306a\u3044\uff09\u306f\u901a\u5e38\u4ee5\u4e0b\u306e\u30d5\u30a1\u30a4\u30eb\u3067\u306e\u307f\u884c\u3048\u307e\u3059\uff0e<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">main.rs<\/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\">lib.rs<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">mod.rs<\/ul>\n<p>Rust\u3067\u306f\uff0c\u3042\u308b\u30d5\u30a1\u30a4\u30eb\u5185\u306b\u66f8\u304b\u308c\u305f\u30b3\u30fc\u30c9\u306f\uff0c\u30d5\u30a1\u30a4\u30eb\u540d\u3092\u540d\u524d\u3068\u3059\u308b\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u30b9\u30b3\u30fc\u30d7\u5185\u306b\u914d\u7f6e\u3055\u308c\u307e\u3059\uff0e\u305d\u306e\u305f\u3081\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u305f\u5834\u5408\uff0c<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">mod<\/span> <span class=\"n\">cat<\/span><span class=\"p\">;<\/span>\r\n<\/code><\/pre>\n<p>rustc\u306f\uff0canimal\/cat.rs\u3082\u3057\u304f\u306fanimal\/cat\/mod.rs\u3092\u63a2\u3057\u307e\u3059\uff0e\u307e\u305f\uff0cmod.rs\u4ee5\u5916\u3067\u30e2\u30b8\u30e5\u30fc\u30eb\u5ba3\u8a00\u3092\u884c\u3063\u305f\u5834\u5408\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"gp\">error[E0658]: mod statements in non-mod.rs files are unstable (see issue #<\/span>44660<span class=\"o\">)<\/span>\r\n<span class=\"gp\"> --&gt;<\/span> src\/animal.rs:1:5\r\n<span class=\"go\">  |\r\n<\/span><span class=\"gp\">1 | mod cat;<\/span>\r\n<span class=\"go\">  |     ^^^\r\n  |\r\n  = help: on stable builds, rename this file to animal\/mod.rs\r\n<\/span><\/code><\/pre>\n<p>\u5236\u7d04\u306f\u3042\u308b\u3088\u3046\u3067\u3059\u304c\uff0c\u4e0a\u8a18\u306e\uff13\u3064\u306e\u30d5\u30a1\u30a4\u30eb\u4ee5\u5916\u3067\u3082\u30e2\u30b8\u30e5\u30fc\u30eb\u5ba3\u8a00\u3092\u8a18\u8ff0\u53ef\u80fd\u306b\u3057\u3088\u3046\u3068\u3044\u3046\u3053\u3068\u304cRFC2126\u3067\u63d0\u6848\u3055\u308c\u3066\u3044\u308b\u3088\u3046\u3067\u3059\uff0e<\/p>\n<h1>\u56fa\u5b9a\u9577\u30d0\u30c3\u30d5\u30a1\u30fc\u3092\u30d2\u30fc\u30d7\u304b\u3089\u78ba\u4fdd\u3059\u308b\u3068\u304d\u306f\uff0cBox::new([T: N])\u306f\u907f\u3051\u307e\u3057\u3087\u3046<\/h1>\n<p>\u7406\u7531\u306b\u3064\u3044\u3066\u306f[WIP] rustc\u304c\u751f\u6210\u3059\u308b\u30b3\u30fc\u30c9\u306e\u8abf\u67fb\u3092\u898b\u3066\u304f\u3060\u3055\u3044\uff0e<\/p>\n<p>\u7279\u306b\u4e8b\u60c5\u304c\u306a\u3051\u308c\u3070Vec\u3092\u4f7f\u3046\u306e\u3067\u826f\u3044\u3068\u601d\u3044\u307e\u3059\uff0e<\/p>\n<ul class=\"post-ul\">rust\u3067\u52d5\u7684\u306b\u30d0\u30c3\u30d5\u30a1\u3092\u78ba\u4fdd\u3059\u308b\u65b9\u6cd5 &#8211; \u7761\u5206\u4e0d\u8db3<\/ul>\n<h2>\u5927\u304d\u306a\u69cb\u9020\u4f53\u3092Box::new()\u3059\u308b\u3068\uff0c\u30b9\u30bf\u30c3\u30af\u3092\u6d88\u8cbb\u3057\u3066\u3057\u307e\u3046\u554f\u984c<\/h2>\n<p>\u95a2\u9023\u554f\u984c\u3068\u3057\u3066\uff0c\u5927\u304d\u306a\u69cb\u9020\u4f53\u306e\u30e1\u30e2\u30ea\u3092\u78ba\u4fdd\u3059\u308b\u3068\u304d\u306b\uff0c\u30b9\u30bf\u30c3\u30af\u306e\u6d88\u8cbb\u3092\u907f\u3051\u308b\u305f\u3081\u30d2\u30fc\u30d7\u304b\u3089\u78ba\u4fdd\u3057\u3088\u3046\u3068\u3057\u3066Box::new()\u306b\u7f6e\u304d\u63db\u3048\u305f\u3068\u3057\u3066\u3082\uff0c\u30b9\u30bf\u30c3\u30af\u3092\u6d88\u8cbb\u3055\u308c\u3066\u3057\u307e\u3046\u3068\u3044\u3046\u554f\u984c\u304c\u767a\u751f\u3057\u307e\u3059\uff0ebox\u3092\u4f7f\u3048\u3070Box::new()\u306e\u554f\u984c\u306f\u89e3\u6c7a\u3067\u304d\u307e\u3059\u304c\uff0cRc::new()\u306a\u3069\u4ed6\u306e\u3082\u306e\u306b\u3064\u3044\u3066\u306f\u73fe\u6642\u70b9\u3067\u306f\u89e3\u6c7a\u65b9\u6cd5\u306f\u5b58\u5728\u3057\u306a\u3044\u3088\u3046\u3067\u3059\uff0e<\/p>\n<p>\u4e00\u9023\u306e\u30b3\u30d4\u30fc\u30b3\u30b9\u30c8\u3092\u6539\u5584\u3059\u308b\u305f\u3081\u914d\u7f6e\u69cb\u6587\u3068\u3044\u3046\u3082\u306e\u304c\u63d0\u6848\u3055\u308c\u3066\u3044\u307e\u3057\u305f\u304c\uff0c\u3059\u3067\u306bunstable\u304b\u3089\u3082\u524a\u9664\u3055\u308c\u3066\u3044\u307e\u3059\uff0e\u8a73\u7d30\u306b\u3064\u3044\u3066\u306f[WIP] rustc\u304c\u751f\u6210\u3059\u308b\u30b3\u30fc\u30c9\u306e\u8abf\u67fb\u3092\u898b\u3066\u304f\u3060\u3055\u3044\uff0e<\/p>\n<h1>\u6bd4\u8f03\u6f14\u7b97\u5b50<\/h1>\n<p>\u578b\u5f37\u5236\u3084\u30c8\u30ec\u30a4\u30c8\u306e\u5b9f\u88c5\u72b6\u6cc1\u306a\u3069\u306b\u5fdc\u3058\u3067\uff0c\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306a\u3063\u305f\u308a\uff0cC\/C++\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u304c\u56f0\u60d1\u3059\u308b\u3088\u3046\u306a\u52d5\u4f5c\u304c\u767a\u751f\u3057\u307e\u3059\uff0e<\/p>\n<p>\u4ee5\u4e0b\u306f\u3069\u3061\u3089\u3082true\u3068\u8a55\u4fa1\u3055\u308c\u307e\u3059\u304c\uff0c\u5b9f\u884c\u3055\u308c\u308b\u51e6\u7406\u304c\u7570\u306a\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"mi\">1<\/span> <span class=\"o\">==<\/span> <span class=\"mi\">1<\/span><span class=\"p\">;<\/span>\r\n<span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"o\">==<\/span> <span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span><span class=\"p\">;<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code>\/\/ 1 == 1\r\n_1 = Eq(const 1i32, const 1i32);\r\n\r\n\/\/ &amp;1 == &amp;1\r\n_2 = const std::cmp::PartialEq::eq(move _3, move _4) -&gt; bb1;\r\n<\/code><\/pre>\n<p>\u53c2\u7167\u540c\u58eb\u306e\u6bd4\u8f03\u306f\u30dd\u30a4\u30f3\u30bf\u30fc\u306e\u6bd4\u8f03\u3067\u306f\u306a\u304f\uff0cstd::cmp::PartialEq::eq()\u306e\u547c\u3073\u51fa\u3057\u3067\u3059\uff0e\u4e0a\u8a18\u306e\u4f8b\u306fi32\u306e\u4f8b\u3067\u3059\u304c\uff0cstd::cmp::PartialEq\u306f\u500b\u5225\u306b\u5b9f\u88c5\u53ef\u80fd\u306a\u306e\u3067\uff0c\u6bd4\u8f03\u5bfe\u8c61\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3054\u3068\u306b\u52d5\u4f5c\u304c\u7570\u306a\u308a\u307e\u3059\uff0e\u6b86\u3069\u306e\u5834\u5408\uff0c\u30a2\u30c9\u30ec\u30b9\u6bd4\u8f03\u3067\u306f\u306a\u304f\uff0c\u5185\u5bb9\u306e\u6bd4\u8f03\u304c\u884c\u308f\u308c\u308b\u3088\u3046\u3067\u3059\uff0e<\/p>\n<p>std::cmp::PartialEq::eq()\u306e\u5b9a\u7fa9\u4e0a\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u6bd4\u8f03\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"mi\">1<\/span> <span class=\"o\">==<\/span> <span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span><span class=\"p\">;<\/span>\r\n<span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"o\">==<\/span> <span class=\"mi\">1<\/span><span class=\"p\">;<\/span>\r\n<\/code><\/pre>\n<p>\u4ee5\u4e0b\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u3067\u304d\u307e\u3059\u304c\uff0c<\/p>\n<pre class=\"post-pre\"><code><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"k\">as<\/span> <span class=\"o\">*<\/span><span class=\"k\">const<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/span> <span class=\"o\">==<\/span> <span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span><span class=\"p\">;<\/span>  <span class=\"c\">\/\/ \u578b\u5f37\u5236\u3067&amp;i32\u304c*const i32\u306b<\/span>\r\n<\/code><\/pre>\n<p>\u9006\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u3067\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"o\">==<\/span> <span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"k\">as<\/span> <span class=\"o\">*<\/span><span class=\"k\">const<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">);<\/span>  <span class=\"c\">\/\/ &amp;i32\u306fstd::cmp::PartialEq&lt;*const i32&gt;::eq()\u3092\u6301\u305f\u306a\u3044<\/span>\r\n<\/code><\/pre>\n<p>\u30a2\u30c9\u30ec\u30b9\u6bd4\u8f03\u3057\u305f\u3044\u3068\u304d\u306f\u7d20\u76f4\u306bstd::ptr::eq()\u3092\u4f7f\u3044\u307e\u3057\u3087\u3046\uff0e\u3053\u308c\u306a\u3089\u5f15\u6570\u306e\u9806\u756a\u306b\u95a2\u4fc2\u306a\u304f\u30a2\u30c9\u30ec\u30b9\u6bd4\u8f03\u3067\u304d\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"nn\">std<\/span><span class=\"p\">::<\/span><span class=\"nn\">ptr<\/span><span class=\"p\">::<\/span><span class=\"nf\">eq<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span><span class=\"p\">,<\/span> <span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"k\">as<\/span> <span class=\"o\">*<\/span><span class=\"k\">const<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">));<\/span>\r\n<span class=\"nn\">std<\/span><span class=\"p\">::<\/span><span class=\"nn\">ptr<\/span><span class=\"p\">::<\/span><span class=\"nf\">eq<\/span><span class=\"p\">((<\/span><span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span> <span class=\"k\">as<\/span> <span class=\"o\">*<\/span><span class=\"k\">const<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">),<\/span> <span class=\"o\">&amp;<\/span><span class=\"mi\">1<\/span><span class=\"p\">);<\/span>\r\n<\/code><\/pre>\n<h1>\u501f\u7528\u30eb\u30fc\u30eb\u3068\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u9593\u306e\u30ea\u30f3\u30af<\/h1>\n<p>Rust\u306f\uff0c\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u53c2\u7167\u306b\u95a2\u3057\u3066\u5b89\u5168\u6027\u306e\u305f\u3081\u4e0d\u5bdb\u5bb9\u306a\u30eb\u30fc\u30eb\u3092\u6301\u3063\u3066\u3044\u307e\u3059\uff0e\u305d\u306e\u305f\u3081\uff0c\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u30b0\u30e9\u30d5\uff08\u307e\u305f\u306f\u305d\u308c\u306b\u985e\u3059\u308b\u30ea\u30f3\u30af\u69cb\u9020\uff09\u4e0a\u3067\uff11\u3064\u4ee5\u4e0a\u306e\u88ab\u53c2\u7167\u3092\u6301\u3064\u30ce\u30fc\u30c9\u306e\u30a8\u30c3\u30b8\u3092\u8868\u73fe\u3059\u308b\u5834\u5408\u306b\u306f\u5de5\u592b\u304c\u5fc5\u8981\u3067\u3059\uff0e<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">SimonSapin\/rust-forest: A tree of reference-counted nodes, with RefCell for mutability<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">saschagrunert\/indextree: Arena based tree ? structure by using indices instead of reference counted pointers<\/ul>\n<p>\u4ee5\u4e0b\u3067\u306f\uff14\u3064\u306e\u30a8\u30c3\u30b8\u3092\u6301\u3064\u6728\u69cb\u9020\u3092\u4f8b\u306b\u8aac\u660e\u3057\u307e\u3059\uff0e\u5b50\u30ce\u30fc\u30c9\u3092Vec&lt;Node&gt;\u3068\u3057\u3066\u95a2\u6570\u3092\u518d\u5e30\u547c\u3073\u51fa\u3057\u3059\u308b\u3053\u3068\u3067\u3082\u6728\u69cb\u9020\u3068\u305d\u306e\u64cd\u4f5c\u3092\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u304c\uff0c\u672c\u4ef6\u306e\u8da3\u65e8\u3068\u306f\u5408\u308f\u306a\u3044\u305f\u3081\u9664\u5916\u3057\u307e\u3059\uff0e<\/p>\n<h2>Cell&lt;option&lt;&amp;&#8217;a Node&lt;&#8216;a, T&gt;&gt;&gt;\u3092\u4f7f\u3046<\/h2>\n<p>\u4e00\u822c\u7684\u306b\u306f\uff0c\u3053\u306e\u65b9\u6cd5\u3092\u4f7f\u3046\u5834\u5408\u306fborrow cheker\u3092\u901a\u3059\u305f\u3081\u306b\u5404\u30a8\u30c3\u30b8\u306e\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3092\u6307\u5b9a\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">struct<\/span> <span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'b<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'c<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'d<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">parent<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">prev_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'b<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">next_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'c<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">first_child<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'d<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"n\">T<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3057\u304b\u3057\uff0cEdge\u306fNode\u3078\u306e\u53c2\u7167\u3092\u542b\u3080\u305f\u3081\uff0c\u305d\u306e\u5b9a\u7fa9\u306bNode\u306e\u30b8\u30a7\u30cd\u30ea\u30c3\u30af\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u3092\u542b\u3080\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">type<\/span> <span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'b<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'c<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'d<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'e<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">Option<\/span><span class=\"o\">&lt;&amp;<\/span><span class=\"nv\">'a<\/span> <span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'b<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'c<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'d<\/span><span class=\"p\">,<\/span> <span class=\"nv\">'e<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n<\/code><\/pre>\n<p>Node\u306f\u3053\u306e\u5b9a\u7fa9\u306eEdge\u3092\u542b\u3080\u306f\u305a\u306a\u306e\u3067\uff0e\uff0e\uff0e\u3064\u307e\u308a\uff0c\u500b\u5225\u306e\u53c2\u7167\u306e\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3092\u6307\u5b9a\u3059\u308b\u5f62\u3067\u306f\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\uff0e\u518d\u5e30\u69cb\u9020\u306a\u306e\u3067\u5f53\u7136\u3068\u3044\u3048\u3070\u5f53\u7136\u3067\u3059\uff0e<\/p>\n<p>\u7d50\u5c40\uff0c\u518d\u5e30\u69cb\u9020\u4e0a\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u5f62\u3067\u3057\u304b\u5b9a\u7fa9\u3067\u304d\u307e\u305b\u3093\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">type<\/span> <span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">Option<\/span><span class=\"o\">&lt;&amp;<\/span><span class=\"nv\">'a<\/span> <span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">parent<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">prev_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">next_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">first_child<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"p\">,<\/span> <span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"n\">T<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3053\u308c\u306f\uff0c\u3059\u3079\u3066\u306e\u30ce\u30fc\u30c9\u304c\u540c\u3058\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3092\u6301\u3064\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\uff0e<\/p>\n<p>Rust\u3067\u306f\u7570\u306a\u308b\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3092\u6301\u3064\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u30b0\u30e9\u30d5\u3092\u30ce\u30fc\u30c9\u3078\u306e\u53c2\u7167\u3092\u4f7f\u3063\u3066\u8868\u73fe\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\uff0e<\/p>\n<h2>Option&lt;Rc&lt;RefCell&lt;Node&gt;&gt;&gt;\u3092\u4f7f\u3046<\/h2>\n<p>\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u304c\u7570\u306a\u308b\u5834\u5408\uff0c\u30ce\u30fc\u30c9\u3078\u306e\u53c2\u7167\u3092\u4f7f\u3063\u3066\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u306a\u3044\u3053\u3068\u304c\u5206\u304b\u308a\u307e\u3057\u305f\uff0e\u3053\u308c\u306f\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u304c\u7570\u306a\u308b\u5834\u5408\uff0c\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u306e\u6392\u9664\u3092\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b\u884c\u3048\u306a\u3044\u3053\u3068\u3092\u610f\u5473\u3057\u3066\u3044\u307e\u3059\uff0e\u4ed5\u65b9\u304c\u306a\u3044\u306e\u3067\u5b9f\u884c\u6642\u306b\u30c1\u30a7\u30c3\u30af\u3059\u308b\u3053\u3068\u306b\u3057\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">type<\/span> <span class=\"n\">Ref<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">Rc<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">RefCell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">type<\/span> <span class=\"n\">WeakRef<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"n\">Weak<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">RefCell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">type<\/span> <span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">Option<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Ref<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">type<\/span> <span class=\"n\">WeakEdge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">Option<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">WeakRef<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">parent<\/span><span class=\"p\">:<\/span> <span class=\"n\">WeakEdge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">prev_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">WeakEdge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">next_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">first_child<\/span><span class=\"p\">:<\/span> <span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"n\">T<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u5faa\u74b0\u53c2\u7167\u3092\u907f\u3051\u308b\u305f\u3081Weak\u3092\u4f7f\u3044\u307e\u3059\uff0e\u4eca\u56de\u306f\u6728\u69cb\u9020\u306a\u306e\u3067\u4e0a\u8a18\u306e\u3088\u3046\u306a\u5f62\u3067\u30ce\u30fc\u30c9\u3092\u5b9a\u7fa9\u3067\u304d\u307e\u3057\u305f\u304c\uff0c\u4e00\u822c\u7684\u306b\u306f\u5f31\u53c2\u7167\u3092\u4f7f\u3063\u305f\u5faa\u74b0\u56de\u907f\u306f\u7c21\u5358\u3067\u306f\u3042\u308a\u307e\u305b\u3093\uff0e\u305d\u308c\u304c\u53ef\u80fd\u306a\u5f62\u306b\u306a\u308b\u3088\u3046\u306b\u30c7\u30fc\u30bf\u69cb\u9020\u3092\u8a2d\u8a08\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n<p>\u30b8\u30a7\u30cd\u30ea\u30c3\u30af\u30d1\u30e9\u30e1\u30fc\u30bf\u30fc\u3067\u306e\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u306e\u6307\u5b9a\u304c\u306a\u304f\u306a\u3063\u305f\u305f\u3081\uff0c\u4e00\u6642\u7684\u306b\u4fdd\u6301\u3057\u305f\u30ce\u30fc\u30c9\u3078\u306e\u53c2\u7167\u304c\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u306b\u306a\u3089\u306a\u3044\u3053\u3068\u3092\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b\u78ba\u8a8d\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\uff0e\u305d\u306e\u4ee3\u308a\u306b\uff0cRefCell\u3092\u4f7f\u3063\u3066\u5b9f\u884c\u6642\u306b\u30c1\u30a7\u30c3\u30af\u3059\u308b\u3088\u3046\u306b\u306a\u3063\u3066\u3044\u307e\u3059\uff0e<\/p>\n<p>\u5b9f\u884c\u6642\u306e\u30b3\u30b9\u30c8\u306b\u3064\u3044\u3066\uff0c\u4ee5\u4e0b\u306b\u307e\u3068\u3081\u3066\u304a\u304d\u307e\u3059\uff0e<\/p>\n<p>Rc\u304a\u3088\u3073Weak\u751f\u6210\u30fb\u7834\u68c4\u6642\u306e\u30ab\u30a6\u30f3\u30bf\u30fc\u64cd\u4f5c<\/p>\n<p>\u30a4\u30c6\u30ec\u30fc\u30b7\u30e7\u30f3\u3067\u30ce\u30fc\u30c9\u3092\u305f\u3069\u308b\u305f\u3073\u306b\u767a\u751f\u3057\u307e\u3059<\/p>\n<p>RefCell\u3067\u306eRef\u304a\u3088\u3073RefMut\u306e\u751f\u6210\u30fb\u7834\u68c4\u6642\u306e\u30b3\u30b9\u30c8<\/p>\n<p>\u30ce\u30fc\u30c9\u53c2\u7167\u6642\u306b\u767a\u751f\u3057\u307e\u3059<\/p>\n<p>\u591a\u6570\u306e\u30ce\u30fc\u30c9\u306b\u308f\u305f\u308a\u4f55\u5ea6\u3082\u30a4\u30c6\u30ec\u30fc\u30b7\u30e7\u30f3\u3092\u884c\u3046\u5834\u5408\uff0c\u9ad8\u30b3\u30b9\u30c8\u3068\u306a\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n<h2>Option&lt;NonNull&lt;Node&gt;&gt;<\/h2>\n<p>\u4e00\u6642\u5909\u6570\u304c\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u306b\u306a\u3089\u306a\u3044\u3053\u3068\u3092\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u304c\u4fdd\u8a3c\u3059\u308b\u3053\u3068\u3092\u8a31\u5bb9\u3067\u304d\u308b\u306e\u3067\u3042\u308c\u3070\uff0cNonNull&lt;Node\u3082\u3057\u304f\u306f*const Node\u3092\u4f7f\u3048\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">type<\/span> <span class=\"n\">Ref<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"n\">NonNull<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">type<\/span> <span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">Option<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Ref<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">Node<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">parent<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">prev_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">next_sibling<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">first_child<\/span><span class=\"p\">:<\/span> <span class=\"n\">Cell<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Edge<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"o\">&gt;&gt;<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"n\">T<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u30a8\u30c3\u30b8\u306e\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u6307\u5b9a\u3082\u3042\u308a\u307e\u305b\u3093\u3057\uff0c\u53c2\u7167\u306e\u501f\u7528\u306b\u3064\u3044\u3066\u306e\u5236\u9650\u3082\u3042\u308a\u307e\u305b\u3093\uff0e\u305f\u3060\u3057\uff0c\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u306e\u554f\u984c\u3084\u5024\u306e\u4e00\u8cab\u6027\u306e\u554f\u984c\u304c\u6b8b\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">parent<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">Node<\/span><span class=\"p\">::<\/span><span class=\"nf\">new<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">);<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">node<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">Node<\/span><span class=\"p\">::<\/span><span class=\"nf\">new<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">);<\/span>\r\n<span class=\"n\">parent<\/span><span class=\"nf\">.append<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"n\">node<\/span><span class=\"p\">);<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">first_child<\/span> <span class=\"o\">=<\/span> <span class=\"n\">parent<\/span><span class=\"nf\">.first_child<\/span><span class=\"p\">();<\/span>  <span class=\"c\">\/\/ Edge&lt;i32&gt;\u3092\u8fd4\u3059\u3068\u3059\u308b<\/span>\r\n<span class=\"n\">node<\/span><span class=\"nf\">.remove<\/span><span class=\"p\">();<\/span>\r\n<span class=\"c\">\/\/ node\u306f\u751f\u304d\u3066\u306f\u3044\u308b\u304c\uff0cfirst_child\u306f\u6614\u306e\u72b6\u614b\u3067\u306e\u5024\u3092\u4fdd\u6301<\/span>\r\n<\/code><\/pre>\n<p>Node::parant\u306a\u3069\u306fDrop\u3092\u5b9f\u88c5\u3059\u308b\u3053\u3068\u3067\u30ea\u30f3\u30af\u306e\u4e00\u8cab\u6027\u3092\u4fdd\u3064\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\u304c\uff0cEdge\u3084Ref\u3092\u4e00\u6642\u5909\u6570\u306b\u30d0\u30a4\u30f3\u30c9\u3057\u3066\u3044\u308b\u5834\u5408\uff0c\u3069\u3046\u306b\u3082\u306a\u308a\u307e\u305b\u3093\uff0e<\/p>\n<p>LinkedList\u306e\u3088\u3046\u306b\uff0c\u30ea\u30f3\u30af\u69cb\u9020\u3092\u96a0\u853d\u53ef\u80fd\u306a\u5834\u5408\u306f\uff0cNode::value\u3092\u751f\u30dd\u30a4\u30f3\u30bf\u30fc\u306a\u3069\u3067\u53d6\u5f97\u3057\u306a\u3044\u3053\u3068\u3092\u524d\u63d0\u306b\u3059\u308c\u3070\uff0c\u4f7f\u7528\u8005\u5074\u3067\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u304c\u767a\u751f\u3059\u308b\u3053\u3068\u306f\u3042\u308a\u307e\u305b\u3093\uff0e<\/p>\n<p>Box&lt;Node&gt;\u3084Rc&lt;Node&gt;\u3092\u4f7f\u3046\u3053\u3068\u3067\uff0c\u4f7f\u7528\u8005\u5074\u3067\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u304c\u767a\u751f\u3057\u306a\u3044\u3088\u3046\u306b\u7ba1\u7406\u3059\u308b\u3053\u3068\u306f\u53ef\u80fd\u3067\u3059\u304c\uff0c\u4f7f\u7528\u8005\u304cBox\u3092\u4f7f\u3046\u306e\u304bRc\u3092\u4f7f\u3046\u306e\u304bNode\u5074\u3067\u306f\u6c7a\u3081\u308b\u3053\u3068\u304c\u3067\u304d\u306a\u3044\u306e\u3067\uff0c\u4f7f\u7528\u8005\u5074\u3067Edge\u304b\u3089\u9069\u5207\u306a\u578b\u306b\u5909\u63db\u3059\u308b\u51e6\u7406\u3092\u5b9f\u88c5\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n<h2>\u4e00\u610f\u306a\u30ce\u30fc\u30c9\u8b58\u5225\u5b50\u306e\u30ea\u30b9\u30c8<\/h2>\n<p>\u30ce\u30fc\u30c9\u306b\u4e00\u610f\u306a\u8b58\u5225\u5b50\u3092\u3064\u3051\u3066\uff0c\u30a8\u30c3\u30b8\u3092\u8b58\u5225\u5b50\u306e\u30ea\u30b9\u30c8\u3068\u3057\u3066\u8868\u73fe\u3059\u308b\u3053\u3068\u3082\u53ef\u80fd\u3067\u3059\uff0e\u305f\u3060\u3057\uff0c\u3053\u308c\u306fNonNull&lt;Node&gt;\u306e\u5834\u5408\u540c\u69d8\uff0c\u30c0\u30f3\u30b0\u30ea\u30f3\u30b0\u30dd\u30a4\u30f3\u30bf\u30fc\u306b\u985e\u3059\u308b\u554f\u984c\u3084\u5024\u306e\u4e00\u8cab\u6027\u306e\u554f\u984c\u304c\u767a\u751f\u3057\u307e\u3059\uff0e\u57fa\u672c\u7684\u306b\u306fNonNull&lt;Node&gt;\u306e\u5909\u7a2e\u306e\uff11\u3064\u306a\u306e\u3067\u8aac\u660e\u3092\u5272\u611b\u3057\u307e\u3059\uff0e<\/p>\n<h1>T: U\u30c8\u30ec\u30a4\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u304b\u3089U\u30c8\u30ec\u30a4\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3078\u306e\u5909\u63db<\/h1>\n<p>\u73fe\u6642\u70b9\u3067\u306f\uff0cT: U\u30c8\u30ec\u30a4\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u304b\u3089U\u30c8\u30ec\u30a4\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3078\u306e\u5909\u63db\u306f\u81ea\u52d5\u3067\u306f\u884c\u308f\u308c\u307e\u305b\u3093\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">trait<\/span> <span class=\"n\">Node<\/span> <span class=\"p\">{}<\/span>\r\n<span class=\"k\">trait<\/span> <span class=\"n\">Element<\/span> <span class=\"p\">:<\/span> <span class=\"n\">Node<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Node<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Element<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <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    <span class=\"k\">let<\/span> <span class=\"n\">element_impl<\/span> <span class=\"o\">=<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{};<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">element<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">Element<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">element_impl<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">node<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">Node<\/span> <span class=\"o\">=<\/span> <span class=\"n\">element<\/span><span class=\"p\">;<\/span>  <span class=\"c\">\/\/ &amp;dyn Node\u306b\u5909\u63db\u3057\u305f\u3044\u304c\uff0c\u30d3\u30eb\u30c9\u30a8\u30e9\u30fc\u3068\u306a\u308b<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>Issue\u3068\u3057\u3066\u767b\u9332\u6e08\u307f\u3067\u3059\uff0e\u307e\u3060\u30af\u30ed\u30fc\u30ba\u3055\u308c\u3066\u3044\u306a\u3044\u306e\u3067\uff0c\u5c06\u6765\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u308b\u53ef\u80fd\u6027\u306f\u3042\u308b\u3088\u3046\u3067\u3059\uff0e<\/p>\n<ul class=\"post-ul\">Objects should be upcastable to supertraits \u00b7 Issue #5665 \u00b7 rust-lang\/rust<\/ul>\n<p>\u4ee5\u4e0b\u306e\u3088\u3046\u306b\uff0cAsRef\u3092\u4f7f\u3063\u3066\u660e\u793a\u7684\u306b\u5909\u63db\u3059\u308b\u3053\u3068\u306a\u3089\u53ef\u80fd\u3067\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">trait<\/span> <span class=\"n\">Node<\/span> <span class=\"p\">{}<\/span>\r\n<span class=\"k\">trait<\/span> <span class=\"n\">Element<\/span> <span class=\"p\">:<\/span> <span class=\"n\">Node<\/span> <span class=\"o\">+<\/span> <span class=\"n\">AsRef<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Node<\/span><span class=\"o\">&gt;<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Node<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Element<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">impl<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'a<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">AsRef<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">Node<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">'a<\/span><span class=\"o\">&gt;<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"n\">as_ref<\/span><span class=\"o\">&lt;<\/span><span class=\"nv\">'b<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"nv\">'b<\/span> <span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"o\">&amp;<\/span><span class=\"nv\">'b<\/span> <span class=\"p\">(<\/span><span class=\"n\">Node<\/span> <span class=\"o\">+<\/span> <span class=\"nv\">'a<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">self<\/span>\r\n    <span class=\"p\">}<\/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    <span class=\"k\">let<\/span> <span class=\"n\">element_impl<\/span> <span class=\"o\">=<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{};<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">element<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">Element<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">element_impl<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">node<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">Node<\/span> <span class=\"o\">=<\/span> <span class=\"n\">element<\/span><span class=\"nf\">.as_ref<\/span><span class=\"p\">();<\/span>  <span class=\"c\">\/\/ &amp;dyn Node<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<h1>\u30c8\u30ec\u30a4\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u7d4c\u7531\u3060\u3068use\u3057\u3066\u306a\u304f\u3066\u3082\u30e1\u30bd\u30c3\u30c9\u3092\u547c\u3073\u51fa\u305b\u308b<\/h1>\n<p>\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u306b\u3082\u3061\u3083\u3093\u3068\u66f8\u3044\u3066\u3042\u308a\u307e\u3059\u304c\uff0c\u30b9\u30b3\u30fc\u30d7\u5185\u306e\u30c8\u30ec\u30a4\u30c8\u306e\u307f\u304c\u9069\u7528\u3055\u308c\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">mod<\/span> <span class=\"n\">dom<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">pub<\/span> <span class=\"k\">trait<\/span> <span class=\"n\">Element<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">fn<\/span> <span class=\"nf\">tag_name<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">str<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"nn\">dom<\/span><span class=\"p\">::<\/span><span class=\"n\">Element<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">tag_name<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">str<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"s\">\"element\"<\/span>\r\n    <span class=\"p\">}<\/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    <span class=\"k\">let<\/span> <span class=\"n\">element_impl<\/span> <span class=\"o\">=<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{};<\/span>\r\n    <span class=\"c\">\/\/ \u4ee5\u4e0b\u306e\u884c\u3067\u30d3\u30eb\u30c9\u30a8\u30e9\u30fc\uff0e<\/span>\r\n    <span class=\"c\">\/\/ dom\u3067\u5b9a\u7fa9\u3055\u308c\u305fElement\u304c\u30b9\u30b3\u30fc\u30d7\u306b\u542b\u307e\u308c\u3066\u3044\u306a\u3044\u305f\u3081\uff0ctag_name()\u304c\u898b\u3064\u304b\u3089\u306a\u3044<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{}\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">element_impl<\/span><span class=\"nf\">.tag_name<\/span><span class=\"p\">());<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3057\u304b\u3057\uff0c\u30c8\u30ec\u30a4\u30c8\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u7d4c\u7531\u306a\u3089\u547c\u3073\u51fa\u305b\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">mod<\/span> <span class=\"n\">dom<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">pub<\/span> <span class=\"k\">trait<\/span> <span class=\"n\">Element<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"k\">fn<\/span> <span class=\"nf\">tag_name<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">str<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"nn\">dom<\/span><span class=\"p\">::<\/span><span class=\"n\">Element<\/span> <span class=\"k\">for<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">tag_name<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">str<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"s\">\"element\"<\/span>\r\n    <span class=\"p\">}<\/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    <span class=\"k\">let<\/span> <span class=\"n\">element_impl<\/span> <span class=\"o\">=<\/span> <span class=\"n\">ElementImpl<\/span> <span class=\"p\">{};<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">element<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nn\">dom<\/span><span class=\"p\">::<\/span><span class=\"n\">Element<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">element_impl<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"{}\"<\/span><span class=\"p\">,<\/span> <span class=\"n\">element<\/span><span class=\"nf\">.tag_name<\/span><span class=\"p\">());<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u6700\u521d\u306e\u4f8b\u3068\u306e\u4e00\u8cab\u6027\u3092\u8003\u3048\u308b\u306a\u3089\uff0c\u672c\u6765\u547c\u3073\u51fa\u305b\u3066\u306f\u3044\u3051\u306a\u3044\u306f\u305a\u3060\u3068\u601d\u308f\u308c\u307e\u3059\uff0e\u305d\u306e\u305f\u3081\uff0c\u30d0\u30b0\u3067\u306f\u306a\u3044\u304b\u3068\u7591\u3063\u3066\u3044\u307e\u3059\u304c\uff0c\u307e\u3060\u8abf\u67fb\u4e2d\u3067\u3059\uff0e\u591a\u5206\uff0cdom::Element\u304c\u4f7f\u3048\u3066\u3057\u307e\u3046\u3053\u3068\u304c\u554f\u984c\u306e\u6839\u672c\u539f\u56e0\u3060\u3068\u601d\u308f\u308c\u307e\u3059\uff0e<\/p>\n<p>\u3053\u308c\u304c\u4ed5\u69d8\u306a\u306e\u304b\u3069\u3046\u306a\u306e\u304b\uff0c\u3054\u5b58\u77e5\u306e\u65b9\u304c\u3044\u305f\u3089\u30b3\u30e1\u30f3\u30c8\u304f\u3060\u3055\u3044\uff0e<\/p>\n<h1>\u5909\u6570\u306b\u675f\u7e1b\u3057\u305f\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u53c2\u7167\u3092\uff0c\u540c\u3058\u578b\u306e\u5225\u306e\u5909\u6570\u306b\u4ee3\u5165\u3057\u305f\u5834\u5408\u306e\u52d5\u4f5c<\/h1>\n<p>\u4f8b\u3048\u3070\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u30b3\u30f3\u30d1\u30a4\u30eb\u3059\u308b\u3068<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">i<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">r<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">i<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">s<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">t<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code>error[E0382]: use of moved value: `r`\r\n --&gt; src\/lib.rs:5:5\r\n  |\r\n4 | let s = r;\r\n  |     - value moved here\r\n5 | let t = r;\r\n  |     ^ value used here after move\r\n  |\r\n  = note: move occurs because `r` has type `&amp;mut i32`, which does not implement the `Copy` trait\r\n<\/code><\/pre>\n<p>&amp;mut i32\u306fCopy\u3092\u5b9f\u88c5\u3057\u3066\u3044\u306a\u3044\u306e\u3067\uff0cr\u306e\u5024\u304cs\u306b\u79fb\u52d5\u3055\u308c\uff0c\u305d\u306e\u7d50\u679c\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306a\u308a\u307e\u3059\uff0e<\/p>\n<p>\u3068\u3053\u308d\u304c\uff0c\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u95a2\u6570\u547c\u3073\u51fa\u3057\u306b\u5909\u3048\u308b\u3068\u30b3\u30f3\u30d1\u30a4\u30eb\u30a8\u30e9\u30fc\u306b\u306f\u306a\u308a\u307e\u305b\u3093\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">i<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">r<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">i<\/span><span class=\"p\">;<\/span>\r\n<span class=\"nf\">func<\/span><span class=\"p\">(<\/span><span class=\"n\">r<\/span><span class=\"p\">);<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">s<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">func<\/span><span class=\"p\">(<\/span><span class=\"n\">x<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/span> <span class=\"p\">{}<\/span>\r\n<\/code><\/pre>\n<p>\u95a2\u6570\u547c\u3073\u51fa\u3057\u3067\u5024\u304c\u79fb\u52d5\u3057\u3066\u3057\u307e\u3046\u3068\uff0c&amp;mut self\u306a\u30e1\u30bd\u30c3\u30c9\u3092\uff11\u56de\u3057\u304b\u547c\u3073\u51fa\u305b\u306a\u304f\u306a\u3063\u3066\u3057\u307e\u3046\u306e\u3067\u59a5\u5f53\u306a\u52d5\u4f5c\u3060\u3068\u306f\u601d\u3044\u307e\u3059\uff0e\u3057\u304b\u3057\uff0c\u4e00\u4f53\u4f55\u304c\u8d77\u304d\u3066\u3044\u308b\u306e\u304b\u3088\u304f\u308f\u304b\u308a\u307e\u305b\u3093\uff0e<\/p>\n<h2>\u518d\u501f\u7528<\/h2>\n<p>\u540c\u69d8\u306e\u7591\u554f\u3092\u6301\u3063\u305f\u4eba\u304cReddit\u306b\u6295\u7a3f\u3057\u3066\u3044\u307e\u3059\uff0e<\/p>\n<ul class=\"post-ul\">Why can I use an &amp;mut reference twice? : rust<\/ul>\n<p>\u3069\u3046\u3084\u3089\uff0c\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u53c2\u7167\u3092\u675f\u7e1b\u3057\u305f\u5909\u6570\u3092\uff0c\u540c\u3058\u578b\uff08\u30df\u30e5\u30fc\u30bf\u30d6\u30eb\u306a\u53c2\u7167\uff09\u306e\u5909\u6570\u306b\u4ee3\u5165\u3057\u305f\u5834\u5408\uff0c\u518d\u501f\u7528\u304c\u884c\u308f\u308c\u308b\u3068\u3044\u3046\u52d5\u4f5c\u306b\u306a\u3063\u3066\u3044\u308b\u3068\u306e\u3053\u3068\u3067\u3059\uff0e<\/p>\n<p>\u4ee5\u4e0b\u306e\u30b3\u30fc\u30c9\u3067\u518d\u501f\u7528\u3092\u78ba\u8a8d\u3067\u304d\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">i<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">r<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">i<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">s<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"nb\">i32<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">t<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"nb\">i32<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code>error[E0499]: cannot borrow `*r` as mutable more than once at a time\r\n --&gt; src\/lib.rs:5:19\r\n  |\r\n4 | let s: &amp;mut i32 = r;\r\n  |                   - first mutable borrow occurs here\r\n5 | let t: &amp;mut i32 = r;\r\n  |                   ^ second mutable borrow occurs here\r\n6 | }\r\n  | - first borrow ends here\r\n<\/code><\/pre>\n<p>example-1\u3068\u30a8\u30e9\u30fc\u5185\u5bb9\u304c\u7570\u306a\u308a\u307e\u3059\uff0e<\/p>\n<p>\u3069\u3061\u3089\u306e\u4f8b\u3067\u3082s\u306f&amp;mut i32\u306b\u306a\u308b\u3068\u8003\u3048\u308b\u4eba\u304c\u591a\u3044\u3068\u601d\u3044\u307e\u3059\u304c\uff0cMIR\u3092\u898b\u308b\u3068\u578b\u304c\u9055\u3046\u3053\u3068\u304c\u5206\u304b\u308a\u307e\u3059\uff0e<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">s<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>  <span class=\"c\">\/\/ let _3: &amp;mut i32;<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">s<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"nb\">i32<\/span> <span class=\"o\">=<\/span> <span class=\"n\">r<\/span><span class=\"p\">;<\/span>  <span class=\"c\">\/\/ let _3: &amp;mut i32 as Canonical { variables: [CanonicalVarInfo { kind: Region }], value: &amp;mut i32 };<\/span>\r\n<\/code><\/pre>\n<p>example-1\u306es\u306f\uff0c\u578b\u63a8\u8ad6\u306b\u3088\u308a&amp;mut i32\u3068\u306a\u308a\uff0c&amp;mut i32\u306fCopy\u3092\u5b9f\u88c5\u3057\u3066\u3044\u306a\u3044\u306e\u3067\u5024\u304c\u79fb\u52d5\u3057\u307e\u3059\uff0e<\/p>\n<p>\u4e00\u65b9\uff0cexample-2\u306es\u306f\uff0c&amp;mut i32\u3068\u578b\u3092\u660e\u793a\u7684\u306b\u6307\u5b9a\u3057\u307e\u3057\u305f\u304c\uff0c\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u3088\u308aCanonical { variables: [CanonicalVarInfo { kind: Region }], value: &amp;mut i32 }\u3068\u3044\u3046\u578b\u306b\u66f8\u304d\u63db\u3048\u3089\u308c\u3066\u3044\u307e\u3059\uff0e<\/p>\n<p>TRPL\u306e\u3069\u3053\u306b\u3082\u66f8\u304b\u308c\u3066\u3044\u307e\u305b\u3093\u304c\uff0clet i: i32\u306a\u3069\u3068\u578b\u3092\u660e\u793a\u3057\u305f\u5834\u5408\uff0cCanonical\u3078\u3068\u5909\u63db\u3055\u308c\u308b\u3088\u3046\u3067\u3059\uff0e<\/p>\n<p>2019-07-28\u8ffd\u8a18\uff1a\u3053\u3061\u3089\u306e\u8a18\u4e8b\u306b\u518d\u501f\u7528\u3068\u306a\u308b\u6761\u4ef6\u306b\u3064\u3044\u3066\u8a18\u8ff0\u3055\u308c\u3066\u3044\u308b\u30da\u30fc\u30b8\u3078\u306e\u30ea\u30f3\u30af\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u79c1\uff08Rust\u521d\u5fc3\u8005\uff09\u304c\u56f0\u60d1\u3057\u305f\u4e8b\u67c4\u3092\u968f\u6642\u8ffd\u52a0\u3057\u3066\u3044\u304d\u307e\u3059\uff0e \u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3068\u30b9\u30b3\u30fc\u30d7 \u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u30b3\u30f3\u30d1 [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45689","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\/45689-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"\u79c1\uff08Rust\u521d\u5fc3\u8005\uff09\u304c\u56f0\u60d1\u3057\u305f\u4e8b\u67c4\u3092\u968f\u6642\u8ffd\u52a0\u3057\u3066\u3044\u304d\u307e\u3059\uff0e \u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3068\u30b9\u30b3\u30fc\u30d7 \u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u30b3\u30f3\u30d1 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2023-09-16T11:48:14+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-04-29T12:33:03+00:00\" \/>\n<meta name=\"author\" content=\"\u97f5, \u79d1\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u97f5, \u79d1\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 \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\/45689-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2023-09-16T11:48:14+00:00\",\"dateModified\":\"2024-04-29T12:33:03+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/6530331a63adef3b3443a1fab53a0e6e\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45689-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\/6530331a63adef3b3443a1fab53a0e6e\",\"name\":\"\u97f5, \u79d1\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/429ccb39b3fff5188bc17986222cfb0936cbadb8cc933cff04ab5ca01bd30a08?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/429ccb39b3fff5188bc17986222cfb0936cbadb8cc933cff04ab5ca01bd30a08?s=96&d=mm&r=g\",\"caption\":\"\u97f5, \u79d1\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/yunke\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45689-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\/45689-2\/","og_locale":"zh_CN","og_type":"article","og_description":"\u79c1\uff08Rust\u521d\u5fc3\u8005\uff09\u304c\u56f0\u60d1\u3057\u305f\u4e8b\u67c4\u3092\u968f\u6642\u8ffd\u52a0\u3057\u3066\u3044\u304d\u307e\u3059\uff0e \u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u3068\u30b9\u30b3\u30fc\u30d7 \u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u30b3\u30f3\u30d1 [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2023-09-16T11:48:14+00:00","article_modified_time":"2024-04-29T12:33:03+00:00","author":"\u97f5, \u79d1","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u97f5, \u79d1","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"6 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45689-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2023-09-16T11:48:14+00:00","dateModified":"2024-04-29T12:33:03+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/6530331a63adef3b3443a1fab53a0e6e"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45689-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\/6530331a63adef3b3443a1fab53a0e6e","name":"\u97f5, \u79d1","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/429ccb39b3fff5188bc17986222cfb0936cbadb8cc933cff04ab5ca01bd30a08?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/429ccb39b3fff5188bc17986222cfb0936cbadb8cc933cff04ab5ca01bd30a08?s=96&d=mm&r=g","caption":"\u97f5, \u79d1"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/yunke\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45689-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\/45689","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\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45689"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45689\/revisions"}],"predecessor-version":[{"id":87490,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45689\/revisions\/87490"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45689"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45689"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45689"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}