打字稿：如何定义条件打字稿道具以访问 React 中的对象？

Question

我正在尝试使用 React 道具作为访问对象的键。根据道具type 是“实心”还是“轮廓”，将决定我使用什么数据。嵌套的“solid”和“outline”对象中的对象键不相同，因此 Typescript 抱怨，因为它说它可能无法访问该键。你如何让打字稿快乐？

代码可以正常工作，但不知道如何消除错误。

const icons = {
  outline: {
    default: "x1",
    icon1: "icon1"
  },
  solid: {
    default: "x2",
    icon2: "icon2"
  }
} as const;

// If type is solid, you can only choose a solid iconName
// If type is outline, you can only choose an outlined iconName
type ConditionalProps =
  | { type: "solid"; iconName: keyof typeof icons.solid }
  | { type: "outline"; iconName: keyof typeof icons.outline };

const App = ({type = "outline", iconName = "default"}: ConditionalProps) => {

  // Typescript doesn't complain here
  const text1 = icons[type];
  // TSERROR: Typescript complains here
  const text2 = icons[type][iconName];

  return (
    <div>
      <h1>The chosen icon is...</h1>
      <h2>{Object.keys(text1)}</h2>
      <h2>{text2}</h2>
    </div>
  );
}

export default App;

打字稿错误是：

// TSERROR
Element implicitly has an 'any' type because expression of type
'"icon2" | "icon1" | "default"' can't be used to index type 
'{ readonly default: "defaultOutline"; readonly icon2: "icon2"; } 
| { readonly default: "defaultSolid"; readonly icon1: "icon1"; }'. 
Property 'icon2' does not exist on type 
'{ readonly default: "defaultOutline"; readonly icon2: "icon2"; } 
| { readonly default: "defaultSolid"; readonly icon1: "icon1"; }'.ts(7053)

Codesandbox Link

Answer 1

简短的回答：你不能。至少，安全。嗯，有点。

如果你想有一些类型安全，你首先需要缩小每个案例的联合，像这样：

function matchIcon(props: ConditionalProps) {
  if (props.type === "outline") {
    return icons[props.type][props.iconName];
  }

  if (props.type === "solid") {
    return icons[props.type][props.iconName];
  }
}

这有点多余，但很安全。

替代方法是抑制错误，但降低代码的安全性：

  const text2 =
    icons[props.type][
      props.iconName as keyof typeof icons.solid & keyof typeof icons.outline
    ];

因为icons[props.type] 可以同时是icons.outline 和icons.solid，我们需要传递一个同时满足这两种情况的iconName 值。 keyof typeof icons.solid & keyof typeof icons.outline 只是可能值的一个子集，如果同时为 outline 或 solid 提供它，它仍然可以工作。我们主要是在对编译器撒谎。