san-update
本库来源于diffy-update,在此基础上梳理了API并移除了差异计算功能,使之成为纯粹的对象更新工具,并纳入san体系中
本库实现了一个更新对象的函数,同时随更新过程输出新旧对象的差异结构
为何要开发这个库
在当前的前端形势下,不可变(Immutable)的概念开始出现在开发者的视野中,以不可变作为第一考虑的设计和实现会让程序普遍拥有更好的可维护性
而在不可变的前提下,我们不能对一个对象的属性进行直接的操作(赋值、修改、删除等),因此更新一个对象变得复杂:
let newObject = ;newObjectfoo = 1;
如果我们需要修改更深层次的属性,则会变得更为复杂:
let newObject = ;newObjectfoo = ;newObjectfoobar = 1;// 有其它属性都需要依次操作
这是相当麻烦的,每次更新都会需要大量的代码,因此偷懒的话我们会用深克隆来搞定这事:
let newObject = ;newObjectfoobar = 1;// 其它修改
但是深克隆存在一些严重的问题:
- 性能不好,我们只更新一层属性的情况下,原对象的n层属性都要经过克隆操作,有大量无谓的遍历和对象创建开销
- 遇到环引用无法处理
基于此,社区上出现了一些用声明式的指令更新对象的辅助库,比如React Immutability Helpers,这些库封装了上面的逻辑,且选择了效率最优(仅复制未更新的属性,不需要深克隆)的方案
但是社区的库普遍存在一些问题,如:
- 指令不够。除最基本的
set
、push
、unshift
、merge
等功能外,其它功能难以方便地补充 - 使用不便。当需要对一个对象的多个属性进行更新时,组装一个复杂的更新指令并不容易
san-update
希望在社区经验的基础之上,通过提供更强大的功能和方便的使用方式(如链式调用)来简化基于不可变对象的系统开发
使用
前置环境
san-update
完全由ES2015+编写,如果环境无法满足要求,则在使用前需要添加对应的polyfill
或shim
,并使用babel进行编译。
针对babel
至少需要es2015 preset
基本场景
update
函数可以提供对象更新的功能:
; let source = name: firstName: 'Navy' lastName: 'Wong' ;let target = ; console;// {// name: {// firstName: 'Petty',// lastName: 'Wong'// }// }
快捷方式
除此之外,本库还提供了一系列快捷函数,如set
、push
、unshift
、merge
、defaults
等,这些函数可用于快速更新对象的某个属性,可以通过API文档进行查阅
applyWith
除与update
能接受的指令相同的快捷函数之外,还提供一个applyWith
函数,该函数的声明如下:
Object
这个函数与apply
功能类似,区别是可以通过selectors
属性指定一个或多个选择器,每个选择器接收source
对象并返回一个值,这些值将作为factory
函数的前n个参数,并加上需要更新的属性的当前值作为最后一个参数调用factory
函数,将函数返回值作为属性的新值
let data = values: 1 2 3 multiple: 3 result: 10;let newData = ;console;// {// values: [1, 2, 3],// multiple: 3,// result: 28 <-- (1 + 2 + 3) * 3 + 10// }
需要注意的是,applyWith
函数仅通过快捷方式提供,在update
、macro
和chain
模块上均没有该功能。
可用指令
以下指令可以在update
方法中使用,同时也有同名的对应快捷方式函数
$set
用于将属性的值设置为提供的新值
; let source = value: 1; ;;// {// value: 2// }
$push
用于在类型为数组的属性末尾增加一个元素,如果属性的类型不是数组,则会抛出异常
; let source = count: 1 values: 1 2; ;;// {// count: 1,// values: [1, 2, 3]// } ;;// Error: Usage of $push command on non array object is forbidden.
$unshift
用于在类型为数组的属性头部增加一个元素,如果属性的类型不是数组,则会抛出异常
; let source = count: 1 values: 1 2; ;;// {// count: 1,// values: [0, 1, 2]// } ;;// Error: Usage of $unshift command on non array object is forbidden.
$pop
用于移除类型为数组的属性的最后一个元素,如果属性的类型不是数组,则会抛出异常
$pop
指令对应的值可以为一个boolean
类型的值,当其值为true
时会执行移除操作,值为false
时则不进行更新。同时值也可以为一个函数,该函数接受属性当前的值并返回一个boolean
类型的值用于判断是否进行更新
; let source = count: 1 values: 1 2; ;// {// count: 1,// values: [1]// };// 因函数执行返回为false,对象不会更新// {// count: 1,// values: [1, 2]// } // 无论值为true还是false,类型检查都会进行;;// Error: Usage of $pop command on non array object is forbidden.
$shift
用于移除类型为数组的属性的第一个元素,如果属性的类型不是数组,则会抛出异常
$shift
指令对应的值可以为一个boolean
类型的值,当其值为true
时会执行移除操作,值为false
时则不进行更新。同时值也可以为一个函数,该函数接受属性当前的值并返回一个boolean
类型的值用于判断是否进行更新
; let source = count: 1 values: 1 2; ;// {// count: 1,// values: [2]// };// 因函数执行返回为false,对象不会更新// {// count: 1,// values: [1, 2]// } // 无论值为true还是false,类型检查都会进行;;// Error: Usage of $shift command on non array object is forbidden.
$removeAt
用于移除类型为数组的属性中指定位置的元素,如果属性的类型不是数组,则会抛出异常
如果提供的索引在数组范围之外(值为负或超出数组长度),则不会进行更新
; let source = count: 1 values: 1 2; ;// {// count: 1,// values: [1]// };// 因超出范围,不会进行更新// {// count: 1,// values: [1, 2]// } ;;// Error: Usage of $removeAt command on non array object is forbidden.
$remove
用于移除类型为数组的属性中的指定元素,如果属性的类型不是数组,则会抛出异常
如果数组中出现多次指定的元素,则只会移除第一个,如果未找到元素,则不进行更新
; let source = count: 1 values: 1 2; ;// {// count: 1,// values: [2]// };// 未找到元素则不进行更新// {// count: 1,// values: [1, 2]// } ;;// Error: Usage of $remove command on non array object is forbidden.
$splice
用于对类型为数组的属性进行splice操作,如果属性的类型不是数组,则会抛出异常
$splice
指令接收的值为一个数组,其内容与Array#splice
方法相同,分别为[start, deleteCount, ...items]
; let source = count: 1 values: 1 2; ;// {// count: 1,// values: [1, 3, 4, 5]// };// {// count: 1,// values: [1, 3, 4, 5, 2]// } ;;// Error: Usage of $splice command on non array object is forbidden.
$map
用于对类型为数组的属性进行map操作,如果属性的类型不是数组,则会抛出异常
; let source = count: 1 values: 1 2; ;;// {// count: 1,// values: [2, 3]// } ;;// Error: Usage of $map command on non array object is forbidden.
$filter
用于对类型为数组的属性进行filter操作,如果属性的类型不是数组,则会抛出异常
; let source = count: 1 values: 1 2; ;;// {// count: 1,// values: [2]// } ;;// Error: Usage of $filter command on non array object is forbidden.
$reduce
用于对类型为数组的属性进行reduce操作,如果属性的类型不是数组,则会抛出异常
; let source = count: 1 values: 1 2; ;// 也支持没有initialValue;// {// count: 1,// values: 3// } ;;// Error: Usage of $reduce command on non array object is forbidden.
$merge
用于在属性中合并相就的键值,$merge
指令使用浅合并
; let source = user: name: 'Alice' ; ;;// {// user: {// name: 'Bob',// age: 14// }// }
$defaults
用于在向属性中不存在的键填充值,$defaults
指令使用浅合并
; let source = user: name: 'Alice' ; ;;// {// user: {// name: 'Alice',// age: 14// }// }
$apply
用于通过一个函数对属性的值进行更新,提供的函数接收属性当前值作为唯一的参数,其返回值作为属性的新值
; let source = value: 1; ;;// {// user: {// value: 2// }// }
$omit
用于移除一个属性
$omit
指令对应的值可以为一个boolean
类型的值,当其值为true
时会执行移除操作,值为false
时则不进行更新。同时值也可以为一个函数,该函数接受属性当前的值并返回一个boolean
类型的值用于判断是否进行更新
; let source = value: 1; ;// {};// 因为函数返回false,不会进行更新// {// value: 1// }
$composeBefore
用于更新类型为函数的属性,将该函数进行封装,封装后的函数先执行$composeBefore
指令接收的函数,后续使用该函数返回的值作为参数执行原函数。如果属性的类型不是函数,则会抛出异常
; let source = name: 'app' { console; };let { console; return ' ' + text;}; let sysLogger = ;sysLogger;// [System]// Hello Worldlet appLogger = ;appLogger;// [Application]// Hello World ;;// Error: Usage of $composeBefore command on non function object is forbidden.
$composeAfter
用于更新类型为函数的属性,将该函数进行封装,封装后的函数先执行原函数,后续使用原函数返回值作为参数执行$composeAfter
指令接收的函数。如果属性的类型不是函数,则会抛出异常
; let source = name: 'app' { console; };let { let now = ; if dateOnly console; else console; }; let longTimeLogger = ;longTimeLogger;// Hello World// @2017/3/17 下午4:35:14let shortTimeLogger = ;shortTimeLogger;// Hello World// @2017/3/17 ;;// Error: Usage of $composeAfter command on non function object is forbidden.
链式调用
chain
模块提供了链式更新一个对象的方法,可以使用chain
或者immutable
来引入这一函数,使用方法如下:
; let source = name: firstName: 'Navy' lastName: 'Wong' age: 20 children: 'Alice' 'Bob';let target = value; console;// {// name: {// firstName: 'Petty',// lastName: 'Wong'// },// age: 21,// children: ['Alice', 'Bob', 'Cary']// }
链式调用后的对象每次调用对应的更新方法(如set
、push
等),都会得到一个新的对象,原有的对象不会受影响,比如:
; let source = name: firstName: 'Navy' lastName: 'Wong' age: 20 children: 'Alice' 'Bob';let updateable = ; let nameUpdated = updateable;let ageUpdated = nameUpdated; console;// 注意age并没有受影响//// {// name: {// firstName: 'Petty',// lastName: 'Wong'// },// age: 20,// children: ['Alice', 'Bob']// }
chain
是延迟执行的,所以假设已经对foo
进行了操作,再对着foo.bar
(或更深层级的属性)进行操作,会出现不可预期的行为,如以下代码:
;// 也可以使用以下别名,为同一个函数// import {chain} from 'san-update'; let source = name: firstName: 'Navy' lastName: 'Wong' age: 20 children: 'Alice' 'Bob'; let target = value;// 注意ownedCar.type并没有生效//// {// name: {// firstName: 'Navy',// lastName: 'Wong'// },// age: 20,// children: ['Alice', 'Bob'],// ownedCar: {// brand: 'Benz'// }// }
这并不会给你预期的结果,所以在使用链式调用的时候要注意每个指令的路径。
使用builder构建更新函数
当一个更新指令会被经常使用时,我们常用的方式是将这个指令保存为一个常量,以避免每一次构建指令的消耗。但是任何对象更新库的指令都是一个不容易理解的底层数据结构,因此为了更方便直观地构建一个可被反复使用的更新对象的函数,san-update
提供builder
功能来声明更新的函数。
builder
的使用方式和链式调用相似,区别在于构造时不需要传入待更新的对象,而其最终返回的函数则是一个接收待更新对象的函数。
;// 也可以使用以下别名,均为同一个函数// import {macro} from 'san-update';// import {updateBuilder} from 'san-update'; // 构建一个用于升级当前角色的函数let levelUp = // 增加19%的HP ) // 增加2点力量 ) / 增加1点智力 ) // 增加5点敏捷 // 背包增加2格空间 // 清除所有负面状态 ; // 最终生成更新的函数 let hero = game;console;// {// level: 1// hp: 100,// str: 4,// int: 2,// agi: 5,// bag: {// items: [],// capacity: 12// },// debuff: []// } hero = ;console;// {// level: 2// hp: 119,// str: 6,// int: 3,// agi: 10,// bag: {// items: [],// capacity: 14// },// debuff: []// } hero = ;console;// {// level: 3// hp: 142,// str: 8,// int: 4,// agi: 15,// bag: {// items: [],// capacity: 16// },// debuff: []// }
builder#build
返回的更新函数上还附有withDiff
函数,可以使用该函数生成差异对象。除此之外,也可以使用builder#buildWithDiff
直接返回带有差异功能的更新函数。
;// 也可以使用以下别名,均为同一个函数// import {macro} from 'san-update';// import {updateBuilder} from 'san-update'; let source = name: firstName: 'Navy' lastName: 'Wong' ; let update = ;let target = update;// 也可以这么写:// let withDiff = builder().set('name.firstName', 'Petty').buildWithDiff();// let target = withDiff(source); console;// {// name: {// firstName: 'Petty',// lastName: 'Wong'// }// } console;// {// name: {// firstName: {// $change: 'change',// oldValue: 'Navy',// newValue: 'Petty'// }// }// }
与链式调用相同,builder
的每一个操作都会生成一个全新的对象,原有的对象不会受到影响
函数式编程
san-update/fp
模块提供了与快捷方式同名的一系列函数,这些函数与快捷方式不同的是不接收source
参数,而是先使用其它参数生成一个更新用的函数,随后再调用该函数提供source
参数来获得更新后的对象。这些函数可以很方便地用于函数式编程:
; let setName = ;let user = name: 'Gary Wang';let newUser = ;console;// {// name: 'Gray Zhang'// }
上面的代码等效于以下直接使用快捷函数的代码,区别在于setName
可以被多次复用:
; let user = name: 'Gary Wang';let newUser = ;console;// {// name: 'Gray Zhang'// }
使用flow
或者compose
等函数组合的功能可以非常方便地构建出一个完整表达业务逻辑的更新函数:
;; // 使用lodash.flow组合多个函数 let setRole = ;let increaseLevel = ;let addBattleSkill = ;let levelUpToTen = ; let newCharacter = ;
差异获取
withDiff
函数可在更新对象的同时提供一个新旧对象的差异:
; let source = name: firstName: 'Navy' lastName: 'Wong' ;let target diff = ; console;// {// name: {// firstName: 'Petty',// lastName: 'Wong'// }// } console;// {// name: {// firstName: {// $change: 'change',// oldValue: 'Navy',// newValue: 'Petty'// }// }// }
差异是一个与更新的对象结构相似的对象,当一个属性有更新时,该属性下会存在名为$change
的属性,该属性标识这个对象有更新的同时也提供了更新的形式,其值可分为"change"
、"add"
或"remove"
。因此,为了避免后续对
一个差异对象的结构如下:
$change: string oldValue: * newValue: * splice: index: number deleteCount: number insertions: Array
其中oldValue
和newValue
标记更新前后的值,当$change
为"remove"
时newValue
的值恒定为undefined
,当$change
为"add"
时则oldValue
的值恒定为undefined
。因此,为了避免后续对
如果使用push
、unshift
、splice
、pop
、shift
、removet
、removeAt
指令对数组进行了操作,则会在差异对象中生成一个splice
属性,其中的index
、deleteCount
、insertions
表达了更新的位置、删除的数量、插入的新元素。需要注意的是如果使用apply
、set
等操作对数组进行更新则不会有splice
属性产生,数组将被当作普通的对象仅提供新旧值。
细节
关于无效更新
假设有一个对象:
let foo = x: 1;
对其进行一次更新,但并没有修改其任何属性的值:
; let bar = ;
这样的更新被称为“无效更新”。
在san-update
中,无效更新会返回一个全新的对象,即bar === foo
为false
。
san-update
尊重JavaScript这一语言的弱类型特性,因此不会假设使用了本库的环境是完全Immutable的,即不去假设foo.x = 2
这样的代码永不存在。因此,为了避免后续对foo
的非Immutable修改影响到bar
的结构和内容,san-update
会在任何时候都创建一个新的对象,无论这一更新是否为无效更新。
关于属性缺失
当对一个对象进行深度的操作时,可能会遇上属性缺失的情况:
; let foo = {};let bar = ;
如上代码,foo
对象并没有x
属性,此时对x.y
进行修改会在路径访问上出现一个空缺。
在React Immutability Helpers中,这样的操作是会导致异常的。但在san-update
中并不会,san-update
会补齐访问路径中的所有属性,即上面的代码会正常返回一个{x: {y: 1}}
的对象。
也因为这一策略,san-update
无法成为一个校验静态类型结构的工具,如果与系统配合使用,还需要自行选择react-types或JSON Schema等工具确保类型的静态性和正确性。
但需要注意的是,san-update
只会用对象({}
)去补上不存在的属性,因此如果你期望一个数组的话,san-update
得到的结果会与你的预期不符:
; let foo = {};let bar = ; // Error: 没有push方法
API文档
npm inpm run docopen doc/api/index.html
更新历史
2.1.0
- 快捷方式增加了
pop
、shift
、removeAt
、remove
函数 - 增加
applyWith
快捷函数 - 增加了函数式编程
fp
模块
2.0.0
本版本源码与2.0.0-rc.1一到
- 修复相关文档内容
2.0.0-rc.1
- 添加
withDiff
函数提供计算对象差异的功能 - 添加
$pop
、$shift
、$remove
、$removeAt
指令 - 允许使用诸如
"foo.bar[2]"
的字符串表达属性的访问路径 - 为
macro
添加别名builder
和updateBuilder
- **[BREAKING]**移除
$slice
指令 - [BREAKING]
$invoke
指令更名为$apply
1.4.0
- 添加
$map
、$filter
、$reduce
、$slice
、$composeBefore
、$composeAfter
指令
1.3.0
- 在非数组上调用
$push
、$unshift
、$splice
指令将抛出异常 - 修复了
$merge
指令在原属性存在和不存在时的行为差异
1.2.0
- 添加
macro
功能用于构建更新函数
1.1.1
- 修复
omit
快捷函数未导出的BUG
1.1.0
- 添加
immutable
作为chain
的别名 - 修复内部
clone
函数不会复制原型属性的错误 - 添加了
omit
指令
1.0.0
- 从diffy-update迁移代码
- 移除
withDiff
及其相关功能 - 构建入口模块