Dartランタイムの鉄則：`final`とGetterが生み出すゼロコストのカプセル化とメモリ防壁
Dart VMのコアコミッターとして、日々数百万行のAOTコンパイルされたコードや、Isolate間のメモリトポロジーと向き合っていると、「カプセル化」という言葉がいかに表層的な理解にとどまっているかに驚かされる。
多くのプログラマは、`private`（アンダースコア `_`）を付与すれば安全だと信じ込んでいる。しかし、オブジェクト指向言語における真の安全性とは、単なるアクセス修飾子の有無ではない。「コンパイル時に不変性が保証され、ランタイムにおいて余分なアロケーションやディスパッチのコストを支払うことなく、外部からの状態汚染を物理的に遮断できるか」という点にある。
今回は、`final`変数とgetterを組み合わせたDartの最も堅牢なプロパティ設計パターンについて、Dart VMのメモリアラケーション、C2/AOTコンパイラの最適化パス、そしてオブジェクトのイミュータビリティの観点から深掘りする。
—
1. なぜ「普通の変数公開」ではセキュリティとアーキテクチャが崩壊するのか
オブジェクトの状態を外部に公開する際、最もやってはいけないアンチパターンの一つが、パブリックなミュータブル変数、あるいは不十分なカプセル化だ。
// 【アンチパターン】外部から状態汚染が可能な設計
class VulnerableSession {
// 外部から書き換え可能（パブリック変数）
var token = ‘sec_token_999’;
// 一見安全そうに見えるが、内部のミュータブルな参照をそのまま返している
final List
List
}
このコードの何が問題か？
Dartのコレクションは参照渡しである。`permissions` getterが返すのは、内部の`_permissions`リストへの直接の参照そのものだ。そのため、呼び出し元で以下のようなコードを実行できてしまう。
final session = VulnerableSession();
session.token = ‘hacked_token’; // 直接書き換え可能
session.permissions.add(‘root_execute’); // 内部のリストが汚染される！
これはカプセル化の完全な崩壊である。Dart VMのメモリ空間において、このリストオブジェクトの実体はただ一つであり、外部の不正なコンテキストから自由にミューテート（変異）させることが可能になってしまう。
—
2. `final` × Getter によるゼロコスト・ハードニング（硬化）パターン
この問題を根底から解決するのが、「`final` フィールド（またはプライベートなミュータブル状態）と、読み取り専用のgetterの組み合わせ」である。
以下のコードを見てほしい。これが、DartコンパイラとVMの特性を最大限に引き出す堅牢な設計パターンだ。
/// セキュアなセッション管理クラス
class SecureSession {
// 1. コンストラクタでのみ初期化される不変のプリミティブ
final String _token;
// 2. 内部ではミュータブルに管理し、外部にはイミュータブルなビューを強制するリスト
final List
SecureSession({
required String token,
required List
}) : _token = token,
// 防衛的コピー（Defensive Copy）により、外部からの参照汚染をシャットアウト
_permissions = List.unmodifiable(permissions);
// Getterを通じた安全な公開
String get token => _token;
// 外部からは読み取り専用のListとしてのみ観測可能
List
// 状態の変更は、常に新しいインスタンスを返すか、制御されたメソッド経由で行う
SecureSession addPermission(String permission) {
return SecureSession(
token: _token,
permissions: […_permissions, permission],
);
}
}
コンパイラとメモリの挙動：何が起きているのか？
1. インライン展開（Inlining）の最適化
DartのJIT/AOTコンパイラは、このような単純なgetter（`String get token => _token;`）を検出すると、メソッド呼び出しのオーバーヘッドを完全に排除し、フィールドアクセスへとインライン展開する。これにより、カプセル化レイヤーを挟んでいるにもかかわらず、直接フィールドにアクセスするのと同等の実行速度（ゼロコスト・抽象化）が達成される。
2. `List.unmodifiable` による防衛的コピーとメモリ最適化
コンストラクタ内で生成される`_permissions`は、変更不可能なラップ構造を持つ。Dart VMのヒープ上において、このリストは新たなミューテーションを拒絶するフラグを持ち、万が一外部のコードが `.add()` などの破壊的メソッドを呼び出そうものなら、即座に`UnsupportedError`がスローされる。
—
3. シニアエンジニアが知るべき「深いレイヤ」の注意点
この設計パターンを採用する際、Dart特有のランタイム特性において以下の2点を深く理解しておく必要がある。
① ディープイミュータビリティ（Deep Immutability）の幻想
`final` および `List.unmodifiable` は、トップレベルの参照の不変性を保証するものであり、オブジェクトグラフの深部（Deep）までを自動的に凍結するわけではない。
もし保持するデータがプリミティブ（`String`, `int`, `bool`等）であれば問題ないが、もしその要素自体がミュータブルなカスタムオブジェクトであった場合、そのオブジェクトのプロパティは外部から書き換え可能になってしまう。
class User {
String name;
User(this.name);
}
class BadDesign {
final List
BadDesign(List
List
}
// — 呼び出し側 —
// _users自体は書き換えられなくても、リスト内のUserのnameは書き換え可能！
badDesign.users[0].name = ‘Malicious Actor’;
極限の知見：
真の防壁を築くためには、コレクションの要素自体も`immutable`（`@immutable` アノテーションおよび全てのフィールドが`final`であるクラス）でなければならない。Dartの静的解析器（Analyzer）は、こうした伝播する不変性をコンパイル時に検証する。
② Isolate間境界におけるメモリ転送
Flutterや高負荷なDartバックエンドでは、重い処理を別Isolateへオフロードする。この時、`SecureSession` のようなオブジェクトを `SendPort` 経由で別Isolateに送る場合を考えてみよう。
DartのIsolate間通信は、メッセージパッシング（値のコピーまたはトランスファー）によって行われる。
クラスのプロパティが適切に `final` で固められ、内部状態がカプセル化されているオブジェクトは、シリアライズ／デシリアライズのプロセスにおいて予測可能なメモリレイアウトを維持し、予期せぬ競合状態（Race Condition）を完全に排除できる。不変なオブジェクトは、マルチスレッド（マルチIsolate）環境における最大の防御策なのだ。
—
4. まとめ：コードの品位は「境界線の硬度」で決まる
初学者向けのコードは「動くこと」を目的とするが、シニアエンジニアの書くコードは「壊されないこと」を目的とする。
`final` 変数とgetterの組み合わせは、単なるシンタックスの選択肢ではない。それは、「外部からの不正な干渉をコンパイル時とランタイムの双方で拒絶しつつ、パフォーマンスの劣化を一切許さない」という、Dartランタイムの仕様を知り尽くしたアーキテクトだけが到達できる、極限の防衛プログラミング手法である。
明日からプロダクトコードを書くときは、自問してほしい。
「そのgetterは、オブジェクトの内部構造を裸のまま晒していないか？」
「そのプロパティは、コンパイラとVMの最適化パスに愛される形になっているか？」
境界線を制する者が、Dartのパフォーマンスと安全性を制する。