From 7f15e0b8277ac8b101b4f71ce57c1c5442927141 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sat, 18 Mar 2023 19:51:06 +0900 Subject: fix(nuldoc): fix whitespaces being trimmed --- .../index.html | 82 +++++++------- .../python-unbound-local-error/index.html | 30 +++--- .../ruby-detect-running-implementation/index.html | 74 ++++++------- .../ruby-then-keyword-and-case-in/index.html | 116 ++++++++++---------- .../rust-where-are-primitive-types-from/index.html | 78 +++++++------- .../index.html | 98 ++++++++--------- .../vim-swap-order-of-selected-lines/index.html | 118 ++++++++++----------- 7 files changed, 298 insertions(+), 298 deletions(-) (limited to 'public/posts/2021-10-02') diff --git a/public/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/index.html b/public/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/index.html index 74ad22d..dc9d084 100644 --- a/public/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/index.html +++ b/public/posts/2021-10-02/cpp-you-can-use-keywords-in-attributes/index.html @@ -57,18 +57,18 @@

- この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/94090937bcf860cfa93b + この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/94090937bcf860cfa93b

- +

- +

タイトル落ち。まずはこのコードを見て欲しい。

- + 
#include <iostream>
 
 [[alignas]] [[alignof]] [[and]] [[and_eq]] [[asm]] [[auto]] [[bitand]]
@@ -88,105 +88,105 @@
 int main() {
 std::cout << "Hello, World!" << std::endl;
 }
- +

コンパイラのバージョン $ clang++ –version Apple clang version 11.0.0 (clang-1100.0.33.8) Target: x86_64-apple-darwin19.6.0 Thread model: posix InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

- +

コンパイルコマンド (C17指定) $ clang –std=c++17 hoge.cpp

- +

この記事から得られるものはこれ以上ないので以下は蛇足になる。

- +

- 別件で cppreference.com のidentifier のページを読んでいた時、次の文が目に止まった。 + 別件で cppreference.com の identifier のページ を読んでいた時、次の文が目に止まった。

- +
- +

キーワードでも属性として指定する場合は非キーワードとして使えるらしい。 実際にやってみる。

- +

- 同サイトのkeywords のページから一覧を拝借し、上のコードが出来上がった (C++17 においてキーワードでないものなど、一部省いている)。 大量の警告 (unknown attribute `〇〇' ignored) がコンパイラから出力されるが、コンパイルできる。 + 同サイトの keywords のページ から一覧を拝借し、上のコードが出来上がった (C++17 においてキーワードでないものなど、一部省いている)。 大量の警告 (unknown attribute `〇〇' ignored) がコンパイラから出力されるが、コンパイルできる。

- +

- 上のコードでは[[using]]をコメントアウトしているが、これはusingキーワードのみ属性構文の中で意味を持つからであり、このコメントアウトを外すとコンパイルに失敗する。 + 上のコードでは [[using]] をコメントアウトしているが、これは using キーワードのみ属性構文の中で意味を持つからであり、このコメントアウトを外すとコンパイルに失敗する。

- + 
// using の例
 [[using foo: attr1, attr2]] int x; // [[foo::attr1, foo::attr2]] の糖衣構文
- +

C++17 の仕様も見てみる (正確には標準化前のドラフト)。

- +

- 引用元:https://timsong-cpp.github.io/cppwp/n4659/dcl.attr#grammar-4 + 引用元: https://timsong-cpp.github.io/cppwp/n4659/dcl.attr#grammar-4

- +

If a keyword or an alternative token that satisfies the syntactic requirements of an identifier is contained in an attribute-token, it is considered an identifier.

- +

- 「identifierの構文上の要件を満たすキーワードまたは代替トークンがattribute-tokenに含まれている場合、identifierとみなされる」とある。どうやら間違いないようだ。 + 「identifier の構文上の要件を満たすキーワードまたは代替トークンが attribute-token に含まれている場合、identifier とみなされる」とある。どうやら間違いないようだ。

- +

- ところで、代替トークン (alternative token) とはand(&) やbitor(|) などのことだが、identifierの構文上の要件を満たさないような代替トークンなどあるのか？ 疑問に思って調べたところ、代替トークンという語にはダイグラフも含まれるらしい (参考:同ドラフト) + ところで、代替トークン (alternative token) とは and (&) や bitor (|) などのことだが、identifier の構文上の要件を満たさないような代替トークンなどあるのか？ 疑問に思って調べたところ、代替トークンという語にはダイグラフも含まれるらしい (参考: 同ドラフト)

- + - +

- 「identifierの構文上の要件を満たさないような代替トークン」はこれらが当てはまると思われる。 + 「identifier の構文上の要件を満たさないような代替トークン」はこれらが当てはまると思われる。

- +

調べた感想: 字句解析器か構文解析器が辛そう

diff --git a/public/posts/2021-10-02/python-unbound-local-error/index.html b/public/posts/2021-10-02/python-unbound-local-error/index.html index f3b94f3..5d06a25 100644 --- a/public/posts/2021-10-02/python-unbound-local-error/index.html +++ b/public/posts/2021-10-02/python-unbound-local-error/index.html @@ -57,22 +57,22 @@

- この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/5d733703afcb35bbf399 + この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/5d733703afcb35bbf399

- +

- +

本記事は Python 3.7.6 の動作結果を元にして書かれている。

- +

Python でクロージャを作ろうと、次のようなコードを書いた。

- + 
def f():
 x = 0
 def g():
@@ -80,21 +80,21 @@ x += 1
 g()
 
 f()
- +

- 関数gから 関数fのスコープ内で定義された変数xを参照し、それに 1 を足そうとしている。 これを実行するとx += 1の箇所でエラーが発生する。 + 関数 g から 関数 f のスコープ内で定義された変数 x を参照し、それに 1 を足そうとしている。 これを実行すると x += 1 の箇所でエラーが発生する。

- +

UnboundLocalError: local variable `x' referenced before assignment

- +

- local変数xが代入前に参照された、とある。これは、fのxを参照するのではなく、新しく別の変数をg内に作ってしまっているため。 前述のコードを宣言と代入を便宜上分けて書き直すと次のようになる。varを変数宣言のための構文として擬似的に利用している。 + local変数 x が代入前に参照された、とある。これは、f の x を参照するのではなく、新しく別の変数を g 内に作ってしまっているため。 前述のコードを宣言と代入を便宜上分けて書き直すと次のようになる。var を変数宣言のための構文として擬似的に利用している。

- + 
# 注: var は正しい Python の文法ではない。上記参照のこと
 def f():
 var x           #  f の local変数 'x' を宣言
@@ -105,20 +105,20 @@ var x       #  g の local変数 'x' を宣
 x += 1      #  x に 1 を加算 (x = x + 1 の糖衣構文)
 #  加算する前の値を参照しようとするが、まだ代入されていないためエラー
 g()
- +

当初の意図を表現するには、次のように書けばよい。

- + 
def f():
 x = 0
 def g():
 nonlocal x   ## (*)
 x += 1
 g()
- +

- (*)のように、nonlocalを追加する。これにより一つ外側のスコープ (gの一つ外側 =f) で定義されているxを探しに行くようになる。 + (*) のように、nonlocal を追加する。これにより一つ外側のスコープ (g の一つ外側 = f) で定義されている x を探しに行くようになる。

diff --git a/public/posts/2021-10-02/ruby-detect-running-implementation/index.html b/public/posts/2021-10-02/ruby-detect-running-implementation/index.html index 3930722..59bf445 100644 --- a/public/posts/2021-10-02/ruby-detect-running-implementation/index.html +++ b/public/posts/2021-10-02/ruby-detect-running-implementation/index.html @@ -54,45 +54,45 @@

- この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/74d7ffeeebc51b20d791 + この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/74d7ffeeebc51b20d791

- +

- +

Ruby という言語には複数の実装があるが、それらをスクリプト上からどのようにして programmatically に見分ければよいだろうか。

- +

- Objectクラスに定義されているRUBY_ENGINEという定数がこの用途に使える。 + Object クラスに定義されている RUBY_ENGINE という定数がこの用途に使える。

- +

- 参考:Object::RUBY_ENGINE + 参考: Object::RUBY_ENGINE

- +

上記ページの例から引用する:

- + 
$ ruby-1.9.1 -ve 'p RUBY_ENGINE'
 ruby 1.9.1p0 (2009-03-04 revision 22762) [x86_64-linux]
 "ruby"
 $ jruby -ve 'p RUBY_ENGINE'
 jruby 1.2.0 (ruby 1.8.6 patchlevel 287) (2009-03-16 rev 9419) [i386-java]
 "jruby"
- +

それぞれの処理系がどのような値を返すかだが、stack overflow に良い質問と回答があった。

- +

- What values for RUBY_ENGINE correspond to which Ruby implementations?より引用: + What values for RUBY_ENGINE correspond to which Ruby implementations? より引用:

- +
@@ -100,89 +100,89 @@ jruby 1.2.0 (ruby 1.8.6 patchlevel 287) (2009-03-16 rev 9419) [i386-java] - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + - + @@ -190,19 +190,19 @@ jruby 1.2.0 (ruby 1.8.6 patchlevel 287) (2009-03-16 rev 9419) [i386-java]
RUBY_ENGINE Implementation
<undefined> MRI < 1.9
`ruby' MRI >= 1.9 or REE
`jruby' JRuby
`macruby' MacRuby
`rbx' Rubinius
`maglev' MagLev
`ironruby' IronRuby
`cardinal' Cardinal
- +

- なお、この質問・回答は 2014年になされたものであり、値は変わっている可能性がある。MRI (aka CRuby) については執筆時現在 (2020/12/8) も'ruby'が返ってくることを確認済み。 + なお、この質問・回答は 2014年になされたものであり、値は変わっている可能性がある。MRI (aka CRuby) については執筆時現在 (2020/12/8) も 'ruby' が返ってくることを確認済み。

- +

- この表にない主要な処理系として、https://mruby.org[mruby] は'mruby'を返す。 + この表にない主要な処理系として、https://mruby.org[mruby] は 'mruby' を返す。

- +

- mruby 該当部分のソースより引用: + mruby 該当部分のソース より引用:

- + 
/*
 * Ruby engine.
 */
diff --git a/public/posts/2021-10-02/ruby-then-keyword-and-case-in/index.html b/public/posts/2021-10-02/ruby-then-keyword-and-case-in/index.html
index 0a6d935..31107fc 100644
--- a/public/posts/2021-10-02/ruby-then-keyword-and-case-in/index.html
+++ b/public/posts/2021-10-02/ruby-then-keyword-and-case-in/index.html
@@ -57,37 +57,37 @@
             
           
           

-            この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/787a8cf888a304497223
+            この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/787a8cf888a304497223
           

-          
+           
           

             

             
           

-          
+           
           

-            
TL; DR

+            
TL; DR
 
             

-              case-inによるパターンマッチング構文でも、case-whenと同じようにthenが使える (場合によっては使う必要がある)。
+              case - in によるパターンマッチング構文でも、case - when と同じように then が使える (場合によっては使う必要がある)。
             

           

-          
+           
           

-            
thenとは

+            
then とは
 
             

-              使われることは稀だが、Ruby ではthenがキーワードになっている。次のように使う:
+              使われることは稀だが、Ruby では then がキーワードになっている。次のように使う:
             

-            
+             
             
if cond then
   puts "Y"
   else
   puts "N"
   end

-            
+             
             

-              このキーワードが現れうる場所はいくつかあり、if、unless、rescue、case構文がそれに当たる。 上記のように、何か条件を書いた後thenを置き、式がそこで終了していることを示すマーカーとして機能する。
+              このキーワードが現れうる場所はいくつかあり、if、unless、rescue、case 構文がそれに当たる。 上記のように、何か条件を書いた後 then を置き、式がそこで終了していることを示すマーカーとして機能する。
             

-            
+             
             
# Example:
 
 if x then
@@ -109,82 +109,82 @@ b
 a
 end

           

-          
+           
           

-            
なぜ普段は書かなくてもよいのか

+            
なぜ普段は書かなくてもよいのか
 
             

-              普通 Ruby のコードでthenを書くことはない。なぜか。次のコードを実行してみるとわかる。
+              普通 Ruby のコードで then を書くことはない。なぜか。次のコードを実行してみるとわかる。
             

-            
+             
             
if true puts 'Hello, World!' end

-            
+             
             

               次のような構文エラーが出力される。
             

-            
+             
             
20:1: syntax error, unexpected local variable or method, expecting `then' or ';' or '\n'
 if true puts 'Hello, World!' end
         ^~~~
 20:1: syntax error, unexpected `end', expecting end-of-input
 ...f true puts 'Hello, World!' end

-            
+             
             

-              二つ目のメッセージは無視して一つ目を読むと、thenか;か改行が来るはずのところ変数だかメソッドだかが現れたことによりエラーとなっているようだ。
+              二つ目のメッセージは無視して一つ目を読むと、then か ; か改行が来るはずのところ変数だかメソッドだかが現れたことによりエラーとなっているようだ。
             

-            
+             
             

-              ポイントは改行がthen(や;) の代わりとなることである。trueの後に改行を入れてみる。
+              ポイントは改行が then (や ;) の代わりとなることである。true の後に改行を入れてみる。
             

-            
+             
             
if true
 puts 'Hello, World!' end

-            
+             
             

               無事 Hello, World! と出力されるようになった。
             

           

-          
+           
           

-            
なぜthenや;や改行が必要か

+            
なぜ then や ; や改行が必要か
 
             

-              なぜthenや;や改行 (以下 「then等」) が必要なのだろうか。次の例を見てほしい:
+              なぜ then や ; や改行 (以下 「then 等」) が必要なのだろうか。次の例を見てほしい:
             

-            
+             
             
if a b end

-            
+             
             

-              thenも;も改行もないのでエラーになるが、これは条件式がどこまで続いているのかわからないためだ。 この例は二通りに解釈できる。
+              then も ; も改行もないのでエラーになるが、これは条件式がどこまで続いているのかわからないためだ。 この例は二通りに解釈できる。
             

-            
+             
             
# a という変数かメソッドの評価結果が truthy なら b という変数かメソッドを評価
 if a then
 b
 end

-            
+             
             
# a というメソッドに b という変数かメソッドの評価結果を渡して呼び出し、
 # その結果が truthy なら何もしない
 if a(b) then
 end

-            
+             
             

-              then等はこの曖昧性を排除するためにあり、条件式はifからthen等までの間にある、ということを明確にする。 C系のif後に来る(/)や、Python の:、Rust/Go/Swift などの{も同じ役割を持つ。
+              then 等はこの曖昧性を排除するためにあり、条件式は if から then 等までの間にある、ということを明確にする。 C系の if 後に来る (/) や、Python の :、Rust/Go/Swift などの { も同じ役割を持つ。
             

-            
+             
             

-              Ruby の場合、プログラマーが書きやすいよう改行でもってthenが代用できるので、ほとんどの場合thenは必要ない。
+              Ruby の場合、プログラマーが書きやすいよう改行でもって then が代用できるので、ほとんどの場合 then は必要ない。
             

           

-          
+           
           

-            
case-inにおけるthen

+            
case - in における then
 
             

-              ようやく本題にたどり着いた。来る Ruby 3.0 ではcaseとinキーワードを使ったパターンマッチングの構文が入る予定である。この構文でもパターン部との区切りとしてthen等が必要になる。 (現在の) Ruby には formal な形式での文法仕様は存在しないので、yacc の定義ファイルを参照した (yacc の説明は省略)。
+              ようやく本題にたどり着いた。来る Ruby 3.0 では case と in キーワードを使ったパターンマッチングの構文が入る予定である。この構文でもパターン部との区切りとして then 等が必要になる。 (現在の) Ruby には formal な形式での文法仕様は存在しないので、yacc の定義ファイルを参照した (yacc の説明は省略)。
             

-            
+             
             

               https://github.com/ruby/ruby/blob/221ca0f8281d39f0dfdfe13b2448875384bbf735/parse.y#L3961-L3986
             

-            
+             
             
p_case_body : keyword_in
   {
   SET_LEX_STATE(EXPR_BEG|EXPR_LABEL);
@@ -211,22 +211,22 @@ b
   /*% ripper: in!($4, $7, escape_Qundef($8)) %*/
   }
   ;

-            
+             
             

               簡略版:
             

-            
+             
             
p_case_body : keyword_in p_top_expr then compstmt p_cases
 ;

-            
+             
             

-              ここで、keyword_inは文字通りin、p_top_exprはいわゆるパターン、thenはthenキーワードのことではなく、この記事でthen等と呼んでいるもの、つまりthenキーワード、;、改行のいずれかである。
+              ここで、keyword_in は文字通り in、p_top_expr はいわゆるパターン、then は then キーワードのことではなく、この記事で then 等と呼んでいるもの、つまり then キーワード、;、改行のいずれかである。
             

-            
+             
             

-              これにより、case-whenによる従来の構文と同じように、then等をパターンの後ろに挿入すればよいことがわかった。つまり次の3通りのいずれかになる:
+              これにより、case - when による従来の構文と同じように、then 等をパターンの後ろに挿入すればよいことがわかった。つまり次の3通りのいずれかになる:
             

-            
+             
             
case x
 in 1 then a
 in 2 then b
@@ -247,36 +247,36 @@ c
 in 2; b
 in 3; c
 end

-            
+             
             

-              ところで、p_top_exprにはifによる guard clause が書けるので、その場合はif-thenと似たような見た目になる。
+              ところで、p_top_expr には if による guard clause が書けるので、その場合は if - then と似たような見た目になる。
             

-            
+             
             
case x
 in 0 then a
 in n if n < 0 then b
 in n then c
 end

           

-          
+           
           

-            
まとめ

+            
まとめ
 
             
    
               
  • 
-                ifやcaseの条件の後ろにはthen、;、改行のいずれかが必要
+                if や case の条件の後ろには then、;、改行のいずれかが必要 
                 
      
                   
    • 
                     通常は改行しておけばよい
                   
      • 
                 
    
               
    • 
-              
+               
               
  • 
-                3.0 で入る予定のcase-inでもthen等が必要になる
+                3.0 で入る予定の case - in でも then 等が必要になる
               
    • 
-              
+               
               
  • 
-                Ruby の構文を正確に知るには (現状)parse.yを直接読めばよい
+                Ruby の構文を正確に知るには (現状) parse.y を直接読めばよい
               
    • 
             

           

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 7f1e989..5bb46a0 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
@@ -54,20 +54,20 @@
             
           
           

-            この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/9a429432258bbcd6c565
+            この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/9a429432258bbcd6c565
           

-          
+           
           

             

             
           

-          
+           
           

-            
前置き

+            
前置き
 
             

               Rust において、プリミティブ型の名前は予約語でない。したがって、次のコードは合法である。
             

-            
+             
             
#![allow(non_camel_case_types)]
 #![allow(dead_code)]
 
@@ -88,40 +88,40 @@
 struct f32;
 struct f64;
 struct str;

-            
+             
             

-              では、普段単にboolと書いたとき、このboolは一体どこから来ているのか。rustc のソースを追ってみた。
+              では、普段単に bool と書いたとき、この bool は一体どこから来ているのか。rustc のソースを追ってみた。
             

-            
+             
             

               

-                前提知識: 一般的なコンパイラの構造、用語。rustcそのものの知識は不要 (というよりも筆者自身がよく知らない)
+                前提知識: 一般的なコンパイラの構造、用語。rustc そのものの知識は不要 (というよりも筆者自身がよく知らない)
               

             

           

-          
+           
           

-            
調査

+            
調査
 
             

               調査に使用したソース (調査時点での最新 master)
             

-            
+             
             

               https://github.com/rust-lang/rust/tree/511ed9f2356af365ad8affe046b3dd33f7ac3c98
             

-            
+             
             

               どのようにして調べるか。rustc の構造には詳しくないため、すぐに当たりをつけるのは難しい。
             

-            
+             
             

-              大雑把な構造としては、compilerフォルダ以下にrustc_*という名前のクレートが数十個入っている。これがどうやらrustcコマンドの実装部のようだ。
+              大雑把な構造としては、compiler フォルダ以下に rustc_* という名前のクレートが数十個入っている。これがどうやら rustc コマンドの実装部のようだ。
             

-            
+             
             

-              rustcはセルフホストされている (=rustc自身が Rust で書かれている) ので、boolやcharなどで適当に検索をかけてもノイズが多すぎて話にならない。 しかし、お誂え向きなことにi128/u128というコンパイラ自身が使うことがなさそうな型が存在するのでこれを使ってgit grepしてみる。
+              rustc はセルフホストされている (= rustc 自身が Rust で書かれている) ので、bool や char などで適当に検索をかけてもノイズが多すぎて話にならない。 しかし、お誂え向きなことに i128/u128 というコンパイラ自身が使うことがなさそうな型が存在するのでこれを使って git grep してみる。
             

-            
+             
             
$ git grep "\bi128\b" | wc      # i128
 165    1069   15790
 
@@ -130,20 +130,20 @@ $ git grep "\bu128\b" | wc      # u128
 
 $ git grep "\bbool\b" | wc      # cf. bool の結果
 3563   23577  294659

-            
+             
             

               165 程度であれば探すことができそうだ。今回は、クレート名を見ておおよその当たりをつけた。
             

-            
+             
             
$ git grep "\bi128\b"
 ...
 rustc_resolve/src/lib.rs:        table.insert(sym::i128, Int(IntTy::I128));
 ...

-            
+             
             

-              rustc_resolveというのはいかにも名前解決を担いそうなクレート名である。該当箇所を見てみる。
+              rustc_resolve というのはいかにも名前解決を担いそうなクレート名である。該当箇所を見てみる。
             

-            
+             
             
/// Interns the names of the primitive types.
 ///
 /// All other types are defined somewhere and possibly imported, but the primitive ones need
@@ -176,21 +176,21 @@ table.insert(sym::Self { primitive_types: table }
 }
 }

-            
+             
             

               これは初めに列挙したプリミティブ型の一覧と一致している。doc comment にも、
             

-            
+             
             

               

                 All other types are defined somewhere and possibly imported, but the primitive ones need special handling, since they have no place of origin.
               

             

-            
+             
             

               とある。次はこの struct の使用箇所を追う。追うと言っても使われている箇所は次の一箇所しかない。なお説明に不要な箇所は大きく削っている。
             

-            
+             
             
    /// This resolves the identifier `ident` in the namespace `ns` in the current lexical scope.
 /// (略)
 fn resolve_ident_in_lexical_scope(
@@ -212,23 +212,23 @@ ns: Namespace,
 
 None
 }

-            
+             
             

-              関数名や doc comment が示している通り、この関数は識別子 (identifier, ident) を現在のレキシカルスコープ内で解決 (resolve) する。if ns == TypeNSのブロック内では、primitive_type_table(上記のPrimitiveTypeTable::new()で作られた変数) に含まれている識別子 (bool、i32など) かどうか判定し、そうであればそれに紐づけられたプリミティブ型を返している。
+              関数名や doc comment が示している通り、この関数は識別子 (identifier, ident) を現在のレキシカルスコープ内で解決 (resolve) する。 if ns == TypeNS のブロック内では、primitive_type_table (上記の PrimitiveTypeTable::new() で作られた変数) に含まれている識別子 (bool、i32 など) かどうか判定し、そうであればそれに紐づけられたプリミティブ型を返している。
             

-            
+             
             

-              なお、nsは「名前空間」を示す変数である。Rust における名前空間はC言語におけるそれとほとんど同じで、今探している名前が関数名/変数名なのか型なのかマクロなのかを区別している。このifは、プリミティブ型に解決されるのは型を探しているときだけだ、と言っている。
+              なお、ns は「名前空間」を示す変数である。Rust における名前空間はC言語におけるそれとほとんど同じで、今探している名前が関数名/変数名なのか型なのかマクロなのかを区別している。この if は、プリミティブ型に解決されるのは型を探しているときだけだ、と言っている。
             

-            
+             
             

-              重要なのは、これがresolve_ident_in_lexical_scope()の最後に書かれている点である。つまり、最初に挙げたプリミティブ型の識別子は、「名前解決の最終段階で」、「他に同名の型が見つかっていなければ」プリミティブ型として解決される。
+              重要なのは、これが resolve_ident_in_lexical_scope() の最後に書かれている点である。つまり、最初に挙げたプリミティブ型の識別子は、「名前解決の最終段階で」、「他に同名の型が見つかっていなければ」プリミティブ型として解決される。
             

-            
+             
             

               動作がわかったところで、例として次のコードを考える。
             

-            
+             
             
#![allow(non_camel_case_types)]
 
 struct bool;
@@ -236,14 +236,14 @@ ns: Namespace,
 fn main() {
 let _: bool = bool;
 }

-            
+             
             

-              ここでmain()のboolはstruct boolとして解決される。なぜなら、プリミティブ型の判定をする前にboolという名前の別の型が見つかるからだ。
+              ここで main() の bool は struct bool として解決される。なぜなら、プリミティブ型の判定をする前に bool という名前の別の型が見つかるからだ。
             

           

-          
+           
           

-            
まとめ

+            
まとめ
 
             

               Rust のプリミティブ型は予約語ではない。名前解決の最終段階で特別扱いされ、他に同名の型が見つかっていなければ対応するプリミティブ型に解決される。
             

diff --git a/public/posts/2021-10-02/vim-difference-between-autocmd-bufwrite-and-bufwritepre/index.html b/public/posts/2021-10-02/vim-difference-between-autocmd-bufwrite-and-bufwritepre/index.html
index a878638..3c6342b 100644
--- a/public/posts/2021-10-02/vim-difference-between-autocmd-bufwrite-and-bufwritepre/index.html
+++ b/public/posts/2021-10-02/vim-difference-between-autocmd-bufwrite-and-bufwritepre/index.html
@@ -54,163 +54,163 @@
             
           

           

-            この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/79ab4db8564032de0b25
+            この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/79ab4db8564032de0b25
           

-          
+           
           

             

             
           

-          
+           
           

-            
TL; DR

+            
TL; DR
 
             

               違いはない。ただのエイリアス。
             

           

-          
+           
           

-            
調査記録

+            
調査記録
 
             

-              Vim の autocmd events には似通った名前のものがいくつかある。大抵は:helpに説明があるが、この記事のタイトルにある2つを含めた以下のイベントには、その違いについて説明がない。
+              Vim の autocmd events には似通った名前のものがいくつかある。大抵は :help に説明があるが、この記事のタイトルにある2つを含めた以下のイベントには、その違いについて説明がない。
             

-            
+             
             
    
               
  • 
                 BufRead/BufReadPost
               
    • 
-              
+               
               
  • 
                 BufWrite/BufWritePre
               
    • 
-              
+               
               
  • 
                 BufAdd/BufCreate
               
    • 
             

-            
+             
             

-              このうち、BufAdd/BufCreateに関しては、:help BufCreateに
+              このうち、BufAdd/BufCreate に関しては、:help BufCreate に
             

-            
+             
             

               

                 The BufCreate event is for historic reasons.
               

             

-            
+             
             

-              とあり、おそらくはBufAddのエイリアスであろうということがわかる。他の2組も同様ではないかと予想されるが、確認のため vim と neovim のソースコードを調査した。
+              とあり、おそらくは BufAdd のエイリアスであろうということがわかる。他の2組も同様ではないかと予想されるが、確認のため vim と neovim のソースコードを調査した。
             

-            
+             
             

               

-                ソースコードへのリンクvim (調査時点での master branch)neovim (上に同じ)
+                ソースコードへのリンク vim (調査時点での master branch) neovim (上に同じ)
               

             

-            
+             
             

-              
vim のソースコード

+              
vim のソースコード
 
               

                 以下は、autocmd events の名前と内部で使われている整数値とのマッピングを定義している箇所である。見ての通り、上でエイリアスではないかと述べた3組には、それぞれ同じ内部値が使われている。
               

-              
+               
               

                 https://github.com/vim/vim/blob/8e6be34338f13a6a625f19bcef82019c9adc65f2/src/autocmd.c#L85-L86
               

-              
+               
               
    {"BufAdd",      EVENT_BUFADD},
 {"BufCreate",   EVENT_BUFADD},

-              
+               
               

                 https://github.com/vim/vim/blob/8e6be34338f13a6a625f19bcef82019c9adc65f2/src/autocmd.c#L95-L97
               

-              
+               
               
    {"BufRead",     EVENT_BUFREADPOST},
 {"BufReadCmd",  EVENT_BUFREADCMD},
 {"BufReadPost", EVENT_BUFREADPOST},

-              
+               
               

                 https://github.com/vim/vim/blob/8e6be34338f13a6a625f19bcef82019c9adc65f2/src/autocmd.c#L103-L105
               

-              
+               
               
    {"BufWrite",    EVENT_BUFWRITEPRE},
 {"BufWritePost",    EVENT_BUFWRITEPOST},
 {"BufWritePre", EVENT_BUFWRITEPRE},

             

-            
+             
             

-              
neovim のソースコード

+              
neovim のソースコード
 
               

-                neovim の場合でも同様のマッピングが定義されているが、こちらの場合は Lua で書かれている。以下にある通り、はっきりaliasesと書かれている。
+                neovim の場合でも同様のマッピングが定義されているが、こちらの場合は Lua で書かれている。以下にある通り、はっきり aliases と書かれている。
               

-              
+               
               

                 https://github.com/neovim/neovim/blob/71d4f5851f068eeb432af34850dddda8cc1c71e3/src/nvim/auevents.lua#L119-L124
               

-              
+               
               
  aliases = {
 BufCreate = 'BufAdd',
 BufRead = 'BufReadPost',
 BufWrite = 'BufWritePre',
 FileEncoding = 'EncodingChanged',
 },

-              
+               
               

-                ところで、上では取り上げなかったFileEncodingだが、これは:help FileEncodingにしっかりと書いてある。
+                ところで、上では取り上げなかった FileEncoding だが、これは :help FileEncoding にしっかりと書いてある。
               

-              
+               
               
                                                           *FileEncoding*
 FileEncoding                    Obsolete.  It still works and is equivalent
 to |EncodingChanged|.

             

-            
+             
             

-              
まとめ

+              
まとめ
 
               

                 記事タイトルについて言えば、どちらも変わらないので好きな方を使えばよい。あえて言えば、次のようになるだろう。
               

-              
+               
               
    
                 
  • 
-                  BufAdd/BufCreate
+                  BufAdd/BufCreate 
                   
      
                     
    • 
-                      →BufCreateは歴史的な理由により ("for historic reasons") 存在しているため、新しい方 (BufAdd) を使う
+                      → BufCreate は歴史的な理由により ("for historic reasons") 存在しているため、新しい方 (BufAdd) を使う
                     
      • 
                   
    
                 
    • 
-                
+                 
                 
  • 
-                  BufRead/BufReadPost
+                  BufRead/BufReadPost 
                   
      
                     
    • 
-                      →BufReadPreとの対称性のため、あるいはBufWritePostとの対称性のためBufReadPostを使う
+                      → BufReadPre との対称性のため、あるいは BufWritePost との対称性のため BufReadPost を使う
                     
      • 
                   
    
                 
    • 
-                
+                 
                 
  • 
-                  BufWrite/BufWritePre
+                  BufWrite/BufWritePre 
                   
      
                     
    • 
-                      →BufWritePostとの対称性のため、あるいはBufReadPreとの対称性のためBufWritePreを使う
+                      → BufWritePost との対称性のため、あるいは BufReadPre との対称性のため BufWritePre を使う
                     
      • 
                   
    
                 
    • 
-                
+                 
                 
  • 
-                  FileEncoding/EncodingChanged
+                  FileEncoding/EncodingChanged 
                   
      
                     
    • 
-                      →FileEncodingは`Obsolete'' と明言されているので、`EncodingChangedを使う
+                      → FileEncoding は `Obsolete'' と明言されているので、`EncodingChanged を使う
                     
      • 
                   
    
                 
    • 
               

-              
+               
               

-                ところでこの調査で知ったのだが、BufReadとBufWriteは上にある通り発火するタイミングが「後」と「前」で対称性がない。可能ならPre/Post付きのものを使った方が分かりやすいだろう。
+                ところでこの調査で知ったのだが、BufRead と BufWrite は上にある通り発火するタイミングが「後」と「前」で対称性がない。可能なら Pre/Post 付きのものを使った方が分かりやすいだろう。
               

             

           

diff --git a/public/posts/2021-10-02/vim-swap-order-of-selected-lines/index.html b/public/posts/2021-10-02/vim-swap-order-of-selected-lines/index.html
index ada0dbd..48b57ac 100644
--- a/public/posts/2021-10-02/vim-swap-order-of-selected-lines/index.html
+++ b/public/posts/2021-10-02/vim-swap-order-of-selected-lines/index.html
@@ -54,115 +54,115 @@
             
           
           

-            この記事は Qiita から移植してきたものです。 元 URL:https://qiita.com/nsfisis/items/4fefb361d9a693803520
+            この記事は Qiita から移植してきたものです。 元 URL: https://qiita.com/nsfisis/items/4fefb361d9a693803520
           

-          
+           
           

             

             
           

-          
+           
           

-            
バージョン情報

+            
バージョン情報
 
             

-              :versionの一部
+              :version の一部
             

-            
+             
             

               

                 VIM - Vi IMproved 8.2 (2019 Dec 12, compiled Jan 26 2020 11:30:30) macOS version Included patches: 1-148 Huge version without GUI.
               

             

           

-          
+           
           

-            
よく紹介されている手法

+            
よく紹介されている手法
 
             

-              
tac/tail

+              
tac / tail
 
               

-                tacやtail -rなどの外部コマンドを!を使って呼び出し、置き換える。
+                tac や tail -r などの外部コマンドを ! を使って呼び出し、置き換える。
               

-              
+               
               

                 

                   :h v_!
                 

               

-              
+               
               

-                tacコマンドやtailの-rオプションは環境によって利用できないことがあり、複数の環境を行き来する場合に採用しづらい
+                tac コマンドや tail の -r オプションは環境によって利用できないことがあり、複数の環境を行き来する場合に採用しづらい
               

             

-            
+             
             

-              
:g/^/m0

+              
:g/^/m0
 
               

-                こちらは外部コマンドに頼らず、Vim の機能のみを使う。gは:globalコマンドの、mは:moveコマンドの略
+                こちらは外部コマンドに頼らず、Vim の機能のみを使う。g は :global コマンドの、m は :move コマンドの略
               

-              
+               
               

-                :globalコマンドは:[range]global/{pattern}/[command]のように使い、[range]で指定された範囲の行のうち、{pattern}で指定された検索パターンにマッチする行に対して、順番に[command]で指定された Ex コマンドを呼び出す。
+                :global コマンドは :[range]global/{pattern}/[command] のように使い、[range] で指定された範囲の行のうち、{pattern} で指定された検索パターンにマッチする行に対して、順番に [command] で指定された Ex コマンドを呼び出す。
               

-              
+               
               

                 

                   :h :global
                 

               

-              
+               
               

-                :moveコマンドは[range]:move {address}のように使い、[range]で指定された範囲の行を{address}で指定された位置に移動させる。
+                :move コマンドは [range]:move {address} のように使い、[range] で指定された範囲の行を {address} で指定された位置に移動させる。
               

-              
+               
               

                 

                   :h :move
                 

               

-              
+               
               

-                :g/^/m0のように組み合わせると、「すべての行を1行ずつ 0行目(1行目の上)に動かす」という動きをする。これは確かに行の入れ替えになっている。
+                :g/^/m0 のように組み合わせると、「すべての行を1行ずつ 0行目(1行目の上)に動かす」という動きをする。これは確かに行の入れ替えになっている。
               

-              
+               
               

-                なお、:g/^/m0は全ての行を入れ替えるが、:N,Mg/^/mN-1とすることで N行目から M行目を処理範囲とするよう拡張できる。手でこれを入力するわけにはいかないので、次のようなコマンドを用意する。
+                なお、:g/^/m0 は全ての行を入れ替えるが、:N,Mg/^/mN-1 とすることで N行目から M行目を処理範囲とするよう拡張できる。手でこれを入力するわけにはいかないので、次のようなコマンドを用意する。
               

-              
+               
               
command! -bar -range=%
 \ Reverse
 \ <line1>,<line2>g/^/m<line1>-1

-              
+               
               

                 これは望みの動作をするが、実際に実行してみると全行がハイライトされてしまう。次節で詳細を述べる。
               

             

           

-          
+           
           

-            
:g/^/m0の問題点

+            
:g/^/m0 の問題点
 
             

-              :globalコマンドは各行に対してマッチングを行う際、現在の検索パターンを上書きしてしまう。^は行の先頭にマッチするため、結果として全ての行がハイライトされてしまう。'hlsearch'オプションを無効にしている場合その限りではないが、その場合でも直前の検索パターンが失われてしまうとnコマンドなどの際に不便である。
+              :global コマンドは各行に対してマッチングを行う際、現在の検索パターンを上書きしてしまう。^ は行の先頭にマッチするため、結果として全ての行がハイライトされてしまう。'hlsearch' オプションを無効にしている場合その限りではないが、その場合でも直前の検索パターンが失われてしまうと n コマンドなどの際に不便である。
             

-            
+             
             

               

                 :h @/
               

             

           

-          
+           
           

-            
解決策

+            
解決策
 
             

               

                 [2020/9/28追記] より簡潔な方法を見つけたので次節に追記した
               

             

-            
+             
             

-              前述した:Reverseコマンドの定義を少し変えて、次のようにする:
+              前述した :Reverse コマンドの定義を少し変えて、次のようにする:
             

-            
+             
             
function! s:reverse_lines(from, to) abort
   execute printf("%d,%dg/^/m%d", a:from, a:to, a:from - 1)
   endfunction
@@ -170,73 +170,73 @@
   command! -bar -range=%
   \ Reverse
   \ call <SID>reverse_lines(<line1>, <line2>)

-            
+             
             

               実行しているコマンドが変わったわけではないが、関数呼び出しを経由するようにした。これだけで前述の問題が解決する。
             

-            
+             
             

-              この理由は、ユーザー定義関数を実行する際は検索パターンが一度保存され、実行が終了したあと復元されるため。結果として検索パターンが^で上書きされることがなくなる。
+              この理由は、ユーザー定義関数を実行する際は検索パターンが一度保存され、実行が終了したあと復元されるため。結果として検索パターンが ^ で上書きされることがなくなる。
             

-            
+             
             

               Vim のヘルプから該当箇所を引用する (強調は筆者による)。
             

-            
+             
             

               

                 :h autocmd-searchpat
               

-              
+               
               

-                Autocommands do not change the current search patterns.Vim saves the current search patterns before executing autocommands then restores them after the autocommands finish. This means that autocommands do not affect the strings highlighted with the `hlsearch' option.
+                Autocommands do not change the current search patterns. Vim saves the current search patterns before executing autocommands then restores them after the autocommands finish. This means that autocommands do not affect the strings highlighted with the `hlsearch' option.
               

             

-            
+             
             

-              これは autocommand の実行に関しての記述だが、これと同じことがユーザー定義関数の実行時にも適用される。このことは:nohlsearchのヘルプにある。同じく該当箇所を引用する (強調は筆者による)。
+              これは autocommand の実行に関しての記述だが、これと同じことがユーザー定義関数の実行時にも適用される。このことは :nohlsearch のヘルプにある。同じく該当箇所を引用する (強調は筆者による)。
             

-            
+             
             

               

                 :h :nohlsearch
               

-              
+               
               

-                (略) This command doesn’t work in an autocommand, because the highlighting state is saved and restored when executing autocommands |autocmd-searchpat|.Same thing for when invoking a user function.
+                (略) This command doesn’t work in an autocommand, because the highlighting state is saved and restored when executing autocommands |autocmd-searchpat|. Same thing for when invoking a user function.
               

             

-            
+             
             

-              この仕様により、:g/^/m0の呼び出しをユーザー定義関数に切り出すことで上述の問題を解決できる。
+              この仕様により、:g/^/m0 の呼び出しをユーザー定義関数に切り出すことで上述の問題を解決できる。
             

           

-          
+           
           

-            
解決策 (改訂版)

+            
解決策 (改訂版)
 
             

               

                 [2020/9/28追記] より簡潔な方法を見つけたため追記する
               

             

-            
+             
             
command! -bar -range=%
   \ Reverse
   \ keeppatterns <line1>,<line2>g/^/m<line1>-1

-            
+             
             

-              まさにこのための Exコマンド、:keeppatternsが存在する。:keeppatterns {command}のように使い、読んで字の如く、後ろに続く Exコマンドを「現在の検索パターンを保ったまま」実行する。はるかに分かりやすく意図を表現できる。
+              まさにこのための Exコマンド、:keeppatterns が存在する。:keeppatterns {command} のように使い、読んで字の如く、後ろに続く Exコマンドを「現在の検索パターンを保ったまま」実行する。はるかに分かりやすく意図を表現できる。
             

-            
+             
             

               

                 :h :keeppatterns
               

             

           

-          
+           
           

-            
コピペ用再掲

+            
コピペ用再掲
 
             
" License: Public Domain
 
   command! -bar -range=%
-- 
cgit v1.2.3-70-g09d2