OpenGL Shader 中的随机与噪声

一、随机（random）

说到随机函数，JavaScript 中有 Math.random()，PHP 中有rand()，在图形绘制时，随机也无处不在。《The Book Of Shader》通过一个简单的函数衍化，让我们了解随机：

通过fract()和sin()的结合，我们得到了一个有一定规律但被打乱的曲线，当我们把1.0变成无限大时，再看看效果：

我们把上面的公式封装成rand()函数：

Shader 中的随机是确定性随机（伪随机），也就是当我们的输入值确定时，输出值也是确定的，而 JavaScript 和 PHP 则是非确定随机，每次随机出来的内容是不一样的。当然我们还可以对随机增加一些变化：

rand()*rand() 会让值更趋近于 0：

更多的随机研究可以看这篇文章，你会发现随机数也是可以「操作」的：

你会发现随机图表中，会有两个地方的随机分布不均匀（-1.5707 ~ 1.5707），这是 sin() 最大值和最小值的地方，所以我们在取值的时候尽量避免这两个地方：

2D 随机

现在我们对随机有了深入的理解，是时候将它应用到二维，x 轴和 y 轴。为此我们需要将一个二维向量转化为一维浮点数。这里有几种不同的方法来实现，但 dot() 函数在这个例子中尤其有用。它根据两个向量的方向返回一个 0.0 到 1.0 之间的值。—— refer

如果你对下面的vec2(12.23,78.32)))*232348.23)留有疑问，姑且将其理解为 magic number，它的效果就跟电视没有信号时的雪花效果一样：

下面对这些随机数做一些操作：

封装函数：

// 伪随机
float random (float n) {
    return fract(sin(n)*1000000.);
}

float random (vec2 st) {
    return fract(sin(dot(st.xy,vec2(12.9898,78.233)))*43758.5453123);
}

// 散列函数（哈希值）
float hash(float n) {
    return fract(sin(n) * 1e4);
}

float hash(vec2 p) { 
    return fract(1e4 * sin(17.0 * p.x + p.y * 0.1) * (0.1 + abs(sin(p.y * 13.0 + p.x))));
}

二、噪声（noise）

噪声跟随机有什么不同？

噪音的基础来自于随机数，随机数的特点是每个点的值都是离散的，相互完全没有关系，而噪音则是让离散的随机数连续起来。最简单的连续化处理就是插值，在离散数据中间用函数插值的方法把空隙填满空间就自然连续了。说到插值，学过数值分析的立刻就能想到七八种插值方法，只要能保持连续性不管是三角函数，正态分布，还是样条曲线都可以使用。—— 不只是噪音

有了噪音我们就可以还原出自然界的真实景象：

如何得到一个离散的随机值，可以通过上面的随机函数：

接着把这些离散的随机值通过mix()线性插值的方式连接起来：

通过smoothstep()函数让变化更圆滑：

在一些 noise 的应用中你会发现程序员喜欢用他们自己的三次多项式函数（比如下面的例子），而不是用smoothstep()，结果是一样的。

通过这种方式得到了一段 「噪音」。

当我们把它作为值，显示在画布中，会是什么样子呢？可以看到一维的噪音并没有太大的价值：

可以用直接封装好的noise()函数（文章底部会罗列这些函数的声明）：

2D 噪声

2D 噪声在图形角度才更具备价值，其自变量不再是水平或垂直的一个值而是二维的值：

当我们使用已经封装好后的 2D noise() 函数并传入坐标后，看看效果：

函数封装：

// 一维(这里都是基于hash，也可以改成基于random
float noise(float x) {
    float i = floor(x);
    float f = fract(x);
    float u = f * f * (3.0 - 2.0 * f);
    return mix(hash(i), hash(i + 1.0), u);
}

// 二维
float noise(vec2 x) {
    vec2 i = floor(x);
    vec2 f = fract(x);

    // Four corners in 2D of a tile
    float a = hash(i);
    float b = hash(i + vec2(1.0, 0.0));
    float c = hash(i + vec2(0.0, 1.0));
    float d = hash(i + vec2(1.0, 1.0));

    // Simple 2D lerp using smoothstep envelope between the values.
    // return vec3(mix(mix(a, b, smoothstep(0.0, 1.0, f.x)),
    //          mix(c, d, smoothstep(0.0, 1.0, f.x)),
    //          smoothstep(0.0, 1.0, f.y)));

    // Same code, with the clamps in smoothstep and common subexpressions
    // optimized away.
    vec2 u = f * f * (3.0 - 2.0 * f);
    return mix(a, b, u.x) + (c - a) * u.y * (1.0 - u.x) + (d - b) * u.x * u.y;
}

// 三维
float noise(vec3 x) {
    const vec3 step = vec3(110, 241, 171);

    vec3 i = floor(x);
    vec3 f = fract(x);

    // For performance, compute the base input to a 1D hash from the integer part of the argument and the 
    // incremental change to the 1D based on the 3D -> 1D wrapping
    float n = dot(i, step);

    vec3 u = f * f * (3.0 - 2.0 * f);
    return mix(mix(mix( hash(n + dot(step, vec3(0, 0, 0))), hash(n + dot(step, vec3(1, 0, 0))), u.x),
                   mix( hash(n + dot(step, vec3(0, 1, 0))), hash(n + dot(step, vec3(1, 1, 0))), u.x), u.y),
               mix(mix( hash(n + dot(step, vec3(0, 0, 1))), hash(n + dot(step, vec3(1, 0, 1))), u.x),
                   mix( hash(n + dot(step, vec3(0, 1, 1))), hash(n + dot(step, vec3(1, 1, 1))), u.x), u.y), u.z);
}