C#における動的型（dynamic）とオブジェクト型（object）の違いとは？

動的型（dynamic）変数とは？

dynamic型の変数には、任意の型の値を格納することができます。この型の変数に対する型チェックは、実行時（ランタイム）に行われます。つまり、コンパイラは代入された値の型を厳密に検証せず、実際にコードが実行される段階で初めて型の整合性が確認されます。

dynamic z = 100;

オブジェクト型（object）変数とは？

object型は、C#の共通型システム（CTS：Common Type System）におけるすべてのデータ型の最終的な基底クラスです。「object」はSystem.Objectクラスのエイリアス（別名）です。

object型には、値型・参照型を問わず、組み込み型やユーザー定義型など、他のあらゆる型の値を代入することが可能です。

object obj = 100;

両者の主な違い：型チェックのタイミング

dynamic型とobject型は非常に似た性質を持っていますが、決定的な違いは型チェックが行われるタイミングにあります。

• object型： 型チェックはコンパイル時に行われます。そのため、互換性のない操作を含むコードは、コンパイルエラーとして早期に検出されます。
• dynamic型： 型チェックは実行時に行われます。コンパイル時にはエラーにならず、実行時に不正な操作が行われた場合にのみ、RuntimeBinderExceptionなどの例外が発生します。

使い分けのポイント

object型は、ボックス化を伴う汎用的な処理や、さまざまな型を受け入れるメソッドの引数などに適しています。一方、dynamic型は、COM連携やJSONデータの動的な操作など、実行時まで型が確定しないシナリオで威力を発揮します。

ただし、dynamic型はコンパイル時の型安全性が失われるため、パフォーマンスや保守性の観点から、どうしても必要な場面に限定して使用することが推奨されます。型が事前に分かっている場合は、object型やジェネリクスを活用する方が安全で効率的なコードになります。