如何判断一个函数的意图是被用作构造器，也就是可视为“类”

前提是不要求做什么特殊标记。只是最大可能的猜测函数的作用大概是当“类”使用。


我想了一个方式：

function isClass(f) {
  var names = Object.keys(f.prototype)
  return names.indexOf('constructor') === -1 || names.length > 1
}

这里的假设是，作为构造器的函数会在其prototype上加公共方法。

prototype上默认是有 constructor 属性（指向函数自身）。那么如果keys（prototype上的属性名列表）的长度大于1，意味着作者执行过 f.prototype.xxx = ... ，或者keys不包含constructor属性，意味着作者很可能执行过 f.prototype = { xxx:... } 。这样我们就认为这个函数的意图是被当作构造器（类）来用。

各位如何看？

有什么别的idea么？


【7月24日更新】

之前的方法有一些小问题，根据标准，constructor属性应是不可enumerable的。所以Object.keys并不会包含constructor属性（感谢jk和luolonghao指出问题）。上面的代码可直接改为：

function isClass(f) {
  var names = Object.keys(f.prototype)
  return names.length > 0
}

但考虑旧引擎，则其相关ES5方法是由如es5-shim之类的库补上，行为不是最标准，比如无法知道一个属性是否是enumerable的（这就是jk怀疑的什么引擎会返回constructor，呵呵）。

另外，若f.prototype上存在不可枚举属性，说明什么呢？难道就是不想作为类吗？一个case是我可能希望方法不可枚举。所以可修改如下：

function isClass(f) {
  var names = Object.getOwnPropertyNames(f.prototype)
  return names.length > 1 || names[0] !== 'constructor'
}

这里还存在一个问题。prototype可以是原型继承得来的，上面own properties没有，但是有许多其他继承来的property，那么我们可能需要上溯所有原型（感谢limu提出这个问题）。


不过我直觉上溯并不是好办法，所以我重新考虑我的基本出发点：

原始function(){}的prototype值是一个new Object()结果，且其上定义了constructor属性指向该函数自身。

基本想法是：我们判断当前函数的情况是否和上面一致，如果不一致，则其目的很可能是为了将该函数作为一个类构造器来使用。

所以，最后得到这个版本：

// 感谢jk指出isClass这个名字的问题，所以将名称修改为likeContrcutor
// 以更好的反映意图。
// 就这个函数的行为而言，最准确的名字或许是isPrototypeModified()，
// 不过这样的名字无法反映高阶的意图。
function likeConstructor(f) { 
  return 'prototype' in f && (
         Object.getPrototypeOf(f.prototype) !== Object.prototype ||
         Object.getOwnPropertyNames(f.prototype).length > 1 ||
         !('constructor' in f.prototype))
}

'prototype' in f 检测排除了那些没有prototype属性的函数，比如通过Function.prototype.bind调用产生的函数。这样的函数不会被用作constructor。

Object.getPrototypeOf(f.prototype) !== Object.prototype ，如果f.prototype的原型不是Object.prototype，就说明是执行了 f.prototype = new Class() 或者是 f.prototype = Object.create(proto)。因此可以认定f是要被用做constructor。

剩下f.prototype的原型确实是Object.prototype的情形。而Object.prototype上属性的增减与我们的判断无关。这样我们就不必上溯原型链，依旧使用之前的方法。

Object.getOwnPropertyNames(f.prototype).length > 1 ，即如果有1个以上的own properties。

!('constructor' in f.prototype)) ，即如果有1个own property但不是'constructor'，或者干脆1个own property也没有。


上述所有情况排除之后剩下的就是：

原始function(){}的prototype值是一个new Object()结果，且其上定义了constructor属性。

唯一没考虑的是仅仅修改了constructor值使其不指向自身的情况。

考虑这样的代码：
function F() {}
F.prototype = {constructor: A}
var x = new F()

看上去也是要作为构造器，可是什么场景下需要把constructor设为另一个函数A呢？

（注：我们可以忽略constructor值被设为非函数的情形，因为那样是break了JS的惯例，所以也不必将其视作合理的Constructor）

我想大概是这样的场景，就是给client code一个指示，如果你要创建一个类似对象x的对象，应该调用new A()。这样的场景在涉及元编程时确实存在。

对于这样的情况，我觉得likeConstructor返回false是合理的，因为F在这里扮演的角色只是一个代孕妈妈（代理对象生产这一任务），当然更好的方式实际是用Object.create()。

那么是否要把 f.prototype.constructor === f 作为一个强制约定呢。经过一番思考，我决定不这样做。因为这会导致一些设置B.prototype = new A()后忘记设置B.prototype.constructor = B的代码被认为likeConstructor(B)为false。而这样的可能性是挺大的。无法表明自己是妈妈身份（黑户），和故意放弃妈妈身份（代孕）还是要区别对待的。

以上。欢迎大家继续提意见。

评论

11 楼 enix2212 2011-07-27  

instaceof  不能么？

10 楼 yiminghe 2011-07-25  

hax 写道

yiminghe 写道

bind 构造器还是挺好玩的，this 不起作用，但是参数还是可以的

没有this还哪里有新对象呀！这咋做构造器呢？

指 bind 的参数 thisArg没用

9 楼 hax 2011-07-25  

yiminghe 写道

bind 构造器还是挺好玩的，this 不起作用，但是参数还是可以的

没有this还哪里有新对象呀！这咋做构造器呢？

8 楼 yiminghe 2011-07-25  

bind 构造器还是挺好玩的，this 不起作用，但是参数还是可以的

7 楼 yiminghe 2011-07-25  

bind 的为啥不能作为构造器（不推荐？），mdc上有个构造器的例子

6 楼 hax 2011-07-25  

光写代码，还没有来得及测试，呵呵。可能in的那个判断是有问题，我再推敲推敲。

limu 写道

function Person(name){
	this.name = name;
}
alert(likeConstructor(Person));//chrome false
var p1 = new Person("a");

这是个小问题,如果没有prototype上的动作应该直接var p2 = {name:"a"}.
但也不能说这个写法完全没有意义.一方面,可能后续会添加OwnProperty,
另一方面,console.log(p1)控制台会明确告诉p1是一个Person,而log(p2)则肯定是Object.

之所以测试了这个,你在最初提出这个问题的时候,我在想constructor的一个特点,构造函数体内常常有this引用.而普通function一般不会.

你说的这个情况，一开始就考虑过。如果不修改prototype，全部在构造器里通过this引用添加属性，确实也是可行的，检测不出来。但这样的构造器本质上就无法准确检测出来，因为它和一般的method无法区分（method里有都有this引用），除非你认为函数名大写可以表明它是“构造器”，这又回到了命名约定的路子上去了。

或许还是应该把名字改回为likeClass()？这样可认为不带有prototype的不like Class？

5 楼 limu 2011-07-24  

----汗:有句话乱了,重新发下----

按你的思路似乎最后一个语句应该改成.
!(f.prototype.hasOwnProperty("constructor")).
来说明只有一个OwnProperty且不是constructor.
是这样不?

4 楼 limu 2011-07-24  

function Person(name){
	this.name = name;
}

Person.prototype = {
	getName : function(){
		return this.name;
	}
}
//Person.prototype.constructor = Person;//注释掉这一行
alert(likeConstructor(Person));//chrome false

上面的测试没有成功,Object.getOwnPropertyNames(f.prototype)返回["getName"].length=1而不是>1.
看起来('constructor' in f.prototype)这句即使constructor不能enumerable但这个语句依然返回真.
别的浏览器没有试过,在chrome下,按你的思路似乎这最后的语句应该改成,来说明只有一个OwnProperty且不是constructor:!(f.prototype.hasOwnProperty("constructor")).
是这样么?
==============

function Person(name){
	this.name = name;
}
alert(likeConstructor(Person));//chrome false
var p1 = new Person("a");

这是个小问题,如果没有prototype上的动作应该直接var p2 = {name:"a"}.
但也不能说这个写法完全没有意义.一方面,可能后续会添加OwnProperty,
另一方面,console.log(p1)控制台会明确告诉p1是一个Person,而log(p2)则肯定是Object.

之所以测试了这个,你在最初提出这个问题的时候,我在想constructor的一个特点,构造函数体内常常有this引用.而普通function一般不会.

3 楼 jkisjk 2011-07-21  

isClass看起来是个严谨的方法，但是由于js里Class是个没有规范的模糊的东东，所以叫isClass让人不大明白目的是什么。
----如果没Class基类，这名字含义模糊；如果已有Class基类，判断也不应该是这么写。

可以换一个没歧义的名字，如
var hasProtoProperty=function(f){
for(var i in f.prototype) return true;
return false;
};
alert(hasProtoProperty(hasProtoProperty));
alert(hasProtoProperty(document.body.constructor));

2 楼 jkisjk 2011-07-21  

js里Class是个模糊的东东，还没有规范起来。isClass

1 楼 jkisjk 2011-07-21  

keys得不到'constructor'吧，莫非是什么神奇的浏览器？