{"id":45703,"date":"2023-02-02T00:56:43","date_gmt":"2024-03-09T12:30:43","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/"},"modified":"2024-04-29T12:40:36","modified_gmt":"2024-04-29T04:40:36","slug":"45703-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/","title":{"rendered":""},"content":{"rendered":"<h4>\u8ffd\u8a18 2019\/12\/06 17:14<\/h4>\n<p>@lo48576\u3055\u3093\u304c\u501f\u7528\u3084\u5f15\u6570\u306e\u8a55\u4fa1\u9806\u5e8f\u306b\u3064\u3044\u3066\u904e\u53bb\u306b\u8a18\u4e8b\u306b\u3055\u308c\u3066\u3044\u307e\u3057\u305f\u3002<br \/>\n\u3053\u3053\u3067\u306f\u8aa4\u9b54\u5316\u3057\u3066\u66f8\u3044\u3066\u3044\u308bTwo-phase borrow\u3084\u8907\u5408\u4ee3\u5165\u6f14\u7b97\u5b50\u3067\u306e\u6319\u52d5\u306b\u3064\u3044\u3066\u3082\u8a00\u53ca\u3055\u308c\u3066\u3044\u308b\u306e\u3067\u4f75\u305b\u3066\u304a\u8aad\u307f\u304f\u3060\u3055\u3044\u3002\u307e\u305f\u30b3\u30e1\u30f3\u30c8\u6b04\u3067\u3082\u8a55\u4fa1\u9806\u5e8f\u3092\u5229\u7528\u3057\u305f\u304a\u3082\u3057\u308d\u3044\u30b3\u30fc\u30c9\u4f8b\u3082\u63d0\u793a\u3057\u3066\u304f\u3060\u3055\u3063\u3066\u3044\u307e\u3059\uff01<\/p>\n<h1>\u304a\u3053\u3068\u308f\u308a<\/h1>\n<p>\u3053\u306e\u8a18\u4e8b\u306fRust\u306e\u95a2\u6570\u3084\u30e1\u30bd\u30c3\u30c9\u306e\u547c\u3073\u51fa\u3057\u306b\u95a2\u3059\u308b\u6319\u52d5\u3092\u8208\u5473\u7bc4\u56f2\u3067\u5927\u96d1\u628a\u306b\u8abf\u3079\u305f\u3082\u306e\u3067\u3059\u3002<br \/>\n\u307e\u305f\u5f53\u65b9\u3001rustc\u3084llvm\u3001MIR\u304c\u5206\u304b\u3089\u306a\u3044\u8edf\u5f31\u8005\u306a\u306e\u3067\u3001\u4e0d\u6b63\u78ba\u306a\u8a18\u8ff0\u304c\u3042\u308a\u307e\u3059\u3002<br \/>\n\u6e29\u304b\u3044\u76ee\u3067\u898b\u5b88\u3063\u3066\u3044\u305f\u3060\u3051\u308b\u3068\u5e78\u3044\u3067\u3059<\/p>\n<h1>\u4e8b\u306e\u59cb\u307e\u308a<\/h1>\n<p>\u5148\u65e5C++\u3092\u66f8\u3044\u3066\u3044\u308b\u6642\u306b\u51fa\u4f1a\u3063\u3066\u3057\u307e\u3063\u305f\u4e8b\u4ef6\u3002<br \/>\n\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u3092\u66f8\u3044\u3066\u3044\u307e\u3057\u305f\u3002plus_one\u306fint&amp; x\u3092\u53d7\u3051\u53d6\u3063\u3066x\u3092\u5909\u66f4\u3057\u3064\u3064\u5024\u3092\u8fd4\u3057\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"kt\">int<\/span> <span class=\"nf\">plus_one<\/span><span class=\"p\">(<\/span><span class=\"kt\">int<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">x<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">x<\/span> <span class=\"o\">+=<\/span> <span class=\"mi\">1<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"k\">return<\/span> <span class=\"n\">x<\/span><span class=\"p\">;<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"kt\">void<\/span> <span class=\"nf\">print<\/span><span class=\"p\">(<\/span><span class=\"kt\">int<\/span> <span class=\"n\">x<\/span><span class=\"p\">,<\/span> <span class=\"kt\">int<\/span> <span class=\"n\">y<\/span><span class=\"p\">)<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">cout<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"n\">x<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"s\">\",\"<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"n\">y<\/span> <span class=\"o\">&lt;&lt;<\/span> <span class=\"n\">std<\/span><span class=\"o\">::<\/span><span class=\"n\">endl<\/span><span class=\"p\">;<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"kt\">int<\/span> <span class=\"nf\">main<\/span><span class=\"p\">()<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"kt\">int<\/span> <span class=\"n\">a<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"n\">print<\/span><span class=\"p\">(<\/span><span class=\"n\">plus_one<\/span><span class=\"p\">(<\/span><span class=\"n\">a<\/span><span class=\"p\">),<\/span> <span class=\"n\">a<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u4e45\u3057\u3076\u308a\u306bC++\u3092\u66f8\u3044\u3066\u3044\u308b\u3068\u66f8\u304b\u306a\u304f\u3066\u3082\u826f\u3044mut\u3092\u66f8\u3044\u305f\u308aconst\u3092\u66f8\u304d\u5fd8\u308c\u305f\u308a\u3057\u3061\u3083\u3044\u307e\u3059\u306d\u3002<br \/>\n\u305d\u308c\u306f\u3055\u3066\u304a\u304d\u3001\u3053\u306e\u30b3\u30fc\u30c9\u3092\u305d\u308c\u305e\u308c g++9.2.0 \u3068 clang++9.0.0 \u3067\u30b3\u30f3\u30d1\u30a4\u30eb&amp;&amp;\u5b9f\u884c\u3059\u308b\u3068\u3001<\/p>\n<pre class=\"post-pre\"><code><span class=\"gp\">$<\/span> .\/a.out\r\n<span class=\"go\">1,0\r\n<\/span><\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"gp\">$<\/span> .\/a.out\r\n<span class=\"go\">1,1\r\n<\/span><\/code><\/pre>\n<p>\u3068\u306a\u3063\u3066\u3057\u307e\u3044\u307e\u3059\u3002\u3069\u3046\u3084\u3089\u672a\u898f\u5b9a\u52d5\u4f5c1\u3092\u8e0f\u3093\u3067\u3057\u307e\u3063\u305f\u3089\u3057\u304f\u3001<br \/>\n\u95a2\u6570\u547c\u3073\u51fa\u3057print(plus_one(), a)\u306e\u5f15\u6570plus_one()\u3068a\u306e\u8a55\u4fa1\u9806\u5e8f\u306f\u6c7a\u307e\u3063\u3066\u3044\u306a\u3044\u3088\u3046\u3067\u3059\u3002<\/p>\n<p>\u3053\u3046\u3044\u3046\u6319\u52d5\u3092\u77e5\u3063\u3066\u3057\u307e\u3063\u305f\u304b\u3089\u306b\u306fRust\u3067\u306e\u6319\u52d5\u3092\u77e5\u308a\u305f\u304f\u306a\u308b\u306e\u304cRustacean\u306e\u6027\u3067\u3059\u3002<\/p>\n<h1>\u95a2\u6570\u547c\u3073\u51fa\u3057\u306e\u5f15\u6570\u306e\u8a55\u4fa1\u9806\u5e8f<\/h1>\n<p>Rust\u3067\u540c\u69d8\u306a\u30b3\u30fc\u30c9\u3092\u66f8\u304f\u3068\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">fn<\/span> <span class=\"nf\">plus_one<\/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=\"k\">-&gt;<\/span> <span class=\"nb\">i32<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"o\">*<\/span><span class=\"n\">x<\/span> <span class=\"o\">+=<\/span> <span class=\"mi\">1<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"o\">*<\/span><span class=\"n\">x<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">fn<\/span> <span class=\"nf\">print_values<\/span><span class=\"p\">(<\/span><span class=\"n\">x<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">,<\/span> <span class=\"n\">y<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/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\">x<\/span><span class=\"p\">,<\/span> <span class=\"n\">y<\/span><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=\"k\">mut<\/span> <span class=\"n\">a<\/span> <span class=\"o\">=<\/span> <span class=\"mi\">0<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"nf\">print_values<\/span><span class=\"p\">(<\/span><span class=\"nf\">plus_one<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">a<\/span><span class=\"p\">),<\/span> <span class=\"n\">a<\/span><span class=\"p\">);<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u3053\u308c\u3082rustc\u3067\u30b3\u30f3\u30d1\u30a4\u30eb&amp;&amp;\u5b9f\u884c\u3057\u3066\u307f\u307e\u3057\u305f\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"gp\">$<\/span> .\/a\r\n<span class=\"go\">1,1\r\n<\/span><\/code><\/pre>\n<p>\u3069\u3046\u3084\u3089clang\u3068\u540c\u69d8\u306b\u5de6\u304b\u3089\u53f3\u3078\u8a55\u4fa1\u3055\u308c\u308b\u3088\u3046\u3067\u3059<\/p>\n<p>\u3057\u304b\u3057C++\u3068\u9055\u3044\u3001Rust\u306e\u30b3\u30f3\u30d1\u30a4\u30e9\u306f\u307b\u307crustc\u4e00\u629e2\u306a\u306e\u3067\u3001\u5076\u7136\u3053\u306e\u3088\u3046\u306a\u5b9f\u88c5\u306b\u306a\u3063\u3066\u3044\u308b\u306e\u304b\u3001\u8a55\u4fa1\u9806\u5e8f\u304c\u4ed5\u69d8\u3067\u6c7a\u3081\u3089\u308c\u3066\u3044\u308b\u306e\u304b\u3069\u3046\u304b\u5206\u304b\u308a\u307e\u305b\u3093\u3002\u78ba\u8a3c\u3092\u5f97\u305f\u3044\u3068\u3053\u308d\u3067\u3059\u304c\u3001\u6b8b\u5ff5\u306a\u304c\u3089\u8abf\u3079\u3066\u307f\u305f\u3068\u3053\u308dThe Rust Reference\u306b\u306f\u8a18\u8f09\u3055\u308c\u3066\u3044\u308b\u3068\u3053\u308d\u304c\u898b\u3064\u304b\u308a\u307e\u305b\u3093\u3067\u3057\u305f3\u3002<\/p>\n<h1>\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u3067\u306f\uff1f<\/h1>\n<p>\u95a2\u6570\u547c\u3073\u51fa\u3057\u3067\u306f\u4e0a\u8a18\u306e\u3088\u3046\u306a\u6319\u52d5\u3092\u793a\u3057\u307e\u3059\u3002\u305d\u308c\u3067\u306f\u30e1\u30bd\u30c3\u30c9\u306e\u547c\u3073\u51fa\u3057\u3067\u306f\u3069\u3046\u3067\u3057\u3087\u3046\u304b\uff1f<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">struct<\/span> <span class=\"n\">A<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"k\">impl<\/span> <span class=\"n\">A<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">new<\/span><span class=\"p\">(<\/span><span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/span> <span class=\"k\">-&gt;<\/span> <span class=\"n\">Self<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"n\">Self<\/span> <span class=\"p\">{<\/span> <span class=\"n\">value<\/span> <span class=\"p\">}<\/span>\r\n    <span class=\"p\">}<\/span>\r\n\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">print<\/span><span class=\"p\">(<\/span><span class=\"k\">self<\/span><span class=\"p\">,<\/span> <span class=\"n\">value<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">)<\/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=\"k\">self<\/span><span class=\"py\">.value<\/span><span class=\"p\">,<\/span> <span class=\"n\">value<\/span><span class=\"p\">);<\/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=\"p\">{<\/span><span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"lhs\"<\/span><span class=\"p\">);<\/span> <span class=\"nn\">A<\/span><span class=\"p\">::<\/span><span class=\"nf\">new<\/span><span class=\"p\">(<\/span><span class=\"mi\">0<\/span><span class=\"p\">)}<\/span><span class=\"nf\">.print<\/span><span class=\"p\">({<\/span><span class=\"nd\">println!<\/span><span class=\"p\">(<\/span><span class=\"s\">\"rhs\"<\/span><span class=\"p\">);<\/span> <span class=\"mi\">1<\/span><span class=\"p\">});<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"gp\">$<\/span> .\/a\r\n<span class=\"go\">lhs\r\nrhs\r\n0,1\r\n<\/span><\/code><\/pre>\n<p>\u3084\u306f\u308a\u3053\u3053\u3067\u3082\u5de6\u304b\u3089\u53f3\u3078\u5b9f\u884c\u3055\u308c\u3066\u3044\u307e\u3059\u306d\u3002\uff08\u9593\u306b\u631f\u307e\u3063\u3066\u308bprint\u306e\u5b9f\u884c\u304c\u6700\u5f8c\u3058\u3083\u306a\u3044\u304b\uff01\u3068\u3044\u3046\u7a81\u3063\u8fbc\u307f\u306f\u7121\u3057\u3067 \uff09<\/p>\n<h1>\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306f\u7cd6\u8863\u69cb\u6587<\/h1>\n<p>Rust\u306e\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306f\u5e7e\u3064\u304b\u306e\u4ed6\u306e\u8a00\u8a9e4\u3068\u540c\u69d8\u306b\u4e00\u7a2e\u306e\u7cd6\u8863\u69cb\u6587\u306a\u306e\u3067\u3001\u3053\u306e\u6319\u52d5\u306f\u7406\u89e3\u3057\u3084\u3059\u3044\u3067\u3057\u3087\u3046\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"c\">\/\/ \u4ee5\u4e0b\u306e\u4e8c\u3064\u306e\u30b3\u30fc\u30c9\u306f\u540c\u3058\u3002<\/span>\r\n<span class=\"n\">a<\/span><span class=\"nf\">.print<\/span><span class=\"p\">(<\/span><span class=\"mi\">1<\/span><span class=\"p\">);<\/span>\r\n<span class=\"nn\">A<\/span><span class=\"p\">::<\/span><span class=\"nf\">print<\/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<\/code><\/pre>\n<p>\u4e0a\u8a18\u306e\u4e8c\u3064\u306e\u30b3\u30fc\u30c9\u3067\u95a2\u6570\u547c\u3073\u51fa\u3057\u3068\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306f\u5171\u306ba\u21921\u306e\u9806\u306b\u8a55\u4fa1\u3055\u308c\u3066\u305d\u3046\u3067\u3059\u3002<\/p>\n<p>\u3055\u3089\u3063\u3068Rust\u306e\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306f\u7cd6\u8863\u69cb\u6587\u3060\u3068\u8a00\u3063\u3066\u5148\u306e\u30b3\u30fc\u30c9\u3092\u793a\u3057\u307e\u3057\u305f\u304c\u3001\u5b9f\u306f\u4e0a\u8a18\u306e\u30b3\u30fc\u30c9\u306f\u4e0a\u3067\u5b9a\u7fa9\u3057\u305fA::print\u306b\u95a2\u3057\u3066\u306f\u304a\u304a\u304b\u305f\u6b63\u3057\u3044\u306e\u3067\u3059\u304c\u3001\u4e00\u822c\u306b\u306f\u6b63\u3057\u304f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<h2>\u81ea\u52d5\u53c2\u7167\u3001\u81ea\u52d5\u53c2\u7167\u5916\u3057<\/h2>\n<p>\u307e\u305a\u3001Rust\u306f\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306e\u969b\u3001\u81ea\u52d5\u53c2\u7167\u304a\u3088\u3073\u53c2\u7167\u5916\u3057\u304c\u884c\u308f\u308c\u307e\u30595\u3002<br \/>\n\u3064\u307e\u308a\u30e1\u30bd\u30c3\u30c9\u5ba3\u8a00\u306e\u7b2c\u4e00\u5f15\u6570\u306fself\u3001&amp;self\u3001&amp;mut self\u306e\u3044\u305a\u308c\u304b\u3067\u3042\u308b\u306e\u3067\u3001\u5fc5\u8981\u306b\u5fdc\u3058\u3066*\u3001&amp;\u3001&amp;mut\u3092\u6e21\u3055\u308c\u305f\u5f15\u6570\u306b\u3064\u3051\u3066\u9069\u5207\u306a\u3082\u306e\u306b\u5909\u63db\u3057\u307e\u3059\u3002\u3061\u306a\u307f\u306b\u53c2\u7167\u5916\u3057\u306e*\u306f\u5024\u304cCopy\u30c8\u30ec\u30a4\u30c8\u3092\u5b9f\u88c5\u3057\u3066\u3044\u308b\u6642\u306e\u307f\u30b3\u30f3\u30d1\u30a4\u30eb\u53ef\u80fd\u3067\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"go\">error[E0507]: cannot move out of `*b` which is behind a shared reference\r\n<\/span><span class=\"gp\">  --&gt;<\/span> a.rs:20:5\r\n<span class=\"go\">   |\r\n<\/span><span class=\"gp\">20 |     b.print(1);<\/span>\r\n<span class=\"go\">   |     ^ move occurs because `*b` has type `A`, which does not implement the `Copy` trait\r\n\r\nerror: aborting due to previous error\r\n\r\nFor more information about this error, try `rustc --explain E0507`.\r\n<\/span><\/code><\/pre>\n<p>\u30b3\u30fc\u30c9\u306b\u3057\u3066\u66f8\u3044\u3066\u307f\u308b\u3068\u3001x.method(y)\u306f\u5fc5\u8981\u304c\u3042\u308c\u3070\u4ee5\u4e0b\u306e\u3044\u305a\u308c\u304b\u306b\u5909\u63db\u3055\u308c\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"p\">(<\/span><span class=\"o\">*<\/span><span class=\"n\">x<\/span><span class=\"p\">)<\/span><span class=\"nf\">.method<\/span><span class=\"p\">(<\/span><span class=\"n\">y<\/span><span class=\"p\">)<\/span>     <span class=\"c\">\/\/ \u53c2\u7167\u5916\u3057<\/span>\r\n<span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"n\">x<\/span><span class=\"p\">)<\/span><span class=\"nf\">.method<\/span><span class=\"p\">(<\/span><span class=\"n\">y<\/span><span class=\"p\">)<\/span>     <span class=\"c\">\/\/ \u53c2\u7167\uff08\u4e0d\u5909\uff09<\/span>\r\n<span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">x<\/span><span class=\"p\">)<\/span><span class=\"nf\">.method<\/span><span class=\"p\">(<\/span><span class=\"n\">y<\/span><span class=\"p\">)<\/span> <span class=\"c\">\/\/ \u53c2\u7167\uff08\u53ef\u5909\uff09<\/span>\r\n<\/code><\/pre>\n<h2>\u8131\u7cd6\u8863<\/h2>\n<p>\u81ea\u52d5\u53c2\u7167\u3001\u53c2\u7167\u5916\u3057\u304c\u306a\u3055\u308c\u305f\u5f8c\u306fX::method(x, y)\u306e\u3088\u3046\u306a\u5f62\u306b\u8131\u7cd6\u8863\u3055\u308c\u307e\u3059\u3002<br \/>\n\u304c\u3001method\u304c&amp;mut self\u3092\u53d7\u3051\u53d6\u308b\u6642\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u7279\u6b8a\u306a\u6319\u52d5\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"p\">{<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">tmp1<\/span> <span class=\"o\">=<\/span> <span class=\"n\">y<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"k\">let<\/span> <span class=\"n\">tmp0<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">x<\/span><span class=\"p\">;<\/span>\r\n    <span class=\"nn\">X<\/span><span class=\"p\">::<\/span><span class=\"nf\">method<\/span><span class=\"p\">(<\/span><span class=\"n\">tmp0<\/span><span class=\"p\">,<\/span> <span class=\"n\">tmp1<\/span><span class=\"p\">)<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u30e1\u30bd\u30c3\u30c9\u306e\u7b2c\u4e00\u5f15\u6570\u306e\u8a55\u4fa1\uff08\u81ea\u52d5\u53c2\u7167\uff09\u306f\u6700\u5f8c\u306b\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u6319\u52d5\u306b\u3088\u3063\u3066\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u304c\u30b3\u30f3\u30d1\u30a4\u30eb\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"k\">mut<\/span> <span class=\"n\">vec<\/span> <span class=\"o\">=<\/span> <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">0<\/span><span class=\"p\">];<\/span>\r\n<span class=\"n\">vec<\/span><span class=\"nf\">.push<\/span><span class=\"p\">(<\/span><span class=\"n\">vec<\/span><span class=\"nf\">.len<\/span><span class=\"p\">());<\/span>\r\n<span class=\"nd\">assert_eq!<\/span><span class=\"p\">(<\/span><span class=\"n\">vec<\/span><span class=\"p\">,<\/span> <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">0<\/span><span class=\"p\">,<\/span> <span class=\"mi\">1<\/span><span class=\"p\">]);<\/span>\r\n<\/code><\/pre>\n<p>\u3082\u3057\u3053\u306e\u30b3\u30fc\u30c9\u306e\uff12\u884c\u76ee\u3092tmp0\u3084tmp1\u3092\u7528\u3044\u305a\u306b\u8131\u7cd6\u8863\u3059\u308b\u306a\u3089\u3070<\/p>\n<pre class=\"post-pre\"><code><span class=\"nn\">Vec<\/span><span class=\"p\">::<\/span><span class=\"nf\">push<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">mut<\/span> <span class=\"n\">vec<\/span><span class=\"p\">,<\/span> <span class=\"n\">vec<\/span><span class=\"nf\">.len<\/span><span class=\"p\">());<\/span>\r\n<\/code><\/pre>\n<p>\u306e\u3088\u3046\u306b\u306a\u308a\u3001borrow\u30c1\u30a7\u30c3\u30ab\u30fc\u306b\u6012\u3089\u308c\u307e\u3059<\/p>\n<pre class=\"post-pre\"><code><span class=\"gp\">     Vec::push(&amp;mut vec, vec.len());<\/span>\r\n<span class=\"go\">     --------- --------  ^^^ immutable borrow occurs here\r\n     |         |\r\n     |         mutable borrow occurs here\r\n     mutable borrow later used by call\r\n<\/span><\/code><\/pre>\n<p>\u3061\u306a\u307f\u306b\u3001vec.push(vec.len())\u306e\u3088\u3046\u306a\u30b3\u30fc\u30c9\u306f\u6bd4\u8f03\u7684\u65b0\u3057\u3044rustc\u3067\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u3067\u304d\u307e\u3059\u304c\u3001NLL\u304c\u5c0e\u5165\u3055\u308c\u308b\u524d\u306erustc\u306b\u306f\u666e\u901a\u306b\u6012\u3089\u308c\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u6319\u52d5\u304c\u3067\u304d\u308b\u306e\u306fNLL\u5c0e\u5165\u6642\u306b\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u306b\u3064\u3044\u3066\u6574\u5099\u3055\u308c\u305f\u3053\u3068\u306b\u3088\u308b\u5bc4\u4e0e\u304c\u5927\u304d\u3044\u3088\u3046\u3067\u3059\u3002NLL\u3055\u307e\u3055\u307e\u3067\u3059\u306d\u3002<\/p>\n<h1>\u3055\u3044\u3054\u306b<\/h1>\n<p>\u3053\u3053\u3067\u306f\u3042\u304f\u307e\u3067\u3001\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306f\u305f\u3060\u306e\u7cd6\u8863\u69cb\u6587\u3067\u8131\u7cd6\u8863\u3055\u308c\u3066\u30b3\u30f3\u30d1\u30a4\u30eb\u3055\u308c\u308b\u3088\u3046\u306a\u66f8\u304d\u65b9\u3092\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u5b9f\u969b\u306f\u30a8\u30c3\u30b8\u30b1\u30fc\u30b9\u3092\u56de\u907f\u3059\u3079\u304f\u3084\u3084\u3053\u3057\u3044\u4e8b\u3092\u884c\u3063\u3066\u3044\u308b\u3088\u3046\u3067\u30596\u3002\u3053\u3053\u3089\u306b\u3064\u3044\u3066\u306f\u8208\u5473\u672c\u4f4d\u3067\u8abf\u3079\u3066\u307f\u305f\u306f\u3044\u3044\u3082\u306e\u306e\u3001\u5b9f\u529b\u4e0d\u8db3\u3067\u3075\u308f\u3063\u3068\u3057\u305f\u7406\u89e3\u3057\u304b\u3067\u304d\u305a\u3001\u66d6\u6627\u306a\u8a18\u4e8b\u3092\u66f8\u304f\u3053\u3068\u306b\u306a\u3063\u3066\u7533\u3057\u8a33\u306a\u3044\u3067\u3059\u3002<br \/>\n\u8fd1\u3044\u3046\u3061\u306bMIR\u306e\u52c9\u5f37\u304c\u3066\u3089\u3001\u4eca\u56de\u53c2\u8003\u306b\u3057\u305fRFC2025\u306e\u7ffb\u8a33\u3092\u3057\u3064\u3064\u7406\u89e3\u3092\u6df1\u3081\u308c\u308c\u3070\u306a\u3041\u3068\u601d\u3046\u6b21\u7b2c\u3067\u3059\u3002<\/p>\n<div>\n<p>\u5f53\u65b9C++\u5b8c\u5168\u7406\u89e3\u8005\u3067\u306f\u306a\u3044\u306e\u3067\u300c\u672a\u898f\u5b9a\u52d5\u4f5c\u300d\u306b\u3064\u3044\u3066\u306f \u3053\u3061\u3089\u306e\u8a18\u4e8b \u306a\u3069\u3092\u3042\u305f\u3063\u3066\u304f\u3060\u3055\u3044\u3002\u00a0\u21a9<\/p>\n<p>\u4ed6\u306eRust\u30b3\u30f3\u30d1\u30a4\u30e9\u3068\u3057\u3066\u306f\u300cmrustc\u300d\u304c\u3042\u308a\u307e\u3059\u304c\u8a66\u3057\u3066\u3044\u307e\u305b\u3093\u3002\u00a0\u21a9<\/p>\n<p>The Rust Reference\u306b\u660e\u8a18\u3057\u3088\u3046\u3068\u3044\u3046 Issue \u306f\u7acb\u3063\u3066\u3044\u307e\u3057\u305f\u3002\u4e2d\u306e\u4eba\u305f\u3061\u3082LTR(Left to Right)\u304c\u59a5\u5f53\u3060\u3068\u3044\u3046\u611f\u3058\u3067\u3057\u305f\u3002\u00a0\u21a9<\/p>\n<p>Python\u3068\u304bD\u8a00\u8a9e\u3068\u304b\u3002D\u8a00\u8a9e\u3067\u306fUFCS\u3068\u547c\u3076\u3089\u3057\u3044\u3067\u3059\u304c\u3001Rust\u306e\u6319\u52d5\u306f\u305d\u308c\u3068\u306f\u5c11\u3057\u9055\u3044\u307e\u3059\u3002D\u8a00\u8a9e\u306eUFCS\u306b\u3064\u3044\u3066\u306f \u3053\u3061\u3089\u306e\u8a18\u4e8b \u3092\u3001Rust\u306fUFCS\u3068\u306f\u9055\u3046\u3088\u306d\u3063\u3066\u3044\u3046\u8a71\u306f \u3053\u3061\u3089 \u3092\u898b\u3066\u304f\u3060\u3055\u3044\u3002\u00a0\u21a9<\/p>\n<p>cf. \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9eRust, 2nd Edition\/\u30e1\u30bd\u30c3\u30c9\u8a18\u6cd5\u00a0\u21a9<\/p>\n<p>cf. RFC2025\u00a0\u21a9<\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u8ffd\u8a18 2019\/12\/06 17:14 @lo48576\u3055\u3093\u304c\u501f\u7528\u3084\u5f15\u6570\u306e\u8a55\u4fa1\u9806\u5e8f\u306b\u3064\u3044\u3066\u904e\u53bb\u306b\u8a18\u4e8b\u306b\u3055\u308c\u3066\u3044 [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45703","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\/45703-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"\u8ffd\u8a18 2019\/12\/06 17:14 @lo48576\u3055\u3093\u304c\u501f\u7528\u3084\u5f15\u6570\u306e\u8a55\u4fa1\u9806\u5e8f\u306b\u3064\u3044\u3066\u904e\u53bb\u306b\u8a18\u4e8b\u306b\u3055\u308c\u3066\u3044 [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2024-03-09T12:30:43+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-04-29T04:40:36+00:00\" \/>\n<meta name=\"author\" content=\"\u6e05, \u5b87\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u6e05, \u5b87\" \/>\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\/45703-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2024-03-09T12:30:43+00:00\",\"dateModified\":\"2024-04-29T04:40:36+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/1a6ecd3d914d22a5ac32791ffc1fbd8e\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45703-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\/1a6ecd3d914d22a5ac32791ffc1fbd8e\",\"name\":\"\u6e05, \u5b87\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g\",\"caption\":\"\u6e05, \u5b87\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/qingyu\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45703-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\/45703-2\/","og_locale":"zh_CN","og_type":"article","og_description":"\u8ffd\u8a18 2019\/12\/06 17:14 @lo48576\u3055\u3093\u304c\u501f\u7528\u3084\u5f15\u6570\u306e\u8a55\u4fa1\u9806\u5e8f\u306b\u3064\u3044\u3066\u904e\u53bb\u306b\u8a18\u4e8b\u306b\u3055\u308c\u3066\u3044 [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2024-03-09T12:30:43+00:00","article_modified_time":"2024-04-29T04:40:36+00:00","author":"\u6e05, \u5b87","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u6e05, \u5b87","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"2 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45703-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2024-03-09T12:30:43+00:00","dateModified":"2024-04-29T04:40:36+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/1a6ecd3d914d22a5ac32791ffc1fbd8e"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45703-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\/1a6ecd3d914d22a5ac32791ffc1fbd8e","name":"\u6e05, \u5b87","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/4b2016c18459a605fc469c7566608f5686491baa112d0871ee613f61b7210565?s=96&d=mm&r=g","caption":"\u6e05, \u5b87"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/qingyu\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45703-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\/45703","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\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45703"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45703\/revisions"}],"predecessor-version":[{"id":85335,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45703\/revisions\/85335"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45703"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45703"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45703"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}