feat: support component type signatures for glass-easel-analyzer

Author: LastLeaf

test/component.test.ts

@@ -1,6 +1,6 @@
-import { expectType, expectError, expectNotAssignable } from 'tsd'
+import { expectType, expectError, expectNotAssignable, expectAssignable } from 'tsd'
 
-expectType<string>(Component({}))
+expectAssignable<string>(Component({}))
 
 Component({
   behaviors: [''],
@@ -511,3 +511,35 @@ Component<{}, {}, { fn(): void }, []>({
   })
 }
 
+{
+  const def = Component({
+    properties: {
+      a: Boolean,
+    },
+    data: {
+      b: 1,
+    },
+    methods: {
+      c() {}
+    },
+  })
+  type FieldTypes = (typeof def)['_$fieldTypes']
+  expectType<FieldTypes['propertyValues']['a']>(false as boolean)
+  expectType<FieldTypes['dataWithProperties']['a']>(false as boolean)
+  expectType<FieldTypes['dataWithProperties']['b']>(1 as number)
+  expectType<FieldTypes['methods']['c']>(() => {})
+}
+
+{
+  type CustomProperties = {
+    customProp: string
+  }
+  Component<{}, {}, {}, [], CustomProperties>({
+    lifetimes: {
+      created() {
+        this.customProp = 'customProp'
+      }
+    }
+  })
+}
+

test/page.test.ts

@@ -1,6 +1,6 @@
-import { expectType, expectError, expectNotAssignable } from 'tsd'
+import { expectType, expectError, expectNotAssignable, expectAssignable } from 'tsd'
 
-expectType<void>(Page({}))
+expectAssignable<void>(Page({}))
 
 expectType<Record<string, any>>(getCurrentPages()[0].data)
 
@@ -241,4 +241,16 @@ Page({
   onShareAppMessage(): WechatMiniprogram.Page.ICustomShareContent {
     return { title: this.data.a, imageUrl: '', path: '' }
   },
-})
+})
+
+{
+  const def = Page({
+    data: {
+      b: 1,
+    },
+    c() {},
+  })
+  type FieldTypes = (typeof def)['_$fieldTypes']
+  expectType<FieldTypes['dataWithProperties']['b']>(1 as number)
+  expectType<FieldTypes['methods']['c']>(() => {})
+}

types/wx/lib.wx.component.d.ts

@@ -94,7 +94,7 @@ declare namespace WechatMiniprogram.Component {
                 TCustomInstanceProperty,
                 TIsPage
             >
-        ): string
+        ): string & ComponentTypeSignature<TData, TProperty, TMethod>
     }
     type DataOption = Record<string, any>
     type PropertyOption = Record<string, AllProperty>
@@ -111,6 +111,19 @@ declare namespace WechatMiniprogram.Component {
     type MixinProperties<T extends any[], TIsBehavior extends boolean = false> = UnionToIntersection<ExtractProperties<ExtractBehaviorType<T[number]>, TIsBehavior>>
     type MixinMethods<T extends any[]> = UnionToIntersection<ExtractMethods<ExtractBehaviorType<T[number]>>>
 
+    /** 用于辅助识别组件类型的虚拟字段（供 glass-easel-analyzer 等外部模块使用） */
+    class ComponentTypeSignature<
+        TData extends DataOption,
+        TProperty extends PropertyOption,
+        TMethod extends MethodOption,
+    > {
+        protected readonly _$fieldTypes: {
+            propertyValues: PropertyOptionToData<TProperty>
+            dataWithProperties: TData & PropertyOptionToData<TProperty>
+            methods: TMethod
+        }
+    }
+
     interface Behavior<B extends BehaviorOption> {
         /** 类似于mixins和traits的组件间代码复用机制，参见 [behaviors](https://developers.weixin.qq.com/miniprogram/dev/framework/custom-component/behaviors.html) */
         behaviors?: B

types/wx/lib.wx.page.d.ts

@@ -42,7 +42,11 @@ declare namespace WechatMiniprogram.Page {
     interface Constructor {
         <TData extends DataOption, TCustom extends CustomOption>(
             options: Options<TData, TCustom>
-        ): void
+        ): void & Component.ComponentTypeSignature<
+            TData,
+            Record<never, never>,
+            { [K in keyof TCustom as TCustom[K] extends Function ? K : never]: TCustom[K] }
+        >
     }
     interface ILifetime {
         /** 生命周期回调—监听页面加载