Stellen Sie sicher, dass ein Typ nicht mit einer Marke versehen ist
P粉323224129
2023-08-18 11:51:11
<p>Wenn wir eine Typmarke definieren, zum Beispiel: </p>
<pre class="brush:php;toolbar:false;">declare const nominalSymbol: eindeutiges Symbol;
Typ Nominal<T erweitert String, U> = U &
<p>Gibt es eine Möglichkeit, einen Typ <code>NotNominal<U></code> zu definieren, der in <code>U< aufgelöst wird? Code>. </p>
<pre class="brush:php;toolbar:false;">declare const nominalSymbol: eindeutiges Symbol;
Typ Nominal<T erweitert String, U> = U &
type BrandedType = Nominal<'Address', string>;
type a = NotNominal<string> // Dies sollte „string“ sein
type b = NotNominal<Address> // Dies sollte „never“ sein</pre>
<p><br /></p>
type NotNominal<U> = U extends { [nominalSymbol]: string } ? never : U