C#？ ： 操作员

Question

有人可以向我解释以下编译器问题吗

错误：条件表达式的类型 无法确定，因为有 之间没有隐式转换 “字符串”和“整数”

// WORKS
string text = string.Format(
    "the id is {0}", _Obj.Id.ToString());

// WORKS, without implicit conversion <<<
string text = string.Format(
    "the id is {0}", _Obj.Id);

// WORKS
string text = string.Format(
    "the id is {0}", (_Obj == null) ? "unknown" : _Obj.Id.ToString());

// NO WAY <<<
string text = string.Format(
    "the id is {0}", (_Obj == null) ? "unknown" : _Obj.Id);

，也没有隐式转换。

Answer 1

该问题与您使用 string.Format 无关。问题是这个表达式：

(_Obj == null) ? "unknown" : _Obj.Id

编译器无法确定这个表达式的类型，因为 int 和 string 之间没有隐式转换。您已经找到了解决方案 - 调用 ToString 意味着表达式在任何情况下都会返回 string。修复它的另一种方法（但在这种情况下由于装箱而效率稍低）是明确告诉编译器如何执行转换。例如，您可以使用显式转换为 object：

(_Obj == null) ? "unknown" : (object)_Obj.Id

您的第二个示例无需显式转换即可工作，因为 string.Format 需要一个 object 并且那里是从 int 到 object 的隐式转换。

Answer 2

请参阅 Eric Lippert 博客文章强制转换运算符不遵守分配律。

Answer 3

这个表达式的计算结果是什么类型？

(_Obj == null) ? "unknown" : _Obj.Id

Answer 4

我认为你需要阅读 MSDN 上的这篇文章：
条件运算符。

特别是这部分：

第二个和第三个操作数
?：操作员控制的类型
条件表达式。设 X 和 Y 为
第二个和第三个的类型
操作数。那么，

如果 X 和 Y 是同一类型，则
这是条件的类型
表达。否则，如果隐式
转换（第 6.1 节）存在于 X
到 Y，但不是从 Y 到 X，那么 Y 是
条件句的类型
表达。否则，如果隐式
转换（第 6.1 节）存在于 Y
到 X，但不是从 X 到 Y，则 X 是
条件句的类型
表达。否则无表情
可以确定类型，并且
发生编译时错误。

Answer 5

"the id is {0}", (_Obj == null) ? "unknown" : _Obj.Id

编译器必须选择选择 string 类型或 integer （猜测），默认情况下不能反之亦然交换（无需隐式转换）

string text = string.Format("the id is {0}", _Obj.Id)

string.Format 将 object 作为参数，因此没有问题将 Id（整数）转换为对象。

Answer 6

最后一个有效，因为 string.format 将接受 (string, object)。

第一个不起作用，因为 ? : 运算符需要匹配类型。

Answer 7

问题是

// WORKS, without implicit conversion 
string text = string.Format( 
    "the id is {0}", _Obj.Id); 

和

// NO WAY 
string text = string.Format( 
    "the id is {0}", (_Obj == null) ? "unknown" : _Obj.Id); 

不一样！

尝试将这个术语

(_Obj == null) ? "unknown" : _Obj.Id);

视为

function int Eval(object obj)
{
  if (obj == null)
  {
    return "unknown";
  }
  else
  {
    return "1";
  }
}

“哪个显然不起作用”。所以整个事情与string.format无关。

Answer 8

在第一种情况下（不起作用），如果_Obj == null，则返回一个string，否则返回一个int。这当然会导致问题，因为在这种情况下您会尝试将 int 分配给 string text。