JavaScript能判定两个function等价吗？
作者：月影 来源：影月阁 发布时间：2009-08-13 14:45:00
标签：function,判断,函数
这里的等价不是说function的toString相同，也不是说function的引用相同，而是说
对于两个function A和B，如果它们的输入参数相同，返回值必然相同
JavaScript存在这样的判定函数吗？
答案是不存在，证明如下：
假定存在一个function P能判断任意两个一般函数f1和f2是否等价，即
若f1、f2等价，P(f1,f2) return true
若f1、f2不等价， P(f1,f2) return false;
现在我定义一个函数P1
function P1(f1,f2){
if(P(P,f1) && P(P1,f2)) return false;
else return P(f1,f2);
}
那么对于P(P,P1)
1) 若P(P,P1) return true，那么P,P1等价，可P1(P,P1)却return false，显然和P,P1等价假设矛盾
2) 若P(P,P1) return false，那么P1(P,P1) return false，而对于任意其它f1,f2，显然P1(f1,f2)的返回值都和P(f1,f2)的返回值完全相同，根据前面的定义，P与P1等价，同P(P,P1) return false矛盾。
综上所述，不存在一个函数P，能够判定JavaScript的两个function等价。
证毕。
0
投稿猜你喜欢
我的坐标是深圳，2022年以来，大部分时候要求24小时，少部分时候要求48小时，更少的时候要求72小时，没有更长的情况。本文根据我的核酸检测- 数据归一化是深度学习数据预处理中非常关键的步骤，可以起到统一量纲，防止小数据被吞噬的作用。一：归一化的概念归一化就是把所有数据都转化成[0,
- 在JavaScript中单选框的用法和复选框相似。不同之处在于HTML中的应用。复选框是一种开关。如果
- 缘起最近复习设计模式拜读谭勇德的<<设计模式就该这样学>>该书以java语言演绎了常见设计模式本系列笔记拟采用gol
- 本文实例为大家分享了Vue+Echarts实现简单折线图的具体代码，供大家参考，具体内容如下Vue+Echarts实现一个折线图，打开vue
- 但是如果是让你接手一个二等残废的网站，并让你在上面改版，而且不能推翻式改版，只能逐步替换旧的程序，那么你会非常痛苦，例如我遇到的问题： 问题
- 使用PyCharm工具写好的Python程序脚本，怎么将.py文件编译为可执行的.exe文件前提是已经安装了Python环境。第一步：在Py
- from http://www.devshed.com/c/a/MySQL/Error-Handling-Examples/ Error H
- 本文主要探索的是python的Crypto模块实现AES加密，分享了具体实现代码，下面看看具体内容。学了使用Crypto模块的AES来加密文
- 引言在利用Python解决各种实际问题的过程中，经常会遇到从某个对象中抽取部分值的情况，切片操作正是专门用于完成这一操作的有力武器。理论上而
- 需求：查询出满足3人及3案有关系的集合# -*- coding: utf-8 -*-from py2neo import Graphimpo
- 举例为大家介绍如何运用命令行实现MySQL导出导入数据库一、命令行导出数据库1.进入MySQL目录下的bin文件夹：cd MySQL中到bi
- 先来看看js中的Null类型表示什么？null用来表示尚未存在的对象，常用来表示函数企图返回一个不存在的对象，一般一个未定义的变量在初次使用
- Wake-On-LAN简称WOL，是一种电源管理功能；如果存在网络活动，则允许设备将操作系统从待机或休眠模式中唤醒。许多主板厂商支持IBM提
- 抛出问题：求一数组如 l = [0, 1, 2, 3, -4, 5, -6]，求该数组的最大连续子数组的和 如结果为[0,1,2,3,-4,
- 由于项目是thinkPHP做后端框架，一直以来都是多页面的后端路由，想使用火热的webpack有点无从下手（原谅我太菜，而且推广vue只有我
- 一、安装 → pyinstaller1.1 方式1：cmd1. 调出运行窗口：win + r, 并输入 cmd2. 切换到 pip.exe
- 目录1、切片的基础用法2、切片的高级用法3、自定义对象实现切片功能3.1、魔术方法：`getitem()`3.2、自定义序列实现切片功能3.
- 主库执行CREATE DATABASE test CHARACTER SET utf8 COLLATE utf8_general_ci;us
- 使用python的json模块序列化时间或者其他不支持的类型时会抛异常，例如下面的代码：# -*- coding: cp936 -*-fro
