由于对象是多态的,因此基类类型的变量可以保存派生 类型。 要访问派生类型的实例成员,必须将值强制转换回派生类型。 但是,强制转换会引发 InvalidCastException 风险。 C# 提供模式匹配语句,该语句只有在成功时才会有条件地执行强制转换。 C# 还提供用于测试某个值是否为特定类型的 is 和 as 运算符。
以下示例演示如何使用模式匹配 is
语句:
var g = new Giraffe();
var a = new Animal();
FeedMammals(g);
FeedMammals(a);
// Output:
// Eating.
// Animal is not a Mammal
SuperNova sn = new SuperNova();
TestForMammals(g);
TestForMammals(sn);
// Output:
// I am an animal.
// SuperNova is not a Mammal
static void FeedMammals(Animal a)
{
if (a is Mammal m)
{
m.Eat();
}
else
{
// variable 'm' is not in scope here, and can't be used.
Console.WriteLine($"{a.GetType().Name} is not a Mammal");
}
}
static void TestForMammals(object o)
{
// You also can use the as operator and test for null
// before referencing the variable.
var m = o as Mammal;
if (m != null)
{
Console.WriteLine(m.ToString());
}
else
{
Console.WriteLine($"{o.GetType().Name} is not a Mammal");
}
}
class Animal
{
public void Eat() { Console.WriteLine("Eating."); }
public override string ToString()
{
return "I am an animal.";
}
}
class Mammal : Animal { }
class Giraffe : Mammal { }
class SuperNova { }
前面的示例演示了模式匹配语法的一些功能。 该 if (a is Mammal m)
语句将测试与初始化赋值组合在一起。 仅当测试成功时,才会发生分配。 该变量 m
仅在已分配它的嵌入式 if
语句的作用域中。 之后无法在同一方法中访问 m
。 前面的示例还演示如何使用 as
运算符 将对象转换为指定类型。
还可以使用相同的语法测试 可为 null 的值类型 是否具有值,如以下示例所示:
int i = 5;
PatternMatchingNullable(i);
int? j = null;
PatternMatchingNullable(j);
double d = 9.78654;
PatternMatchingNullable(d);
PatternMatchingSwitch(i);
PatternMatchingSwitch(j);
PatternMatchingSwitch(d);
static void PatternMatchingNullable(ValueType? val)
{
if (val is int j) // Nullable types are not allowed in patterns
{
Console.WriteLine(j);
}
else if (val is null) // If val is a nullable type with no value, this expression is true
{
Console.WriteLine("val is a nullable type with the null value");
}
else
{
Console.WriteLine("Could not convert " + val.ToString());
}
}
static void PatternMatchingSwitch(ValueType? val)
{
switch (val)
{
case int number:
Console.WriteLine(number);
break;
case long number:
Console.WriteLine(number);
break;
case decimal number:
Console.WriteLine(number);
break;
case float number:
Console.WriteLine(number);
break;
case double number:
Console.WriteLine(number);
break;
case null:
Console.WriteLine("val is a nullable type with the null value");
break;
default:
Console.WriteLine("Could not convert " + val.ToString());
break;
}
}
前面的示例演示了与转换一起使用的模式匹配的其他功能。 可以通过专门检查 null
值来测试 NULL 模式的变量。 当变量 null
的运行时值为时, is
检查类型的语句始终返回 false
。 模式匹配 is
语句不允许可以为 null 的值类型,例如 int?
或 Nullable<int>
,但你可以测试任何其他值类型。
is
上述示例中的模式不限于可以为 null 的值类型。 也可以使用这些模式测试引用类型的变量具有值还是为 null
。
前面的示例还演示了如何在语句中使用 switch
类型模式,其中变量可能是许多不同类型之一。
如果您想测试变量是否为一个给定类型,但不需要将其分配给新变量,可以使用is
和as
运算符来测试引用类型和可为 null 的值类型。 以下代码演示如何在引入模式匹配之前使用 is
属于 C# 语言的语句和 as
语句,以测试变量是否属于给定类型:
// Use the is operator to verify the type.
// before performing a cast.
Giraffe g = new();
UseIsOperator(g);
// Use the as operator and test for null
// before referencing the variable.
UseAsOperator(g);
// Use pattern matching to test for null
// before referencing the variable
UsePatternMatchingIs(g);
// Use the as operator to test
// an incompatible type.
SuperNova sn = new();
UseAsOperator(sn);
// Use the as operator with a value type.
// Note the implicit conversion to int? in
// the method body.
int i = 5;
UseAsWithNullable(i);
double d = 9.78654;
UseAsWithNullable(d);
static void UseIsOperator(Animal a)
{
if (a is Mammal)
{
Mammal m = (Mammal)a;
m.Eat();
}
}
static void UsePatternMatchingIs(Animal a)
{
if (a is Mammal m)
{
m.Eat();
}
}
static void UseAsOperator(object o)
{
Mammal? m = o as Mammal;
if (m is not null)
{
Console.WriteLine(m.ToString());
}
else
{
Console.WriteLine($"{o.GetType().Name} is not a Mammal");
}
}
static void UseAsWithNullable(System.ValueType val)
{
int? j = val as int?;
if (j is not null)
{
Console.WriteLine(j);
}
else
{
Console.WriteLine("Could not convert " + val.ToString());
}
}
class Animal
{
public void Eat() => Console.WriteLine("Eating.");
public override string ToString() => "I am an animal.";
}
class Mammal : Animal { }
class Giraffe : Mammal { }
class SuperNova { }
通过将此代码与模式匹配代码进行比较,模式匹配语法通过在单个语句中组合测试和赋值来提供更可靠的功能。 尽可能使用模式匹配语法。