C＃ ？ ：运营商

Question

有人可以解释一下以下编译器问题

错误：无法确定条件表达式的类型，因为'string'和'int'之间没有隐式转换

// 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转换的情况下工作，因为string.Format需要一个object并且存在从int到object的隐式转换。

Answer 2

Eric Lippert的 Cast操作员不遵守分配法

Answer 3

这个表达式的评估类型是什么？

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

Answer 4

我想你需要从MSDN中读取这个： 条件运算符 。

特别是这部分：

？：运算符的第二个和第三个操作数控制条件表达式的类型。 设X和Y是第二个和第三个操作数的类型。 然后，

如果X和Y是相同的类型，那么这是条件表达式的类型。 否则，如果从X到Y存在隐式转换（第6.1节），而不是从Y到X，则Y是条件表达式的类型。 否则，如果从Y到X存在隐式转换（第6.1节），而不是从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作为arg，因此将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 。