CS801～2000

C#のCS1067エラーの原因と修正方法について解説

2025-03-29更新日: 2025-03-29

C#で発生するCS1067エラーは、部分宣言において、ジェネリック型パラメータの順番やvariance修飾子が一致していない場合に表示されます。

各部分宣言でパラメータの記述と配置が統一されているか確認し、一致させることでエラーが解消されます。

目次から探す

CS1067エラーの定義と発生条件
- エラーの意味と背景
- 発生する具体的な状況
部分宣言における型パラメータの不一致
- 型パラメータ名の統一要求
- 型パラメータの順序に関するルール
Variance修飾子の整合性
- Variance修飾子の基本
- 不一致が引き起こすエラー例
エラーメッセージの分析
- コンパイラメッセージの各要素の解説
CS1067エラーの修正方法
- 宣言内容の統一手順
- 修正前後のコード例比較
動作確認と再コンパイルの手順
- 修正後のコンパイルチェック
- テスト実施時のポイント確認
まとめ

CS1067エラーの定義と発生条件

エラーの意味と背景

CS1067エラーは、partial 宣言された型の定義において、型パラメータの順序や名前、さらには variance 修飾子が一致していない場合に発生します。

コンパイラは、複数の partial 宣言が一つの型として合成される際に、全ての宣言で同じ定義になっていることを求めます。

そのため、たとえば一方の宣言で型パラメータが T, U となっていて、もう一方が U, T などの場合、このエラーが報告されます。

発生する具体的な状況

CS1067エラーは、以下のような状況で発生することが多いです。

複数ファイルに分割された partial 型宣言で、型パラメータの名前や順序が異なる場合
一部の partial 宣言で、variance 修飾子in や outが付与され、他の宣言で同じ修飾子が欠落している場合
宣言間で型パラメータの制約や順番にずれがあり、統一されていない場合

これらの状況では、コンパイラは型の完全な定義を一意に判断できず、エラーを出力します。

部分宣言における型パラメータの不一致

型パラメータ名の統一要求

partial型宣言では、全ての部分で同一の型パラメータ名を使用する必要があります。

たとえば、あるファイルで SampleClass<T, U> と宣言している場合、別のファイルで SampleClass<A, B> とすると、型パラメータ名が統一されずエラーが発生します。

コンパイラは型パラメータの名前も型定義の一部として扱うため、名前が一致していなければ同一の型とは認識しません。

型パラメータの順序に関するルール

また、partial型の各部分で型パラメータの順序は同一でなければなりません。

順序が異なると、実行時の型の意味が変わる可能性があるため、コンパイラはその整合性を強く求めます。

たとえば、SampleClass<T, U> と SampleClass<U, T> は同じ型として合成されず、エラーを引き起こす原因となります。

Variance修飾子の整合性

Variance修飾子の基本

C#では、ジェネリック型に対して型パラメータに in(contravariant)や out(covariant)の修飾子を付けることができます。

これらの修飾子は、型の安全な変換を保証するために重要な役割を果たします。

partial 宣言の場合、すべての部分で同じ variance 修飾子を設定する必要があります。

不一致が引き起こすエラー例

例えば、ある部分宣言で SampleClass<out T, U> としているにもかかわらず、別の宣言で SampleClass<T, U> としている場合、variance 修飾子が一致していないため、CS1067エラーが発生します。

全ての partial 宣言で修飾子の有無が統一されているか確認する必要があります。

エラーメッセージの分析

コンパイラメッセージの各要素の解説

CS1067エラーのメッセージには、型パラメータの順序、名前、及び variance 修飾子不整合の情報が含まれます。

これらの要素を確認することで、どの部分に定義の不一致があるかを特定する手がかりが得られます。

エラーメッセージは、問題が発生した箇所や具体的な不一致内容を示しているため、該当する部分宣言を確認し、修正すべき点を明確にすることができます。

不一致事例の詳細説明

不一致事例としては、たとえば以下のような状況が考えられます。

型パラメータの名前が異なる：一方で T, U、もう一方で A, B とされている
型パラメータの順序が異なる：一方で T, U、もう一方で U, T としている
Variance修飾子の不一致：一方で out T, U、もう一方で T, U としている

これらはすべて、CS1067エラーの原因となる例です。

エラーメッセージからの対処ポイント

エラーメッセージを確認したら、まずは各partial 宣言の型パラメータ部分に注目し、名前と順序、修飾子の状態を比較してください。

メッセージが指摘している箇所に対して、全ての宣言で統一されるように修正することが重要です。

具体的な行番号が示されている場合は、該当箇所を探して比較することで、迅速に原因を特定できます。

CS1067エラーの修正方法

宣言内容の統一手順

エラー解消のためには、複数の partial 宣言間で型パラメータの定義を一致させる必要があります。

まずは、全ての宣言で使用している型パラメータの名前、順序および variance 修飾子が同一であることを確認してください。

コンパイラが要求する統一ルールに従い、宣言内容を見直すことが修正の第一歩です。

型パラメータの順序と名前の調整

各partial 宣言で、型パラメータが同じ名前で同じ順序になっているかを再確認します。

異なる名前や順序が見つかった場合は、すべての宣言で統一してください。

例えば、以下のような不一致がある場合は、名前および順序を揃える必要があります。

不一致例:
- ファイルA: public partial class SampleClass<T, U>
- ファイルB: public partial class SampleClass<U, T>
修正後:
- 両方とも public partial class SampleClass<T, U>

Variance修飾子の一致方法

同様に、各宣言で使用するvariance修飾子も一致させる必要があります。

ある宣言で out や in 修飾子が使用されている場合、全ての partial 宣言で同じ修飾子を追加してください。

修飾子が抜けている、または異なる場合、コンパイラは型の整合性を判断できず、エラーを報告します。

修正前後のコード例比較

以下に、CS1067エラーが発生するコード例と、その修正後のコード例を示します。

using System;
// エラー例：型パラメータ名および順序の不一致による partial 宣言
public partial class SampleClass<T, U> // ファイルA
{
    public void Display() { Console.WriteLine("Partial 宣言 A"); }
}
public partial class SampleClass<A, B> // ファイルB(型パラメータ名が不一致)
{
    public void Show() { Console.WriteLine("Partial 宣言 B"); }
}
public class Program
{
    public static void Main()
    {
        // 以下の行を有効にするとCS1067エラーが発生します。
        SampleClass<int, string> instance = new SampleClass<int, string>();
        instance.Display();
        instance.Show();
    }
}

※このコードはコンパイルエラーを発生させます。

using System;
// 正しい例：型パラメータ名と順序、variance修飾子が統一された partial 宣言
public partial class SampleClass<T, U> // ファイルA
{
    public void Display() { Console.WriteLine("Partial 宣言 A 正常"); }
}
public partial class SampleClass<T, U> // ファイルB(型パラメータ名と順序が統一)
{
    public void Show() { Console.WriteLine("Partial 宣言 B 正常"); }
}
public class Program
{
    public static void Main()
    {
        SampleClass<int, string> instance = new SampleClass<int, string>();
        instance.Display();
        instance.Show();
    }
}

Partial 宣言 A 正常
Partial 宣言 B 正常

動作確認と再コンパイルの手順

修正後のコンパイルチェック

全てのpartial 宣言で型パラメータの名前、順序、およびvariance修飾子が統一されているか確認後、ソリューション全体をコンパイルしてください。

エラーが解消されることで、修正内容が正しく反映されていると判断できます。

コンパイラによる出力メッセージを確認し、他の関連する警告やエラーが無いことを確認することが大切です。

テスト実施時のポイント確認

修正後は、実際の動作確認として、Main関数を含むプロジェクトを実行し、意図した通りに partial 宣言が統合され、各メソッドが正しく呼び出されるかテストしてください。

特に以下のポイントに注意してください。

各partial 宣言のメソッドが統合されて呼び出し可能か
型パラメータの整合性により、予期しない型エラーが発生しないか
コンパイル後の実行結果が期待通りであるか

これらの確認を通して、CS1067エラーの修正が正しく行われたことを実証できます。

まとめ

この記事では、CS1067エラーの原因となるpartial宣言の型パラメータの不整合(名前、順序、variance修飾子の違い)について解説しています。

エラーメッセージの各要素を読み解く方法や、具体的なコード例を通して適切な修正手順が理解できる内容です。

コンパイルチェックやテスト時の確認ポイントも説明し、実際の開発現場で役立つ情報を提供しています。