{"id":45196,"date":"2023-08-17T15:47:58","date_gmt":"2023-12-26T00:57:11","guid":{"rendered":"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/"},"modified":"2024-04-30T18:56:51","modified_gmt":"2024-04-30T10:56:51","slug":"45196-2","status":"publish","type":"post","link":"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/","title":{"rendered":""},"content":{"rendered":"<p>Rust \u3067\u306f\u5909\u6570\u306e\u578b\u304c\u81ea\u52d5\u3067\u5909\u63db\u3055\u308c\u308b\u5834\u9762\u304c\u591a\u3005\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>receiver.method(&#8230;) \u5f62\u5f0f\u3067\u306e\u30e1\u30bd\u30c3\u30c9\u3092\u547c\u3073\u51fa\u3057\u3067\u884c\u308f\u308c\u308b\u578b\u5909\u63db\u3068\u3001let \u6587\u3084\u95a2\u6570\u5f15\u6570\u7b49\u3067\u884c\u308f\u308c\u308b\u578b\u5909\u63db\u306f\u4ed5\u7d44\u307f\u304c\u7570\u306a\u308a\u3001\u672c\u8a18\u4e8b\u3067\u306f\u5f8c\u8005\u306e let \u6587\u3084\u95a2\u6570\u5f15\u6570\u7b49\u3067\u884c\u308f\u308c\u308b\u578b\u5909\u63db\u306b\u3064\u3044\u3066\u307e\u3068\u3081\u307e\u3059\u3002<br \/>\n\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306b\u3064\u3044\u3066\u306f\u5225\u8a18\u4e8b\u306b\u3057\u307e\u3057\u305f\u3002<\/p>\n<p>\u53c2\u8003\u300c[Rust] \u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u6642\u306b\u304a\u3051\u308b\u30e1\u30bd\u30c3\u30c9\u63a2\u7d22\u306e\u4ed5\u7d44\u307f: \u81ea\u52d5\u53c2\u7167 &amp; \u81ea\u52d5\u53c2\u7167\u5916\u3057\u53ca\u3073 Unsized \u578b\u5f37\u5236 &#8211; Qiita\u300d<\/p>\n<h1>0. \u307e\u3068\u3081<\/h1>\n<p>\u203b Rust \u3067\u306f [T] \u578b\u3092\u300c\u30b9\u30e9\u30a4\u30b9\u300d\u3068\u547c\u3076\u5834\u5408\u3068 &amp;[T] \u578b\u3092\u300c\u30b9\u30e9\u30a4\u30b9\u300d\u3068\u547c\u3076\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u591a\u304f\u306e\u5834\u5408\u306f &amp;[T] \u3092\u610f\u5473\u3057\u307e\u3059\u3002\u672c\u8a18\u4e8b\u3067\u306f\u524d\u8005\u306e [T] \u306e\u610f\u5473\u3067\u4f7f\u7528\u3057\u307e\u3059\u3002<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u914d\u5217 [T; N] \u3068\u30b9\u30e9\u30a4\u30b9 [T] \u306f\u7570\u306a\u308b\u578b\u3067\u3042\u308b (is-a \u95a2\u4fc2\u3067\u306a\u3044) \u3002<\/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\">\u914d\u5217 [T; N] \u306f\u300cUnsized \u578b\u5f37\u5236\u300d\u3055\u308c\u3001\u30b9\u30e9\u30a4\u30b9 [T] \u306b\u306a\u308b\u3002<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\u30d9\u30af\u30bf Vec \u306f\u300cDeref \u578b\u5f37\u5236\u300d\u3055\u308c\u3001\u30b9\u30e9\u30a4\u30b9 [T] \u306b\u306a\u308b\u3002<\/ul>\n<p>\u914d\u5217 [T; N] \u306e\u300cUnsized \u578b\u5f37\u5236\u300d\u306e\u4ed5\u7d44\u307f\u306e\u6982\u8981\u306f\u4ee5\u4e0b\u306e\u901a\u308a:<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u914d\u5217 [T; N] \u306f Unsize&lt;[T]&gt; \u3092 (\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u3088\u3063\u3066\u81ea\u52d5\u7684\u306b) \u5b9f\u88c5\u3059\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u53c2\u7167\u7b49\u306b\u5bfe\u3057\u3001CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u304c\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5\u3055\u308c\u3001Rust \u306e\u578b\u5f37\u5236 (\u6697\u9ed9\u7684\u3001\u81ea\u52d5\u7684\u306a\u578b\u5909\u63db) \u306e\u5bfe\u8c61\u306b\u306a\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>\u4f8b: impl&lt;&#8216;a, &#8216;b, T, const N: usize&gt; CoerceUnsized&lt;&amp;&#8217;a [T]&gt; for &amp;&#8217;b [T; N] where &#8216;b: &#8216;a {}<\/p>\n<p>\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u306b\u95a2\u3057\u3066\u914d\u5217\u306e\u53c2\u7167\u304c\u30b9\u30e9\u30a4\u30b9\u306e\u53c2\u7167\u3088\u308a\u3082\u9577\u751f\u304d\u306e\u3068\u304d\u3001\u578b\u5f37\u5236\u30b5\u30a4\u30c8 (\u578b\u5f37\u5236\u304c\u53ef\u80fd\u306a\u5834\u6240) \u306b\u304a\u3044\u3066\u3001\u300cUnsized \u578b\u5f37\u5236\u300d\u306b\u3088\u3063\u3066\u914d\u5217\u306e\u53c2\u7167 &amp;[T; N] \u304c\u30b9\u30e9\u30a4\u30b9\u306e\u53c2\u7167 &amp;[T] \u306b\u578b\u5f37\u5236\u3055\u308c\u308b<\/p>\n<p>\u30d9\u30af\u30bf Vec \u306e\u300cDeref \u578b\u5f37\u5236\u300d\u306e\u4ed5\u7d44\u307f\u306e\u6982\u8981\u306f\u4ee5\u4e0b\u306e\u901a\u308a:<\/p>\n<ul class=\"post-ul\">\n<li style=\"list-style-type: none;\">\n<ul class=\"post-ul\">\u30d9\u30af\u30bf Vec \u306f Deref \u3092\u5b9f\u88c5\u3057\u3001Rust \u306e\u578b\u5f37\u5236 (\u6697\u9ed9\u7684\u3001\u81ea\u52d5\u7684\u306a\u578b\u5909\u63db) \u306e\u5bfe\u8c61\u306b\u306a\u308b<\/ul>\n<\/li>\n<\/ul>\n<p>\u578b\u5f37\u5236\u30b5\u30a4\u30c8 (\u578b\u5f37\u5236\u304c\u53ef\u80fd\u306a\u5834\u6240) \u306b\u304a\u3044\u3066\u3001\u300cDeref \u578b\u5f37\u5236\u300d\u306b\u3088\u3063\u3066\u30d9\u30af\u30bf\u306e\u53c2\u7167 &amp;Vec \u304c\u30b9\u30e9\u30a4\u30b9\u306e\u53c2\u7167 &amp;[T] \u306b\u578b\u5f37\u5236\u3055\u308c\u308b<\/p>\n<p>\u203b Rust \u3067\u306f\u69cb\u9020\u4f53\u3084\u30c8\u30ec\u30a4\u30c8\u7b49\u3092\u7d99\u627f\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093 (\u7d99\u627f\u306b\u8fd1\u3044\u3053\u3068\u3092\u3059\u308b\u624b\u6bb5\u306f\u3042\u308a\u307e\u3059\u304c\u672c\u8a18\u4e8b\u3067\u306f\u4e0d\u8aac\u660e) \u3002<br \/>\n\u203b\u300c\u30b9\u30fc\u30d1\u30fc\u30c8\u30ec\u30a4\u30c8\u300d\u3068\u300c\u30b5\u30d6\u30c8\u30ec\u30a4\u30c8\u300d\u306f\u305d\u308c\u81ea\u4f53\u306f\u7d99\u627f\u95a2\u4fc2\u3084 is-a \u95a2\u4fc2\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<br \/>\n\u203b Rust \u306b\u304a\u3051\u308b\u30b5\u30d6\u30bf\u30a4\u30d7 (\u6d3e\u751f\u578b) \u306f\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u95a2\u4fc2\u306e\u6a5f\u80fd\u3067\u3001\u7d99\u627f\u306e\u6a5f\u80fd\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<p>\u53c2\u8003\u300cUsing Supertraits to Require One Trait\u2019s Functionality Within Another Trait &#8211; Advanced Traits &#8211; The Rust Programming Language\u300d<br \/>\n\u53c2\u8003\u300cSubtyping and Variance &#8211; The Rust Reference\u300d<\/p>\n<h1>1. \u914d\u5217 [T; N] \u304b\u3089\u5909\u63db<\/h1>\n<h2>1.1. \u914d\u5217 [T; N] \u3068\u30b9\u30e9\u30a4\u30b9 [T] \u306f\u7570\u306a\u308b\u578b<\/h2>\n<p>\u914d\u5217 [T; N] \u3068\u30b9\u30e9\u30a4\u30b9 [T] \u306f is-a \u95a2\u4fc2\u3067\u306a\u304f\u3001\u76f4\u63a5\u578b\u5909\u63db\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"c\">\/\/ let bar: [i32] = foo; \/\/ \u578b\u5909\u63db\u4e0d\u53ef: [i32; 3] -&gt; [i32]<\/span>\r\n<\/code><\/pre>\n<h2>1.2. Unsize\u30c8\u30ec\u30a4\u30c8\u306f\u52d5\u7684\u30b5\u30a4\u30ba\u578b\u306b\u5909\u63db\u3067\u304d\u308b\u7279\u6027<\/h2>\n<p>Rust \u306b\u304a\u3044\u3066 &#8220;sized&#8221; \u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b\u30b5\u30a4\u30ba\u3092\u6c7a\u5b9a\u3067\u304d\u308b (\u56fa\u5b9a\u30b5\u30a4\u30ba\u3067\u3042\u308b) \u7279\u6027\u3092\u610f\u5473\u3057\u3001&#8221;unsize&#8221; \u306f\u63a5\u982d\u8f9e &#8220;un-&#8221; \u304c\u540d\u8a5e &#8220;size&#8221; \u306b\u3064\u3044\u3066\u3044\u308b\u306e\u3067\u76f4\u8a33\u3059\u308b\u3068\u300c\u56fa\u5b9a\u30b5\u30a4\u30ba\u3068\u3044\u3046\u7279\u6027\u3092\u306a\u304f\u3059\u300d\u3001\u3059\u306a\u308f\u3061\u300c\u56fa\u5b9a\u30b5\u30a4\u30ba\u578b\u304b\u3089\u52d5\u7684\u30b5\u30a4\u30ba\u578b\u306b\u5909\u63db\u3059\u308b\u300d\u3068\u3044\u3046\u610f\u5473\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>\u53c2\u8003\u300cun-\u306e\u610f\u5473\u30fb\u4f7f\u3044\u65b9\u30fb\u8aad\u307f\u65b9 | Weblio\u82f1\u548c\u8f9e\u66f8\u300d<\/p>\n<p>Unsize \u30c8\u30ec\u30a4\u30c8\u306f\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u3088\u3063\u3066\u81ea\u52d5\u7684\u306b\u5b9f\u88c5\u3055\u308c\u307e\u3059\u3002<\/p>\n<p>\u914d\u5217 [T; N] \u306f Unsize&lt;[T]&gt; \u3092\u5b9f\u88c5\u3057\u3001\u578b\u5f37\u5236\u30b5\u30a4\u30c8 (\u578b\u5f37\u5236\u304c\u53ef\u80fd\u306a\u5834\u6240) \u306b\u304a\u3044\u3066 CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u306e\u5b9f\u88c5\u306b\u5f93\u3063\u3066 (\u203b\u5f8c\u8ff0) \u914d\u5217 [T; N] \u3092\u30b9\u30e9\u30a4\u30b9 [T] \u306b\u5909\u63db\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002<\/p>\n<p>\u203b let slice: [_] = array; \u306e\u3088\u3046\u306a\u5358\u306a\u308b\u5909\u6570\u675f\u7e1b\u306f CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u304c\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5\u3055\u308c\u306a\u3044 (\u203b\u5f8c\u8ff0) \u305f\u3081\u3001\u578b\u5f37\u5236\u3055\u308c\u307e\u305b\u3093 (\u578b\u6307\u5b9a\u3042\u308a\u306e let \u6587\u81ea\u4f53\u306f\u578b\u5f37\u5236\u30b5\u30a4\u30c8\u3067\u3059) \u3002<\/p>\n<p>\u53c2\u8003\u300cUnsize in std::marker &#8211; Rust\u300d<br \/>\n\u53c2\u8003\u300cCoercion sites &#8211; Type coercions &#8211; The Rust Reference\u300d<\/p>\n<h2>1.3. CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u306e\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5<\/h2>\n<p>Rust \u306b\u306f\u3001\u30c8\u30ec\u30a4\u30c8\u5883\u754c\u7b49\u306e\u6761\u4ef6\u3092\u6e80\u305f\u3059\u578b\u306b\u4ed6\u306e\u30c8\u30ec\u30a4\u30c8\u3092\u5b9f\u88c5\u3055\u305b\u308b\u300c\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5\u300d\u3068\u3044\u3046\u6a5f\u80fd\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u53c2\u8003\u300cUsing Trait Bounds to Conditionally Implement Methods &#8211; Traits: Defining Shared Behavior &#8211; The Rust Programming Language\u300d<\/p>\n<p>CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u306f\u53c2\u7167\u7b49\u306e\u300c\u30dd\u30a4\u30f3\u30bf\u306e\u3088\u3046\u306a\u578b\u300d\u306b\u5bfe\u3057\u3066\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5\u3055\u308c\u307e\u3059\u3002<\/p>\n<p>\u4f8b\u3048\u3070\u3001&amp;T -&gt; &amp;U \u306b\u95a2\u3057\u3066\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u5b9f\u88c5\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">impl<\/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=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">CoerceUnsized<\/span><span class=\"o\">&lt;&amp;<\/span><span class=\"nv\">'a<\/span> <span class=\"n\">U<\/span><span class=\"o\">&gt;<\/span> <span class=\"k\">for<\/span> <span class=\"o\">&amp;<\/span><span class=\"nv\">'b<\/span> <span class=\"n\">T<\/span>\r\n<span class=\"k\">where<\/span>\r\n    <span class=\"nv\">'b<\/span><span class=\"p\">:<\/span> <span class=\"nv\">'a<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">T<\/span><span class=\"p\">:<\/span> <span class=\"n\">Unsize<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">U<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">+<\/span> <span class=\"o\">?<\/span><span class=\"n\">Sized<\/span><span class=\"p\">,<\/span>\r\n    <span class=\"n\">U<\/span><span class=\"p\">:<\/span> <span class=\"o\">?<\/span><span class=\"n\">Sized<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">{<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<p>\u53c2\u8003\u300cCoerceUnsized in std::ops &#8211; Rust\u300d<\/p>\n<p>\u30c8\u30ec\u30a4\u30c8\u5883\u754c B: A \u306f\u300c\u578b B \u304c\u30c8\u30ec\u30a4\u30c8 A \u3092\u5b9f\u88c5\u3057\u3066\u3044\u308b\u300d\u95a2\u4fc2 (has-a \u95a2\u4fc2) \u3092\u6761\u4ef6\u3068\u3059\u308b\u3053\u3068\u3092\u8868\u3057\u307e\u3059\u3002<\/p>\n<p>\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u5883\u754c &#8216;b: &#8216;a \u306f\u300c\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0 b \u306f\u5c11\u306a\u304f\u3068\u3082\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0 a \u306e\u9593\u306b\u751f\u304d\u3066\u3044\u308b\u5fc5\u8981\u304c\u3042\u308b\u300d\u3059\u306a\u308f\u3061\u300c\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0 b \u306f\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0 a \u3088\u308a\u3082\u9577\u751f\u304d\u3067\u3042\u308b\u300d\u6761\u4ef6\u3092\u8868\u3057\u307e\u3059\u3002<\/p>\n<p>\u53c2\u8003\u300cBounds &#8211; Rust By Example\u300d(\u300c\u30c8\u30ec\u30a4\u30c8\u5883\u754c\u300d)<br \/>\n\u53c2\u8003\u300cBounds &#8211; Rust By Example\u300d(\u300c\u30e9\u30a4\u30d5\u30bf\u30a4\u30e0\u5883\u754c\u300d)<\/p>\n<p>Sized \u30c8\u30ec\u30a4\u30c8\u306f\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u3088\u3063\u3066\u81ea\u52d5\u7684\u306b\u5b9f\u88c5\u3055\u308c\u307e\u3059\u3002<\/p>\n<p>\u82f1\u8a9e\u304c\u82e6\u624b\u3060\u3068\u6df7\u4e71\u3057\u3084\u3059\u3044\u3067\u3059\u304c\u3001Sized \u30c8\u30ec\u30a4\u30c8\u306f\u300c\u56fa\u5b9a\u30b5\u30a4\u30ba\u3067\u3042\u308b\u7279\u6027\u300d\u3067\u3001Unsize \u30c8\u30ec\u30a4\u30c8\u306f\u300c\u52d5\u7684\u30b5\u30a4\u30ba\u578b\u306b\u5909\u63db\u3067\u304d\u308b\u7279\u6027\u300d\u306a\u306e\u3067\u3001\u6392\u53cd\u3067\u306f\u3042\u308a\u307e\u305b\u3093 (\u5b9f\u969b\u3001\u914d\u5217 [T; N] \u306f Sized \u3068 Unsize&lt;[T]&gt; \u306e\u4e21\u65b9\u3092\u5b9f\u88c5\u3057\u307e\u3059) \u3002<\/p>\n<p>\u30c8\u30ec\u30a4\u30c8\u5883\u754c ?Sized \u306f\u6697\u9ed9\u306e\u30c8\u30ec\u30a4\u30c8\u5883\u754c Sized \u3092\u9664\u53bb\u3059\u308b\u305f\u3081\u306e\u3082\u306e\u3067\u3059\u304c\u3001\u300cSized \u30c8\u30ec\u30a4\u30c8\u3092\u5b9f\u88c5\u3057\u306a\u3044\u578b\u3066\u3082\u826f\u3044\u300d\u3068\u3044\u3046\u610f\u5473\u306a\u306e\u3067\u3001\u300cSized \u30c8\u30ec\u30a4\u30c8\u3092\u5b9f\u88c5\u3057\u3066\u3044\u308b\u578b\u3082\u300d\u6761\u4ef6\u3092\u6e80\u305f\u3057\u307e\u3059\u3002<\/p>\n<p>\u53c2\u8003\u300cUnsize in std::marker &#8211; Rust\u300d<br \/>\n\u53c2\u8003\u300cSized in std::marker &#8211; Rust\u300d<br \/>\n\u53c2\u8003\u300cSized &#8211; Special types and traits &#8211; The Rust Reference\u300d<\/p>\n<p>\u3088\u3063\u3066 [T; N]: Unsize&lt;[T]&gt; \u306e\u95a2\u4fc2\u304b\u3089 type T = [T; N];, type U = [T]; \u3068\u3057\u3066 CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u304c\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5\u3055\u308c\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">impl<\/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=\"n\">T<\/span><span class=\"p\">,<\/span> <span class=\"k\">const<\/span> <span class=\"n\">N<\/span><span class=\"p\">:<\/span> <span class=\"nb\">usize<\/span><span class=\"o\">&gt;<\/span> <span class=\"n\">CoerceUnsized<\/span><span class=\"o\">&lt;&amp;<\/span><span class=\"nv\">'a<\/span> <span class=\"p\">[<\/span><span class=\"n\">T<\/span><span class=\"p\">]<\/span><span class=\"o\">&gt;<\/span> <span class=\"k\">for<\/span> <span class=\"o\">&amp;<\/span><span class=\"nv\">'b<\/span> <span class=\"p\">[<\/span><span class=\"n\">T<\/span><span class=\"p\">;<\/span> <span class=\"n\">N<\/span><span class=\"p\">]<\/span>\r\n<span class=\"k\">where<\/span>\r\n    <span class=\"nv\">'b<\/span><span class=\"p\">:<\/span> <span class=\"nv\">'a<\/span><span class=\"p\">,<\/span>\r\n<span class=\"p\">{<\/span>\r\n<span class=\"p\">}<\/span>\r\n<\/code><\/pre>\n<h2>1.4. Unsized \u578b\u5f37\u5236<\/h2>\n<p>\u524d\u8ff0\u306e\u901a\u308a\u3001Rust \u306b\u304a\u3044\u3066 &#8220;unsize&#8221; \u306f\u300c\u56fa\u5b9a\u30b5\u30a4\u30ba\u578b\u304b\u3089\u52d5\u7684\u30b5\u30a4\u30ba\u578b\u306b\u5909\u63db\u3059\u308b\u300d\u3068\u3044\u3046\u610f\u5473\u3067\u3059\u3002<\/p>\n<p>\u30b3\u30f3\u30d1\u30a4\u30e9\u306b\u3088\u3063\u3066 Unsize \u30c8\u30ec\u30a4\u30c8\u304c\u5b9f\u88c5\u3055\u308c\u3001\u7d50\u679c\u3068\u3057\u3066 CoerceUnsized \u30c8\u30ec\u30a4\u30c8\u304c\u30d6\u30e9\u30f3\u30b1\u30c3\u30c8\u5b9f\u88c5\u3055\u308c\u307e\u3059\u3002<\/p>\n<p>\u30b3\u30f3\u30d1\u30a4\u30e9\u306f\u578b\u5f37\u5236\u30b5\u30a4\u30c8\u306b\u304a\u3044\u3066 CoerceUnsized \u30c8\u30ec\u30a4\u30c8 \u306e\u5b9f\u88c5\u306b\u57fa\u3065\u3044\u3066\u578b\u5f37\u5236\u3092\u3057\u307e\u3059 (\u300cUnsized \u578b\u5f37\u5236\u300d) \u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Unsized \u578b\u5f37\u5236: &amp;[i32; 3] -&gt; &amp;[i32]<\/span>\r\n<\/code><\/pre>\n<p>\u53c2\u8003\u300cCoerceUnsized in std::ops &#8211; Rust\u300d<br \/>\n\u53c2\u8003\u300cUnsized Coercions &#8211; Type coercions &#8211; The Rust Reference\u300d<\/p>\n<p>Unsize \u306f\u624b\u52d5\u3067 (Rust \u4e0a\u306e\u30b3\u30fc\u30c9\u306b\u3088\u3063\u3066) \u5b9f\u88c5\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u304c\u3001\u300cUnsized \u578b\u5f37\u5236\u300d\u306e\u6761\u4ef6\u304b\u3089\u3001\u4ee5\u4e0b\u306e\u30b3\u30fc\u30c9\u306e\u3088\u3046\u306b\u914d\u5217\u3068\u30b9\u30e9\u30a4\u30b9\u306e\u578b\u5909\u63db\u3092\u7591\u4f3c\u7684\u306b\u8868\u73fe\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">struct<\/span> <span class=\"n\">Something<\/span><span class=\"o\">&lt;<\/span><span class=\"n\">T<\/span><span class=\"p\">:<\/span> <span class=\"o\">?<\/span><span class=\"n\">Sized<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">(<\/span><span class=\"n\">T<\/span><span class=\"p\">);<\/span>\r\n\r\n<span class=\"k\">type<\/span> <span class=\"n\">MyArray<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">Something<\/span><span class=\"p\">::<\/span><span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">type<\/span> <span class=\"n\">MySlice<\/span> <span class=\"o\">=<\/span> <span class=\"nn\">Something<\/span><span class=\"p\">::<\/span><span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">MyArray<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"nf\">Something<\/span><span class=\"p\">([<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">]);<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">MySlice<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Unsized \u578b\u5f37\u5236: &amp;MyArray -&gt; &amp;MySlice<\/span>\r\n<\/code><\/pre>\n<h1>2. \u30d9\u30af\u30bf Vec \u304b\u3089\u5909\u63db<\/h1>\n<h2>2.1. Deref \u578b\u5f37\u5236<\/h2>\n<p>\u30d9\u30af\u30bf\u306e\u5834\u5408\u306f\u914d\u5217\u3088\u308a\u3082\u5358\u7d14\u3067\u3001\u30d9\u30af\u30bf Vec \u304c Deref \u3092\u5b9f\u88c5\u3057\u3066\u3044\u308b\u305f\u3081\u3001\u578b\u5f37\u5236\u30b5\u30a4\u30c8\u306b\u304a\u3044\u3066\u300cDeref \u578b\u5f37\u5236\u300d\u3055\u308c\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n<\/code><\/pre>\n<p>\u53c2\u8003\u300cDeref &#8211; Vec in std::vec &#8211; Rust\u300d<br \/>\n\u53c2\u8003\u300cDeref in std::ops &#8211; Rust\u300d<\/p>\n<p>\u3061\u306a\u307f\u306b\u300cDeref \u578b\u5f37\u5236\u300d\u306e\u6761\u4ef6\u3060\u3051\u898b\u308b\u3068\u3001\u7406\u8ad6\u4e0a\u3001\u53c2\u7167\u5916\u3057\u6f14\u7b97\u5b50 * \u3092\u7528\u3044\u3066 Vec -&gt; [T] \u306e\u578b\u5f37\u5236\u304c\u3067\u304d\u308b\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u304c\u3001\u5b9f\u969b\u306b\u306f\u30b9\u30e9\u30a4\u30b9 [T] \u304c\u52d5\u7684\u30b5\u30a4\u30ba\u578b\u306e\u305f\u3081\u3001\u5c11\u306a\u304f\u3068\u3082\u73fe\u30d0\u30fc\u30b8\u30e7\u30f3 (Rust 2018, 1.55.0) \u306e Rust \u3067\u306f\u5229\u7528\u3067\u304d\u307e\u305b\u3093\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"c\">\/\/ let bar: [i32] = *foo; \/\/ Deref \u578b\u5f37\u5236: *foo -&gt; *Deref::deref(&amp;foo) \/\/ \u73fe\u30d0\u30fc\u30b8\u30e7\u30f3\u3067\u306f\u4e0d\u53ef<\/span>\r\n<\/code><\/pre>\n<h2>2.2. Deref \u30c8\u30ec\u30a4\u30c8\u306e\u4f7f\u7528\u4f8b<\/h2>\n<p>Deref \u30c8\u30ec\u30a4\u30c8\u306e\u52d5\u4f5c\u3092\u78ba\u8a8d\u3059\u308b\u305f\u3081\u306b\u3001\u4f8b\u3068\u3057\u3066\u5b9f\u88c5\u3057\u307e\u3059\u3002<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">use<\/span> <span class=\"nn\">std<\/span><span class=\"p\">::<\/span><span class=\"nn\">ops<\/span><span class=\"p\">::<\/span><span class=\"n\">Deref<\/span><span class=\"p\">;<\/span>\r\n\r\n<span class=\"k\">struct<\/span> <span class=\"nf\">Foo<\/span><span class=\"p\">(<\/span><span class=\"nb\">i32<\/span><span class=\"p\">);<\/span>\r\n<span class=\"k\">impl<\/span> <span class=\"n\">Deref<\/span> <span class=\"k\">for<\/span> <span class=\"n\">Foo<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">type<\/span> <span class=\"n\">Target<\/span> <span class=\"o\">=<\/span> <span class=\"nb\">i32<\/span><span class=\"p\">;<\/span>\r\n\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">deref<\/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\">i32<\/span> <span class=\"p\">{<\/span>\r\n        <span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"na\">.0<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"c\">\/\/ <\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"n\">Foo<\/span> <span class=\"o\">=<\/span> <span class=\"nf\">Foo<\/span><span class=\"p\">(<\/span><span class=\"mi\">23<\/span><span class=\"p\">);<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">Foo<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"n\">foo<\/span><span class=\"p\">;<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">baz<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">i32<\/span> <span class=\"o\">=<\/span> <span class=\"n\">bar<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: &amp;Foo -&gt; &amp;i32<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">qux<\/span><span class=\"p\">:<\/span> <span class=\"nb\">i32<\/span> <span class=\"o\">=<\/span> <span class=\"o\">*<\/span><span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: *foo -&gt; *Deref::deref(&amp;foo)<\/span>\r\n<\/code><\/pre>\n<p>\u53c2\u8003\u300cDeref in std::ops &#8211; Rust\u300d<\/p>\n<h1>3. \u63a8\u79fb\u7684\u306a\u578b\u5f37\u5236<\/h1>\n<h2>3.1. \u81ea\u52d5\u53c2\u7167\u5916\u3057\u3068 Unsized \u578b\u5f37\u5236\u306f\u4e21\u7acb\u3067\u304d\u306a\u3044 (\u4eca\u5f8c\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u3067\u5909\u66f4\u3055\u308c\u308b\u53ef\u80fd\u6027\u3042\u308a\uff1f)<\/h2>\n<p>\u7406\u60f3\u7684\u306b\u306f\u63a8\u79fb\u7684\u306b\u578b\u5f37\u5236\u3055\u308c\u3066\u6b32\u3057\u3044\u3067\u3059\u304c\u3001\u5c11\u306a\u304f\u3068\u3082\u73fe\u5728 (Rust 2018, 1.55.0) \u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u3067\u306f\u81ea\u52d5\u53c2\u7167\u5916\u3057\u3068 Unsized \u578b\u5f37\u5236\u306e\u4e21\u7acb\u304c\u3067\u304d\u307e\u305b\u3093\u3002<\/p>\n<p>Rust \u306e\u30ea\u30d5\u30a1\u30ec\u30f3\u30b9\u306b<\/p>\n<blockquote><p>T_1 to T_3 where T_1 coerces to T_2 and T_2 coerces to T_3<br \/>\n(transitive case)<\/p>\n<p>Note that this is not fully supported yet.<\/p><\/blockquote>\n<p>\u3068\u66f8\u304b\u308c\u3066\u3044\u308b\u305f\u3081\u3001&#8221;not fully supported yet&#8221; \u306a (\u300c\u307e\u3060\u5b8c\u5168\u306b\u306f\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u3066\u3044\u306a\u3044\u300d) \u30b1\u30fc\u30b9\u304b\u3068\u601d\u3044\u307e\u3059\u3002<\/p>\n<p>\u203b receiver.method(&#8230;) \u5f62\u5f0f\u3067\u306e\u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u306b\u95a2\u3057\u3066\u306f\u4ed5\u7d44\u307f\u304c\u7570\u306a\u308b\u305f\u3081\u3001\u53c2\u7167\u5916\u3057\u3068 Unsized \u578b\u5f37\u5236\u306e\u4e21\u65b9\u304c\u884c\u308f\u308c\u307e\u3059\u3002<\/p>\n<p>\u53c2\u8003\u300cCoercion types &#8211; Type coercions &#8211; The Rust Reference\u300d<br \/>\n\u53c2\u8003\u300c[Rust] \u30e1\u30bd\u30c3\u30c9\u547c\u3073\u51fa\u3057\u6642\u306b\u304a\u3051\u308b\u30e1\u30bd\u30c3\u30c9\u63a2\u7d22\u306e\u4ed5\u7d44\u307f: \u81ea\u52d5\u53c2\u7167 &amp; \u81ea\u52d5\u53c2\u7167\u5916\u3057\u53ca\u3073 Unsized \u578b\u5f37\u5236 &#8211; Qiita\u300d<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Unsized \u578b\u5f37\u5236: &amp;[i32; 3] -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">baz<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;&amp;&amp;<\/span><span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ \u81ea\u52d5\u53c2\u7167\u5916\u3057: &amp;&amp;&amp;&amp;[i32; 3] -&gt; &amp;[i32; 3]<\/span>\r\n\r\n<span class=\"c\">\/\/ let qux: &amp;[i32] = &amp;&amp;&amp;foo; \/\/ \u30a8\u30e9\u30fc\u767a\u751f<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"k\">trait<\/span> <span class=\"n\">Foo<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">,<\/span> <span class=\"mi\">_<\/span><span class=\"n\">other<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/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\">Foo<\/span> <span class=\"k\">for<\/span> <span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">,<\/span> <span class=\"mi\">_<\/span><span class=\"n\">other<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/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\">\"Foo\"<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"c\">\/\/<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">;<\/span> <span class=\"mi\">3<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"mi\">40<\/span><span class=\"p\">,<\/span> <span class=\"mi\">50<\/span><span class=\"p\">,<\/span> <span class=\"mi\">60<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"n\">foo<\/span><span class=\"nf\">.something<\/span><span class=\"p\">(<\/span><span class=\"n\">bar<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ bar \u306f Unsized \u578b\u5f37\u5236: &amp;[i32; 3] -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"k\">as<\/span> <span class=\"n\">Foo<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">::<\/span><span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"n\">foo<\/span><span class=\"p\">,<\/span> <span class=\"n\">bar<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ Unsized \u578b\u5f37\u5236: &amp;[i32; 3] -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"c\">\/\/ foo.something(&amp;&amp;&amp;bar); \/\/ \u30a8\u30e9\u30fc\u767a\u751f<\/span>\r\n\r\n<span class=\"c\">\/\/ &lt;[i32] as Foo&gt;::something(&amp;&amp;&amp;foo, &amp;&amp;&amp;bar); \/\/ \u30a8\u30e9\u30fc\u767a\u751f<\/span>\r\n\r\n<span class=\"c\">\/\/<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">baz<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Unsized \u578b\u5f37\u5236: &amp;[i32; 3] -&gt; &amp;[i32]<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">qux<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">bar<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Unsized \u578b\u5f37\u5236: &amp;[i32; 3] -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"n\">baz<\/span><span class=\"nf\">.something<\/span><span class=\"p\">(<\/span><span class=\"n\">qux<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ qux \u306f\u81ea\u52d5\u53c2\u7167\u5916\u3057: &amp;&amp;&amp;&amp;[i32] -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"k\">as<\/span> <span class=\"n\">Foo<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">::<\/span><span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"n\">baz<\/span><span class=\"p\">,<\/span> <span class=\"n\">qux<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ \u81ea\u52d5\u53c2\u7167\u5916\u3057: &amp;&amp;&amp;&amp;[i32] -&gt; &amp;[i32]<\/span>\r\n<\/code><\/pre>\n<h2>3.2. \u81ea\u52d5\u53c2\u7167\u5916\u3057\u3068 Deref \u578b\u5f37\u5236\u306f\u4e21\u7acb\u3067\u304d\u308b<\/h2>\n<p>\u305d\u3082\u305d\u3082 Deref \u578b\u5f37\u5236\u306f\u53c2\u7167\u5916\u3057\u3059\u308b\u3068\u304d\u306b\u8d77\u304d\u308b (T: Deref \u306e\u3068\u304d &amp;T -&gt; &amp;U) \u305f\u3081\u3001\u73fe\u30d0\u30fc\u30b8\u30e7\u30f3\u306e Rust \u3067\u3082\u81ea\u52d5\u53c2\u7167\u5916\u3057\u3068 Deref \u578b\u5f37\u5236\u306e\u4f75\u7528\u306f\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u53c2\u8003\u300cMore on Deref coercion &#8211; Deref in std::ops &#8211; Rust\u300d<\/p>\n<pre class=\"post-pre\"><code><span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">baz<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;&amp;&amp;<\/span><span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ \u81ea\u52d5\u53c2\u7167\u5916\u3057: &amp;&amp;&amp;&amp;Vec&lt;i32&gt; -&gt; &amp;Vec&lt;i32&gt;<\/span>\r\n\r\n<span class=\"k\">let<\/span> <span class=\"n\">qux<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;&amp;&amp;<\/span><span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ \u63a8\u79fb\u7684\u306a\u578b\u5f37\u5236: &amp;&amp;&amp;&amp;Vec&lt;i32&gt; -&gt; &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n<\/code><\/pre>\n<pre class=\"post-pre\"><code><span class=\"k\">trait<\/span> <span class=\"n\">Foo<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">,<\/span> <span class=\"mi\">_<\/span><span class=\"n\">other<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/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\">Foo<\/span> <span class=\"k\">for<\/span> <span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"p\">{<\/span>\r\n    <span class=\"k\">fn<\/span> <span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;<\/span><span class=\"k\">self<\/span><span class=\"p\">,<\/span> <span class=\"mi\">_<\/span><span class=\"n\">other<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/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\">\"Foo\"<\/span><span class=\"p\">);<\/span>\r\n    <span class=\"p\">}<\/span>\r\n<span class=\"p\">}<\/span>\r\n\r\n<span class=\"c\">\/\/<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">foo<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">bar<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"nb\">Vec<\/span><span class=\"o\">&lt;<\/span><span class=\"nb\">i32<\/span><span class=\"o\">&gt;<\/span> <span class=\"o\">=<\/span> <span class=\"o\">&amp;<\/span><span class=\"nd\">vec!<\/span><span class=\"p\">[<\/span><span class=\"mi\">10<\/span><span class=\"p\">,<\/span> <span class=\"mi\">20<\/span><span class=\"p\">,<\/span> <span class=\"mi\">30<\/span><span class=\"p\">];<\/span>\r\n\r\n<span class=\"n\">foo<\/span><span class=\"nf\">.something<\/span><span class=\"p\">(<\/span><span class=\"n\">bar<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ bar \u306f Deref \u578b\u5f37\u5236: &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"k\">as<\/span> <span class=\"n\">Foo<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">::<\/span><span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"n\">foo<\/span><span class=\"p\">,<\/span> <span class=\"n\">bar<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"n\">foo<\/span><span class=\"nf\">.something<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;&amp;&amp;<\/span><span class=\"n\">bar<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ &amp;&amp;&amp;bar \u306f\u63a8\u79fb\u7684\u306a\u578b\u5f37\u5236: &amp;&amp;&amp;&amp;Vec&lt;i32&gt; -&gt; &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"k\">as<\/span> <span class=\"n\">Foo<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">::<\/span><span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"o\">&amp;&amp;&amp;<\/span><span class=\"n\">foo<\/span><span class=\"p\">,<\/span> <span class=\"o\">&amp;&amp;&amp;<\/span><span class=\"n\">bar<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ \u63a8\u79fb\u7684\u306a\u578b\u5f37\u5236: &amp;&amp;&amp;&amp;Vec&lt;i32&gt; -&gt; &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"c\">\/\/<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">baz<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">foo<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n<span class=\"k\">let<\/span> <span class=\"n\">qux<\/span><span class=\"p\">:<\/span> <span class=\"o\">&amp;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"o\">=<\/span> <span class=\"n\">bar<\/span><span class=\"p\">;<\/span> <span class=\"c\">\/\/ Deref \u578b\u5f37\u5236: &amp;Vec&lt;i32&gt; -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"n\">baz<\/span><span class=\"nf\">.something<\/span><span class=\"p\">(<\/span><span class=\"n\">qux<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ qux \u306f\u81ea\u52d5\u53c2\u7167\u5916\u3057: &amp;&amp;&amp;&amp;[i32] -&gt; &amp;[i32]<\/span>\r\n\r\n<span class=\"o\">&lt;<\/span><span class=\"p\">[<\/span><span class=\"nb\">i32<\/span><span class=\"p\">]<\/span> <span class=\"k\">as<\/span> <span class=\"n\">Foo<\/span><span class=\"o\">&gt;<\/span><span class=\"p\">::<\/span><span class=\"nf\">something<\/span><span class=\"p\">(<\/span><span class=\"n\">baz<\/span><span class=\"p\">,<\/span> <span class=\"n\">qux<\/span><span class=\"p\">);<\/span> <span class=\"c\">\/\/ \u81ea\u52d5\u53c2\u7167\u5916\u3057: &amp;&amp;&amp;&amp;[i32] -&gt; &amp;[i32]<\/span>\r\n<\/code><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>Rust \u3067\u306f\u5909\u6570\u306e\u578b\u304c\u81ea\u52d5\u3067\u5909\u63db\u3055\u308c\u308b\u5834\u9762\u304c\u591a\u3005\u3042\u308a\u307e\u3059\u3002 receiver.method(&#8230;) [&hellip;]<\/p>\n","protected":false},"author":8,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-45196","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\/45196-2\/\" \/>\n<meta property=\"og:locale\" content=\"zh_CN\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:description\" content=\"Rust \u3067\u306f\u5909\u6570\u306e\u578b\u304c\u81ea\u52d5\u3067\u5909\u63db\u3055\u308c\u308b\u5834\u9762\u304c\u591a\u3005\u3042\u308a\u307e\u3059\u3002 receiver.method(&#8230;) [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Blog - Silicon Cloud\" \/>\n<meta property=\"article:published_time\" content=\"2023-12-26T00:57:11+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-04-30T10:56:51+00:00\" \/>\n<meta name=\"author\" content=\"\u96c5, \u609f\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u4f5c\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"\u96c5, \u609f\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 \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\/45196-2\/\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/\",\"name\":\"- Blog - Silicon Cloud\",\"isPartOf\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\"},\"datePublished\":\"2023-12-26T00:57:11+00:00\",\"dateModified\":\"2024-04-30T10:56:51+00:00\",\"author\":{\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6\"},\"inLanguage\":\"zh-Hans\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/\"]}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#website\",\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/\",\"name\":\"Blog - Silicon Cloud\",\"description\":\"\",\"inLanguage\":\"zh-Hans\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6\",\"name\":\"\u96c5, \u609f\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g\",\"caption\":\"\u96c5, \u609f\"},\"url\":\"https:\/\/www.silicloud.com\/zh\/blog\/author\/yawu\/\"},{\"@type\":\"ImageObject\",\"inLanguage\":\"zh-Hans\",\"@id\":\"https:\/\/www.silicloud.com\/zh\/blog\/45196-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\/45196-2\/","og_locale":"zh_CN","og_type":"article","og_description":"Rust \u3067\u306f\u5909\u6570\u306e\u578b\u304c\u81ea\u52d5\u3067\u5909\u63db\u3055\u308c\u308b\u5834\u9762\u304c\u591a\u3005\u3042\u308a\u307e\u3059\u3002 receiver.method(&#8230;) [&hellip;]","og_url":"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/","og_site_name":"Blog - Silicon Cloud","article_published_time":"2023-12-26T00:57:11+00:00","article_modified_time":"2024-04-30T10:56:51+00:00","author":"\u96c5, \u609f","twitter_card":"summary_large_image","twitter_misc":{"\u4f5c\u8005":"\u96c5, \u609f","\u9884\u8ba1\u9605\u8bfb\u65f6\u95f4":"5 \u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/","url":"https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/","name":"- Blog - Silicon Cloud","isPartOf":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website"},"datePublished":"2023-12-26T00:57:11+00:00","dateModified":"2024-04-30T10:56:51+00:00","author":{"@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6"},"inLanguage":"zh-Hans","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.silicloud.com\/zh\/blog\/45196-2\/"]}]},{"@type":"WebSite","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#website","url":"https:\/\/www.silicloud.com\/zh\/blog\/","name":"Blog - Silicon Cloud","description":"","inLanguage":"zh-Hans"},{"@type":"Person","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/f044a4b7fa4ee2701702942002419ca6","name":"\u96c5, \u609f","image":{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e71a913e914f1aad1efc391f92084294bac54bc782acd289638580134cf667a6?s=96&d=mm&r=g","caption":"\u96c5, \u609f"},"url":"https:\/\/www.silicloud.com\/zh\/blog\/author\/yawu\/"},{"@type":"ImageObject","inLanguage":"zh-Hans","@id":"https:\/\/www.silicloud.com\/zh\/blog\/45196-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\/45196","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/comments?post=45196"}],"version-history":[{"count":2,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45196\/revisions"}],"predecessor-version":[{"id":93691,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/posts\/45196\/revisions\/93691"}],"wp:attachment":[{"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/media?parent=45196"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/categories?post=45196"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.silicloud.com\/zh\/blog\/wp-json\/wp\/v2\/tags?post=45196"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}