这是斯巴达，还是？

以下是面试问题。我想出了一个解决方案，但不确定为什么。

题：

在不修改Sparta类的情况下，编写使MakeItReturnFalsereturn的代码false。

public class Sparta : Place
{
    public bool MakeItReturnFalse()
    {
        return this is Sparta;
    }
}

我的解决方案：（SPOILER）

public class Place
{
public interface Sparta { }
}

但是，为什么Sparta在MakeItReturnFalse()指{namespace}.Place.Sparta代替{namespace}.Sparta？

但是，为什么Sparta在MakeItReturnFalse()指{namespace}.Place.Sparta代替{namespace}.Sparta？

基本上，因为这就是名称查找规则所说的。在C＃5规范中，相关的命名规则在3.8节（“名称空间和类型名称”）中。

前几对子弹-被截断和注释-阅读：

• 如果namespace-or-type-name的形式I或形式为I<A1, ..., AK> [so在我们的情况下K = 0]：
  • 如果K为零，并且名称空间或类型名称出现在通用方法声明中[不，没有通用方法]
  • 否则，如果namespace-or-type-name出现在类型声明中，则对于每个实例类型T（第10.3.1节），从该类型声明的实例类型开始，并从每个封闭类的实例类型继续，或者结构声明（如果有）：
    • 如果K为零，并且的声明T包括带有name的类型参数I，则namespace-or-type-name引用该类型参数。[不]
    • 否则，如果namespace-or-type-name出现在类型声明的正文中，T 或者其任何基本类型包含具有name I和Ktype参数的嵌套可访问类型，则namespace-or-type-name引用该名称。使用给定类型参数构造的类型。[答对了！]
• 如果前面的步骤不成功，那么对于每个名称空间N，从其中出现名称空间或类型名称的名称空间开始，到每个封闭的名称空间（如果有）开始，再到全局名称空间结束，则评估以下步骤直到找到实体：
  • 如果K为零，并且I是中的命名空间名称N，则... [是，将会成功]

因此，如果第一个项目符号什么也没找到，那么最后一个要点就是选择Sparta 该类 ……但是当基类Place定义了一个接口时Sparta，它将在我们考虑Sparta该类之前被找到。

请注意，如果将嵌套类型设为Place.Sparta类而不是接口，它仍会编译并返回false-但编译器会发出警告，因为它知道的实例Sparta永远不会是该类的实例Place.Sparta。同样，如果保留Place.Sparta一个接口但创建一个Spartaclass sealed，则会收到警告，因为没有Sparta实例可以实现该接口。

将名称解析为其值时，定义的“紧密度”用于解决歧义。无论“最接近”的定义是选择的那个。

该接口Sparta在基类中定义。该类Sparta在包含名称空间中定义。在基类中定义的事物比在相同命名空间中定义的事物“更紧密”。

美丽的问题！对于那些每天都不使用C＃的人，我想添加一个稍长的解释...因为这个问题通常可以很好地提醒您解决名称解析问题。

采用原始代码，并通过以下方式对其进行了稍微的修改：

• 让我们打印出类型名称，而不是像原始表达式（即return this is Sparta）中那样比较它们。
• 让我们Athena在Place超类中定义接口以说明接口名称解析。
• 让我们也打印出this绑定在Sparta类中的类型名称，只是为了使所有内容都清楚。

代码如下：

public class Place {
    public interface Athena { }
}

public class Sparta : Place
{
    public void printTypeOfThis()
    {
        Console.WriteLine (this.GetType().Name);
    }

    public void printTypeOfSparta()
    {
        Console.WriteLine (typeof(Sparta));
    }

    public void printTypeOfAthena()
    {
        Console.WriteLine (typeof(Athena));
    }
}

现在，我们创建一个Sparta对象并调用这三个方法。

public static void Main(string[] args)
    {
        Sparta s = new Sparta();
        s.printTypeOfThis();
        s.printTypeOfSparta();
        s.printTypeOfAthena();
    }
}

我们得到的输出是：

Sparta
Athena
Place+Athena

但是，如果我们修改Place类并定义接口Sparta：

   public class Place {
        public interface Athena { }
        public interface Sparta { } 
    }

那么就是这个Sparta接口-将首先可用于名称查找机制，并且我们的代码输出将更改为：

Sparta
Place+Sparta
Place+Athena

因此，MakeItReturnFalse仅在超类中定义Sparta接口即可有效地弄乱了函数定义中的类型比较，该 接口首先是通过名称解析找到的。

但是，为什么C＃选择优先考虑名称解析中超类中定义的接口？@JonSkeet知道！而且，如果您阅读了他的回答，您将获得C＃中名称解析协议的详细信息。