一种方法是使用接口和交集运算符（&）。
可以使用交叉点类型，该类型将多个类型合并为一个类型。

interface Props {
  value: string;
  classNames?: string;
  textType?: "bold" | "editing" | "normal";
  onChange?: (val: number) => void;
}

type MainProps = Props & {
  editable: true;
  position: number; 
} | Props & {
  editable: false;
  position?: number; 
};

上述类型MainProps强制editable在一种情况下为true，在另一种情况下为false。如果editable为true，则存在位置属性，如果为false,，则存在位置属性，但不需要。
unions用于生成可以是两个值之一的类型。MainProps可以是两个类型之一（都是与Props类型的交集）。
这里是Playground链接

您可以使用类型别名来代替接口，例如：

type Props = { 
  editable: true;
  position: Sheets.Matrix;
} | { 
  editable: false;
};

const testFalse: Props = { // position not required
  editable: false
}
    
const testTrue: Props = { // position mandatory
  editable: true,
  position: MatrixEnum
}