<p>如果我們定義一個類型品牌，例如：</p> <pre class="brush:php;toolbar:false;">declare const nominalSymbol: unique symbol; type Nominal<T extends string, U> = U & { [nominalSymbol]: T };</pre> <p>有沒有方法可以定義一個型別<code>NotNominal<U></code>，如果<code>U</code>不是品牌類型，則解析為<code>U< /code>。 </p> <pre class="brush:php;toolbar:false;">declare const nominalSymbol: unique symbol; type Nominal<T extends string, U> = U & { [nominalSymbol]: T }; type BrandedType = Nominal<'Address', string>; type a = NotNominal<string> // 這應該是 `string` type b = NotNominal<Address> // 這應該是 `never`</pre> <p><br /></p>

type NotNominal<U> = U extends { [nominalSymbol]: string } ? never : U