不支持的写法

DreamShader » Graph » 不支持的写法

Graph 块不实现的每一种 HLSL 与 GLSL 写法、编译器为它报告的代码，以及应该改写成什么。

Graph 块是节点图构建器，不是着色器编译器。它只有固定的几种语句形式、四个算术运算符，除 if 之外没有任何控制流。其余一切都会带诊断码被拒绝。不会再有任何写法被编译成比你写下来的更少的东西*（自 2.0.0 起）*： 1.x 生成器遇到第一个不认识的运算符就静默丢掉表达式的其余部分 （a % b 构建出 a），而现在每一种这样的写法都是错误，信息里还会说明 1.x 当时做了什么。

想写循环、?:、&& 或位运算，请把代码搬进 Function， 或用 dsc migrate 把文件迁到 .dss——那里有这些写法。

一种写法是怎样被拒绝的

legacy 前端用 2.0 的语句与表达式解析器读取 Graph 块体，它的文法是 1.x 文法的超集；然后再拒绝 1.x 没有的东西*（自 2.0.0 起）*：

每条诊断都带该写法的行列。一个阶段会报告它的全部错误，有错误的阶段会在下一阶段之前停止构建。

1.x 会截断的运算符

下面每一种 1.x 都会接受，然后只构建运算符前面的部分，没有任何信息。（自 2.0.0 起） 每一种都是错误。

// Refused (DSH2201); 1.x built this as UE.Time().
float Wave = UE.Time() % 1.0;

// Correct:
float Wave = fmod(UE.Time(), 1.0);

// Refused (DSH2210); 1.x built this as if (Color.r > 0.5).
if (Color.r > 0.5 && Color.g > 0.5) { Out = One; } else { Out = Zero; }

// Correct:
if (Color.r > 0.5) {
    if (Color.g > 0.5) { Out = One; } else { Out = Zero; }
} else {
    Out = Zero;
}

限制检查对一个被拒绝的写法只报一次、不再看它内部，所以 a % b % c 是一条诊断；a % b + c % d 是两条。

语句层面的写法

Graph 块体按语句读取，而不是按文本在 ; 处切分，所以带花括号的写法后面的代码不会再被吞进同一条语句 （自 2.0.0 起）。

表达式层面的写法

复合赋值与自增自减

+= -= *= /= %=、位运算的复合形式、++ 和 -- 都不是 1.x 运算符。

（自 2.0.0 起） 空白不再有影响。1.x 把 a += b; 读成类型为 a、 名为 + 的变量声明，把 a+=b; 读成对一个名叫 a+ 的全新变量的赋值， a 保持不变且没有任何信息；现在这些都是 DSH2205。请写展开形式：a = a + b;。

// Refused (DSH2205).
Sum+=Tint;

// Correct:
Sum = Sum + Tint;

大小写写错的关键字

if 和 else 是关键字，区分大小写，for、while、return、 struct 及其他 HLSL 关键字也一样。大小写写错的拼法是一个名字。

类型 token、构造器名和 true / false 不区分大小写。其他名字先精确查找， 再不区分大小写，后者带警告（DSH5275， 引擎名为 DSH5276）；见 名称解析。

根本不存在的特性

诊断

包含每条消息的完整列表见诊断索引。

示例

一段 GLSL 风格的尝试，以及它的 DreamShaderLang 等价写法。

// Refused.
Graph {
    vec2  uv    = UE.TexCoord(Index = 0);
    float t     = UE.Time() % 4.0;                 // DSH2201
    float mask  = uv.x > 0.5 && uv.y > 0.5;        // DSH2200
    vec3  col   = mask ? Hot : Cold;               // DSH2200
    col        *= Gain;                            // DSH2205
    Color = col;
}

// Correct.
Graph {
    vec2  uv = UE.TexCoord(Index = 0);
    float t  = fmod(UE.Time(), 4.0);

    vec3 col;
    if (uv.x > 0.5) {
        if (uv.y > 0.5) { col = Hot; } else { col = Cold; }
    } else {
        col = Cold;
    }

    Color = col * Gain;
}

任何真正命令式的东西——循环、位掩码、switch——都属于 Function，它的函数体是真 HLSL，会被编译进一个 Custom 节点：

Function SelfContained float Ring(in float2 uv, in float count)
{
    float acc = 0.0;
    for (int i = 0; i < 4; ++i)
    {
        acc += sin(uv.x * count * (i + 1));
    }
    return acc * 0.25;
}

Graph {
    float r = Ring(uv, 8.0);
}

参见

• 语句 —— 确实被支持的语句形式
• 表达式 —— 存在的那四个运算符及其优先级
• if / else —— 唯一的控制流，以及条件运算符
• 字面量 —— 接受的数字形式、后缀，以及什么不是字面量
• 构造器 —— 强制转换与矩阵构造的替代方案
• Swizzle —— 下标的替代方案
• 调用 —— 把命令式代码搬进可调用函数
• Function —— HLSL 函数体，循环和位运算符在那里合法
• GraphFunction —— 把 UE.* 节点提升为引脚的 HLSL 函数体
• 数学内置 —— fmod、min、max、clamp、lerp
• 名称解析 —— 大小写敏感对照表
• dsc migrate —— 把 1.x 文件改写为 .dss，那里有循环和 ?:
• 诊断索引 —— 按阶段列出每个码