Three.js 中 TSL 的 WGSL 函数数组初始化问题解析

在 Three.js 的 TSL（Three.js Shader Language）系统中，开发者在使用 wgslFn 函数时可能会遇到数组初始化的问题，特别是当涉及到向量数组时。本文将深入探讨这一问题的本质原因和解决方案。

问题背景

许多开发者尝试在 TSL 中直接使用 WGSL 语法定义常量数组，特别是像 marching squares 算法中需要的边缘查找表这样的数据结构。例如：

const edge_table : array<vec4<f32>, 16> = array<vec4<f32>, 16>(
    vec4<f32>(-1., -1., -1., -1.),
    // 其他15个向量...
);

虽然这段代码在纯 WGSL 环境中是有效的，但在 TSL 的 wgslFn 函数中却会抛出"Function is not valid WGSL"错误。

根本原因

问题不在于数组或向量语法本身，而在于对 wgslFn 函数的基本结构理解有误。wgslFn 本质上是在定义一个完整的 WGSL 函数，而不是直接插入 WGSL 代码片段。每个 wgslFn 必须遵循 WGSL 函数的完整结构：

1. 必须包含函数声明
2. 必须有明确的输入参数
3. 必须有返回类型声明

正确使用方法

在 TSL 中，所有 WGSL 代码都必须封装在函数内部。对于常量数组，有以下几种处理方式：

方法一：作为函数返回值

const edgeTableFn = wgslFn(`
    fn edgeTable() -> array<vec4<f32>, 16> {
        return array<vec4<f32>, 16>(
            vec4<f32>(-1., -1., -1., -1.),
            // 其他向量...
        );
    }
`);

方法二：作为 uniform 变量

const edgeTableUniform = new UniformGroup({
    edge_table: new Float32Array([
        // 展开所有向量数据...
    ])
});

方法三：内联在着色器主函数中

const mainShader = wgslFn(`
    fn main_shader() -> vec4<f32> {
        const edge_table = array<vec4<f32>, 16>(
            vec4<f32>(-1., -1., -1., -1.),
            // 其他向量...
        );
        
        // 使用edge_table...
        return vec4<f32>(1.0);
    }
`);

高级应用：复杂算法实现

对于像 marching squares 这样的复杂算法，建议将所有相关函数和数据结构整合到一个 wgslFn 中：

const marchingSquaresShader = wgslFn(`
    // 常量定义
    const GRID_SIZE: i32 = 32;
    const ISOLINE_STEP: f32 = 0.2;
    
    // 边缘查找表
    fn getEdgeTable() -> array<vec4<f32>, 16> {
        return array<vec4<f32>, 16>(
            // 完整边缘表数据...
        );
    }
    
    // 辅助函数
    fn isofunc(p: vec2<f32>, tex: texture_2d<f32>) -> f32 {
        // 实现...
    }
    
    // 主函数
    fn main_shader(uv: vec2<f32>) -> vec4<f32> {
        // 算法实现...
        return vec4<f32>(result);
    }
`);

性能考量

1. 对于频繁访问的大型查找表，建议使用存储缓冲区(storage buffer)而非常量数组
2. 多次调用的辅助函数应该声明为私有函数而非独立的 wgslFn
3. 考虑将不变量提取为 uniform 变量以便在多个着色器间共享

总结

Three.js 的 TSL 系统通过 wgslFn 提供了强大的 WGSL 集成能力，但开发者需要理解其函数式封装的特点。通过正确组织代码结构，完全可以实现包括复杂算法在内的各种着色器功能。关键在于将所有的 WGSL 代码合理地封装在函数内部，并根据实际需求选择最适合的数据共享方式。

对于需要跨着色器共享的数据，uniform 和存储缓冲区是更专业的选择，而简单的常量则可以直接内联在着色器函数中。掌握这些技巧后，开发者就能充分利用 TSL 的强大功能来实现各种复杂的图形效果。