如何让Visual Studio在类型检查后推断变量为CPowerable子类？

我正在遍历一个List<CComponent>集合（CComponent为自定义类），仅希望对继承自CPowerable类（该类继承自CComponent）的元素执行代码。问题在于几乎不会存在基类CPowerable的实例，通常只有其子类实例。

若使用foreach (CPowerable i in list)语句，会将所有元素强制转换为CPowerable类型，不符合需求。于是我改用如下类型检查代码：

foreach (CComponent i in neighbours)
{
    if(i.GetType().IsSubclassOf(typeof(CPowerable)))
    {
        i.powerSources.Add(this);
        i.updateNode(this, this, false);
    } else
    {
        continue;
    }
}

但Visual Studio仍报错，而实际执行代码的元素均继承自CPowerable并拥有对应的字段。如何让编译器推断这些对象均为CPowerable的子类？

方法一：显式类型转换 #

编译器只识别i的声明类型是CComponent，即便你通过IsSubclassOf确认了它是CPowerable子类，也必须显式转换类型才能访问子类成员：

foreach (CComponent i in neighbours)
{
    if(i.GetType().IsSubclassOf(typeof(CPowerable)))
    {
        var powerable = (CPowerable)i;
        powerable.powerSources.Add(this);
        powerable.updateNode(this, this, false);
    }
}

如果担心转换异常，也可以用as运算符做安全转换：

foreach (CComponent i in neighbours)
{
    var powerable = i as CPowerable;
    if (powerable != null && i.GetType().IsSubclassOf(typeof(CPowerable)))
    {
        powerable.powerSources.Add(this);
        powerable.updateNode(this, this, false);
    }
}

方法二：使用LINQ筛选+模式匹配 #

借助LINQ的OfType方法可以直接筛选出CPowerable类型的元素，再排除基类实例即可：

foreach (var powerable in neighbours.OfType<CPowerable>())
{
    if (powerable.GetType() != typeof(CPowerable))
    {
        powerable.powerSources.Add(this);
        powerable.updateNode(this, this, false);
    }
}

或者用C# 7.0+的is模式匹配，写法更简洁：

foreach (CComponent i in neighbours)
{
    if (i is CPowerable powerable && i.GetType() != typeof(CPowerable))
    {
        powerable.powerSources.Add(this);
        powerable.updateNode(this, this, false);
    }
}

报错原因说明 #

你之前的代码报错，核心是编译器无法通过运行时的类型检查自动推导变量的实际类型——i的声明类型是CComponent，而该类并没有定义powerSources和updateNode成员，必须显式转换为CPowerable类型后，编译器才能识别这些子类专属成员。

内容的提问来源于stack exchange，提问作者Melody