表达式

DreamShader » 图 » 表达式

Graph 块中产生值的文法：字面量、标识符、调用、成员访问以及四个算术运算符，求值后成为 UMaterialExpression 节点。

语法概要

<expression>     := <additive>
<additive>       := <multiplicative> [ { + | - } <multiplicative> ] …
<multiplicative> := <unary> [ { * | / } <unary> ] …
<unary>          := { + | - } <unary> | <postfix>
<postfix>        := <primary> [ <postfix-op> ] …
<postfix-op>     := . <identifier> | :: <identifier> | ( [ <argument> [ , <argument> ] … ] )
<primary>        := <identifier> | <number-literal> | <string-literal> | ( <additive> )
<argument>       := [ <identifier> = ] <additive>

( ) , . :: = + - * / 是 DreamShaderLang 的字面标点。[ … ]、{ a | b } 和 … 是元记号，永远不会被输入。

这是 1.x 文法。legacy 前端用 2.0 文法解析表达式，后者是它的超集，并会把上面文法之外的一切带码拒绝 （自 2.0.0 起） —— 见不存在的运算符。

优先级与结合性

绑定最紧的排在最前。

不存在的运算符

1.x 表达式文法里没有别的运算符。下面每一种都能解析，随后被拒绝：

完整清单及应改写的写法见不支持的写法。

[!WARNING] 1.x 会静默截断这些写法。 它的分词器把每个不认识的字符（%、!、<、>、&、|、^、~、?、[ ……）都映射成输入结束，于是解析器保留它前面的表达式、无声地丢掉其余部分。（自 2.0.0 起） 起整条表达式都会被读完，运算符被拒绝：

写法	1.x 构建出的	现在的码
a % b	a	DSH2201
a && b	a	DSH2200
a ? b : c	a	DSH2200
v[0]	v	DSH2202
a << 2	a	DSH2201

根本不是记号的字符（@、$、反引号）是 DSH2101。不再需要靠给可疑表达式加括号来让截断暴露出来。

操作数规则

绑定器对 + - * / 的两个操作数做这些检查：

运算符从不收窄操作数：float3 * float4 是 DSH4226，这样通道永远不会被静默丢掉。（自 2.0.0 起） 起它也不再加宽操作数：1.x 在某些情况下会把一个操作数加宽到“权威”值的宽度；现在操作数都有类型，标量广播是两种宽度相遇的唯一方式。见转换。

这里没有单独的标量提升步骤：标量操作数原样传给材质节点，由 Unreal 自行复制，所以 A * K 中 A 是 vec3、K 是 float 时只产生一个 Multiply 节点，而不是 AppendVector 广播。

二元运算符的结果

一元运算符

!x 是 DSH2200，~x 是 DSH2201，++x 和 --x 是 DSH2207。

取负常量会被折叠：-2.0 变成一个 Constant，持有 -2 （自 2.0.0 起），常量上的任何算术运算也是如此。见构造器。

整数除法

/ 是唯一带有额外类型规则的运算符：当两个操作数都是整数构造器调用（int、int2..4、ivec2..4、uint、uint2..4、uvec2..4）时，它是 DSH4243。材质图没有整数除法，所以编译器拒绝在 HLSL 的截断结果与图的分数结果之间做出选择。

其他所有 / 都是图的浮点除法，与 1.x 一样，1.x 把每个数字字面量都定成浮点——即使在编译器看来两边都是整数也一样：整数字面量（7）、int / uint 变量或属性（legacy 规则 L27）。dsc migrate 把这样的除法写成 float(7) / 2，因为 .dss 拒绝整数之间的任何 /。

[!NOTE] 对编译器来说，int、uint、bool 和 half 是各自的种类，这条规则正是这个区别的用途。在生成的图里它们全都是浮点——没有整数运算，也没有截断。见转换。

复合赋值

+= -= *= /= 不是 1.x 运算符。（自 2.0.0 起） 每一个都是 DSH2205，无论空格如何。

请写出展开形式：a = a + b;。

自增与自减

++ 和 -- 不是 1.x 运算符。（自 2.0.0 起） 每一种形式都是 DSH2207：a++;、a--;、++a;、--a;，以及更大表达式内部的 x = --a;，1.x 把后者读作 -(-a)。请改写为 a = a + 1;。

说明

• 相同的子表达式在降级后会被合并：去重 pass 对每一组运算相同、操作数相同且顺序相同的节点只保留一个节点，所以写两次的 A + B 只产生一个 Add，而 B + A 是第二个。常量也以同样方式合并。见节点复用。
• 分组括号不产生任何东西；它们只影响解析顺序。
• 调用可以直接 swizzle：UE.TexCoord().x 是一个调用后跟成员访问的后缀链。见Swizzle。
• :: 是被调用路径中的命名空间分隔符：N::F 指名 Namespace(Name="N") 的函数 F。它后面必须跟一个名字（DSH5260）。见名称解析。
• 命名调用参数（Coordinates = uv）是参数语法的一部分，不是赋值运算符。见调用。

诊断

完整列表见诊断索引。

示例

Shader(Name="Docs/M_Expressions")
{
    Properties {
        vec3 A = vec3(1.0, 0.5, 0.2);
        vec3 B = vec3(0.1, 0.2, 0.3);
        float K = 2.0;
    }
    Settings { Domain = "UI"; ShadingModel = "Unlit"; }
    Outputs { vec3 Color; Base.EmissiveColor = Color; }
    Graph {
        vec3 Sum    = A + B;
        vec3 Diff   = A - B;
        vec3 Scaled = A * K;
        vec3 Ratio  = A / K;
        vec3 Neg    = -Scaled;
        Color = (Sum + Diff - Scaled + Ratio) * 0.25 + Neg;
    }
}

生成的节点：

VectorParameter A, VectorParameter B             (property nodes)
ScalarParameter K                                (property node)
Add(A, B)                                        -> Sum
Subtract(A, B)                                   -> Diff
Multiply(A, K)                                   -> Scaled
Divide(A, K)                                     -> Ratio
Multiply(Scaled, Constant(-1))                   -> Neg
Add / Subtract / Add chain, Multiply(..., 0.25), Add(..., Neg)

参见

• 语句 —— 表达式可以出现的语句形式
• 不支持的写法 —— 所有被拒绝的写法及其代码
• 字面量 —— 数值、字符串和布尔字面量形式
• 构造器 —— float3(…)、vec4(…) 和整数构造器
• Swizzle —— .rgb、.bgr、通道掩码
• 转换 —— 加宽、收窄和种类
• if / else —— 唯一接受比较运算符的地方
• 调用 —— 调用语法、命名参数、out 参数
• 名称解析 —— 标识符或被调用者如何查找
• 节点复用 —— 重复的子表达式为什么只产生一个节点
• 数学内置 —— fmod、pow、min、max 及其余