一般制約内の型を除外（可能？）

Question

可能な型の集合から特定の型を除外することは可能であり、汎用型のパラメータで使用できますか？もしそうなら。

Foo<T>() : where T != bool 

例えば

は、bool型を除き、いずれかのタイプを意味しています。

編集

のはなぜ？

次のコードは、負の制約を適用しようとしたものです。

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 

namespace ConsoleApplication1 
{ 
    class Program 
    { 
    static void Main(string[] args) 
    { 
     var x1=Lifted.Lift("A"); 
     var x2=Lifted.Lift(true); 
    } 
    static class Lifted 
    { 
     // This one is to "exclude" the inferred type variant of the parameter 
     [Obsolete("The type bool can not be Lifted", true)] 
     static public object Lift(bool value) { throw new NotSupportedException(); } 
     // This one is to "exclude" the variant where the Generic type is specified. 
     [Obsolete("The type bool can not be Lifted", true)] 
     static public Lifted<T> Lift<T>(bool value) { throw new NotSupportedException(); } 
     static public Lifted<T> Lift<T>(T value) { return new Lifted<T>(value); } 
    } 

    public class Lifted<T> 
    { 
     internal readonly T _Value; 
     public T Value { get { return this._Value; } } 
     public Lifted(T Value) { _Value = Value; } 
    } 
    } 
} 

あなたはそれが過負荷正しいこと、解像度、および@jonskeet -esque悪コードのビットに信仰のビットを必要と見ることができるように。

推論された型の例を扱ったセクションをコメントアウトしても機能しません。

除外されたジェネリック制約を持つ方がずっと良いでしょう。

Answer 1

いいえ、型制約を使用するような一度だけの除外はできません。あなたは実行時にそれを行うことができます：

public void Foo<T>() 
{ 
    if (typeof(T) == typeof(bool)) 
    { 
     //throw exception or handle appropriately. 
    } 
} 

Answer 2

これは、プログラムの側面のように聞こえます。 おそらく、Aspect Oriented Programmingをコンパイル時にこの制約を提供すると考えることができます。

PostSharpは、この機能を提供する必要があります。