1. 型システムとメモリ管理
1.1 ヒープとスタック
C#におけるメモリ管理を理解するためには、値型と参照型の違い、およびそれらが配置されるスタックとヒープの仕組みを把握する必要があります。
- スタック (Stack): 値型のデータが格納されます。LIFO(後入れ先出し)の構造を持つメモリ領域であり、データの追加と削除がスタックのトップからのみ行われます。
- ヒープ (Heap): 参照型のデータ(実体)が格納されるマネージヒープ領域です。参照アドレス自体はスタックに保持されます。ヒープは大きなメモリブロックを動的に割り当てることができ、データの並び替えや削除が柔軟に行えます。
| 項目 | 値型 (Value Type) | 参照型 (Reference Type) |
|---|---|---|
| メモリ割り当て | スタックに割り当てられる | マネージヒープに割り当てられる |
| 変数の表現 | 値そのものを保持(ローカルコピー) | ヒープ上のインスタンスへの参照(ポインタ)を保持 |
| 基底クラス | System.ValueTypeを継承する | System.ValueType以外の任意の型を継承可能 |
| 継承の可否 | 暗黙的にシールされており、継承できない | シールされていなければ、他のクラスの基底クラスになれる |
| 引数渡し | 値渡し(コピーが渡される) | 参照渡し(参照アドレスが渡される) |
| Finalizeのオーバーライド | 不可(ヒープに存在しないため) | 可能(間接的にオーバーライド) |
| コンストラクタ | パラメータなしのデフォルトコンストラクタは予約されている | 自由に定義可能 |
| ライフタイム | スコープを外れた時点で消滅 | ガベージコレクションによって回収されるまで存在 |
1.2 ボクシングとアンボクシング
値型を参照型(objectやインターフェース)に変換する処理をボクシング、その逆をアンボクシングと呼びます。これらはヒープとスタック間のデータ移動を伴うため、パフォーマンスオーバーヘッドが発生します。ジェネリクスを使用することで、このボックス化/アンボックス化を回避し、型安全性とパフォーマンスを向上させることができます。
2. オブジェクト指向の基本概念
インターフェースと抽象クラスは、ポリモーフィズムと抽象化を実現するための重要な要素です。インターフェースは契約(振る舞い)を定義し、抽象クラスは部分的な実装と共通の状態を提供します。カプセル化、継承、ポリモーフィズムといったOO(オブジェクト指向)の原則を深く理解することは、堅牢なアーキテクチャを設計する上で不可欠です。
3. イテレータとジェネリクス
foreachループは、IEnumerable<T>とIEnumerator<T>インターフェース、そしてyieldキーワードによって支えられています。イテレータパターンを理解することで、遅延評価(Lazy Evaluation)を行うカスタムコレクションを効率的に実装できます。
ジェネリクスは、コンパイル時の型安全性を保証し、ボクシング/アンボクシングのコストを排除します。ジェネリック型制約(where T : classなど)を適切に使用することで、型の柔軟性と安全性のバランスを取ることができます。
4. コレクションとリフレクション
4.1 コレクション
.NET Frameworkでは、System.Collections(非ジェネリック)とSystem.Collections.Generic(ジェネリック)が提供されています。パフォーマンスと型安全性の観点から、現代のC#開発ではジェネリックコレクション(List<T>, Dictionary<K,V>など)の使用が強く推奨されます。
4.2 リフレクションと属性 (Attribute)
リフレクションは、実行時に型のメタデータを取得・操作する強力な機能です。属性(Attribute)はリフレクションと組み合わせることで、AOP(アスペクト指向プログラミング)や依存性注入(DI)、カスタムマッピングなどの高度な機能を実装できます。
以下は、カスタム属性を使用してテストメソッドのトランザクションをモックする例です。
[AttributeUsage(AttributeTargets.Method)]
public class MockTransactionAttribute : Attribute { }
[TestClass]
public class TransactionalTests
{
[TestMethod]
[MockTransaction]
public void ValidateDataProcessing()
{
var context = new MockDbContext();
context.AddRecord(new Record { Id = 999 });
Assert.IsTrue(context.HasChanges);
}
}
5. デリゲートとイベント
イベントは、デリゲートのラッパー(カプセル化)と捉えることができます。フィールドに対するプロパティと同様に、イベントはデリゲートへの直接の代入や呼び出しを制限し、+=および-=による登録と解除のみを許可します。
イベントを正しく定義するには、EventHandler<TEventArgs>の使用、EventArgsを継承したカスタムデータクラスの作成、On...メソッドによる安全な呼び出し(nullチェック)が推奨されます。
6. スレッドと非同期処理モデル
6.1 フォアグラウンドとバックグラウンドスレッド
Thread.IsBackgroundプロパティはスレッドの性質を決定します。フォアグラウンドスレッドはすべて終了するまでアプリケーションが終了しませんが、バックグラウンドスレッドはアプリケーションの終了時に強制的に破棄されます。
var workerThread = new Thread(() =>
{
Console.WriteLine("バックグラウンド処理を開始します。");
Thread.Sleep(1500);
Console.WriteLine("バックグラウンド処理が完了しました。");
});
workerThread.IsBackground = true;
workerThread.Start();
Console.WriteLine("メインスレッドの終了。");
6.2 非同期プログラミングモデル
.NETには歴史的にいくつかの非同期モデルが存在します。
- APM (Asynchronous Programming Model):
BeginInvokeとEndInvokeを使用するデリゲートベースのモデル。 - EAP (Event-based Asynchronous Pattern):
BackgroundWorkerなどに代表されるイベント駆動モデル。 - IAsyncResult: ストリームやI/O操作の非同期処理で標準的に使用されるインターフェース。
- ThreadPool: スレッドの生成コストを削減し、スレッドプールを再利用するモデル。
以下は、デリゲートを使用したAPMと、BackgroundWorker、ThreadPoolの書き換え例です。
// APM (デリゲート非同期)
private void StartAsyncCalculation()
{
Func<int, int> calculateSquare = ComputeSquare;
calculateSquare.BeginInvoke(10, OnCalculationCompleted, null);
}
private int ComputeSquare(int number)
{
Thread.Sleep(1000);
return number * number;
}
private void OnCalculationCompleted(IAsyncResult asyncResult)
{
var result = ((AsyncResult)asyncResult).AsyncDelegate as Func<int, int>;
int computedValue = result.EndInvoke(asyncResult);
Console.WriteLine($"計算結果: {computedValue}");
}
// BackgroundWorker
private void InitiateBackgroundTask()
{
var bgWorker = new BackgroundWorker();
bgWorker.DoWork += ProcessData;
bgWorker.RunWorkerCompleted += OnProcessCompleted;
bgWorker.RunWorkerAsync("初期データ");
}
private void ProcessData(object sender, DoWorkEventArgs e)
{
Thread.Sleep(1500);
e.Result = $"処理完了: {e.Argument}";
}
private void OnProcessCompleted(object sender, RunWorkerCompletedEventArgs e)
{
Console.WriteLine(e.Result.ToString());
}
// ThreadPool
private void QueueThreadPoolWork()
{
ThreadPool.QueueUserWorkItem(ExecuteThreadPoolTask, "スレッドプールデータ");
}
private void ExecuteThreadPoolTask(object state)
{
Thread.Sleep(1000);
Console.WriteLine($"スレッドプールで処理: {state}");
}
7. LINQとラムダ式
LINQ (Language Integrated Query) は、デリゲートとイテレータを基盤とした高度なクエリ構文です。ラムダ式と匿名メソッドは、LINQの拡張メソッド(Where, Selectなど)に渡す述語や変換関数として頻繁に使用されます。
Func<int, int> squareFunc = delegate(int x) { return x * x; };
squareFunc += x => x * x; // ラムダ式
Action<int> printAction = x => Console.WriteLine(x);
Action emptyAction = () => Console.WriteLine("実行");
7.1 LINQ拡張メソッドの分類
| カテゴリ | 操作 |
|---|---|
| フィルタリング | OfType, Where |
| 射影 | Select, SelectMany |
| 分割 | Skip, Take, SkipWhile, TakeWhile |
| 結合 | Join, GroupJoin |
| 連結 | Concat |
| 順序付け | OrderBy, OrderByDescending, ThenBy, Reverse |
| グループ化 | GroupBy, ToLookup |
| 集合 | Distinct, Union, Intersect, Except |
| 集約 | Aggregate, Average, Count, Max, Min, Sum |
7.2 Group By の詳細
クエリ構文におけるgroup ... by ... into ...は、複合キーによるグループ化と、グループ化後のデータソースへのアクセスを可能にします。
var groupedProducts = from product in SampleData.Products
group new { product.Name, product.Price }
by new { CategoryName = product.Category.Name, BrandName = product.Brand.Name }
into productGroup
select new { GroupedItems = productGroup };
foreach (var group in groupedProducts)
{
Console.WriteLine($"グループキー: {group.GroupedItems.Key}");
foreach (var prod in group.GroupedItems)
{
Console.WriteLine($"{prod.Name} - {prod.Price}");
}
}
7.3 カスタムLINQ拡張メソッド
IEnumerable<T>に対する拡張メソッドを定義することで、独自のクエリ演算子や反復処理を作成できます。
public static class EnumerableExtensions
{
public static void ApplyAction<T>(this IEnumerable<T> source, Action<T> action)
{
foreach (var element in source)
{
action(element);
}
}
}
// 使用例: numbers.ApplyAction(Console.WriteLine);
8. I/O、ファイル操作、およびクリーンコード
ストリーム(Stream)とファイルシステム(File, FileInfo)の操作は、.NETアプリケーションにおけるデータ入出力の基盤です。これらクラスの関係性を理解することで、効率的なリソース管理(usingステートメントの活用)が可能になります。
「クリーンコード」の原則は、保守性と拡張性を高めるために不可欠です。主なルールとして、単一責任の原則の遵守、重複コードの排除(DRY)、意図が明確な命名、try/catchブロックの分離、そして「コード自体が説明するように書く」ことで不要なコメントを削除することが挙げられます。また、リファクタリングを安全に行うための自動テスト(ユニットテスト)の整備は、高品質なソフトウェア開発の前提条件です。
9. その他の重要な言語機能
9.1 const と readonly
- const: コンパイル時定数。基本型のみ可能。静的メンバとして扱われる。
- readonly: 実行時定数。任意の型(参照型含む)が可能。コンストラクタ内でのみ代入可能。
9.2 is と as 演算子
- as: 型変換を試み、失敗した場合に例外をスローせず
nullを返す。値型には使用不可。 - is: 型互換性をチェックし、真偽値を返す。
9.3 演算子と型変換のオーバーロード
カスタム型に対して、数学演算子や明示的/暗黙的な型変換を定義できます。
public class Vector2D
{
public double X { get; set; }
public double Y { get; set; }
public static Vector2D operator +(Vector2D v1, Vector2D v2)
{
return new Vector2D { X = v1.X + v2.X, Y = v1.Y + v2.Y };
}
public static explicit operator Vector2D(Tuple<double, double> tuple)
{
return new Vector2D { X = tuple.Item1, Y = tuple.Item2 };
}
}
9.4 Tuple と匿名型
Tuple<T1, T2...>は、一時的なデータ構造を簡単に作成するために使用されます。匿名型(var data = new { ... };)は、LINQの射影(Select)などで、明示的なクラス定義を省略するために頻繁に利用されます。
9.5 String と StringBuilder
stringはイミュータブル(不変)であり、連結のたびに新しいメモリが割り当てられます。ループ内での頻繁な文字列操作には、ミュータブルなStringBuilderを使用することで、メモリ割り当てのオーバーヘッドを大幅に削減できます。また、.NETの文字列インターンプール(String Interning)の仕組みを理解することも、メモリ効率の最適化に役立ちます。