我想检查在C源文件中用于变量的位运算符掩码是否在变量的最小范围内。如果我转换了太大的掩码，我确实会得到一个警告，但是我宁愿不需要转换来触发警告。
换句话说，如果在按位运算中使用的掩码值大于unsigned short（例如0x 80000）中可以包含的值，则在将该掩码值与无符号短整型变量（例如usVal & MY_MASK，其中MY_MASK定义为#define MY_MASK 0x80000）一起使用时，将生成警告或错误。
我意识到unsigned short可能大于0到65，535的最小范围，但我使用的是x86的Visual Studio，32位编译似乎将unsigned short视为16位值。
我可以使用其他的方法，只要它能与Visual Studio 2019一起使用，我会很感激您的建议。可以与Visual Studio一起使用的其他C编译器可能会生成这样的警告或lint类型的实用程序。Visual Studio 2019中也可能有一个源代码分析器设置，它也会标记这样的错误。或者Visual Studio 2022可能会发出这样的警告
似乎 gcc 和 clang 有一个-Wconversion标志，最佳和最差的GCC编译器标志为嵌入式：-Wconversion，以警告隐式转换，那么有没有类似的东西为Visual Studio 2019？这会捕捉到这种类型的问题？
在Visual Studio 2019中，我可以有以下C源代码：

typedef unsigned long ULONG;
typedef unsigned short USHORT;

#define KPS_MASK16_ALT_MAN   (ULONG)0x80000
#define KPS_MASK16_ALT_AUTO  0x4000

#define MASK_CHECK(t,v,op,m)  ((v) op (t)(m))

int    KpsIsAlt1(USHORT usOutPrinterInfo) {
    return  (usOutPrinterInfo & (USHORT)KPS_MASK16_ALT_MAN) || (usOutPrinterInfo & (USHORT)KPS_MASK16_ALT_AUTO);
}

int    KpsIsAlt2(USHORT usOutPrinterInfo) {
    return  (usOutPrinterInfo & KPS_MASK16_ALT_MAN) || (usOutPrinterInfo & KPS_MASK16_ALT_AUTO);
}

int    KpsIsAlt3(USHORT usOutPrinterInfo) {
    return  (MASK_CHECK(USHORT,usOutPrinterInfo, &, KPS_MASK16_ALT_MAN) || (usOutPrinterInfo & KPS_MASK16_ALT_AUTO));
}

字符串
这将使用警告级别3或4生成以下编译器警告，其中第136行是函数KpsIsAlt1()中的掩码操作，第145行是使用define MASK_CHECK的函数KpsIsAlt3()中的掩码操作：

1>Source2.c
1>D:\Users\rickc\Documents\vs2019repos\ConsoleApplicationClosure\Source2.c(136,38): warning C4310: cast truncates constant value
1>D:\Users\rickc\Documents\vs2019repos\ConsoleApplicationClosure\Source2.c(145,11): warning C4310: cast truncates constant value
1>ConsoleApplicationClosure.vcxproj -> D:\Users\rickc\Documents\vs2019repos\ConsoleApplicationClosure\Debug\ConsoleApplicationClosure.exe
1>Done building project "ConsoleApplicationClosure.vcxproj".

型
我希望在函数KpsIsAlt2()的第141行也能看到一些关于掩码的警告，但是没有任何关于掩码值超出变量范围的警告。
如果将遮罩与型别太小而无法与该遮罩一起使用的变数一起使用，Visual Studio似乎不会发出警告。就好像编译器正在无消息地将unsigned short变数提升为unsigned long变数，并执行遮罩。
我希望看到的是一个“位操作超出范围”的警告，或者是其他类型的提示，即位操作使用的掩码不会测试变量中的任何位。
我尝试了MASK_CHECK() define作为一个可能的解决方案的测试，但是这样做真的没有意义，而不仅仅是使用KpsIsAlt1()函数中使用的类型转换。除非有某种方法让预处理器识别变量类型，否则它真的不实用。
我还做了一个快速测试，将defines替换为：

//#define KPS_MASK16_ALT_MAN   (ULONG)0x80000
//#define KPS_MASK16_ALT_AUTO  0x4000

ULONG const KPS_MASK16_ALT_MAN = 0x80000;
USHORT const KPS_MASK16_ALT_AUTO = 0x4000;

型
却没有看到任何警告。
如果我更改为enum，我会得到与使用defines时相同的警告。

//#define KPS_MASK16_ALT_MAN   (ULONG)0x80000
//#define KPS_MASK16_ALT_AUTO  0x4000

//ULONG const KPS_MASK16_ALT_MAN = 0x80000;
//USHORT const KPS_MASK16_ALT_AUTO = 0x4000;

enum { KPS_MASK16_ALT_MAN = 0x80000, KPS_MASK16_ALT_AUTO = 0x4000 };

型