Swan 表达式 - 选择表达式

ANSYS Swan 表达式支持选择(selection)表达式 case, if/then/else。选择表达式根据特定的条件选择不同的分支流。

if/then/else 表达式

if/then/else 表达式的文法如下

if expr then expr else expr 

其中，首个expr 的布尔表达式，若其为 true, 则返回 then 分支的流；若为false，则返回 else 分支的流。

如下示例为 if/then/else 的使用

function ifThenElseExpr (i: bool)
returns (o: int32)
{
let o = if i then 24 else 42;
}

case 表达式

case 表达式按匹配值选择相应的流。其文法如下

(case expr of (| pattern: expr )+)

文法中首个 expr 的类型可以是布尔表达式。比如下面的例子:

function caseExpr (i1: bool)
returns (o: int32)
{
  let o = (case i1 of 
  | true : 
  24
  | false :
  42); 
}

case 后的 expr 也可以是枚举类型。比如下面的例子:

type E1 = enum {LEFT, RIGHT};

function caseExpr2 (i: E1)
returns (o: int32)
{
let o = (case i of 
 | LEFT:
 24
 | RIGHT:
 42);
}

case 后的expr 可以是整数或字符类型。如果是此类情况，需要额外包含default 匹配模式。比如下面的两个例子:

function caseExpr3 (i: int32)
returns (o: int32)
{
let o = (case i of 
    | 1 : i+1 
    | 2 : i+2 
    | 3 : i+3 
    | default : i);
}

function caseExpr4 (i: char)
returns (o: int32)
{
let o = (case i of | 'a' : 24 | default : 42);
}