关于react.js:build-your-own-react

4次阅读

共计 10310 个字符,预计需要花费 26 分钟才能阅读完成。

一、这段代码怎么个逻辑

const element = <h1 title="foo">Hello</h1>;

const container = document.getElementById("root");
ReactDOM.render(element, container);

babel 帮咱们转化(react17 当前,react 内置了转化工具)

const element = <h1 title="foo">Hello</h1>;
// 会转成
const element = React.createElement("h1", { title: "foo"}, "Hello");

最终转成对象

  • type 是 dom 节点的类型, 它是通过 document.createElement 创立的标签名称
  • type 也可能是个函数,sep II 会讲到
  • children 在这里是个字符串, 然而它通常是个数组,蕴含多个元素.

    // 最终转成对象
    const element = {
    type: "h1",
    props: {
      title: "foo",
      children: "Hello",
    },
    };

二、react render 干了啥

为了防止争执, 我用 element 标识 react element, 用 node 标识 Dom 元素

const node = document.createElement(element.type)
node["title"] = element.props.title

// 不要间接抄作 dom,不便最初一起操作
const text = document.createTextNode("")
text["nodeValue"] = element.props.children

node.appendChild(text)
container.appendChild(node)

三、createElement 函数

const element = (
  <div id="foo">
    <a>bar</a>
    <b />
  </div>
)
// to
const element = React.createElement(
  "div",
  {id: "foo"},
  React.createElement("a", null, "bar"),
  React.createElement("b")
)

间接放代码

function createElement(type, props, ...children) { // children 是数组
  return {
    type,
    props: {
      ...props,
      children: children.map(child =>
        typeof child === "object"
          ? child
          : createTextElement(child)  // 文本节点哦
      ),
    },
  }
}

function createTextElement(text) {
  return {
    type: "TEXT_ELEMENT",
    props: {
      nodeValue: text,
      children: [],},
  }
}

四、render 函数

function render(element, container) {
  const dom =
    element.type == "TEXT_ELEMENT"
      ? document.createTextNode("")
      : document.createElement(element.type)

  const isProperty = key => key !== "children"
  Object.keys(element.props)
    .filter(isProperty)
    .forEach(name => {dom[name] = element.props[name]
    })
​
​  element.props.children.forEach(child =>
    render(child, dom)
  )
  container.appendChild(dom)
}

五、并发模式

首先咱们要先重构,应为 render 不能进行,可能会 block 主线程,导致用户 input 或者动画不晦涩

首先咱们要分成更小的单元,咱们实现每个单元后,如果有其它事件要做,咱们就能够让浏览器终端渲染

react 用的是 sheduler package. 然而概念上是一样的

let nextUnitOfWork = null

// requestIdleCallback 给咱们提供了 deadline 参数
// 咱们能够晓得到浏览器下一次管制渲染过程还剩多少工夫
function workLoop(deadline) {
  let shouldYield = false
  while (nextUnitOfWork && !shouldYield) {
    nextUnitOfWork = performUnitOfWork(nextUnitOfWork)
    shouldYield = deadline.timeRemaining() < 1}
  requestIdleCallback(workLoop)
}
​
requestIdleCallback(workLoop)
​
function performUnitOfWork(nextUnitOfWork) {// TODO}

要开始应用循环,咱们须要设置第一个工作单元,而后编写一个 performUnitOfWork 函数,该函数不仅执行工作,还返回下一个工作单元

对于 requestIdleCallback 和 requestAnimationFrame 请看 https://segmentfault.com/a/11…

六、Fibers

为了组织工作单元,咱们须要一个数据结构:纤维树。
咱们将为每个元素应用一个 fiber,每个 fiber 都是一个工作单元。

如果咱们想渲染上面的树

Didact.render(
  <div>
    <h1>
      <p />
      <a />
    </h1>
    <h2 />
  </div>,
  container
)

在渲染中,咱们将创立 root fiber 并将其设置为 nextUnitOfWork。其余的工作将在 performUnitOfWork 函数上进行,咱们将为每个光纤做三件事:

  • 将元素增加到 dom 中
  • 将该元素的 children 创立 fibers
  • 抉择 nextUnitOfWork

看下方数据结构,这种数据结构的指标之一是使查找下一个工作单元变得容易。这就是为什么每个 fiber 都有一个链接到它的第一个 child、下一个 sibling 和它的 parent。

当咱们实现对 fiber 的工作时,如果它有子 fiber,则该 fiber 将是 nextUnitOfWork。
在咱们的示例中,当咱们实现 div fiber 的工作时,nextUnitOfWork 将是 h1 fiber。

形式就是爸爸找儿子,儿子找弟弟,弟弟找叔叔的步骤

如果 fiber 既没有 child 也没有 sibling,咱们就去找“uncle”:也就是 parent 的 sibling。就像示例中的 a 和 h2 fiber 一样。

此外,如果 parent 没有 sibling,咱们会持续通过 parent 往上找,直到咱们找到有 sibling 的父母,或直到咱们达到根。如果咱们曾经到了根,就意味着咱们曾经实现了这个渲染的所有工作

当初咱们开始写代码
这是原来的 render 函数,须要重写

function render(element, container) {
  const dom =
    element.type == "TEXT_ELEMENT"
      ? document.createTextNode("")
      : document.createElement(element.type)

  const isProperty = key => key !== "children"
  Object.keys(element.props)
    .filter(isProperty)
    .forEach(name => {dom[name] = element.props[name]
    })
​
​  element.props.children.forEach(child =>
    render(child, dom)
  )
  container.appendChild(dom)
}

咱们将创立 dom 节点局部,放到本人的函数中,前面会用

// fiber
function createDom(fiber) {
  const dom =
    fiber.type == "TEXT_ELEMENT"
      ? document.createTextNode("")
      : document.createElement(fiber.type)

  // 更新属性可换成 updateDom(dom,{},fiber.props)​
  const isProperty = key => key !== "children"
  Object.keys(fiber.props)
    .filter(isProperty)
    .forEach(name => {dom[name] = fiber.props[name]
    })

  return dom
}

在 render 函数中咱们设置 nextUnitOfWork 为 root fiber

function render(element, container) {
  // TODO set next unit of work
  nextUnitOfWork = {
    dom: container, // 跟节点
    props: {children: [element], 
    },
  }
}
​
let nextUnitOfWork = null

而后,当浏览器筹备好时,它将调用咱们的 workLoop,咱们将开始在根上工作。

首先,咱们创立一个新节点并将其附加到 DOM。

function performUnitOfWork(fiber) {if (!fiber.dom) {fiber.dom = createDom(fiber)
  }
​
  if (fiber.parent) {fiber.parent.dom.appendChild(fiber.dom)
  }
  
  // 而后每个子节点,咱们创立一个 fiber
  const elements = fiber.props.children
  let index = 0
  let prevSibling = null
​
  while (index < elements.length) {const element = elements[index]
​
    const newFiber = {
      type: element.type,
      props: element.props, // props 蕴含 children 和属性
      parent: fiber,
      dom: null,
    }
    
    // 咱们将 newFiber 增加到以后 fiber 树中,将其设置为 child 或 sibling,具体取决于它是否是第一个孩子。if (index === 0) {fiber.child = newFiber} else {prevSibling.sibling = newFiber}
​
    prevSibling = newFiber
    index++
  }
  
  // 最初咱们寻找 nextUnitOfWork。咱们首先是 child,而后 sibling,而后是叔叔 uncle。if (fiber.child) {return fiber.child}
  let nextFiber = fiber
  while (nextFiber) {if (nextFiber.sibling) {return nextFiber.sibling}
    nextFiber = nextFiber.parent
  }
}

七、渲染和提交 commit

有一个问题,每次解决元素时,咱们都会向 DOM 增加一个新节点。而且,请记住,浏览器可能会在咱们实现渲染整个树之前中断咱们的工作。在这种状况下,用户将看到不残缺的 UI。咱们不心愿那样

所以咱们须要从这里移除扭转 DOM 的局部,看正文 1

function performUnitOfWork(fiber) {if (!fiber.dom) {fiber.dom = createDom(fiber)
  } 
  // 1. 移除扭转 DOM 的局部
  // if (fiber.parent) {//  fiber.parent.dom.appendChild(fiber.dom)
  // }
  ...
}

代替,咱们将跟踪 fiber tree 的根。咱们称其为正在进行的工作 root 或 wipRoot。

function render(element, container) {
  wipRoot = {
    dom: container,
    props: {children: [element],
    },
  }
  nextUnitOfWork = wipRoot
}
let nextUnitOfWork = null
let wipRoot = null

一旦咱们实现了所有的工作(咱们晓得这是因为没有 nextUnitOfWork)咱们将整个 fiber tree 提交给 DOM。

function workLoop(deadline) {
  let shouldYield = false
  while (nextUnitOfWork && !shouldYield) {
    nextUnitOfWork = performUnitOfWork(nextUnitOfWork)
    shouldYield = deadline.timeRemaining() < 1}
​
  if (!nextUnitOfWork && wipRoot) {commitRoot()
  }
​
  requestIdleCallback(workLoop)
}

function commitRoot() {commitWork(wipRoot.child)
  wipRoot = null
}
// 在这里,咱们递归地将所有节点附加到 dom。​
function commitWork(fiber) {if (!fiber) {return}
  const domParent = fiber.parent.dom
  domParent.appendChild(fiber.dom)
  commitWork(fiber.child)
  commitWork(fiber.sibling)
}

八、Reconciliation 和谐

到目前为止,咱们只向 DOM 增加了货色,然而更新或删除节点呢?
这就是咱们当初要做的,咱们须要将咱们在 render 函数上收到的 element 与咱们提交给 DOM 的最初一个 fiber 树进行比拟

因而,咱们须要在实现提交后, 保留对“咱们提交给 DOM 的最初一个 fiber 树”的援用。咱们称之为 currentRoot。
咱们还为每个 fiber 增加了 alternate 属性。该属性是 old filber 的链接,即咱们在前一个提交阶段提交给 DOM 的 fiber

function commitRoot() {commitWork(wipRoot.child)
  // 新加的援用
  currentRoot = wipRoot
  wipRoot = null
}


function render(element, container) {
  wipRoot = {
    dom: container,
    props: {children: [element],
    },
    alternate: currentRoot,
  }
  nextUnitOfWork = wipRoot
}

let nextUnitOfWork = null
let currentRoot = null
let wipRoot = null

当初让咱们从 performUnitOfWork 中提取创立新 filber 的代码 ……
到一个新的 reconcileChildren 函数

function performUnitOfWork(fiber) {if (!fiber.dom) {fiber.dom = createDom(fiber)
  }
  
  // 新加​
  const elements = fiber.props.children
  reconcileChildren(fiber, elements)

    // 寻找下一个​
  if (fiber.child) {return fiber.child}
  let nextFiber = fiber
  while (nextFiber) {if (nextFiber.sibling) {return nextFiber.sibling}
    nextFiber = nextFiber.parent
  }
}

function reconcileChildren(wipFiber, elements) {
  let index = 0
  let prevSibling = null
​
  while (index < elements.length) {const element = elements[index]
​
    const newFiber = {
      type: element.type,
      props: element.props,
      parent: wipFiber,
      dom: null,
    }
​
    if (index === 0) {wipFiber.child = newFiber} else {prevSibling.sibling = newFiber}
​
    prevSibling = newFiber
    index++
  }
}

在 reconcileChildren 中,咱们将协调旧 fiber 与新 elements。
咱们同时迭代旧 fiber (wipFiber.alternate) 的子 children 和咱们想要协调的 elements 数组。

如果咱们疏忽同时迭代数组和链表所需的所有样板文件,那么咱们只剩下这个 while 中最重要的货色:oldFiber 和 element
元素是咱们想要渲染到 DOM 的货色,而 oldFiber 是咱们上次渲染的货色。

function reconcileChildren(wipFiber, elements) {
  let index = 0
  let oldFiber = wipFiber.alternate && wipFiber.alternate.child // 新加
  let prevSibling = null
​
  while (index < elements.length || oldFiber != null) { // oldFiber
    const element = elements[index]
    
     let newFiber = null
    // 咱们须要比拟它们, 以查看是否须要对 DOM 做扭转。​
    const sameType =
      oldFiber &&
      element &&
      element.type == oldFiber.type
       // 这里 React 也应用了 key,这能够更好地协调。例如,它检测子元素何时更改元素数组中的地位​
    if (sameType) {
      // update the node 如果旧的 Fiber 和新的元素具备雷同的类型,咱们能够保留 DOM 节点并应用新的 props 更新它
       newFiber = {
        type: oldFiber.type,
        props: element.props,
        dom: oldFiber.dom,
        parent: wipFiber,
        alternate: oldFiber,
        effectTag: "UPDATE", // 咱们稍后会在 commit 阶段应用这个属性
      }
    }
    if (element && !sameType) {
      // add this node 如果类型不同并且有新元素,则意味着咱们须要创立一个新的 DOM 节点
      newFiber = {
        type: element.type,
        props: element.props,
        dom: null,
        parent: wipFiber,
        alternate: null,
        effectTag: "PLACEMENT", // PLACEMENT 标签标记新的 fibr。}
    }
    
    // ******* 然而当咱们将 fiber 树提交到 DOM 时,是在 work in progress root 实现的,是没有 old fiber 的
    // 所以咱们须要一个数组来跟踪咱们想要删除的节点。看下方的 render
    if (oldFiber && !sameType) {
      // delete the oldFiber's node 如果类型不同并且有 fiber,咱们须要删除旧节点
      oldFiber.effectTag = "DELETION" // 咱们没有新的 Fiber,因而咱们将成果标签增加到旧的 Fiber
      deletions.push(oldFiber)
    }
    
    if (oldFiber) { // 如果是假,下一个 oldFiber 还是假
      oldFiber = oldFiber.sibling
    }
    ​
    if (index === 0) {wipFiber.child = newFiber} else {prevSibling.sibling = newFiber}
​
    prevSibling = newFiber
    index++
  }
}

function render(element, container) {
  wipRoot = {
    dom: container,
    props: {children: [element],
    },
    alternate: currentRoot,
  }
   deletions = []
  nextUnitOfWork = wipRoot
}
​
let nextUnitOfWork = null
let currentRoot = null
let wipRoot = null
let deletions = null

而后,当咱们将更改提交到 DOM 时,咱们也会应用该数组中的 fiber。

function commitRoot() {deletions.forEach(commitWork) // 
  commitWork(wipRoot.child)
  currentRoot = wipRoot
  wipRoot = null
}

当初,让咱们更改 commitWork 函数来解决新的 effectTags。

function commitWork(fiber) {if (!fiber) {return}
  const domParent = fiber.parent.dom
  
  if (
    fiber.effectTag === "PLACEMENT" &&
    fiber.dom != null
  ) {domParent.appendChild(fiber.dom)
  }else if (
    fiber.effectTag === "UPDATE" &&
    fiber.dom != null
  ) {
    // 如果是 UPDATE,咱们须要用扭转的 props 更新现有的 DOM 节点。updateDom(
      fiber.dom,
      fiber.alternate.props,
      fiber.props
    )
  } else if (fiber.effectTag === "DELETION") {domParent.removeChild(fiber.dom)
  }
  
  commitWork(fiber.child)
  commitWork(fiber.sibling)
}

updateDom

一个非凡的 props 是事件监听,如果 props 以 on 结尾,咱们须要解决不同的

const isEvent = key => key.startsWith("on")
const isProperty = key => key !== "children" && !isEvent(key)
const isNew = (prev, next) => key =>
  prev[key] !== next[key]
const isGone = (prev, next) => key => !(key in next)

function updateDom(dom, prevProps, nextProps) {
  // TODO 次要就是更新 props
  //Remove 旧的或者曾经扭转的 event listeners
  Object.keys(prevProps)
    .filter(isEvent)
    .filter(
      key =>
        !(key in nextProps) ||
        isNew(prevProps, nextProps)(key)
    )
    .forEach(name => {
      const eventType = name
        .toLowerCase()
        .substring(2)
      dom.removeEventListener(
        eventType,
        prevProps[name]
      )
    })
    // 增加新的或者曾经扭转的 props
     Object.keys(nextProps)
    .filter(isEvent)
    .filter(isNew(prevProps, nextProps))
    .forEach(name => {
      const eventType = name
        .toLowerCase()
        .substring(2)
      dom.addEventListener(
        eventType,
        nextProps[name]
      )
    })
    
   // Remove old properties
  Object.keys(prevProps)
    .filter(isProperty)
    .filter(isGone(prevProps, nextProps))
    .forEach(name => {dom[name] = ""
    })
​
  // Set new or changed properties
  Object.keys(nextProps)
    .filter(isProperty)
    .filter(isNew(prevProps, nextProps))
    .forEach(name => {dom[name] = nextProps[name]
    })
}

到这里能够测试一下下面的代码了

const Didact = {
  createElement,
  render,
}

/** @jsx Didact.createElement */
const container = document.getElementById("root")

const updateValue = e => {rerender(e.target.value)
}

const rerender = value => {
  const element = (
    <div>
      <input onInput={updateValue} value={value} />
      <h2>Hello {value}</h2>
    </div>
  )
  Didact.render(element, container)
}

rerender("World")
正文完
 0