首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

.NET核心:代码契约方法现在关闭了吗?

.NET核心的代码契约方法(Code Contracts)在最新的.NET Core版本中已经停止维护和支持。代码契约方法是一种在软件开发中用于定义和验证代码行为的技术。它可以在代码中定义前置条件、后置条件和对象不变性,并且通过静态分析工具和运行时检查来验证这些约束是否满足。

然而,自从.NET Core 3.0版本起,微软宣布不再继续投资和支持代码契约方法。这意味着在最新版本的.NET Core中,代码契约方法不再被认为是官方支持的特性,也不再更新和修复其中的问题。

尽管代码契约方法在.NET Core中不再推荐使用,但仍然可以继续在旧版本的.NET Framework中使用。如果项目中依赖于代码契约方法,并且迁移到.NET Core,建议考虑使用其他替代方案,例如使用断言(Assert)或自定义的验证逻辑来代替代码契约方法。

关于.NET Core的更多信息和相关产品介绍,你可以参考腾讯云的文档:

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

  • .NET 类库

    类库是.NET的共享库概念。它们使您能够将有用的功能组件化为可由多个应用程序使用的模块。它们还可以用作加载应用程序启动时不需要或不知道的功能的一种方式。类库使用.NET 程序集文件格式进行描述。 您可以使用三种类型的类库: 特定于平台的类库可以访问给定平台(例如,.NET Framework、Xamarin iOS)中的所有 API,但只能由面向该平台的应用和库使用。 可移植类库可以访问 API 的子集,并且可供面向多个平台的应用程序和库使用。 .NET Standard类库将特定于平台的和可移植的库概念合并到一个模型中,该模型提供了两者的优点。 特定于平台的类库 特定于平台的库绑定到单个 .NET 实现(例如,Windows 上的 .NET Framework),因此可能对已知的执行环境有很大的依赖性。这样的环境将公开一组已知的 API(.NET 和 OS API),并将维护和公开预期状态(例如,Windows 注册表)。 创建平台特定库的开发人员可以充分利用底层平台。这些库只会在给定的平台上运行,从而不需要平台检查或其他形式的条件代码(多个平台的模单源代码)。 特定于平台的库一直是 .NET Framework 的主要类库类型。即使出现了其他 .NET 实现,特定于平台的库仍然是主要的库类型。 可移植类库 多个 .NET 实现支持可移植库。它们仍然可以依赖于已知的执行环境,但是,该环境是由一组具体的 .NET 实现的交集生成的合成环境。公开的 API 和平台假设是特定于平台的库可用的一个子集。 您在创建可移植库时选择平台配置。平台配置是您需要支持的平台集(例如,.NET Framework 4.5+、Windows Phone 8.0+)。您选择支持的平台越多,您可以做出的 API 和平台假设就越少,这是最低公分母。这个特性起初可能会令人困惑,因为人们通常认为“越多越好”,但发现支持的平台越多,可用的 API 就越少。 许多库开发人员已经从从一个源(使用条件编译指令)生成多个特定于平台的库转向可移植库。有几种方法可以访问便携式库中特定于平台的功能,其中诱饵和切换是目前最广泛接受的技术。 .NET 标准类库 .NET Standard 库替代了特定于平台的可移植库概念。它们是特定于平台的,因为它们公开了底层平台的所有功能(没有合成平台或平台交叉点)。它们是可移植的,因为它们可以在所有支持平台上工作。 .NET Standard 公开了一组库契约。.NET 实现必须完全支持或根本不支持每个契约。因此,每个实现都支持一组 .NET Standard 协定。推论是每个 .NET Standard 类库都在支持其契约依赖项的平台上受支持。 .NET Standard 并未公开 .NET Framework 的全部功能(也不是目标),但是,它们确实公开了比可移植类库更多的 API。随着时间的推移,将添加更多 API。 以下平台支持 .NET Standard 库: .NET 核心 .NET 框架 单核细胞增多症 Xamarin.iOS、Xamarin.Mac、Xamarin.Android 通用 Windows 平台 (UWP) 视窗 视窗电话 Windows Phone Silverlight 有关详细信息,请参阅.NET 标准。 Mono 类库 Mono 支持类库,包括前面描述的三种类型的库。Mono 经常被(正确地)视为 .NET Framework 的跨平台实现。在某种程度上,这是因为特定于平台的 .NET Framework 库可以在 Mono 运行时上运行,而无需修改或重新编译。这一特性在创建可移植类库之前就已经存在,因此是在 .NET Framework 和 Mono 之间实现二进制可移植性的一个明显选择(尽管它只在一个方向上起作用)。

    02

    【洞见荐书】| 《深度实践微服务测试》(文末赠书)

    距离我上一次写契约测试的文章已经过去了三年,在这期间,契约测试在测试策略层面已经确确实实地被很多团队落地实践,无论是对工具的熟练层度、还是对引入契约测试的主观意愿,越来越多的团队在契约测试上都展现出了更高的使用水准,甚喜。 最近,我接触到了两个不同项目的一些事情,它们都对契约测试有所涉及,但又都包含了一些很容易让人迷失的细节,所以想和大家一起分享。 生产者端的契约测试不是“写”出来的 在一次帮助项目上的开发同学评审契约测试代码的时候,我留意到开发同学多次描述“……在生产者端的实现是这么写的……” ,我顿时感

    02

    C# WCF服务

    WCF(Windows Communication Foundation)是由微软开发的一系列支持数据通信的应用程序框架,可以翻译为Windows 通讯开发平台。整合了原有的windows通讯的 .net Remoting,WebService,Socket的机制,并融合有HTTP和FTP的相关技术。是Windows平台上开发分布式应用最佳的实践方式。 WCF是.Net框架中的技术,用来创建面向服务的应用程序,交换不同通信方案里的消息,以及执行服务操作生成的工作流。WCF应用程序由三部分组成 - WCF服务,WCF服务主机和WCF服务客户端。WCF平台有时也被称为服务模型。WCF的基本特征是互操作性。这是微软用于构建面向服务的应用程序的最新技术之一。根据基于消息的通信的概念中,一个HTTP请求可以被均匀地表示,WCF是一个统一的API而不管不同的传输机制。

    02
    领券