Исключение типов в общих ограничениях (возможно?)
Возможно ли исключить определенные типы из набора возможных типов, которые можно использовать в универсальном параметре? Если так, как.
Например
Foo<T>() : where T != bool
будет означать любой тип, кроме типа Bool.
Edit
Зачем?
Следующий код - моя попытка применить отрицательное ограничение.
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.
Закомментируйте раздел со сделками с примером предполагаемого типа, и он не работает.
Было бы намного лучше иметь исключенное общее ограничение.