fix(content): fix XML notations

author: nsfisis <nsfisis@gmail.com> 2023-03-19 00:47:11 +0900
committer: nsfisis <nsfisis@gmail.com> 2023-03-19 00:47:11 +0900
commit: 88b66f82aae2d7784002b07bfc7877932da3ec94 (patch)
tree: 4950a8f9f740715f2c56383309edab97df37a2f5 /public/posts/2021-10-02/rust-where-are-primitive-types-from
parent: 0e5fff11e9a455273dad77fc26796af03ddf08d3 (diff)
download: blog.nsfisis.dev-88b66f82aae2d7784002b07bfc7877932da3ec94.tar.gz
blog.nsfisis.dev-88b66f82aae2d7784002b07bfc7877932da3ec94.tar.zst
blog.nsfisis.dev-88b66f82aae2d7784002b07bfc7877932da3ec94.zip
1 files changed, 58 insertions, 58 deletions
diff --git a/public/posts/2021-10-02/rust-where-are-primitive-types-from/index.html b/public/posts/2021-10-02/rust-where-are-primitive-types-from/index.html
index 5bb46a0..9e77a85 100644
--- a/public/posts/2021-10-02/rust-where-are-primitive-types-from/index.html
+++ b/public/posts/2021-10-02/rust-where-are-primitive-types-from/index.html
@@ -9,7 +9,7 @@
     <meta name="keywords" content="Rust">
     <link rel="icon" type="image/svg+xml" href="/favicon.svg">
     <title>Rust のプリミティブ型はどこからやって来るか | REPL: Rest-Eat-Program Loop</title>
-    <link rel="stylesheet" href="/style.css?h=48694677b43b77e5c45f25e6bfdebb41">
+    <link rel="stylesheet" href="/style.css?h=36f8a090080ebb76d78b17f1d93b3ba4">
     <link rel="stylesheet" href="/hl.css?h=340e65ffd5c17713efc9107c06304f7b">
   </head>
   <body class="single">
@@ -54,7 +54,7 @@
             </ol>
           </section>
           <p>
-            この記事は Qiita から移植してきたものです。 元 URL: <a href="https://qiita.com/nsfisis/items/9a429432258bbcd6c565">https://qiita.com/nsfisis/items/9a429432258bbcd6c565</a>
+             この記事は Qiita から移植してきたものです。 元 URL: <a href="https://qiita.com/nsfisis/items/9a429432258bbcd6c565">https://qiita.com/nsfisis/items/9a429432258bbcd6c565</a>
           </p>
            
           <p>
@@ -65,7 +65,7 @@
           <section id="section--_前置き">
             <h2><a href="#section--_前置き">前置き</a></h2> 
             <p>
-              Rust において、プリミティブ型の名前は予約語でない。したがって、次のコードは合法である。
+               Rust において、プリミティブ型の名前は予約語でない。したがって、次のコードは合法である。 
             </p>
              
             <pre class="highlight" language="rust" linenumbering="unnumbered"><code class="highlight"><span class="hljs-meta">#![allow(non_camel_case_types)]</span>
@@ -90,12 +90,12 @@
 <span class="hljs-keyword">struct</span> <span class="hljs-title class_">str</span>;</code></pre>
              
             <p>
-              では、普段単に <code>bool</code> と書いたとき、この <code>bool</code> は一体どこから来ているのか。rustc のソースを追ってみた。
+               では、普段単に <code>bool</code> と書いたとき、この <code>bool</code> は一体どこから来ているのか。rustc のソースを追ってみた。 
             </p>
              
             <blockquote>
               <p>
-                前提知識: 一般的なコンパイラの構造、用語。<code>rustc</code> そのものの知識は不要 (というよりも筆者自身がよく知らない)
+                 前提知識: 一般的なコンパイラの構造、用語。<code>rustc</code> そのものの知識は不要 (というよりも筆者自身がよく知らない) 
               </p>
             </blockquote>
           </section>
@@ -103,7 +103,7 @@
           <section id="section--_調査">
             <h2><a href="#section--_調査">調査</a></h2> 
             <p>
-              調査に使用したソース (調査時点での最新 master)
+               調査に使用したソース (調査時点での最新 master) 
             </p>
              
             <p>
@@ -111,15 +111,15 @@
             </p>
              
             <p>
-              どのようにして調べるか。rustc の構造には詳しくないため、すぐに当たりをつけるのは難しい。
+               どのようにして調べるか。rustc の構造には詳しくないため、すぐに当たりをつけるのは難しい。 
             </p>
              
             <p>
-              大雑把な構造としては、<code>compiler</code> フォルダ以下に <code>rustc_*</code> という名前のクレートが数十個入っている。これがどうやら <code>rustc</code> コマンドの実装部のようだ。
+               大雑把な構造としては、<code>compiler</code> フォルダ以下に <code>rustc_*</code> という名前のクレートが数十個入っている。これがどうやら <code>rustc</code> コマンドの実装部のようだ。 
             </p>
              
             <p>
-              <code>rustc</code> はセルフホストされている (= <code>rustc</code> 自身が Rust で書かれている) ので、<code>bool</code> や <code>char</code> などで適当に検索をかけてもノイズが多すぎて話にならない。 しかし、お誂え向きなことに <code>i128</code>/<code>u128</code> というコンパイラ自身が使うことがなさそうな型が存在するのでこれを使って <code>git grep</code> してみる。
+              <code>rustc</code> はセルフホストされている (= <code>rustc</code> 自身が Rust で書かれている) ので、<code>bool</code> や <code>char</code> などで適当に検索をかけてもノイズが多すぎて話にならない。 しかし、お誂え向きなことに <code>i128</code>/<code>u128</code> というコンパイラ自身が使うことがなさそうな型が存在するのでこれを使って <code>git grep</code> してみる。 
             </p>
              
             <pre class="highlight monospaced"><code>$ git grep &quot;\bi128\b&quot; | wc      # i128
@@ -132,7 +132,7 @@ $ git grep &quot;\bbool\b&quot; | wc      # cf. bool の結果
 3563   23577  294659</code></pre>
              
             <p>
-              165 程度であれば探すことができそうだ。今回は、クレート名を見ておおよその当たりをつけた。
+               165 程度であれば探すことができそうだ。今回は、クレート名を見ておおよその当たりをつけた。 
             </p>
              
             <pre class="highlight monospaced"><code>$ git grep &quot;\bi128\b&quot;
@@ -141,7 +141,7 @@ rustc_resolve/src/lib.rs:        table.insert(sym::i128, Int(IntTy::I128));
 ...</code></pre>
              
             <p>
-              <code>rustc_resolve</code> というのはいかにも名前解決を担いそうなクレート名である。該当箇所を見てみる。
+              <code>rustc_resolve</code> というのはいかにも名前解決を担いそうなクレート名である。該当箇所を見てみる。 
             </p>
              
             <pre class="highlight" language="rust" linenumbering="unnumbered"><code class="highlight"><span class="hljs-comment">/// Interns the names of the primitive types.</span>
@@ -149,84 +149,84 @@ rustc_resolve/src/lib.rs:        table.insert(sym::i128, Int(IntTy::I128));
 <span class="hljs-comment">/// All other types are defined somewhere and possibly imported, but the primitive ones need</span>
 <span class="hljs-comment">/// special handling, since they have no place of origin.</span>
 <span class="hljs-keyword">struct</span> <span class="hljs-title class_">PrimitiveTypeTable</span> {
-primitive_types: FxHashMap&lt;Symbol, PrimTy&gt;,
+    primitive_types: FxHashMap&lt;Symbol, PrimTy&gt;,
 }
 
 <span class="hljs-keyword">impl</span> <span class="hljs-title class_">PrimitiveTypeTable</span> {
-<span class="hljs-keyword">fn</span> <span class="hljs-title function_">new</span>() <span class="hljs-punctuation">-&gt;</span> PrimitiveTypeTable {
-<span class="hljs-keyword">let</span> <span class="hljs-keyword">mut </span><span class="hljs-variable">table</span> = FxHashMap::<span class="hljs-title function_ invoke__">default</span>();
+    <span class="hljs-keyword">fn</span> <span class="hljs-title function_">new</span>() <span class="hljs-punctuation">-&gt;</span> PrimitiveTypeTable {
+        <span class="hljs-keyword">let</span> <span class="hljs-keyword">mut </span><span class="hljs-variable">table</span> = FxHashMap::<span class="hljs-title function_ invoke__">default</span>();
 
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">bool</span>, Bool);
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">char</span>, Char);
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">f32</span>, <span class="hljs-title function_ invoke__">Float</span>(FloatTy::F32));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">f64</span>, <span class="hljs-title function_ invoke__">Float</span>(FloatTy::F64));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">isize</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::Isize));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i8</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I8));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i16</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I16));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i32</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I32));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i64</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I64));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i128</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I128));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">str</span>, Str);
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">usize</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::Usize));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u8</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U8));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u16</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U16));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u32</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U32));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u64</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U64));
-table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u128</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U128));
-<span class="hljs-keyword">Self</span> { primitive_types: table }
-}
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">bool</span>, Bool);
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">char</span>, Char);
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">f32</span>, <span class="hljs-title function_ invoke__">Float</span>(FloatTy::F32));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">f64</span>, <span class="hljs-title function_ invoke__">Float</span>(FloatTy::F64));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">isize</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::Isize));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i8</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I8));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i16</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I16));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i32</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I32));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i64</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I64));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">i128</span>, <span class="hljs-title function_ invoke__">Int</span>(IntTy::I128));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">str</span>, Str);
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">usize</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::Usize));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u8</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U8));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u16</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U16));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u32</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U32));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u64</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U64));
+        table.<span class="hljs-title function_ invoke__">insert</span>(sym::<span class="hljs-type">u128</span>, <span class="hljs-title function_ invoke__">Uint</span>(UintTy::U128));
+        <span class="hljs-keyword">Self</span> { primitive_types: table }
+    }
 }</code></pre>
              
             <p>
-              これは初めに列挙したプリミティブ型の一覧と一致している。doc comment にも、
+               これは初めに列挙したプリミティブ型の一覧と一致している。doc comment にも、 
             </p>
              
             <blockquote>
               <p>
-                All other types are defined somewhere and possibly imported, but the primitive ones need special handling, since they have no place of origin.
+                 All other types are defined somewhere and possibly imported, but the primitive ones need special handling, since they have no place of origin. 
               </p>
             </blockquote>
              
             <p>
-              とある。次はこの struct の使用箇所を追う。追うと言っても使われている箇所は次の一箇所しかない。なお説明に不要な箇所は大きく削っている。
+               とある。次はこの struct の使用箇所を追う。追うと言っても使われている箇所は次の一箇所しかない。なお説明に不要な箇所は大きく削っている。 
             </p>
              
-            <pre class="highlight" language="rust" linenumbering="unnumbered"><code class="highlight">    <span class="hljs-comment">/// This resolves the identifier `ident` in the namespace `ns` in the current lexical scope.</span>
+            <pre class="highlight" language="rust" linenumbering="unnumbered"><code class="highlight"><span class="hljs-comment">/// This resolves the identifier `ident` in the namespace `ns` in the current lexical scope.</span>
 <span class="hljs-comment">/// (略)</span>
 <span class="hljs-keyword">fn</span> <span class="hljs-title function_">resolve_ident_in_lexical_scope</span>(
-&amp;<span class="hljs-keyword">mut</span> <span class="hljs-keyword">self</span>,
-<span class="hljs-keyword">mut</span> ident: Ident,
-ns: Namespace,
-<span class="hljs-comment">// (略)</span>
+    &amp;<span class="hljs-keyword">mut</span> <span class="hljs-keyword">self</span>,
+    <span class="hljs-keyword">mut</span> ident: Ident,
+    ns: Namespace,
+    <span class="hljs-comment">// (略)</span>
 ) <span class="hljs-punctuation">-&gt;</span> <span class="hljs-type">Option</span>&lt;LexicalScopeBinding&lt;<span class="hljs-symbol">&#x27;a</span>&gt;&gt; {
-<span class="hljs-comment">// (略)</span>
+    <span class="hljs-comment">// (略)</span>
 
-<span class="hljs-keyword">if</span> ns == TypeNS {
-<span class="hljs-keyword">if</span> <span class="hljs-keyword">let</span> <span class="hljs-variable">Some</span>(prim_ty) = <span class="hljs-keyword">self</span>.primitive_type_table.primitive_types.<span class="hljs-title function_ invoke__">get</span>(&amp;ident.name) {
-<span class="hljs-keyword">let</span> <span class="hljs-variable">binding</span> =
-(Res::<span class="hljs-title function_ invoke__">PrimTy</span>(*prim_ty), ty::Visibility::Public, DUMMY_SP, ExpnId::<span class="hljs-title function_ invoke__">root</span>())
-.<span class="hljs-title function_ invoke__">to_name_binding</span>(<span class="hljs-keyword">self</span>.arenas);
-<span class="hljs-keyword">return</span> <span class="hljs-title function_ invoke__">Some</span>(LexicalScopeBinding::<span class="hljs-title function_ invoke__">Item</span>(binding));
-}
-}
+    <span class="hljs-keyword">if</span> ns == TypeNS {
+        <span class="hljs-keyword">if</span> <span class="hljs-keyword">let</span> <span class="hljs-variable">Some</span>(prim_ty) = <span class="hljs-keyword">self</span>.primitive_type_table.primitive_types.<span class="hljs-title function_ invoke__">get</span>(&amp;ident.name) {
+            <span class="hljs-keyword">let</span> <span class="hljs-variable">binding</span> =
+                (Res::<span class="hljs-title function_ invoke__">PrimTy</span>(*prim_ty), ty::Visibility::Public, DUMMY_SP, ExpnId::<span class="hljs-title function_ invoke__">root</span>())
+                  .<span class="hljs-title function_ invoke__">to_name_binding</span>(<span class="hljs-keyword">self</span>.arenas);
+            <span class="hljs-keyword">return</span> <span class="hljs-title function_ invoke__">Some</span>(LexicalScopeBinding::<span class="hljs-title function_ invoke__">Item</span>(binding));
+        }
+    }
 
-<span class="hljs-literal">None</span>
+    <span class="hljs-literal">None</span>
 }</code></pre>
              
             <p>
-              関数名や doc comment が示している通り、この関数は識別子 (identifier, ident) を現在のレキシカルスコープ内で解決 (resolve) する。 <code>if ns == TypeNS</code> のブロック内では、<code>primitive_type_table</code> (上記の <code>PrimitiveTypeTable::new()</code> で作られた変数) に含まれている識別子 (<code>bool</code>、<code>i32</code> など) かどうか判定し、そうであればそれに紐づけられたプリミティブ型を返している。
+               関数名や doc comment が示している通り、この関数は識別子 (identifier, ident) を現在のレキシカルスコープ内で解決 (resolve) する。 <code>if ns == TypeNS</code> のブロック内では、<code>primitive_type_table</code> (上記の <code>PrimitiveTypeTable::new()</code> で作られた変数) に含まれている識別子 (<code>bool</code>、<code>i32</code> など) かどうか判定し、そうであればそれに紐づけられたプリミティブ型を返している。 
             </p>
              
             <p>
-              なお、<code>ns</code> は「名前空間」を示す変数である。Rust における名前空間はC言語におけるそれとほとんど同じで、今探している名前が関数名/変数名なのか型なのかマクロなのかを区別している。この <code>if</code> は、プリミティブ型に解決されるのは型を探しているときだけだ、と言っている。
+               なお、<code>ns</code> は「名前空間」を示す変数である。Rust における名前空間はC言語におけるそれとほとんど同じで、今探している名前が関数名/変数名なのか型なのかマクロなのかを区別している。この <code>if</code> は、プリミティブ型に解決されるのは型を探しているときだけだ、と言っている。 
             </p>
              
             <p>
-              重要なのは、これが <code>resolve_ident_in_lexical_scope()</code> の最後に書かれている点である。つまり、最初に挙げたプリミティブ型の識別子は、「名前解決の最終段階で」、「他に同名の型が見つかっていなければ」プリミティブ型として解決される。
+               重要なのは、これが <code>resolve_ident_in_lexical_scope()</code> の最後に書かれている点である。つまり、最初に挙げたプリミティブ型の識別子は、「名前解決の最終段階で」、「他に同名の型が見つかっていなければ」プリミティブ型として解決される。 
             </p>
              
             <p>
-              動作がわかったところで、例として次のコードを考える。
+               動作がわかったところで、例として次のコードを考える。 
             </p>
              
             <pre class="highlight" language="rust" linenumbering="unnumbered"><code class="highlight"><span class="hljs-meta">#![allow(non_camel_case_types)]</span>
@@ -234,18 +234,18 @@ ns: Namespace,
 <span class="hljs-keyword">struct</span> <span class="hljs-title class_">bool</span>;
 
 <span class="hljs-keyword">fn</span> <span class="hljs-title function_">main</span>() {
-<span class="hljs-keyword">let</span> <span class="hljs-variable">_</span>: <span class="hljs-type">bool</span> = <span class="hljs-type">bool</span>;
+    <span class="hljs-keyword">let</span> <span class="hljs-variable">_</span>: <span class="hljs-type">bool</span> = <span class="hljs-type">bool</span>;
 }</code></pre>
              
             <p>
-              ここで <code>main()</code> の <code>bool</code> は <code>struct bool</code> として解決される。なぜなら、プリミティブ型の判定をする前に <code>bool</code> という名前の別の型が見つかるからだ。
+               ここで <code>main()</code> の <code>bool</code> は <code>struct bool</code> として解決される。なぜなら、プリミティブ型の判定をする前に <code>bool</code> という名前の別の型が見つかるからだ。 
             </p>
           </section>
            
           <section id="section--_まとめ">
             <h2><a href="#section--_まとめ">まとめ</a></h2> 
             <p>
-              Rust のプリミティブ型は予約語ではない。名前解決の最終段階で特別扱いされ、他に同名の型が見つかっていなければ対応するプリミティブ型に解決される。
+               Rust のプリミティブ型は予約語ではない。名前解決の最終段階で特別扱いされ、他に同名の型が見つかっていなければ対応するプリミティブ型に解決される。 
             </p>
           </section>
         </div>
author	nsfisis <nsfisis@gmail.com>	2023-03-19 00:47:11 +0900
committer	nsfisis <nsfisis@gmail.com>	2023-03-19 00:47:11 +0900
commit	88b66f82aae2d7784002b07bfc7877932da3ec94 (patch)
tree	4950a8f9f740715f2c56383309edab97df37a2f5 /public/posts/2021-10-02/rust-where-are-primitive-types-from
parent	0e5fff11e9a455273dad77fc26796af03ddf08d3 (diff)
download	blog.nsfisis.dev-88b66f82aae2d7784002b07bfc7877932da3ec94.tar.gz blog.nsfisis.dev-88b66f82aae2d7784002b07bfc7877932da3ec94.tar.zst blog.nsfisis.dev-88b66f82aae2d7784002b07bfc7877932da3ec94.zip