CS0261エラーについて解説：C#のpartial型宣言における一貫性確保のポイント

// File1.cs
public partial class SampleType  // クラスで宣言
{
    public void MethodA()
    {
        Console.WriteLine("File1: MethodA");
    }
}
// File2.cs
public partial struct SampleType  // 構造体として宣言しているためエラーとなる
{
    public void MethodB()
    {
        Console.WriteLine("File2: MethodB");
    }
}
public class Program
{
    public static void Main(string[] args)
    {
        // インスタンスの生成方法が不一致のためコンパイルエラーになる
    }
}

// コンパイル時に「CS0261: 型の部分宣言は、すべて、クラス、構造体、またはインターフェイスのいずれかに統一する必要があります」

// File1.cs
public partial class SampleType
{
    public void MethodA()
    {
        Console.WriteLine("File1: MethodA");
    }
}
// File2.cs
internal partial class SampleType  // アクセシビリティが内部に設定されているため不一致となる
{
    public void MethodB()
    {
        Console.WriteLine("File2: MethodB");
    }
}
public class Program
{
    public static void Main(string[] args)
    {
        // partial 宣言のアクセシビリティが一致しないため、コンパイルエラーとなる
    }
}

// コンパイル時に「CS0262: 型の部分宣言に競合するアクセシビリティ修飾子が含まれています」

// File1.cs
public partial class GenericSample<T, U>
{
    public void PrintTypes()
    {
        Console.WriteLine($"Type T: {typeof(T)}, Type U: {typeof(U)}");
    }
}
// File2.cs
public partial class GenericSample<U, T>   // 型パラメーターの順序が異なる
{
    public void AdditionalMethod()
    {
        Console.WriteLine("This is an additional method.");
    }
}
public class Program
{
    public static void Main(string[] args)
    {
        // 複数の partial 宣言で型パラメーターの順序が一致していないためエラーとなる
    }
}

// コンパイル時に「CS0264: 型の部分宣言には、同じ順序で、同じ type パラメータ名を指定する必要があります」

// File1.cs
public partial class GenericSample<T> where T : class
{
    public void ShowType()
    {
        Console.WriteLine($"Type T is a reference type: {typeof(T)}");
    }
}
// File2.cs
public partial class GenericSample<T>    // 制約条件が指定されていないため不一致になる
{
    public void ExtraMethod()
    {
        Console.WriteLine("Additional method in GenericSample.");
    }
}
public class Program
{
    public static void Main(string[] args)
    {
        // 型制約が一致していないためコンパイルエラーが発生する
    }
}

// コンパイル時に「CS0265: 型の部分宣言に、型パラメーターに対して矛盾する制約が含まれています」

// File1.cs
public partial class GenericSample<T> where T : class
{
    public void MethodA()
    {
        Console.WriteLine("MethodA available.");
    }
}
// File2.cs
public partial class GenericSample<T> where T : class   // 制約条件が File1.cs と一致している
{
    public void MethodB()
    {
        Console.WriteLine("MethodB available.");
    }
}
public class Program
{
    public static void Main(string[] args)
    {
        // 修正後、以下のように正常に動作します。
        GenericSample<string> sample = new GenericSample<string>();
        sample.MethodA();
        sample.MethodB();
    }
}

MethodA available.
MethodB available.