if / else

if / else 是 Graph 语言里唯一的控制流语句，而且它不是跳转。两个分支都在生成阶段执行，两边的节点全部 留在最终材质里，再由一个 UMaterialExpressionIf 在每个像素上二选一。

语法概要

if ( <condition> )
{
    <graph-statement> …
}
[ else
{
    <graph-statement> …
} ]

<condition> := <expression> [ { >= | <= | == | != | > | < } <expression> ]

else if 链是合法的：它以原始文本被捕获，然后作为一个嵌套 if 在 else 块体内重新解析——所以 else if 链是一棵嵌套语句树，而不是一个扁平列表。

要求

条件

条件文本是在表达式解析器运行之前按文本切分的。比较运算符不属于表达式文法——这里是它们唯一被接受的 地方。

切分是这样进行的：

1. 在嵌套深度 0 上从左往右扫描文本。( )、{ }、[ ] 的深度和字符串字面量都会被跟踪并跳过。
2. 在每个位置上，按固定顺序 >=、<=、==、!=、>、< 依次探测。第一个匹配的位置胜出； 双字符运算符总是先于以它为前缀的单字符运算符被探测，所以 a >= b 在 >= 处切分，永远不会在 > 处 切分。
3. 如果找到了匹配但去空白后有一边为空，这次切分会被丢弃，整段文本改为真值条件。
4. 如果没有匹配到运算符，整段文本就是左操作数，运算符为真值。
5. 每一边随后交给普通表达式解析器。失败时报 In Graph if condition '{Condition}': {Error}。

两个操作数都必须求值成标量——1 个分量——且不能是纹理对象、MaterialAttributes 值或 Substrate 值。

真值语义

// 写法 —— -1.0 和 1.0 都会走 then 分支。
if (Height) { Color = Hot; } else { Color = Cold; }

// 它实际编译成：
if (Height != 0) { Color = Hot; } else { Color = Cold; }

// 如果你想要的是符号判断，就明写出来：
if (Height > 0) { Color = Hot; } else { Color = Cold; }

真值条件的右操作数是一个合成的、值为 0 的 Constant 节点。

&& 与 || 会被静默丢弃

// 写法 —— 能编译，但第二个判断被丢弃了。
if (Mask > 0.5 && Alpha > 0.5) { Color = Hot; } else { Color = Cold; }

// 等价写法，也是编译器实际构建出来的东西：
if (Mask > 0.5) { Color = Hot; } else { Color = Cold; }

// 请改写成嵌套 if：
if (Mask > 0.5) {
    if (Alpha > 0.5) { Color = Hot; } else { Color = Cold; }
} else {
    Color = Cold;
}

节点接线

每个被合并的变量产生一个 UMaterialExpressionIf 节点。A 接条件的左操作数，B 接右操作数（或合成 的零），三个结果引脚由分支值接入：

结果的分量数和 MaterialAttributes 标志取自 then 分支。它永远不是纹理对象，也永远不是 Substrate 值。

两个分支总是都会构建

没有死代码消除，也不会在构建期对条件做常量折叠。执行一条 if 严格做这三件事：

1. 复制当前变量表；在副本上运行所有 then 语句。
2. 再复制一次当前变量表；在这个副本上运行所有 else 语句。
3. 恢复外层表并合并。

实际含义：

• 两个分支的每个节点都存在于生成材质里。 运行时永远走不到的分支照样消耗着色器指令。if 是 select， 不是跳转。
• 任一分支内部的错误都会让构建失败，哪怕那是常量条件下永远到不了的分支。块体错误会被包装成 In Graph if body: {Error} / In Graph else body: {Error}。
• 分支里声明的变量不会留在分支内——它会参与合并。
• 节点复用不按分支划分作用域。在 then 分支里首次构建的子表达式，会在 else 分支和合并之后原样复用。
• 条件按每个被合并的变量各求值一次。操作数会走复用缓存，所以条件节点只有一套——但 N 个被合并的变量 会产生 N 个 If 节点。

// 两个名为 'Threshold' 的 ScalarParameter 节点。
if (u > 0.5) { Color = Lit.rgb * Threshold; } else { Color = Dark.rgb * Threshold; }

// 一个。
float T = Threshold;
if (u > 0.5) { Color = Lit.rgb * T; } else { Color = Dark.rgb * T; }

合并

当一个名字出现在某个分支的表里，并且要么在外层表中不存在、要么在外层表中绑定的是另一个值时，它就是一个 分支输出。只有节点、输出索引、分量数、全部五个通道掩码字段、纹理标志、纹理类型、 MaterialAttributes 标志和 Substrate 标志全部一致时，两个值才算相同。

// 失败：'Blend' 在一个分支是 float3，在另一个分支是 float。
if (Mask > 0.5) { float3 Blend = float3(1.0, 0.0, 0.0); Color = Blend; }
else            { float  Blend = 0.25;                  Color = float3(Blend, Blend, Blend); }

// 可行：一次声明、一种形状，两个分支里都只是赋值。
float3 Blend = float3(0.0, 0.0, 0.0);
if (Mask > 0.5) { Blend = float3(1.0, 0.0, 0.0); }
else            { Blend = float3(0.25, 0.25, 0.25); }
Color = Blend;

哪些值不能被选择

想按纹理分支，请两张都采样再对结果数值做选择，或者把选择交给作用在采样结果上的 StaticSwitchParameter。 见调用。

诊断

示例

Shader(Name="Docs/M_IfElse")
{
    Properties {
        float Mask = 0.6;
        vec3  Tint = vec3(1.0, 0.2, 0.2);
    }

    Settings {
        Domain       = "UI";
        ShadingModel = "Unlit";
    }

    Outputs {
        vec3 Color;
        Base.EmissiveColor = Color;
    }

    Graph {
        if (Mask > 0.5) {
            Color = Tint;
        } else if (Mask > 0.25) {
            Color = Tint * 0.5;
        } else {
            Color = vec3(0.0, 0.0, 0.0);
        }
    }
}

VectorParameter  Tint
ScalarParameter  Mask
Constant         0.5                 (shared)
Constant         0.25
Multiply         Tint * 0.5
Constant3Vector  (0,0,0)             (folded literal)
If               A=Mask B=0.25  ->   inner else-if merge of 'Color'
If               A=Mask B=0.5   ->   outer merge of 'Color'

两个 If 节点都存在，因为 else if 就是一个嵌套 if；而且不论 Mask 运行时取什么值，每个分支的节点都 在材质里。

参见

• 语句与声明 —— 分支里合法的语句形式与声明作用域
• 运算符与转换 —— 操作数所用的文法，以及合并处应用的转换
• 调用 —— StaticSwitchParameter，if 的编译期替代方案
• 不支持的写法 —— 循环、switch、?: 以及静默截断清单