<p>如果我们定义一个类型品牌，例如：</p> <pre class="brush:php;toolbar:false;">declare const nominalSymbol: unique symbol; type Nominal&lt;T extends string, U&gt; = U &amp; { [nominalSymbol]: T };</pre> <p>是否有一种方法可以定义一个类型<code>NotNominal&lt;U&gt;</code>，如果<code>U</code>不是一个品牌类型，则解析为<code>U</code>。</p> <pre class="brush:php;toolbar:false;">declare const nominalSymbol: unique symbol; type Nominal&lt;T extends string, U&gt; = U &amp; { [nominalSymbol]: T }; type BrandedType = Nominal&lt;'Address', string&gt;; type a = NotNominal&lt;string&gt; // 这应该是 `string` type b = NotNominal&lt;Address&gt; // 这应该是 `never`</pre> <p><br /></p>

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