feat: supports the issues/331 mentioned in points 2, 3, 4

Author: lv-z-l

test/component.test.ts

@@ -29,7 +29,7 @@ Component({
     max: {
       type: Number,
       value: 0,
-      observer(newVal, oldVal) {
+      observer(newVal: number, oldVal: number) {
         expectType<number>(newVal)
         expectType<number>(oldVal)
         expectType<void>(this.onMyButtonTap())
@@ -120,17 +120,6 @@ Component({
   },
 })
 
-expectError(
-  Component({
-    custom: 1,
-    methods: {
-      f() {
-        this.custom
-      },
-    },
-  }),
-)
-
 interface Config {
   a: number
 }
@@ -178,7 +167,7 @@ Component({
       expectType<number>(this.data.n2)
       expectType<string>(this.data.s)
       expectType<any[]>(this.data.a)
-      expectType<any[]>(this.data.a2)
+      expectType<number[]>(this.data.a2)
       expectType<boolean>(this.data.b)
       expectType<Record<string, any>>(this.data.o)
       expectType<any>(this.data.a[0])
@@ -218,7 +207,7 @@ Component({
       expectType<number>(this.data.n2)
       expectType<string>(this.data.s)
       expectType<any[]>(this.data.a)
-      expectType<any[]>(this.data.a2)
+      expectType<number[]>(this.data.a2)
       expectType<boolean>(this.data.b)
       expectType<Record<string, any>>(this.data.o)
       expectType<Record<string, any>>(this.data.o2)
@@ -243,7 +232,7 @@ Component({
   methods: {
     f() {
       expectType<number>(this.data.n)
-      expectType<any[]>(this.data.a)
+      expectType<number[]>(this.data.a)
     },
   },
 })

test/issue.test.ts

@@ -397,7 +397,9 @@ import WX = WechatMiniprogram
         return this.data.foo
       },
       test() {
-        expectType<Record<string, any>>(this.data.bar)
+        expectType<{
+          skuNum: number
+      }>(this.data.bar)
         expectType<number>(this.getDataOrPoperty())
       },
     }

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

@@ -55,6 +55,8 @@ declare namespace WechatMiniprogram.Component {
         Partial<Method<TMethod, TIsPage>> &
         Partial<OtherOption> &
         Partial<Lifetimes> &
+        // 有很大几率会在 this.xxx 上使用一些暂存的变量，应该像Page一样支持传入自定义属性
+        Partial<TCustomInstanceProperty> &
         ThisType<
             Instance<
                 TData,
@@ -67,8 +69,10 @@ declare namespace WechatMiniprogram.Component {
     interface Constructor {
         <
             TData extends DataOption,
-            TProperty extends PropertyOption,
-            TMethod extends MethodOption,
+            // 给泛型默认值，避免出现当组件无 properties 选项时
+            // 当xxx未在 data 中声明，this.data.xxx 为 any 的问题。
+            TProperty extends PropertyOption = {},
+            TMethod extends MethodOption = {},
             TCustomInstanceProperty extends IAnyObject = {},
             TIsPage extends boolean = false
         >(
@@ -151,8 +155,9 @@ declare namespace WechatMiniprogram.Component {
     type PropertyToData<T extends AllProperty> = T extends ShortProperty
         ? ValueType<T>
         : FullPropertyToData<Exclude<T, ShortProperty>>
-    type FullPropertyToData<T extends AllFullProperty> = ValueType<T['type']>
-    // type FullPropertyToData<T extends AllFullProperty> = unknown extends T['value'] ? ValueType<T['type']> : T['value']
+    type ArrayOrObject = ArrayConstructor | ObjectConstructor
+    // 支持 Array、Object 的 property 通过 value as ValueType 的方式明确 property 的类型
+    type FullPropertyToData<T extends AllFullProperty> = T['type'] extends ArrayOrObject ? unknown extends T['value'] ? ValueType<T['type']> : T['value'] : ValueType<T['type']>
     type PropertyOptionToData<P extends PropertyOption> = {
         [name in keyof P]: PropertyToData<P[name]>
     }