如何实现一个Canvas渲染引擎(一)：节点和层级关系

915次阅读  |  发布于9月以前

1 为什么要实现节点和层级关系

1.1 Canvas相较于DOM

1.2 Canvas开发的难点

1.3 在Canvas中实现节点和层级关系的优点

2 具体要实现哪些东西

我们要实现的节点和层级关系，会参照DOM的节点和层级关系来做，但不会完全实现DOM的那套东西，因为实在是太复杂了，我们只需要实现一部分核心的逻辑就能够满足我们使用了。

2.1 节点

2.2 父节点与子节点之间的层级关系

2.3 兄弟节点之间的层级关系

2.4 ‘组’的概念

2.5 锚点

3 细节实现

3.1 准备工作

到目前为止还没有任何代码，现在要开始写代码了，我们要先定义好一些以后会用到的类

3.1.1 DisplayObject

3.1.2 Container

3.1.3 Graphics

3.1.4 Matrix和Transform

3.1.5 Application

3.2 添加、删除子元素

实现层级关系的第一步，自然是在元素上添加、删除子元素

3.2.1 删除子元素Container.removeChild(child: Container)

public removeChild(child: Container) {
  for (let i = 0; i < this.children.length; i++) {
    if (this.children[i] === child) {
      this.children.splice(i, 1)
      return
    }
  }
}

3.2.2 添加子元素Container.addChild(child: Container)

public addChild(child: Container) {
  if (child.parent) {
    child.parent.removeChild(child) // 将要添加的child从它的父元素的children中移除
  }
  this.children.push(child)
  child.parent = this // 将要添加的child的parent指向this
  this.sortDirty = true // 添加了子元素之后，当前元素需要重新sort
}

3.2.3 排序子元素Container.sortChildren()

我们会根据zIndex属性来排序子元素，zIndex越大的元素会被排在children数组的越后面，但是注意，排序的时候，要保证相同zIndex的相对顺序不变。

public sortChildren() {
  if (!this.sortDirty) {
    return
  }

  this.children.sort((a, b) => a.zIndex - b.zIndex) // 这里用一个朴实无华的sort就行了
  this.sortDirty = false // 排序完毕后，标记这个元素的children不需要排序了
}

3.3 构建渲染图形

在3.2节里面已经简单地实现了层级关系，但是目前我们还没有可以渲染的节点，这一步里面我们将会简单地完善一下Graphics类以及相关的类，以便能够在canvas上渲染一些节点，让大家能够看到一些效果

3.3.1 Shape基类

在这个渲染引擎中支持的所有几何图形都会继承自这个Shape基类，这个基类会要求它的子类实现type属性和contains方法，type属性是为了渲染的时候，引擎能识别要渲染哪种图形，contains方法则是为了以后的碰撞检测做准备

export abstract class Shape {
  public abstract type: ShapeType
  constructor() {}
  public abstract contains(point: Point): boolean
}

3.3.2 Rectangle类

这个类用来表示矩形，这是一个比较简单的图形了，我们先实现这个图形，然后再在画布上画一些东西出来，其他的相对较复杂的图形后面再实现

export class Rectangle extends Shape {
  public x: number
  public y: number
  public width: number
  public height: number
  public type = ShapeType.Rectangle
  constructor(x = 0, y = 0, width = 0, height = 0) {
    super()
    this.x = x
    this.y = y
    this.width = width
    this.height = height
  }
  public contains(point: Point): boolean {
    return true // 碰撞检测目前还用不到，所以还没有实现这个方法
  }
}

3.3.3 Graphics.beginFill()

如果要填充图形，则需要先调用这个函数给画笔设置填充色

3.3.4 Graphics.drawRect(x: number, y: number, width: number, height: number)

调用这个函数来构造一个矩形，构造出来的矩形会被存入Graphics._geometry.graphicsData数组中，渲染的时候，会遍历这个数组，将所有图形渲染在canvas画布上。

3.4 渲染

目前我们已经可以构造一棵对象树了，现在我们要开始渲染这棵对象树。

3.4.1 前序遍历

假设我们写了如下代码

const blackGraphic = new Graphics()
blackGraphic.beginFill('black')
blackGraphic.drawRect(0, 0, 300, 300)

const redGraphic = new Graphics()
redGraphic.beginFill('red')
redGraphic.drawRect(0, 0, 200, 200)

const container1 = new Container()
container1.addChild(blackGraphic)
container1.addChild(redGraphic)

const container2 = new Container()
container2.addChild(container1)

const greenGraphic = new Graphics()
greenGraphic.beginFill('green')
greenGraphic.drawRect(150, 0, 180, 180)

container2.addChild(greenGraphic)

const yellowGraphic = new Graphics()
yellowGraphic.beginFill('yellow')
yellowGraphic.drawRect(0, 0, 250, 150)

app.stage.addChild(container2)
app.stage.addChild(yellowGraphic)

那么渲染引擎会构造出一棵这样的对象树：

前面说了，我们的渲染策略是：子节点在父节点之上(先绘制父节点，再绘制子节点)，相同层级的兄弟节点，zIndex越大，层级越高，相同zIndex，则按照添加顺序来决定，后添加的节点，层级更高(越晚绘制)。

也就是说我们期望的渲染顺序是这样的：stage->container2->container1->blackGraphics->redGraphics->greenGraphics->yellowGraphics

可以得出：我们要「先序遍历」这棵对象树，也就是说我们会先处理根节点，再递归处理子节点，直至所有节点处理完毕，退出递归。

在不断深入这棵对象树的同时，我们还要根据zIndex给每个节点的子节点进行排序。

代码如下(Container.renderCanvasRecursive)

public renderCanvasRecursive(render: CanvasRenderer) {
  if (!this.visible) {
    return
  }

  this.renderCanvas(render) // 先渲染自身

  // 渲染子节点
  for (let i = 0; i < this.children.length; i++) {
    const child = this.children[i]
    child.renderCanvasRecursive(render)
  }
}

Container.renderCanvas函数是没有内容的(Container类本身没有内容要渲染，它只是一个容器)，Graphics类中重写了这个方法(目前只实现了矩形的渲染，其他图形的渲染后续补充)，代码如下

protected renderCanvas(render: CanvasRenderer) {
    const ctx = render.ctx
    const { a, b, c, d, tx, ty } = this.transform.worldTransform

    ctx.setTransform(a, b, c, d, tx, ty)

    const graphicsData = this._geometry.graphicsData

    for (let i = 0; i < graphicsData.length; i++) {
      const data = graphicsData[i]
      const { lineStyle, fillStyle, shape } = data

      if (shape instanceof Rectangle) {
        const rectangle = shape
        // 先填充
        if (fillStyle.visible) {
          ctx.fillStyle = fillStyle.color
          ctx.globalAlpha = fillStyle.alpha * this.worldAlpha
          ctx.fillRect(
            rectangle.x,
            rectangle.y,
            rectangle.width,
            rectangle.height
          )
        }
        // 再stroke
        if (lineStyle.visible) {
          ctx.lineWidth = lineStyle.width
          ctx.lineCap = lineStyle.cap
          ctx.lineJoin = lineStyle.join
          ctx.strokeStyle = lineStyle.color
          ctx.globalAlpha = lineStyle.alpha * this.worldAlpha

          ctx.strokeRect(
            rectangle.x,
            rectangle.y,
            rectangle.width,
            rectangle.height
          )
        }
      }
    }
  }

渲染出来的效果是这样的：

黑色最先被绘制，所以在最下面，接着是红色、绿色、黄色，和预期的表现是一样的。

3.4.2 自动清除与自动重新绘制

想象一下这种case，在1秒后我想让黄色的节点向右位移200px，那么我要这样做：清空画布，将黄色节点的position设置为(200,0)，然后重新render一次stage，这样就可以看到我们想要的效果了。

但是，有一些步骤不应该让用户来做的，比如：清空画布、重新render一次stage，用户在使用这个渲染引擎时想要改变某个节点的位置，只需要像DOM那样：element.style.transform='translate(200px,0)'就行了，所以，渲染引擎需要自动清除画布以及重新绘制stage。

我们可以在requestAnimationFrame中进行这个操作。

export class Application {
  constructor(options: IApplicationOptions) {
    // ...
    this.start()
  }

  private render() {
    this.renderer.render(this.stage)
  }

  private start() {
    const func = () => {
      this.render()
      requestAnimationFrame(func) // 递归调用自身
    }
    func()
  }
}

移动黄色节点的代码如下

setTimeout(() => {
  yellowGraphic.position.set(200, 0)
}, 1000)

效果如下

code sandbox地址

3.5 应用了线性变换的渲染

前面我们已经渲染出了一些矩形，但是我们没有对矩形做任何线性变换操作(旋转、缩放等)。现在我们要把线性变化加入进来，实现真正的可用的渲染。

「我们要做的就是，实现类似于DOM的transform的效果。」

3.5.1 Transform类

这个类包含了节点的一些变换信息，如rotation(对标DOM的transform.rotate)，scale(对标DOM的transform.scale)，pivot(对标DOM的transform-origin)，skew(对标DOM的skew)。DisplayObject会实例化这个类并挂载到transform属性上，每个DisplayObject都会有一个transform属性，就像每个DOM节点都有一个transform属性一样。

3.5.2 Transform.localTransform

这个属性代表了当前节点相对于父节点的线性变换，它的值是一个矩阵(Matrix类)，更准确点说，当前节点的旋转、平移、缩放、斜切这4种变换，会用这个矩阵来表示，这个矩阵表示了这4种变换的叠加。

既然是叠加，那么必然会有先后顺序，pixijs的处理顺序是：先处理缩放，接下来是skew、旋转、平移。矩阵的左乘表示叠加另一个线性变换，所以，实际的处理方式是：Matrix(平移)xMatrix(旋转)xMatrix(skew)xMatrix(缩放)

我们可以通过追踪2个基向量来得出各种变换对应的矩阵

  1. scale(x,y)

  1. skew(x,y)

这里需要说明一下，浏览器的skew和pixijs的skew是不一样的，浏览器的skew是一种倾斜变换，pixijs的skew是一种剪刀变换，这么说有点抽象，直接上矩阵吧。

浏览器的skew(x,y)：

pixijs的skew(x,y)：

对一个DOM节点施加skew(45deg,0)是这样的效果(transform-origin设置为top left)：

红色是变换之前的效果，绿色是变换之后的效果，可以看到这个元素往x轴倾斜了45度，倾斜后它的高度保持不变。

而对一个pixijs的元素施加skew(Math.PI/4,0)后是这种效果：

红色是变换之前的效果，绿色是变换之后的效果，可以看到这个元素往x轴倾斜了45度，并且它的高度已经发生了改变，但是这个元素的4条边的长度是不变的，这个变换看起来就像一把剪刀进行了一次开合，两个基向量就是这把剪刀的两刃。

在这里，我还是决定采用pixijs的skew，而不是浏览器的skew。

  1. rotation(r)

  1. 平移-position

对于平移的处理这一步，是比较特殊的，因为我们会在这一步里实现「锚点」并且引入仿射变换的概念。

在2维空间里的平移操作，并不算一个线性的操作，因为这个操作将会移动原点，我们需要通过仿射变换来实现这个操作，具体来说就是在3维空间里操作2维空间，这样的话就能在这个2维空间上实现平移效果了。

平移的变换矩阵是：

这是一个3维矩阵，tx和ty代表了平移效果。

在pixijs中，可以这样来理解「锚点」：position设置的，是「锚点」的位置，假设position=(100,100)，那么无论经过何种变换，锚点都会出现在(100,100)这个点上；除了平移变换以外的所有变换，都是围绕锚点进行的。要实现这种效果，我们的做法是：

「先计算出在经过scale、skew、rotate变换之后，锚点的位置，然后叠加一个平移变换M，将锚点挪到position(x,y)。」，这个平移变换M，就是我们要求的平移变换。

假设「scale、skew、rotate」这3个线性变换叠加后得出的矩阵是:

将锚点的坐标(pivot.x,pivot.y)左乘这个矩阵，就得到了锚点在变换后的坐标，即：

(a * pivot.x + c * pivot.y, b * pivot.x + d * pivot.y)

要将这个点移到(position.x,position.y)，那么需要将这个点往X轴方向平移:

position.x-(a * pivot.x + c * pivot.y)

往Y轴方向平移:

position.y-(b * pivot.x + d * pivot.y)

这样就将锚点挪到了(position.x, position.y)

所以，平移变换对应的矩阵是：

更新Transform.localTransform的代码(Transform.updateLocalTransform)是：

private updateLocalTransform() {
  if (!this.shouldUpdateLocalTransform) {
    return
  }

  if (this.transformMatrix) {
    this.localTransform = this.transformMatrix
    return
  }

  // 旋转操作对应的矩阵
  const rotateMatrix = new Matrix(
    Math.cos(this.rotation),
    Math.sin(this.rotation),
    -Math.sin(this.rotation),
    Math.cos(this.rotation)
  )

  // skew操作对应的矩阵
  const skewMatrix = new Matrix(
    Math.cos(this.skew.y),
    Math.sin(this.skew.y),
    Math.sin(this.skew.x),
    Math.cos(this.skew.x)
  )
  // 缩放操作对应的矩阵
  const scaleMatrix = new Matrix(this.scale.x, 0, 0, this.scale.y)

  // 朴实无华的3个矩阵相乘
  const { a, b, c, d } = rotateMatrix.append(skewMatrix).append(scaleMatrix)

  /**
   * 接下来要处理平移操作了，因为要实现锚点，所以并不能简单地将平移的变换矩阵与上面那个矩阵相乘
   */
  // 首先计算出锚点在经历旋转，斜切(skew)，缩放后的新位置
  const newPivotX = a * this.pivot.x + c * this.pivot.y
  const newPivotY = b * this.pivot.x + d * this.pivot.y

  // 然后计算tx和ty
  const tx = this.position.x - newPivotX
  const ty = this.position.y - newPivotY

  this.localTransform.set(a, b, c, d, tx, ty) // 更新localTransform
}

注意：在这一小节中，我们讲解的是localTransform，也就是说这里面的变换都是相对于父节点的，position=(100,100)是相对于父节点的(100,100)，而不是相对于canvas视窗的(100,100)，下一节将讲述相对于canvas视窗的变换。

3.5.3 Transform.worldTransform

上一节我们得到了如何将节点自身的多种变换转化成一个矩阵，这个矩阵代表的就是当前节点相对于父节点线性变换，接下来我们要得到当前节点相对于canvas视窗的线性变换。

这一节要做的事情就比上一节简单多了，我们只需要将节点自身的localTransform左乘父节点的worldTransform，就得到了自身的worldTransform。

代码如下(Transform.updateTransform):

public updateTransform(parentTransform: Transform): boolean {
  // ...

  // 自身的localTransform左乘父元素的worldTransform就得到了自身的worldTransform
  this.worldTransform = this.localTransform
    .clone()
    .prepend(parentTransform.worldTransform)

  // ...
}

得到了worldTransform后，在渲染的时候，调用canvas的ctx.setTransform，就可以讲将canvas画笔调到我们要的状态了，下面是一个例子

这是Graphics.renderCanvas中的一段代码：

const { a, b, c, d, tx, ty } = this.transform.worldTransform
ctx.setTransform(a, b, c, d, tx, ty)

3.5.4 一次完整的渲染

「第一步」：在渲染之前，我们要先更新节点树上的所有节点的localTransform以及worldTransform。通过Container.updateTransform函数来递归更新所有节点的localTransform以及worldTransform，这个函数会先序遍历节点树，先计算出自身的localTransform以及worldTransform，然后递归计算子节点的localTransform以及worldTransform。

public updateTransform() {
  this.sortChildren()

  const parentTransform = this.parent?.transform || new Transform()
  const hasWorldTransformChanged =
    this.transform.updateTransform(parentTransform)

  this.worldAlpha = (this.parent?.worldAlpha || 1) * this.alpha

  if (this.worldAlpha <= 0 || !this.visible) {
    return
  }

  for (let i = 0, j = this.children.length; i < j; ++i) {
    const child = this.children[i]

    // 若当前元素的worldTransform改变了，那么其子元素的worldTransform需要重新计算
    if (hasWorldTransformChanged) {
      child.transform.shouldUpdateWorldTransform = true
    }

    child.updateTransform()
  }
}

「第二步」：递归渲染stage对象，这一点前面已经进行了说明，这里就不再进行赘述。

所以，最终的渲染代码(CanvasRenderer.render)如下：

public render(container: Container) {
  container.updateTransform()

  this.ctx.save()

  this.ctx.clearRect(0, 0, this.screen.width, this.screen.height)

  if (this.background) {
    this.ctx.fillStyle = this.background
    this.ctx.fillRect(0, 0, this.screen.width, this.screen.height)
  }

  container.renderCanvasRecursive(this)

  this.ctx.restore()
}

可以看到，除了上面提到的两步，这个函数还执行了一些额外的逻辑，即：画背景以及调用ctx.save()和ctx.restore()，画背景就不用多说了。调用ctx.save()和ctx.restore()主要是防止画笔状态的污染。ctx.save()和ctx.restore()是canvas提供的非常好用的用于保存/恢复画笔状态的函数，但是注意，每次渲染我们只会调用一次这两个函数，如果每渲染一个节点都调用一次的话，会拖慢渲染性能。

4 总结

canvas中没有节点和层级的概念，我们通过DisplayObject和Container等类，实现了节点和层级的概念；通过Transform属性实现了类似DOM的transform属性；通过叠加节点相对于父节点的变换(localTransform)和父节点相对于canvas视窗的变换(parent.worldTransform)，得到了每个节点相对于canvas视窗的变换，然后调用ctx.setTransform设置画笔的状态，来进行绘制；通过requestAnimationFrame实现了自动清除画布和重新绘制。

通过以上几步，我们实现了类似DOM的「节点」和「层级关系」的概念，让用户可以像使用DOM一样使用canvas。

5 最后

目前Graphics类只支持画矩形，下一节会补充一下Graphics类，让其支持「直线、多边形、圆角矩形、圆、贝塞尔曲线」等图形。

Copyright© 2013-2020

All Rights Reserved 京ICP备2023019179号-8