大家好,我是若川。今天给分享一篇来自freecodecamp的好文。我是freecodecamp杭州社区组织者之一,有一群小伙伴一起组织线下分享活动,不过2020年我们杭州社区几乎没有活跃,我也没有什么贡献。

另外,我的公众号「若川视野」,也可以是你们的舞台。如果写了好文章也可以投稿到我的公众号。

以下是正文~


JavaScript 有许多开发者熟知的有用特性,同时也有一些鲜为人知的特性能够帮助我们解决棘手问题。

很多人可能不太了解 JavaScript 元编程的概念,本文会介绍元编程的知识和它的作用。

ES6(ECMAScript 2015)新增了对  Reflect  和  Proxy  对象的支持,使得我们能够便捷地进行元编程。让我们通过示例来学习它们的用法。

什么是元编程?

元编程  无异于  编程中的魔法!如果编写一个“能够读取、修改、分析、甚至生成新程序”的程序将会如何?是不是听起来很神奇、很强大?

元编程很神奇

维基百科这样描述元编程:

元编程  是一种编程技术,编写出来的计算机程序能够将其他程序作为数据来处理。意味着可以编写出这样的程序:它能够读取、生成、分析或者转换其它程序,甚至在运行时修改程序自身。

简而言之,元编程能够写出这样的代码:

  • 可以生成代码

  • 可以在运行时修改语言结构,这种现象被称为  反射编程  或  反射

什么是反射?

反射  是元编程的一个分支。反射又有三个子分支:

  1. 自省(Introspection):代码能够自我检查、访问内部属性,我们可以据此获得代码的底层信息。

  2. 自我修改(Self-Modification):顾名思义,代码可以修改自身。

  3. 调解(Intercession):字面意思是“代他人行事”。在元编程中,调解的概念类似于包装(wrapping)、捕获(trapping)、拦截(intercepting)。

ES6 为我们提供了  Reflect  对象(Reflect API)来实现  自省,还提供了  Proxy  对象帮助我们实现  调解。我们要尽力避免  自我修改,所以本文不会过多谈及这一点。

需要说明的是,元编程并不是由 ES6 引入的,JavaScript 语言从一开始就支持元编程,ES6 只是让它变得更易于使用。

ES6 之前的元编程

还记得  eval  吗?看看它的用法:

const blog = {name: 'freeCodeCamp'
}
console.log('Before eval:', blog);const key = 'author';
const value = 'Tapas';
testEval = () => eval(`blog.${key} = '${value}'`);// 调用函数
testEval();console.log('After eval magic:', blog);

eval  生成了额外的代码。示例代码执行时为  blog  对象增加了一个  author  属性。

Before eval: {name: freeCodeCamp}
After eval magic: {name: "freeCodeCamp", author: "Tapas"}

自省

在 ES6 引入  Reflect 对象  之前,我们也可以实现自省。下面是读取程序结构的示例:

var users = {'Tom': 32,'Bill': 50,'Sam': 65
};Object.keys(users).forEach(name => {const age = users[name];console.log(`User ${name} is ${age} years old!`);
});

我们读取了  users  对象的结构并以键值对的形式打印出来。

User Tom is 32 years old!
User Bill is 50 years old!
User Sam is 65 years old!

自我修改

以一个包含修改其自身的方法的  blog  对象为例:

var blog = {name: 'freeCodeCamp',modifySelf: function(key, value) {blog[key] = value}
}

blog  对象可以这样来修改自身:

blog.modifySelf('author', 'Tapas');

调解(Intercession)

元编程中的  调解  指的是改变其它对象的语义。在 ES6 之前,可以用  Object.defineProperty()  方法来改变对象的语义:

var sun = {};
Object.defineProperty(sun, 'rises', {value: true,configurable: false,writable: false,enumerable: false
});console.log('sun rises', sun.rises);
sun.rises = false;
console.log('sun rises', sun.rises);

输出:

sun rises true
sun rises true

如你所见,我们创建了一个普通对象  sun,之后改变了它的语义:为其定义了一个不可写的  rises  属性。

现在,我们深入了解一下  Reflect  和  Proxy  对象以及它们的用法。

Reflect API

在 ES6 中,Reflect 是一个新的  全局对象(像 math 一样),它提供了一些工具函数,其中一些函数与  Object  或  Function  对象中的同名方法功能是相同的。

这些都是自省方法,可以用它们在运行时获取程序内部信息。

以下是  Reflect  对象提供的方法列表。点击此处可以查看这些方法的详细信息。

// Reflect 对象方法Reflect.apply()
Reflect.construct()
Reflect.get()
Reflect.has()
Reflect.ownKeys()
Reflect.set()
Reflect.setPrototypeOf()
Reflect.defineProperty()
Reflect.deleteProperty()
Reflect.getOwnPropertyDescriptor()
Reflect.getPrototypeOf()
Reflect.isExtensible()

等等,现在问题来了:既然  Object  或  Function  对象中已经有这些方法了,为什么还要引入新的 API 呢?

困惑吗?让我们一探究竟。

集中在一个命名空间

JavaScript 已经支持对象反射,但是这些 API 没有集中到一个命名空间中。从 ES6 开始,它们被集中到  Reflect  对象中。

与其他全局对象不同,Reflect 不是一个构造函数,不能使用 new 操作符来调用它,也不能将它当做函数来调用。Reflect  对象中的方法和 math 对象中的方法一样是  静态  的。

易于使用

Object  对象中的  自省  方法在操作失败的时候会抛出异常,这给开发者增加了处理异常的负担。

也许你更倾向于把操作结果当做布尔值来处理,而不是去处理异常,借助 Reflect 对象就可以做到。

以下是使用 Object.defineProperty 方法的示例:

 try {Object.defineProperty(obj, name, desc);// 执行成功} catch (e) {// 执行失败,处理异常}

使用 Reflect API 的方式如下:

if (Reflect.defineProperty(obj, name, desc)) {// 执行成功
} else {// 处理执行失败的情况。(这种处理方式好多了)
}

一等函数的魅力

我们可以通过  (prop in obj)  操作来判断对象中是否存在某个属性。如果多次用到这个操作,我们需要把它封装成函数。

在 ES6 的  Reflect API  中已经包含了这些方法,例如,Reflect.has(obj, prop) 和 (prop in obj) 功能是一样的。

看看另一个删除对象属性的示例:

const obj = { bar: true, baz: false};// We define this function
function deleteProperty(object, key) {delete object[key];
}
deleteProperty(obj, 'bar');

使用 Reflect API 的方式如下:

// 使用 Reflect API
Reflect.deleteProperty(obj, 'bar');

以更可靠的方式来使用 apply() 方法

在 ES5 中,我们可以使用  apply()  方法来调用一个函数,并指定  this  上下文、传入一个参数数组。

Function.prototype.apply.call(func, obj, arr);
// or
func.apply(obj, arr);

这种方式比较不可靠,因为  func  可能是一个具有自定义  apply  方法的对象。

ES6 提供了一个更加可靠、优雅的方式来解决这个问题:

Reflect.apply(func, obj, arr);

这样,如果  func  不是可调用对象,会抛出  TypeError。此外  Reflect.apply()  也更简洁、易于理解。

帮助实现其他类型的反射

等我们了解  Proxy  对象之后就能理解这句话意味着什么。在许多场景中,Reflect API 方法可以和 Proxy 结合使用。

Proxy 对象

ES6 的  Proxy  对象可以用于  调解(intercession)

proxy  对象允许我们自定义一些基本操作的行为(例如属性查找、赋值、枚举、函数调用等)。

以下是一些有用的术语:

  • target:代理为其提供自定义行为的对象。

  • handler:包含“捕获器”方法的对象。

  • trap:“捕获器”方法,提供了访问目标对象属性的途径,这是通过 Reflect API 中的方法实现的。每个“捕获器”方法都对应着 Reflect API 中的一个方法。

它们的关系如图所示:

先定义一个包含“捕获器”函数的 handler 对象,再使用这个 handler 和目标对象来创建一个代理对象,这个代理对象会应用 handler 中的自定义行为。

如果你对上面介绍的内容不太理解也没关系,我们可以通过代码示例来掌握它。

以下是创建代理对象的语法:

let proxy = new Proxy(target, handler);

有许多捕获器(handler 方法)可以用来访问或者自定义目标对象。以下是捕获器方法列表,可以在此处查看更多详细介绍。

handler.apply()
handler.construct()
handler.get()
handler.has()
handler.ownKeys()
handler.set()
handler.setPrototypeOf()
handler.getPrototypeOf()
handler.defineProperty()
handler.deleteProperty()
handler.getOwnPropertyDescriptor()
handler.preventExtensions()
handler.isExtensible()

注意每个捕获器都对应着  Reflect  对象的方法,也就是说可以在许多场景下同时使用  Reflect  和  Proxy

如何获取不可用的对象属性值

以下是一个打印  employee  对象的属性的示例:

const employee = {firstName: 'Tapas',lastName: 'Adhikary'
};console.log(employee.firstName);
console.log(employee.lastName);
console.log(employee.org);
console.log(employee.fullName);

预期输出:

Tapas
Adhikary
undefined
undefined

使用 Proxy 对象为  employee  对象增加一些自定义行为。

步骤 1:创建一个使用 get 捕获器的 Handler

我们使用名为  get  的捕获器,可以通过它来获取对象的属性值。handler 代码如下:

let handler = {get: function(target, fieldName) {        if(fieldName === 'fullName' ) {return `${target.firstName} ${target.lastName}`;}return fieldName in target ?target[fieldName] :`No such property as, '${fieldName}'!`}
};

以上 handler 代码创建了  fullName  属性的值,还为访问的属性不存在的情况提供了更优雅的错误提示。

步骤 2:创建 Proxy 对象

目标对象  employee  和 handler 都准备好了,可以这样来创建 Proxy 对象:

let proxy = new Proxy(employee, handler);

步骤 3:访问 Proxy 对象的属性

现在可以通过 proxy 对象来访问 employee 对象的属性,如下所示:

console.log(proxy.firstName);
console.log(proxy.lastName);
console.log(proxy.org);
console.log(proxy.fullName);

预期输出:

Tapas
Adhikary
No such property as, 'org'!
Tapas Adhikary

注意我们是如何神奇地改变  employee  对象的。

使用 Proxy 来验证属性值

创建一个 proxy 对象来验证整数值。

步骤 1:创建一个使用 set 捕获器的 handler

handler 代码如下:

const validator = {set: function(obj, prop, value) {if (prop === 'age') {if(!Number.isInteger(value)) {throw new TypeError('Age is always an Integer, Please Correct it!');}if(value < 0) {throw new TypeError('This is insane, a negative age?');}}}
};

步骤 2:创建一个 Proxy 对象

代码如下:

let proxy = new Proxy(employee, validator);

步骤 3:将一个非整数值赋值给 age 属性

代码如下:

proxy.age = 'I am testing a blunder'; // string value

预期输出:

TypeError: Age is always an Integer, Please Correct it!at Object.set (E:\Projects\KOSS\metaprogramming\js-mtprog\proxy\userSetProxy.js:28:23)at Object.<anonymous> (E:\Projects\KOSS\metaprogramming\js-mtprog\proxy\userSetProxy.js:40:7)at Module._compile (module.js:652:30)at Object.Module._extensions..js (module.js:663:10)at Module.load (module.js:565:32)at tryModuleLoad (module.js:505:12)at Function.Module._load (module.js:497:3)at Function.Module.runMain (module.js:693:10)at startup (bootstrap_node.js:188:16)at bootstrap_node.js:609:3

再试试以下操作:

p.age = -1; // 抛出 TypeError

如何同时使用 Proxy 和 Reflect

下面是一个在 handler 中使用 Reflect API 方法的示例:

const employee = {firstName: 'Tapas',lastName: 'Adhikary'
};let logHandler = {get: function(target, fieldName) {        console.log("Log: ", target[fieldName]);// Use the get method of the Reflect objectreturn Reflect.get(target, fieldName);}
};let func = () => {let p = new Proxy(employee, logHandler);p.firstName;p.lastName;
};func();

其它使用场景

还有许多场景可以用到 Proxy 概念:

  • 保护对象的  ID  字段不被删除(deleteProperty 捕获器)

  • 追踪属性访问的过程(get、set 捕获器)

  • 数据绑定(set 捕获器)

  • 可撤销的引用

  • 控制  in  操作符的行为

......以及更多

元编程陷阱

尽管  元编程  概念为我们提供了强大的功能,但是使用不当也会引发错误。

要当心强大功能的副作用

注意:

  • 功能过于强大,务必理解了之后再使用。

  • 可能会影响性能。

  • 可能会使代码难以调试。

总结

总而言之:

  • Reflect  和  Proxy  是 JavaScript 的优秀特性,有助于实现元编程。

  • 利用它们可以解决许多复杂的问题。

  • 同时也要注意它们的弊端。

  • ES6 Symbols 也能用来改变现有的类或对象的行为。

希望本文对你有所帮助,文中所有源码都可以在我的 GitHub 仓库 中查看。

欢迎分享本文。欢迎关注我的 Twitter 账号(@tapasadhikary)并留言讨论。


原文链接:https://www.freecodecamp.org/news/what-is-metaprogramming-in-javascript-in-english-please/

作者:TAPAS ADHIKARY

译者:Humilitas

在线技术翻译工作坊预告

在线技术翻译工作坊将于北京时间 1 月 9 日 周六下午 13:00 - 15:00 开展(每周都在这个时间开展)。

欢迎大家添加小助手微信 fcczhongguo,加入会议室。

非营利组织 freeCodeCamp.org 自 2014 年成立以来,以“帮助人们免费学习编程”为使命,创建了大量免费的编程教程,包括交互式课程、视频课程、文章等。我们正在帮助全球数百万人学习编程,希望让世界上每个人都有机会获得免费的优质的编程教育资源,成为开发者或者运用编程去解决问题。

你也想成为

freeCodeCamp 社区的贡献者吗

欢迎点击以下文章了解

✨✨

freeCodeCamp 在线翻译工作坊丨学编程,练英语,成为开源贡献者

成为 freeCodeCamp 专栏作者,与世界各地的开发者分享技术知识

点击“阅读原文”

在 freeCodeCamp 专栏

推荐阅读

若川知乎高赞:有哪些必看的 JS库?
我在阿里招前端,我该怎么帮你?(现在还可以加模拟面试群)
如何拿下阿里巴巴 P6 的前端 Offer
如何准备阿里P6/P7前端面试--项目经历准备篇
大厂面试官常问的亮点,该如何做出?
如何从初级到专家(P4-P7)打破成长瓶颈和有效突破
若川知乎问答:2年前端经验,做的项目没什么技术含量,怎么办?

末尾

你好,我是若川,江湖人称菜如若川,历时一年只写了一个学习源码整体架构系列~(点击蓝字了解我)

  1. 关注若川视野,回复"pdf" 领取优质前端书籍pdf,回复"1",可加群长期交流学习

  2. 我的博客地址:https://lxchuan12.gitee.io 欢迎收藏

  3. 觉得文章不错,可以点个在看呀^_^另外欢迎留言交流~

精选前端好文,伴你不断成长

若川原创文章精选!可点击

小提醒:若川视野公众号面试、源码等文章合集在菜单栏中间【源码精选】按钮,欢迎点击阅读,也可以星标我的公众号,便于查找

JavaScript 元编程相关推荐

  1. Javascript元编程创建DOM节点

    在使用javascript创建DOM节点的过程中,难免要使用document.createElement.setAttribute. document.createTextNode等冗长.还有浏览器兼 ...

  2. JavaScript—ES6 元编程(5)

    几年前 ES6 刚出来的时候接触过 元编程(Metaprogramming)的概念,不过当时还没有深究.在应用和学习中不断接触到这概念,比如 mobx 5 中就用到了 Proxy 重写了 Observ ...

  3. JavaScript中的元编程

    紧接上回,伴随着Reflect,Proxy降世,为js带来了更便捷的元编程! 什么是元编程?这词第一次听,有点懵,好像有点高级,这不得学一下装-进自己的知识库 概念 元编程是一种编程技术,编写出来的计 ...

  4. 《JavaScript权威指南第7版》第14章 元编程

    第14章 元编程 14.1 属性特性 (Property Attributes) 14.2 对象扩展性 14.3 prototype特性(原型特性) 14.4 内置Symbol 14.4.1 Symb ...

  5. 前端技巧-JS元编程ES6 symbol公开符号

    元编程就是指以操作目标为程序本身的行为特性的编程,而在ES6中增加了类型symbol,除了自定义的符号之外,还预定义了其他的一些内置符号,可以被称为内置符号.下面就来给大家介绍一下这些内置符号. 1. ...

  6. 浅谈JavaScript 面向对象编程[转]

    这周心血来潮,翻看了现在比较流行的几个 JS 脚本框架的底层代码,虽然是走马观花,但也受益良多,感叹先人们的伟大-- 感叹是为了缓解严肃的气氛并引出今天要讲的话题,"javascript 面 ...

  7. Elixir元编程-第三章 编译时代码生成技术进阶

    Elixir元编程-第三章 编译时代码生成技术进阶 注:本章内容来自 Metaprogramming Elixir 一书,写的非常好,强烈推荐.内容不是原文照翻,部分文字采取意译,主要内容都基本保留, ...

  8. java元编程_一文读懂元编程

    元编程(Metaprogramming)是编写.操纵程序的程序,简而言之即为用代码生成代码.元编程是一种编程范式,在传统的编程范式中,程序运行是动态的,但程序本身是静态的.在元编程中,两者都是动态的[ ...

  9. 什么是元编程(meta-promgramming)?

    可以扩展程序自身,这样的能力,为元编程. 比如Ruby,使用元编程可以扩展出领域专用语言DSL, 比如RSpec.puppet.chef等.相对于新创造的领域专用语言DSL来说, Ruby语言就成为其 ...

最新文章

  1. java导入包写在第二行的吗_使用Java命令行方式导入第三方jar包来运行Java程序的命令...
  2. 新华社北京4月15日电 题:奋斗应提倡,996当退场
  3. 理论上每天有8.5到11.5小时的学习时间,可是为什么只有最多4小时是有效的?如何改善?...
  4. 萤火虫算法_智能优化算法萤火虫算法
  5. 鸿蒙手机是个噱头,华为鸿蒙不是谈判噱头 必要时会应用手机当中!
  6. 关于C++标准库中的数据抽象
  7. hihocoder 1513 小Hi的烦恼——bitset
  8. java jbutton 禁用_Java 如何禁用JButton在禁用时变灰?
  9. Projector学习笔记
  10. 安全防御(四)--- 恶意软件及其特征、分类、免杀技术,反病毒技术,反病毒网关工作过程及其配置
  11. 快速搭建 Node.js 开发环境以及加速 npm
  12. Python中字典(dict)和集合(set)区别与联系
  13. NOKIA 手机旺旺 nokia 5230手机旺旺 手机旺旺软件下载
  14. 网络抖动多少ms算正常_网络延迟多少ms才算正常
  15. 只有程序员能听懂的笑话【关于TCP的链接的笑话】
  16. Linux中的configure命令作用,linux系统configure命令详解
  17. 计算机病毒的入侵路径,计算机病毒的入侵方式有哪些?
  18. 电脑学习编程or使用笔记本
  19. Lua字符串(string)
  20. 带源码下载—校园表白墙—基于Java Web,Mysql,jsp—设计报告分享

热门文章

  1. 计算机与网络应用基础知识下上机考试,计算机应用基础知识考试
  2. php strstr 效率,PHP中的stristr(),strstr(),strpos()速度比较
  3. [Swift]LeetCode556. 下一个更大元素 III | Next Greater Element III
  4. Magento Block设计分析(深入分析)
  5. 集合习题之列出有限集合所有子集
  6. BZOJ 3391: [Usaco2004 Dec]Tree Cutting网络破坏(搜索)
  7. [导入]C#实现Des加密和解密
  8. 虚拟字符设备驱动开发步骤
  9. linux gone kde 图形程序 兼容,Oracle8i HowTo
  10. 现在学python和java哪个好_java和python学习哪个未来发展前景更好?