如果我在C#中声明一个接口,有什么方法可以显式声明实现该接口的任何类型都是引用类型？
我想这样做的原因是,无论我在哪里使用接口作为类型参数,我都不必指定实现类型也必须是引用类型.
我想要完成的例子：
public interface IInterface
{
void A();
int B { get; }
}
public class UsingType<T> where T : IInterface
{
public void DoSomething(T input)
{
SomeClass.AnotherRoutine(input);
}
}
public class SomeClass
{
public static void AnotherRoutine<T>(T input)
where T : class
{
// Do whatever...
}
}
由于SomeClass.AnotherRoutine()的参数需要是一个引用类型,我将在这里得到一个编译器错误,我调用该方法,建议我强制T作为引用类型(其中T：IInterface,声明中的类) of UsingType).有什么方法可以在接口级别强制执行此操作吗？
public interface IInterface : class
不起作用(显然)但也许还有另一种方法来完成同样的事情？
解决方法
如果你在一个接口下传递一些东西,那么即使你有一个实现该接口的值类型,如果转换为接口并且行为类似于引用类型(因为它在引用类型中被加框),它将变成盒子.
interface IFoo {
int Value { get; set; }
}
struct Foo : IFoo {
public int Value { get; set; }
}
用作值类型时观察效果：
var a = new Foo() { Value = 3 };
var b = a; // copies value
b.Value = 4;
Console.WriteLine( "a has {0}",a.Value ); //output: a has 3
Console.WriteLine( "b has {0}",b.Value ); //output: b has 4
现在看看当你把它投射到界面时会发生什么：
var a = new Foo() { Value = 3 } as IFoo; //Boxed
var b = a; // copies reference
b.Value = 4;
Console.WriteLine( "a has {0}",a.Value ); //output: a has 4
Console.WriteLine( "b has {0}",b.Value ); //output: b has 4
因此,结构或类是否实现接口并不重要.如果转换为接口然后在接口下传递,那么它将表现为引用类型.
编辑：那么如果这些是您的要求……
For contract X:
- Throw a compile error if a struct implements/inherits X.
- X may not be an abstract class.
那么,你只是被卡住了,因为那些相互矛盾.
>如果struct实现/继承契约,那么获取编译错误的唯一方法是它是否为抽象类.
>由于您无法使用抽象类来保持继承选项的打开,因此必须使用接口.
>强制执行结构无法实现接口的规则的唯一方法是在运行时.
使用T：class的约束,IFoo甚至不会一直工作.如果我有这个方法(基于相同的Foo和IFoo)：
static void DoSomething<T>(T foo) where T: class,IFoo {
foo.Value += 1;
Console.WriteLine( "foo has {0}",foo.Value );
}
然后在这种情况下会抛出编译错误：
var a = new Foo(){ Value = 3 };
DoSomething(a);
但在这种情况下它会正常工作：
var a = new Foo(){ Value = 3} as IFoo; //Boxed
DoSomething(a);
因此,就我而言,使用T：class,IFoo-style约束,然后只要它被装箱,结构就实现了接口可能无关紧要.但是,如果传递一个盒装结构,则取决于检查EF的作用.也许它会起作用.
如果它不起作用,至少通用约束会让你分开,你可以检查foo.GetType().IsValueType(指上面我的DoSomething方法)并抛出ArgumentException来处理盒装结构的情况.
