TS中两种对象类型的深度交集类型[重复]

Question

对于两种对象类型的深度/递归交集，是否有类似“&”的东西？这意味着只允许访问所有合并类型中存在的属性。

这是我想做的：

// Defined in its own file
const en = {
  "welcome": {
    "hello": "Hello",
    "world": "World"
  }
}

// Defined in its own file
const hu = {
  "welcome": {
    "hello": "Helló világ"
  }
}

// How to write this type?
// Should be deep intersection,
// meaning only mutually available properties allowed
let locale: typeof en & typeof hu

//  Using a Webpack resolve.alias
//  resolve.alias.locales = path.resolve(
//    __dirname,
//    `locales/${process.env.NEXT_PUBLIC_LOCALE}`
//  )
//@ts-ignore
locale = {}

locale.welcome.world // This should NOT be available
locale.welcome.hello // This SHOULD be availeble

Answer 1

您需要使用union 来获得两者的共同点。我知道它在语言上（维恩图）是相反的，但它是这样工作的。 （我强烈建议您阅读@jcalz 提供的有关此答案的 cmets 和链接，以更好地解释为什么从类型分配的角度来看 & 和 | 是有意义的。）

TS Playground

const en = {
  welcome: {
    hello: "Hello",
    world: "World",
  },
};

const hu = {
  welcome: {
    hello: "Helló világ",
  },
};

let locale = {} as typeof en | typeof hu;

// Error: Property 'world' does not exist on type '{ hello: string; world: string; } | { hello: string; }'.
locale.welcome.world; // This should NOT be available

// Works
locale.welcome.hello; // This SHOULD be availeble