打字稿：从字符串类型中通用删除类型

Question

我有一个简单的

type ExampleType = 'a' | 'b' | 'c';

使用方式如下：

from(from: ExampleType) {
    return {
        to: (to: ExampleType) => {
            // move something from/to
        },
    }
}

我试图让“to-Function”只接受不是参数“from”中传递的值的值。 我尝试使用 Omit 和 Exclude，但它们都不接受动态值。

这可以在打字稿中实现吗？

我想像这样使用它

move(something).from('a').to('b'); // .to() should only accept 'b' and 'c'

如果 IDE 会为此提出正确的建议，那就太好了

Answer 1

我相信这可以满足您的需求：使用 T extends ExampleType 然后 Exclude<ExampleType, T>

type ExampleType = 'a' | 'b' | 'c';

const from = <T extends ExampleType>(from: T) => {
    return {
        to: (to: Exclude<ExampleType, T>) => {
            // move something from/to
        },
    }
}

from('a').to('b'); // good
from('a').to('c'); // good
from('a').to('a'); // TypeError

TypeScript Playground