为什么不接受 Map 构造函数的可迭代元组数组？

Question

我在 Javascript 中创建了一个元组类型，它实现了Iterable 协议。现在应该很容易转换为Map：

const Tuple = (...args) => {
  const Tuple = f => f(...args);
  Tuple[Symbol.iterator] = () => args[Symbol.iterator]();
  return Tuple;
};

new Map([Tuple(1, "a"), Tuple(2, "b")]); // Map {undefined => undefined}

我必须手动进行转换：

const Tuple = (...args) => {
  const Tuple = f => f(...args);
  Tuple[Symbol.iterator] = () => args[Symbol.iterator]();
  return Tuple;
};

const toArray = tx => tx((...args) => args);

const Map_ = (...pairs) => {
  return new Map(pairs.map(pair => toArray(pair)));
};

const map = Map_(Tuple(1, "a"), Tuple(2, "b"));

console.log(map.get(1), map.get(2)); // "a" "b"

似乎Map 只接受外部复合类型的Iterable，而不接受内部对。我错过了什么？有没有其他方法可以实现转换？

Answer 1

Map 的构造函数被定义为接受任何可迭代的键/值对象，其中键/值对象被定义为属性0 是键，属性1 是值的对象。它没有说明允许对键/值对象使用 Iterables。 （如果它确实允许它们并定义它会准确地调用迭代器两次，那可能会很酷，但是......那不是他们所做的。:-) 而且它会更多复杂...）

如果我们查看the spec，如果它支持属性0（用于键）和1（用于值），您的Tuple 将起作用。例如：

// (Defined this way because you seemed to want a non-constructor)
const TupleMethods = {
  get "0"() {
    return this.key;
  },
  get "1"() {
    return this.value;
  }
};
const Tuple = (key, value) => {
  const t = Object.create(TupleMethods);
  t.key = key;
  t.value = value;
  return t;
}
// Usage:
const m = new Map([
  Tuple("one", "uno"),
  Tuple("two", "due"),
  Tuple("three", "tre")
]);
console.log(m.get("two")); // "due"

---

您在评论中提到了不变性。也许：

// (Defined this way because you seemed to want a non-constructor)
const TupleMethods = {};
Object.defineProperties(TupleMethods, {
    "0": {
        get() {
            return this.key;
        }
    },
    "1": {
        get() {
            return this.value;
        }
    }
});
const Tuple = (key, value) => {
    const t = Object.create(TupleMethods);
    Object.defineProperties(t, {
        key: {
            value: key
        },
        value: {
            value: value
        }
    });
    return t;
};

// Usage:
const m = new Map([
    Tuple("one", "uno"),
    Tuple("two", "due"),
    Tuple("three", "tre")
]);
console.log(m.get("two")); // "due"

Answer 2

const Tuple = (...args) => Object.entries({[args.shift()]: args.shift()});

const map = new Map(Tuple(0, "a").concat(Tuple(1, "b")));

console.log(map.get("0"), map.get("1"));

Answer 3

我在 Javascript 中创建了一个元组类型，它实现了Iterable 协议。

不要。元组具有固定长度的独特属性，每个元素都有（可以有）自己的类型，而（可迭代的）集合由 same 类型的多个元素组成。当然 JavaScript 不关心类型（所有数组都是异构的），但是作为程序员的你应该关心。

为什么Map 只接受外部复合类型的Iterable，而不接受内部对？

出于完全相同的原因。元素是 pairs 或二元组，表示为数组（因为缺少另一种数据结构，并且不必像迭代器结果那样引入一个简单的数据结构）。它们总是有两个元素，可以通过[0] 和[1] 访问（它们甚至不需要.length！），绝对没有理由重复它们。