构造函数

DreamShader » 图 » 构造函数

以标量或向量类型命名的调用语法表达式，用其参数构建该宽度的值。

概要

<constructor-call> := <constructor-name> ( <expression> [ , <expression> ] … )

命名参数会被拒绝。花括号初始化器 正是 构造函数调用：vec3 rgb = {r, g, b}; 会被重写为 vec3(r, g, b) 并遵守本页的所有规则。

解析器将构造函数名称读取为类型 (自 2.0.0 起)：该调用不会进入函数查找， 绑定器会像检查 .dss 构造函数那样检查它。

构造函数名称

34 个名称，全部不区分大小写地匹配（FLOAT3(…) 也可用）。分量数是名称末尾的 数字；没有数字，或数字为 1 的名称是标量。

(自 2.0.0 起) 解析器接受 HLSL 类型语法中的每种拼写，不区分大小写，因此还有少数 名称也是构造函数：

不存在的名称

上述每个名称都作为普通标识符进行词法分析，并且由于它不是类型，会落到 函数查找 — DSH4208，除非声明了该名称的函数。

MaterialAttributes、Substrate、纹理类型和 SamplerState 也是类型名称，但无法 构造它们的任何值：Texture2D(…) 是 DSH4223。

[!WARNING] 构造函数名称会遮蔽一切。 构造函数名称在解析调用时就被读取为类型 — 早于对 UE.* 内置函数、Substrate.* 内置函数、数学内置函数、参数以及所有用户定义的查找。一个名为 float3、int、bool4、vec2（或表中任何其他名称）的 Function、GraphFunction、ShaderFunction 或 VirtualFunction 可以在没有诊断的情况下声明， 但永远无法被调用 — 每个调用点都会构建一个构造函数。见 名称解析。

整数构造函数

整数名称为 int、int1..4、ivec2..4、uint、uint1..4 和 uvec2..4。对编译器而言，它们的结果 是 int 或 uint 值。

该种类只做一件事：当两个操作数都是整数构造函数调用时，/ 会被拒绝（DSH4243），与 1.x 中一样。它不执行截断、不舍入， 也不做范围限制 — 整数构造函数生成的浮点值图与其 float 对应物相同，而 int(7.9) 为 7.9。见 整数除法。

该种类来自构造函数自身的名称，因此用非整数构造函数包裹会清除它： float(int(7)) 是 float。

参数规则

先检查调用及其参数；每个失败的检查都会被报告。

然后，令 N 为构造函数的分量数：

分量打包

规则 6 是通道从左到右的简单串联——只要总数精确，混合宽度的参数就是合法的。

[!NOTE] 构造函数从不收窄，在 1.x 源码中也是如此。float3(rgba) 是错误，而不是截断；请编写 rgba.rgb。收窄只发生在转换位置——参见 转换。加宽只从标量发生（规则 5）； float3(uv) 不会补零。

常量折叠

当每个参数都是常量时，整个调用是一个常量节点，而不是 N 个 Constant 节点加上 AppendVector 个节点：一个持有这些值的 Constant / Constant2Vector / Constant3Vector / Constant4Vector。常量是数字字面量、其取负形式、一个 const 属性、持有常量的变量，或对常量的任何算术运算：折叠过程会折叠 操作数全为常量的运算符、构造函数和 swizzle (自 2.0.0 起)。

每个值都具有其类型的宽度；折叠后的构造函数没有自己的宽度，不会 覆盖声明 (自 2.0.0 起)。参见 转换。

相等的常量是同一个节点：写入五次的 vec3(0.5) 只产生一个 Constant3Vector。参见 节点复用。

说明

• 规则 4 不创建任何节点。float3(SomeFloat3) 是空操作包装；float3(SomeInt3) 只 将种类改为 float。
• 构造函数调用是普通后缀表达式，可以进行 swizzle：vec4(uv, 0, 1).xy。
• 空主体的花括号初始化器（float3 v = {};）根本不会到达构造函数——它 产生该类型的零值。参见 声明。
• 不支持嵌套花括号初始化器：float4 m = {{1,2},{3,4}}; 会被重写为 float4({1,2},{3,4})，而作为参数的花括号列表是 DSH2214。
• 构造函数上的输出选择器（Output=、OutputIndex=） DSH5253。

诊断

示例

Shader(Name="Docs/M_Constructors", Root="Game")
{
    Properties { ScalarParameter K = 0.5; }
    Settings   { Domain = "Surface"; ShadingModel = "Unlit"; BlendMode = "Opaque"; }
    Outputs    { vec3 Color; Base.EmissiveColor = Color; }

    Graph {
        float  a    = frac(K * 3.0);
        vec3   grey = vec3(a);              // rule 5: scalar broadcast, no node
        vec3   tint = vec3(0.2, 0.4, 0.8);  // constant-folded to Constant3Vector
        vec2   uv   = float2(a, 1.0);       // rule 6: 1 + 1 packing
        Color = tint * grey + float3(uv, 0.0);   // rule 6: 2 + 1 packing
    }
}

生成的节点：

ScalarParameter K
Constant(3.0), Multiply, Frac                      -> a
(no node)                                          -> vec3(a): `a` is wired where grey is read
Constant3Vector(0.2, 0.4, 0.8)                     -> tint               (folded, 1 node)
Multiply                                           -> tint * grey
Constant(1.0), AppendVector                        -> float2(a, 1.0)     (1 node)
Constant(0.0), AppendVector                        -> float3(uv, 0.0)
Add                                                -> Base.EmissiveColor

另请参阅

• 表达式 — 运算符、优先级和整数除法规则
• 字面量 — 什么算作可折叠的常量
• 转换 — 收窄、加宽和值的宽度
• Swizzle — 收窄值的正确方式
• 声明 — 花括号初始化器和声明的类型标记
• 名称解析 — 构造函数位于其顶端的调用解析顺序
• 类型 — 完整的类型标记目录和已移除的别名
• UE.TransformVector / UE.TransformPosition — 唯一的类矩阵操作
• 节点复用 — 常量去重