c# - 为什么 unsigned int 不符合 CLS？

Question

为什么无符号整数不符合 CLS？

我开始认为类型规范只是为了性能而不是为了正确性。

Answer 1

并非所有语言都有无符号整数的概念。例如，VB 6 没有无符号整数的概念，我怀疑这导致了 VB7/7.1 的设计者也决定不实现（它现在在 VB8 中实现）。

去引用：

http://msdn.microsoft.com/en-us/library/12a7a7h3.aspx

CLS 的设计足够大，可以包含开发人员通常需要的语言结构，但又足够小，以至于大多数语言都能够支持它。此外，任何无法快速验证代码类型安全性的语言结构都被排除在 CLS 之外，因此所有符合 CLS 的语言都可以生成可验证的代码，如果他们选择这样做的话。

更新：几年前我确实想知道这一点，虽然我不明白为什么 UInt 不能进行类型安全验证，但我猜 CLS 家伙必须在某个地方有一个截止点，即基线最小值是多少支持的值类型数量。此外，当您考虑到越来越多的语言被移植到 CLR 的长期时，如果绝对没有概念，为什么还要强迫他们实现无符号整数以获得 CLS 合规性？

Answer 2

我怀疑，问题的一部分围绕着这样一个事实，即 C 中的无符号整数类型必须表现为抽象代数环的成员而不是数字[这意味着，例如，如果一个无符号的 16 位整数变量等于零, 减少它是必需的产生 65,535，如果它等于 65,535，则需要增加它以产生零。] 有时这种行为非常有用，但数字类型表现出这种行为可能违背了某些语言的精神。我猜想省略无符号类型的决定可能早于支持检查和未检查数字上下文的决定。就个人而言，我希望无符号数和代数环有单独的整数类型；将一元减号运算符应用于无符号 32 位数字应产生 64 位有符号结果[否定除零以外的任何值将产生负数]，但将一元减号应用于环类型应产生该环内的加法逆。

在任何情况下，无符号整数不符合 CLS 的原因是 Microsoft 决定语言不必支持无符号整数才能被视为“CLS 兼容”。

Answer 3

无符号整数不符合 CLS，因为它们在某些语言之间不可互操作。

Answer 4

Unsigned int 在现实生活中并没有给你带来太多好处，但是拥有超过 1 种类型的 int 会给你带来痛苦，所以很多语言只有 singed int。

符合 CLS 的目的是允许从多种语言中使用一个类……</p>

请记住，没有人让您符合 CLS。

您仍然可以在方法中使用无符号整数，或作为私有方法的参数，因为它只是符合 CLS 限制的公共 API。