C#コンパイラエラーCS0080の原因と対策を解説

using System;
namespace SampleNamespace
{
    // このクラスはジェネリックではないため、型パラメーター制約は適用できません。
    // 以下の行はコンパイルエラー CS0080 を発生させます。
    public class MyClass where MyClass : IDisposable
    {
        public static void Main(string[] args)
        {
            Console.WriteLine("エラー発生例です");
        }
    }
}

// コンパイル時に次のようなエラーが表示されます。
// error CS0080: 制約は非ジェネリック宣言では許可されません。

using System;
namespace SampleNamespace
{
    public class MyClass
    {
        // このメソッドはジェネリックではないため、where句を使用できません。
        // 以下の行はコンパイルエラー CS0080 を発生させます。
        public void Foo() where Foo : new()
        {
            Console.WriteLine("このメソッドは誤った構文です");
        }
        public static void Main(string[] args)
        {
            MyClass instance = new MyClass();
            // メソッド呼び出し例(実際には呼び出せません)
            Console.WriteLine("エラー発生例です");
        }
    }
}

// コンパイル時に次のようなエラーが表示されます。
// error CS0080: 制約は非ジェネリック宣言では許可されません。

using System;
namespace SampleNamespace
{
    // クラスをジェネリックにして、型パラメーター T に対して制約を付与します。
    public class MyClass<T> where T : IDisposable
    {
        public static void Main(string[] args)
        {
            Console.WriteLine("コンパイル成功の例です");
        }
    }
}

コンパイル成功の例です

using System;
namespace SampleNamespace
{
    // パラメーター制約を適用するため、まずは補助クラス Sample を定義します。
    public class Sample
    {
        public Sample() { }
    }
    public class MyClass
    {
        // メソッドをジェネリックメソッドとして宣言し、型パラメーター U に対して new() 制約を付与しています。
        public void Foo<U>() where U : new()
        {
            Console.WriteLine("ジェネリックメソッド 正常な構文です");
        }
        public static void Main(string[] args)
        {
            MyClass instance = new MyClass();
            instance.Foo<Sample>();
            Console.WriteLine("コンパイル成功の例です");
        }
    }
}

ジェネリックメソッド 正常な構文です
コンパイル成功の例です

using System;
namespace SampleNamespace
{
    public class MyClass
    {
        // 不要な where句 を削除して、通常のメソッドとして定義しています。
        public void Foo()
        {
            Console.WriteLine("where句を使用しない正しい構文です");
        }
        public static void Main(string[] args)
        {
            MyClass instance = new MyClass();
            instance.Foo();
            Console.WriteLine("コンパイル成功の例です");
        }
    }
}

where句を使用しない正しい構文です
コンパイル成功の例です

using System;
namespace SampleNamespace
{
    // Sample クラスは IDisposable インターフェイスを実装しています。
    public class Sample : IDisposable
    {
        public void Dispose() { }
    }
    // クラスをジェネリッククラスとして定義し、型パラメーター T に制約を付与しています。
    public class MyClass<T> where T : IDisposable
    {
        // メソッドをジェネリックメソッドとして宣言し、型パラメーター U に new() 制約を付与しています。
        public void Foo<U>() where U : new()
        {
            Console.WriteLine("正しいジェネリックメソッドの利用例です");
        }
        public static void Main(string[] args)
        {
            // クラスのジェネリック化の例として、Sample 型を指定します。
            MyClass<Sample> instance = new MyClass<Sample>();
            // メソッドのジェネリック化の例として、Sample 型を指定します。
            instance.Foo<Sample>();
            Console.WriteLine("正しい構文のサンプルコードです");
        }
    }
}

正しいジェネリックメソッドの利用例です
正しい構文のサンプルコードです