上級

ArrayTypeMismatchException の原因と直し方

配列の共変性（string[]をobject[]として扱えること）を利用したコードで、実体の型と異なる要素を代入すると発生します。

エラーメッセージの読み方

Unhandled exception. System.ArrayTypeMismatchException: Attempted to access an element as a type incompatible with the array.

System

名前空間 — System なら標準の基本例外です

ArrayTypeMismatchException

例外クラス — 何が起きたか。ここを検索するのが最短です

Attempted to access an element as a type incompatible with the array.

詳細メッセージ — どの値が問題だったか

at Program.Main(String[] args) in Program.cs:line 5

発生箇所 — スタックトレースの先頭行

このエラーが出る典型パターン

 1  class Program {
 2      static void Main(string[] args) {
 3          string[] strs = new string[3];
 4          object[] objs = strs;
 5          objs[0] = 123 ;
                        ^
 6          System.Console.WriteLine(objs[0]);
 7      }
 8  }

 1  class Person { public string Name; }
 2  class Program {
 3      static void Main(string[] args) {
 4          Person[] people = new Person[2];
 5          object[] objs = people;
 6          objs[0] = "Al"                      ;
                                   ^
 7          System.Console.WriteLine(objs[0]);
 8      }
 9  }

 1  class Program {
 2      static void Main(string[] args) {
 3          string[] names = new string[2];
 4          object[] objs = names;
 5          objs[1] = true ;
                        ^
 6          System.Console.WriteLine(objs[1]);
 7      }
 8  }

 1  class Book { public string Title; }
 2  class Program {
 3      static void Main(string[] args) {
 4          Book[] books = new Book[2];
 5          object[] objs = books;
 6          objs[0] = 123                     ;
                                  ^
 7          System.Console.WriteLine(objs[0]);
 8      }
 9  }

 1  class Program {
 2      static void Main(string[] args) {
 3          string[] words = new string[2];
 4          object[] objs = words;
 5          objs[0] = true;
                        ^
 6          System.Console.WriteLine(objs[0]);
 7      }
 8  }

よくある誤解

コンパイラはobject[]への代入を許してしまうため、コンパイル時には気づけません。配列の「見た目の型」と「実体の型」が違うことが原因です。

実務での勘所

配列の共変性は、実はC#独自の欠陥ではなくJavaにも同じ形で存在する、意図的に受け継がれた設計です。ジェネリクスが存在しなかった時代、Array.Sortのような「あらゆる参照型の配列に使える」汎用的なメソッドを書く手段が配列の共変性しか無かったため、型安全性より汎用性を優先してこの設計が採用されました。ジェネリクスが使えるようになった現在では、List<T>のようなジェネリックコレクションを使えばこの種の型安全性の穴を避けられるため、新しいコードで配列の共変性に頼る場面は少なくなっています。

演習をはじめる

関連するエラー

• SwitchExpressionException の原因と直し方switch式が全てのパターンを網羅していないとき、コンパイラは警告を出しますが止めません。
• sealedメンバーをオーバーライドしようとした原因と直し方sealed overrideを付けたメンバーを、さらに下の派生クラスでオーバーライドしようとすると出るコンパイルエラーです。