C# コンパイラエラー CS0450 の原因と対策について解説

// クラス制約のみの正しい記述例
using System;
public class GenericsExample
{
    public class BaseClass { } // 基底クラス
    // TはBaseClassを継承することが保証される
    public class GenericClass<T> where T : BaseClass
    {
        public void DisplayType()
        {
            Console.WriteLine("型: " + typeof(T));
        }
    }
    public static void Main()
    {
        Console.WriteLine("クラス制約のみの記述例");
        // サンプルとして、BaseClassを継承するクラスを用意
        BaseClass sample = new DerivedClass();
        GenericClass<DerivedClass> example = new GenericClass<DerivedClass>();
        example.DisplayType();
    }
}
public class DerivedClass : GenericsExample.BaseClass { }

クラス制約のみの記述例
型: DerivedClass

// 誤ったパターン - コンパイラエラー CS0450 が発生するコード
using System;
public class GenericsErrors
{
    public class BaseClass { } // 基底クラス
    // 下記の制約は冗長であり、構造体制約とクラス制約が同時に指定されているためエラーになります
    public class GenericExample<T> where T : struct, BaseClass
    {
        public void ShowType()
        {
            Console.WriteLine("型: " + typeof(T));
        }
    }
    public static void Main()
    {
        Console.WriteLine("修正前のコード例");
    }
}

// 正しいパターン - コンパイル可能なコード例
using System;
public class GenericsErrors
{
    public class BaseClass { } // 基底クラス
    // 型制約からstructを削除することで、コンパイルエラーを回避
    public class GenericExample<T> where T : BaseClass
    {
        public void ShowType()
        {
            Console.WriteLine("型: " + typeof(T));
        }
    }
    public static void Main()
    {
        Console.WriteLine("修正後のコード例");
        // サンプルとして、BaseClassを継承するクラスを用意
        BaseClass sample = new DerivedClass();
        GenericExample<DerivedClass> example = new GenericExample<DerivedClass>();
        example.ShowType();
    }
}
public class DerivedClass : GenericsErrors.BaseClass { }

修正後のコード例
型: DerivedClass

// 誤ったパターン - コンパイラエラー CS0450 が発生します
using System;
public class GenericsErrors
{
    public class BaseClass { } // 基底クラス
    // 下記のジェネリッククラスは、struct と BaseClass の両方の制約を指定しているためエラーになります
    public class GenericExample<T> where T : struct, BaseClass
    {
        public void ShowType()
        {
            Console.WriteLine("型: " + typeof(T));
        }
    }
    public static void Main()
    {
        Console.WriteLine("誤ったパターンのコード例");
    }
}

誤ったパターンのコード例

// 正しいパターン - コンパイル可能なコード例
using System;
public class GenericsErrors
{
    public class BaseClass { } // 基底クラス
    // 型制約からstructを削除し、BaseClassのみの制約とすることでエラーが解消されます
    public class GenericExample<T> where T : BaseClass
    {
        public void ShowType()
        {
            Console.WriteLine("型: " + typeof(T));
        }
    }
    public static void Main()
    {
        Console.WriteLine("正しいパターンのコード例");
        // サンプルとして、BaseClassを継承するクラスを用意
        BaseClass sample = new DerivedClass();
        GenericExample<DerivedClass> example = new GenericExample<DerivedClass>();
        example.ShowType();
    }
}
public class DerivedClass : GenericsErrors.BaseClass { }

正しいパターンのコード例
型: DerivedClass