类型安全可防止在编译类型期间进如何为继承的接口实现相同的编译时类型安全性?
public interface IBase { }
public interface IFoo : IBase { }
public interface IBar { }
public class Base { }
public class Foo : Base { }
public class Bar { }
public class Test
{
public void TestInterface()
{
IBase item = null;
IFoo foo = item as IFoo;
// How to get an error?
IBar bar = item as IBar;
}
public void TestClass()
{
Base item = null;
Foo foo = item as Foo;
// Error since Bar is not derived from Base
Bar bar = item as Bar;
}
}
解决方法:
你不能,也不应该 – 因为它可能不是一个错误.考虑额外的课程:
class BarBase : IBase, IBar
{
}
现在:
IBase item = new BarBase();
IBar bar = item as IBar;
这将bar作为非空引用 – 所以为什么你希望它是编译时错误?请注意,编译器不应该/不注意:
>你如何实际初始化项目
>是否有任何实现IBase和IBar的类
它会注意到这种转换是否有效.考虑:
public sealed class Sealed {}
public interface IFoo {}
Sealed x = null;
IFoo foo = x as IFoo; // Error
这里没有可能实现IFoo的Sealed非null值,因为没有Sealed的任何子类实现接口……所以编译器会给出错误.
标签:c,casting,type-conversion 来源: https://codeday.me/bug/20190609/1202110.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。