c# – 编译器中的错误还是误解？或短裤上的运算符

参见英文答案 > Bitwise-or operator used on a sign-extended operand in Visual Studio 2015                                    2个
我有一行代码在VS2015中给我一个警告信息(CS0675),但在2013年没有.

shortValue |= (short)anEnum;

Warning CS0675 Bitwise-or operator used on a sign-extended operand;
consider casting to a smaller unsigned type first. The compiler
implicitly widened and sign-extended a variable, and then used the
resulting value in a bitwise OR operation. This can result in
unexpected behavior.

显然正在发生的是enum和short被扩展为int,或者运算符应用,然后结果将结果分配给short.

如果我将代码更改为shortValue = shortValue | (短)anEnum;我得到编译器错误CS0266.但是按位OR应该对短路有效(在我认为的两种情况下).如果我将鼠标悬停在|上它显示为一个int运算符,我错过了什么或者我应该将其报告为错误？

PS：我知道我可以通过使用=而不是| =并将结果转换为short来消除警告/错误.

解决方法:

如果你看一下C#规范(特别是在“整数逻辑运算符”中),你会发现逻辑OR运算符只有int,uint,long,ulong的定义：

int operator |(int x, int y);
uint operator |(uint x, uint y);
long operator |(long x, long y);
ulong operator |(ulong x, ulong y);

此外,在Bit twiddling: What does warning CS0675 mean? Eric Lippert表示：

“There are bitwise-or operators defined on int, uint, long and ulong“

运算符的有效性很短,但只是在短值可以扩展到int的意义上.但是,该运算符的返回值是(至少)一个int.

因此,从技术上讲,根据规范,这似乎不是一个错误,因为使用| =确实将签名值扩展为int,这会给出警告和常规|导致需要转换为int以分配给short的int.

但是,由于编译器实际上可以知道两个操作数最初都是short,因此两者都扩展为int,结果最终会被存储回short,操作数被扩展并不重要.从int到short的转换将丢失扩展.

因此,VS2013编译器的警告比VS2015编译器更智能,或VS2015修复了一个错误,并警告VS2013失败的地方.只有编译器背后的人可以回答这个问题,但我认为它确实是一个错误(编辑：and it is).

标签：c,c-6-0,bitwise-operators,roslyn
来源： https://codeday.me/bug/20190519/1136575.html