实现对任意对象的通用、轻量级和不引人注目的标记

注意： 标题为的小节中的材料背景不是必不可少的。关于这个问题的全部说明已完全载于前几段

我想实现一种通用的、轻量级的、"不引人注目"的方式来"标记"任意对象。

更具体地说，我想定义（抽象）函数tag、isTagged和getTagged的等价物，使得：

1. 对于某些对象o，isTagged(t)是true，当且仅当t是tag(o)返回的值
2. 对于每个对象o，getTagged(tag(o))与o相同
3. 如果t = tag(o)，则tag(t)应与t相同
4. 除了上述（1）、（2）和（3）中描述的行为之外，涉及===、tag(o)和o的严格身份测试应该以相同的方式进行

[EDIT:另一个要求是，实现不应以任何方式修改Object类或任何其他标准类。]

例如：

>>> isTagged(o = "foo")
false
>>> isTagged(t = tag(o))
true
>>> getTagged(t) === o
true
>>> tag(t) === t
true
>>> t.length
3
>>> t.toUpperCase()
"FOO"

下面我给出了解决这个问题的最佳方法。它（几乎）是通用的，但很快就会清楚，它不是轻量级的！！！（此外，它还没有完全满足上面的要求4，所以它并不像我希望的那样"不引人注目"。此外，我对它的"语义正确性"有严重怀疑。）

此解决方案包括用"代理对象"p包装要标记的对象o，并将o的所有属性（无论是"拥有的"还是"继承的"）复制到p。

我的问题是：

是否可以实现上面给出的规范，而不必复制标记对象的所有属性？

背景

这是上面提到的实现。它依赖于效用函数getProperties，其定义（FWIW）在最后给出。

function Proxy (o) { this.__obj = o }
function isTagged(t) {
  return t instanceof Proxy;
}
function getTagged(t) {
  return t.__obj;
}
var tag = (function () {
  function _proxy_property(o, pr) {
    return   (typeof pr === "function")
           ? function () { return pr.apply(o, arguments) }
           : pr;
  }
  return function (o) {
    if (isTagged(o)) return o;
    if (typeof o.__obj !== "undefined") {
      throw TypeError('object cannot be proxied ' +
                      '(already has an "__obj" property)');
    }
    var proxy = new Proxy(o);
    var props = getProperties(o); // definition of getProperties given below
    for (var i = 0; i < props.length; ++i) {
      proxy[props[i]] = _proxy_property(o, o[props[i]]);
    }
    return proxy;
  }
})();

这种方法虽然很笨拙，但至少似乎奏效了：

// requirement 1
>>> isTagged(o = "foo")
false
>>> isTagged(p = tag(o))
true
// requirement 2
>>> getTagged(p) === o
true
// requirement 3
>>> tag(p) === p
true
// requirement 4
>>> p.length
3
>>> p.toUpperCase()
"FOO"

嗯，几乎；要求（4）并不总是得到满足：

>>> o == "foo"
true
>>> p == "foo"
false
>>> o == o
true
>>> p == o
false

FWIW，这里是函数getProperties的定义，它由tag函数使用。欢迎批评。（警告：我是一个完全一无所知的JS noob，不知道自己在做什么！使用此功能的风险自负！）

function getProperties(o) {
  var seen = {};
  function _properties(obj) {
    var ret = [];
    if (obj === null) {
      return ret;
    }
    try {
      var ps = Object.getOwnPropertyNames(obj);
    }
    catch (e if e instanceof TypeError &&
                e.message === "obj is not an object") {
      return _properties(obj.constructor);
    }
    for (var i = 0; i < ps.length; ++i) {
      if (typeof seen[ps[i]] === "undefined") {
        ret.push(ps[i]);
        seen[ps[i]] = true;
      }
    }
    return ret.concat(_properties(Object.getPrototypeOf(obj)));
  }
  return _properties(o);
}