TypeScript5.2で追加された`using`について記事を書きませんか？

[jamashita]

https://devblogs.microsoft.com/typescript/announcing-typescript-5-2/#using-declarations-and-explicit-resource-management

懸念点

• あんまなさそう？

[yo-goto]

書きたいです!

[yo-goto]

調査

• primerには記述などまだなかった
• 追加するには「値・型・変数」の章内が候補
  • 「varはもう使わない」のセクションの次ぐらいが良さそう → 高度な話なのでここは不適切かも
  • 『satisfies演算子「satisfies operator」』のセクションの次ぐらいが新しい内容の追加位置としてちょうど良さそう

内容のアイデア

• リソースの概念の紹介
  • GC(メモリ担当)がやってくれないリソース(ファイル、DB接続、ネットワークソケット等の非メモリリソース)の解放を自動的に行えるようにする
  • DenoのAPIのサンプルがドキュメントとして役立つ
  • using file = await Deno.open(fileName)
  • usingしない場合には file.close() による手動のリソース解放を行なう必要があり、し忘れるとファイルハンドルが開きっぱなしでリソースリーク(リソースが無駄に占有され続ける事象)が起きる → パフォーマンス低下やでクラッシュなどを引き起こす可能性
  • usingにより手動のリソース解放によるリスクを下げることができる
• 他の言語でのパターン
  • C#のusing句の紹介
  • RustのDropトレイトのdropメソッド
• Symbol.dispose
  • 内部的な仕組みとして、Symbol.disposeで指定したコールバックがリソース解放を行なう
• RAII(Resource Acquisition Is Initialization)パターン
  • リソースの確保を初期化時に、解放を返却(破壊)時に行なう

アウトライン

• 導入
  • 新しい変数宣言 using
  • JavaScript (ECMAScript) の機能であることに注意
  • 結論: using宣言により非メモリリソースのスコープ脱出時に自動解放を行える
• 前提の話
  • リソース概念とは
    • リソースの種類
      • メモリリソース
      • 非メモリリソース
        • ファイルハンドル
        • DB コネクション
        • ネットワークソケット
  • リソースリークとは
    • プログラムが割り当てたリソースが解放されず、無駄に占有され続ける現象
    • メモリリークやソケットリークなど様々な種類がある
    • リソースリークにより、システムのパフォーマンス低下やデータロスなどの問題が発生する可能性がある
  • リソースリークの防止としての解放機能
    • GC の役割はメモリリソースの解放
      • 不要になったヒープ領域のオブジェクトを自動解放する
    • 非メモリリソースはどうやって解放するか
      • 非メモリリソースは GC の管理外
      • 構造的に解放タイミングを決める
      • そこで登場するのが using
• using 自体の説明
  • Deno の API を使って解説する
    • https://docs.deno.com/api/deno/~/Deno.FsFile
    • using 単体に着目したいため同期APIを使う
      • using file = Deno.openSync()
      • file.writeSync()
  • using を使うことで、リソースの使用後に自動的に解放ができる
    • リソース使用後にクリーンアップ処理を行なう
    • using 宣言されたリソースはスコープを抜けるときに、 Symbol.dispose で指定したコールバックが呼ばれ、リソース解放処理が実行される
  • 他の言語でのパターン
    • C# の using 句
      • 対象の行なうのスコープを明示して、スコープから抜ける際にそのオブジェクトの終了処理を呼び出す
    • Rust の Drop トレイトの drop メソッド
      • Drop トレイトにある drop メソッドはスコープを抜けたときに自動的に呼び出さる
      • メモリを含む様々なリソースについて解放タイミングを静的な構造によって決定する
    • RAII (Resource Aquisition is Initialization) パターンで一般化
      • リソースの確保は初期化で、解放が破棄に対応する
      • 解放はリソースが紐づく変数が制御フロー上のブロックを抜けるときに、その変数のデストラクタを自動的に呼び出すことで、リソースの解放を行えるようにする

[yo-goto]

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/using