我们能在代码契约中强制泛型类型为空吗？
考虑一个场景，我们有一个泛型方法，它应该能够返回T的空引用，因此T必须是可空的。
有点像这样：
public static T GetNullableTypeTest<T>()
{
Contract.Requires(!typeof(T).IsValueType || Nullable.GetUnderlyingType(typeof(T)) != null);
return (T)(object)null;
}
CC似乎根本不理解我们试图做什么，它抱怨取消装箱空和方法调用导致“未经证实”的警告。
有没有办法在代码契约中强制执行此约束？
共有1个答案
这不是代码合同问题。您应该对您的方法进行限制，如下所示：
public static T GetNullableTypeTest<T>() where T : class
这样就不能调用这个方法，将值类型传递为t。从那时起，在方法体中加入有意义的契约。
-
我有一个父类来处理我所有的自定义异常，父母异常。我希望所有的子异常都有一个方法来向异常添加消息。为了做到这一点，我创建了一个泛型方法，在向其添加消息后返回泛型类型的对象。我在父类方法中使用来添加消息，然后返回，但是由于该方法返回泛型类型，所以我将其转换为泛型类型T。这似乎是可行的，但是给出了警告。我的代码如下： 该行给出的警告是。这种方法似乎确实如预期的那样有效，所以我并不担心，但我想更好地理解为
-
问题内容： 我正在使用泛型编写某些东西，令我惊讶的是，我发现这行不通： 那我不能实例化泛型吗？没有任何方法可以做到这一点吗？ 问题答案： 是的，这真是令人讨厌。 我使用的解决方法是强制客户端在构造新类时传递类-即 然后您可以使用。
-
问题内容： 我遇到了Java的异常行为，似乎是一个错误。是吗？即使对象不是的实例，也无法将对象强制转换为通用类型（例如）。这是一个例子： 更新 ：感谢cletus和Andrzej Doyle的有用答案。因为我只能接受一个，我接受安杰伊·多伊尔的答案，因为它使我一个解决方案，我觉得是不是 太 糟糕。我认为这是在单行代码中初始化小型Map的更好方法。 然后您这样称呼它： 问题答案： 就像cletus所
-
此代码有效。它以“未检查或不安全操作”警告进行编译和运行。 当这两个给我运行时错误时 我遇到的错误如下：
-
泛型的类型约束 swapTwoValues(_:_:)函数和Stack类型可以用于任意类型. 但是, 有时在用于泛型函数的类型和泛型类型上, 强制其遵循特定的类型约束很有用. 类型约束指出一个类型形式参数必须继承自特定类, 或者遵循一个特定的协议、组合协议. 例如, Swift的Dictionary类型在可以用于字典中键的类型上设置了一个限制. 如字典中描述的一样,字典键的类型必须是可哈希的. 也
-
我有一个通用类。它看起来像这样： 显然，conevertdatajsonstring方法仅在字符串类型为T时调用。但有一个警告： 类型安全：未选中从字符串转换为T 有没有一种方法可以在不使用SuppressWarnings的情况下解决此问题： @抑制警告（“未选中”） 方法之前？