本文介绍了验证者不了解可空类型（足够）的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
验证者未能证明关于可空类型的简单事情。例如：
模块M
Sub S（ByVal a As Byte？）
Contract.Requires（a.HasValue AndAlso） a.Value = 0）
结束子
子T（）
S（0）
结束子
结束模块
解决方案
这篇关于验证者不了解可空类型（足够）的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！