type FilterConditionally<Source, Condition> = Pick<
  Source, 
  {
    [K in keyof Source]: Source[K] extends Condition ? K : never
  }[keyof Source]
>;

interface Example {
    a: string;
    b: string; 
    c: number; 
    d: boolean; 
}
type NewType = FilterConditionally<Sample, string>
/*
	NewType 最終結(jié)果為：
	{
		a: string;
		b: string
	}
*/

interface Example {
  a: string;
  b: string;
  c: number;
  d: boolean;
}
type Keys = keyof Example   // 等價(jià)于 type Keys = 'a' | 'b' | 'c' | 'd'

type Keys = 'a' | 'b' | 'c' | 'd'
type Obj = {
  [T in Keys]: string;  // 遍歷Keys，把每個(gè)key都賦值string類(lèi)型
}
/* 等價(jià)于 
	 type Obj = {
	   a: string;
	 	 b: string;
		 c: string;
		 d: string;
	 }
*/

interface A {}
interface B extends A {}  // B繼承于A
// B是否繼承于A？若是，則為number類(lèi)型；若不是，則為string類(lèi)型
type C = B extends A ? number : string  // 等價(jià)于 type C = number
// A是否繼承于B？若是，則為number類(lèi)型；若不是，則為string類(lèi)型
type D = A extends B ? number : string  // 等價(jià)于 type D = string

type MarkUnwantedTypesAsNever<Source, Condition> ={
  [K in keyof Source]: Source[K] extends Condition ? K : never
}

interface Example {
    a: string; 
    b: string; 
    c: number; 
    d: boolean; 
}
// 我只想要Example類(lèi)型中的string類(lèi)型的key，非string的就標(biāo)記為never
type MyType = MarkUnwantedTypesAsNever<Example, string>
/*
	等價(jià)于：
	type MyType = {
		a: 'a';
		b: 'b';
		c: never;
		d: never;
	}
*/

type Value = {name: "zero2one"}["name"]  // 等價(jià)于 type Value = "zero2one"

type Value = {
  name: "zero2one"; 
  age: 23
}["name" | "age"]
// 等價(jià)于 type Value = "zero2one" | 23

type Value = {
  name: "zero2one"; 
  age: never
}["name" | "age"]
// 等價(jià)于 type Value = "zero2one"

type MarkUnwantedTypesAsNever<Source, Condition> ={
  [K in keyof Source]: Source[K] extends Condition ? K : never
}[keyof Source]

// 借用一下剛才例子的結(jié)果
type MyType = {
  	a: 'a';
		b: 'b';
		c: never;
		d: never;
}['a' | 'b' | 'c' | 'd']
/*
	等價(jià)于：
	type MyType = 'a' | 'b'
*/

// Pick類(lèi)型的實(shí)現(xiàn)
type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
}

interface A {
  a: 1;
  b: 2;
  c: 3;
  d: 4;
}
type C = Pick<A, 'a' | 'c'>  // 等價(jià)于 type C = { a: 1; c: 3 }

interface Example {
	a: string;
  b: string;
  c: number;
  d: boolean;
}
// 上文得到的結(jié)果
type MyType = 'a' | 'b'
type Result = Pick<Example, MyType>  // 等價(jià)于 type Result = { a: string; b: string }
// ---- 以上等價(jià)于 ---- //
interface Example {
    a: string; 
    b: string;   
    c: number; 
    d: boolean; 
}
type NewType = FilterConditionally<Sample, string>
/*
	NewType 最終結(jié)果為：
	{
		a: string;
		b: string
	}
*/

type ElementType<P = any> = {
	[K in keyof JSX.IntrinsicElements]: P extends JSX.IntrinsicElements[K] ? K : never
}[keyof JSX.IntrinsicElements] | ComponentType<P>;