public void Foo(double d){
    // when called below, d == 2^32-1 
    ...
}
public void Bar(){
    uint ui = 1;
    Foo( 0 - ui );
}

我希望0和ui都能在这里升级为签名多头.

是的,使用0字面值,在编译时可以知道转换为uint是安全的,

但我想这一切似乎都错了.至少应发出警告.

谢谢！

语言规范是否涵盖了这样的半模糊情况？

解决方法:

它是被转换为uint以从0执行减法的int(由编译器隐式解释为uint).请注意,int到uint是隐式转换,因此没有警告.您的代码没有任何问题……除了uint不是CLS编译器.你可以阅读为什么here.更多关于MSDN的CLS-compilant代码的信息