C# と VB.NET の質問掲示板

Visual C# 2010 / .NET Framework 4.0 CP / クラスライブラリプロジェクト


C#ジェネリックメソッドを作成していますが、型引数Tがプリミティブ型以外の場合にエラーにしたいです。
それも実行時エラーではなく、コンパイル時エラーとしたいのです。

    private static T foo<T>(T arg) where T : struct
    {
        ...
    }

↑のようにすると参照型はエラーに出来ますが、構造体はエラーに出来ません。

    private static T foo<T>(T arg)
    {
        if (!typeof(T).IsPrimitive)
        {
            throw new ArgumentException();
        }
        ...
    }

↑のようにするとプリミティブ型以外はエラーに出来ますが、実行時エラーです。

プリミティブ型以外をコンパイル時エラーとする方法はありますでしょうか?
お知恵をお貸しいただけると嬉しいです。

IsPrimitiveな型は14個しかないので、すべてのメソッドを定義する

public class myClass
{
	public static Boolean foo(Boolean arg) { return foo<Boolean>(arg); }
	public static Byte foo(Byte arg) { return foo<Byte>(arg); }
	public static SByte foo(SByte arg) { return foo<SByte>(arg); }
	public static Int16 foo(Int16 arg) { return foo<Int16>(arg); }
	public static UInt16 foo(UInt16 arg) { return foo<UInt16>(arg); }
	public static Int32 foo(Int32 arg) { return foo<Int32>(arg); }
	public static UInt32 foo(UInt32 arg) { return foo<UInt32>(arg); }
	public static Int64 foo(Int64 arg) { return foo<Int64>(arg); }
	public static UInt64 foo(UInt64 arg) { return foo<UInt64>(arg); }
	public static IntPtr foo(IntPtr arg) { return foo<IntPtr>(arg); }
	public static UIntPtr foo(UIntPtr arg) { return foo<UIntPtr>(arg); }
	public static Char foo(Char arg) { return foo<Char>(arg); }
	public static Double foo(Double arg) { return foo<Double>(arg); }
	public static Single foo(Single arg) { return foo<Single>(arg); }

	private static T foo<T>(T arg)
	{
		//実装
		return arg;
	}
} 

■No73992 (PANG2 さん) に返信

お返事ありがとうございます。

早速試したところ、うまくいきました。
ただ、privateなジェネリック実装メソッドをpublicメソッドと同じ名前のままにすると、
コンパイルエラーにはなるけど保護レベルエラーとなって分かりにくいです。
(コンパイラがprivateなジェネリック実装メソッドを呼ぼうとするので)

そこで、privateなジェネリック実装メソッドは名前を変えることにしました。

    public static Boolean foo(Boolean arg) { return fooImpl<Boolean>(arg); }
    public static Byte foo(Byte arg) { return fooImpl<Byte>(arg); }
       .
       .
       .
    public static Byte foo(Single arg) { return fooImpl<Single>(arg); }

    private static T fooImpl<T>(T arg)
    {
        //実装...
    }

おかげさまで解決できて嬉しいです。
これで解決しましたが、いくつか似たようなパターンがあるので、そちらを試してから解決済みとしたいと思います。

■No73998 (キム さん) に返信

すみません、一点問題がありました。
今回は3つのジェネリックメソッドを作るのですが、そのうちの1つだけが他とは違って、

    private static T bar<T>(int arg)
    {
        T result;
        // 実装...
        return result;
    }

のいうように引数にT型を含んでいません。
なので、これをオーバーロードで解決しようとすると戻り値だけが異なるオーバーロードになってしまいます。
戻り値型のみが異なるオーバーロードは(少なくともC#レベルでは)出来ないので、教えていただいた方法では
このパターンを解決できませんでした。

自分では、いまのところ『IntPtrとUIntPtrはサポート外として、インターフェース制約を厳しくすることで
＜なるべく＞ コンパイルエラーになるようにする』ぐらいしか思いつかないです。

    public static T bar<T>(int arg) where T : struct, IComparable, IFormattable, IConvertible, IComparable<T>, IEquatable<T>
    {
        // コンパイルエラーに出来なかったものは実行時エラーでごめんなさい;;;;
        if (!typeof(T).IsPrimitive)
        {
            throw new ArgumentException();
        }
        
        T result;
        // 実装...
        return result;
    }

同じインターフェースを実装している構造体には無力ですし、『極力組み込み型と同じ』扱いとなるようにこれらの
インターフェースを実装している構造体は沢山ありそうなので余り意味ないですね。

何かこのパターンでも有効な方法はありますか?