annil 1.12.7 → 1.13.1

package/src/api/RootComponent/Computed/test/GetComputedDoc.test.ts

@@ -1,10 +1,10 @@
 /* eslint-disable @typescript-eslint/no-unused-expressions */
 import { Checking, type Test } from "hry-types";
-import type { GetComputedDoc } from "../GetComputedDoc";
+import type { GetComputedDef } from "../GetComputedDef";
 
 // test1 非空对象字段
 
-type Test1 = GetComputedDoc<{
+type Test1 = GetComputedDef<{
   a: () => number;
   b: () => string;
   c: () => "male" | "femal";
@@ -20,6 +20,6 @@ Checking<Test1, Test1Expected, Test.Pass>;
 
 // test2 空对象字段 返回空
 
-type Test2 = GetComputedDoc<{}>;
+type Test2 = GetComputedDef<{}>;
 
 Checking<Test2, {}, Test.Pass>;

package/src/api/RootComponent/CustomEvents/CustomEventConstraint.ts

@@ -42,33 +42,48 @@ export type OptionsFieldsConfigOfCustomEvents =
 /**
  * 带options的CustomEvents配置
  */
-export type FullCustomEvents = {
+export type FullCustomEventsOptions = {
   detail: ShortCustomeEvents;
   options: OptionsFieldsConfigOfCustomEvents;
   debounce?: never;
   throttle?: never;
-} | {
+};
+
+export type FullCustomEventsWithDebounce = {
   detail: ShortCustomeEvents;
   options?: never;
   debounce: number;
   throttle?: never;
-} | {
+};
+
+export type FullCustomEventsWithThrottle = {
   detail: ShortCustomeEvents;
   options?: never;
   debounce?: never;
   throttle: number;
-} | {
+};
+
+export type FullCustomEventsOptionsWithThrottle = {
   detail: ShortCustomeEvents;
   options: OptionsFieldsConfigOfCustomEvents;
   debounce?: never;
   throttle: number;
-} | {
+};
+
+export type FullCustomEventsOptionsWithDebounce = {
   detail: ShortCustomeEvents;
   options: OptionsFieldsConfigOfCustomEvents;
   debounce: number;
   throttle?: never;
 };
 
+export type FullCustomEvents =
+  | FullCustomEventsOptions
+  | FullCustomEventsWithDebounce
+  | FullCustomEventsWithThrottle
+  | FullCustomEventsOptionsWithThrottle
+  | FullCustomEventsOptionsWithDebounce;
+
 export type CustomEvents = FullCustomEvents | ShortCustomeEvents;
 
 export type CustomEventConstraint = Record<string, CustomEvents>;

package/src/api/RootComponent/CustomEvents/CustomEventsDef.ts

@@ -0,0 +1,4 @@
+import type { Primitive } from "hry-types/src/_internal/Primitive";
+import type { CustomEventsTags } from "./CustomEventsTag";
+
+export type CustomEventsDef = Record<string, Exclude<Primitive, undefined> | object | CustomEventsTags>;

package/src/api/RootComponent/CustomEvents/CustomEventsTag.ts

@@ -13,7 +13,7 @@ export type Bubbles = () => "bubbles";
 
 export type Capture = () => "capture";
 
-export type Composed = () => "Composed";
+export type Composed = () => "composed";
 
 export type BubblesCapture = Bubbles | Capture;
 
@@ -31,7 +31,7 @@ export type CustomEventsTags =
   | CaptureComposed
   | BubblesCaptureComposed;
 
-export type AddTagForCustomEventsDoc<Options extends OptionsFieldsConfigOfCustomEvents> = IfExtends<
+export type AddTagForCustomEventsDef<Options extends OptionsFieldsConfigOfCustomEvents> = IfExtends<
   BubblesOption,
   Options,
   Bubbles,

package/src/api/RootComponent/CustomEvents/GetCustomEventDef.ts

@@ -0,0 +1,29 @@
+import type { IfExtends } from "hry-types/src/Any/IfExtends";
+import type { DetailedType } from "../../../types/DetailedType";
+import type { InferDetailedType } from "../../../types/InferDetailedType";
+import type {
+  CustomEventConstraint,
+  FullCustomEvents,
+  ShortCustomeEvents,
+  SimpleCustomeEventsList,
+} from "./CustomEventConstraint";
+import type { AddTagForCustomEventsDef } from "./CustomEventsTag";
+
+export type GetShortCustomEventsDef<T extends ShortCustomeEvents> = T extends DetailedType ? InferDetailedType<T>
+  : T extends null ? null
+  : T extends undefined ? undefined
+  : T extends SimpleCustomeEventsList ? GetShortCustomEventsDef<T[number]>
+  : never;
+
+export type GetFullCustomEventsDef<T extends FullCustomEvents> =
+  | GetShortCustomEventsDef<T["detail"]>
+  | IfExtends<unknown, T["options"], never, AddTagForCustomEventsDef<T["options"] & {}>>;
+
+export type GetCustomEventsDef<T extends CustomEventConstraint> = {
+  [k in keyof T]: T[k] extends ShortCustomeEvents ? GetShortCustomEventsDef<T[k]>
+    : T[k] extends FullCustomEvents ?
+        | GetShortCustomEventsDef<T[k]["detail"]>
+        // 为事件加上标签
+        | IfExtends<unknown, T[k]["options"], never, AddTagForCustomEventsDef<NonNullable<T[k]["options"]>>>
+    : never;
+};

package/src/api/RootComponent/CustomEvents/GetCustomEventDoc.ts

@@ -7,7 +7,7 @@ import type {
   ShortCustomeEvents,
   SimpleCustomeEventsList,
 } from "./CustomEventConstraint";
-import type { AddTagForCustomEventsDoc } from "./CustomEventsTag";
+import type { AddTagForCustomEventsDef } from "./CustomEventsTag";
 
 export type GetShortCustomEventsDoc<T extends ShortCustomeEvents> = T extends DetailedType ? InferDetailedType<T>
   : T extends null ? null
@@ -17,7 +17,7 @@ export type GetShortCustomEventsDoc<T extends ShortCustomeEvents> = T extends De
 
 export type GetFullCustomEventsDoc<T extends FullCustomEvents> =
   | GetShortCustomEventsDoc<T["detail"]>
-  | IfExtends<unknown, T["options"], never, AddTagForCustomEventsDoc<T["options"] & {}>>;
+  | IfExtends<unknown, T["options"], never, AddTagForCustomEventsDef<T["options"] & {}>>;
 
 /**
  * 获取自定义事件的文档
@@ -42,6 +42,6 @@ export type GetCustomEventDoc<T extends CustomEventConstraint> =
         // 为自定义事件模型加标记,方便识别
         // @ts-ignore T[k] 一定为 FullCustomEvents 类型
         // | AddTagForCustomEventsDoc<T[k]["options"]>;
-        | IfExtends<unknown, T[k]["options"], never, AddTagForCustomEventsDoc<T[k]["options"] & {}>>;
+        | IfExtends<unknown, T[k]["options"], never, AddTagForCustomEventsDef<T[k]["options"] & {}>>;
   }
 ;

package/src/api/RootComponent/CustomEvents/test/GetCustomEventDoc.test.ts

@@ -1,5 +1,5 @@
 import { Checking, type Test } from "hry-types";
-import type { GetCustomEventDoc } from "../GetCustomEventDoc";
+import type { GetCustomEventsDef } from "../GetCustomEventDef";
 
 import {
   type BubblesCapturePhaseComposedExpected,
@@ -18,7 +18,7 @@ import {
 } from "./GetShortEventDoc.test";
 import { type mock_customEvents } from "./normal.test";
 
-type Mock_CustomEventsDoc = GetCustomEventDoc<typeof mock_customEvents>;
+type Mock_CustomEventsDoc = GetCustomEventsDef<typeof mock_customEvents>;
 
 export type Mock_CustomEventsDocExpected = {
   str: StrExpected;

package/src/api/RootComponent/CustomEvents/test/GetShortEventDoc.test.ts

@@ -2,34 +2,34 @@
 import { Checking, type Test } from "hry-types";
 
 import type { Mock_User } from "../../Properties/test/normalRequired.test";
-import type { GetShortCustomEventsDoc } from "../GetCustomEventDoc";
+import type { GetShortCustomEventsDef } from "../GetCustomEventDef";
 import { type mock_shortCustomEvents } from "./normal.test";
 
-type StrResult = GetShortCustomEventsDoc<typeof mock_shortCustomEvents["str"]>;
+type StrResult = GetShortCustomEventsDef<typeof mock_shortCustomEvents["str"]>;
 
 export type StrExpected = string;
 
 Checking<StrResult, StrExpected, Test.Pass>;
 
-type NullResult = GetShortCustomEventsDoc<typeof mock_shortCustomEvents["null"]>;
+type NullResult = GetShortCustomEventsDef<typeof mock_shortCustomEvents["null"]>;
 
 export type NullExpected = null;
 
 Checking<NullResult, NullExpected, Test.Pass>;
 
-type UnionStrResult = GetShortCustomEventsDoc<typeof mock_shortCustomEvents["unionStr"]>;
+type UnionStrResult = GetShortCustomEventsDef<typeof mock_shortCustomEvents["unionStr"]>;
 
 export type UnionStrExpected = "male" | "female";
 
 Checking<UnionStrResult, UnionStrExpected, Test.Pass>;
 
-type ListResult = GetShortCustomEventsDoc<typeof mock_shortCustomEvents["union"]>;
+type ListResult = GetShortCustomEventsDef<typeof mock_shortCustomEvents["union"]>;
 
 export type ListExpected = string | 0 | 1 | 2 | null;
 
 Checking<ListResult, ListExpected, Test.Pass>;
 
-type ObjResult = GetShortCustomEventsDoc<typeof mock_shortCustomEvents["obj"]>;
+type ObjResult = GetShortCustomEventsDef<typeof mock_shortCustomEvents["obj"]>;
 
 export type ObjExpected = Mock_User;
 

package/src/api/RootComponent/CustomEvents/test/normal.test.ts

@@ -60,11 +60,11 @@ export const mock_customEvents = {
   ...mock_fullCustomEvents,
 } satisfies CustomEventConstraint;
 
-const rootDoc = RootComponent()({
+const rootDef = RootComponent()({
   customEvents: mock_customEvents,
 });
 
-type RootDoc = {
+type RootDef = {
   customEvents: {
     // 简写字段 值类型为事件参数e的detail类型
     str: string;
@@ -83,17 +83,17 @@ type RootDoc = {
   };
 };
 
-// 1 RootDoc中customEventsDoc 类型为事件参数e的detail类型和事件标记的联合(冒泡|穿透|捕获)
-Checking<typeof rootDoc, RootDoc, Test.Pass>;
+// 1 RootDef中customEventsDoc 类型为事件参数e的detail类型和事件标记的联合(冒泡|穿透|捕获)
+Checking<typeof rootDef, RootDef, Test.Pass>;
 
-const rootDocEmpty = RootComponent()({
+const rootDefEmpty = RootComponent()({
   customEvents: {},
 });
 
 // 2. customEvents字段配置为`{}`时,Doc中无customEvents字段
-Checking<typeof rootDocEmpty, {}, Test.Pass>;
+Checking<typeof rootDefEmpty, {}, Test.Pass>;
 
-const rootDocNoFields = RootComponent()({});
+const rootDefNoFields = RootComponent()({});
 
 // 3. 无customEvents字段时,Doc中无customEvents字段
-Checking<typeof rootDocNoFields, {}, Test.Pass>;
+Checking<typeof rootDefNoFields, {}, Test.Pass>;

package/src/api/RootComponent/Data/GetDataDef.ts

@@ -0,0 +1,8 @@
+/**
+ * 获取data字段文档类型
+ * @param TData - `DataConstraint`
+ * @returns object
+ */
+export type GetDataDef<
+  TData extends object,
+> = TData;

package/src/api/RootComponent/Data/test/GetDataDoc.test.ts

@@ -1,6 +1,6 @@
 import { Checking, type Test } from "hry-types";
 
-import type { GetDataDoc } from "../GetDataDoc";
+import type { GetDataDef } from "../GetDataDef";
 
 export const mock_data = {
   func: {
@@ -12,7 +12,7 @@ export const mock_data = {
   str: "str",
 };
 
-type Test1 = GetDataDoc<typeof mock_data>;
+type Test1 = GetDataDef<typeof mock_data>;
 
 type Test1Expected = {
   func: {
@@ -25,7 +25,7 @@ type Test1Expected = {
 void Checking<Test1, Test1Expected, Test.Pass>;
 
 // 测试空对象
-type Test4 = GetDataDoc<{}>;
+type Test4 = GetDataDef<{}>;
 
 type Test4Expected = {};
 

package/src/api/RootComponent/Events/EventsConstraint.ts

@@ -50,8 +50,8 @@ type TransformCustomEventsDocTypeToFunctionTypeAndAddSuffix<T extends CustomEven
 
 // 所有子组件自定义事件(过滤掉非冒泡或捕获)的key加入后缀并把值(detail)转换为函数类型
 type GetAllSubCustomEventsConstraint<
-  ComponentDocList extends ComponentDoc[],
-  AllCustomEvents extends CustomEventsDoc = GetBubblesOrCaptureEventsFromCompDoc<ComponentDocList>,
+  TComponentDocList extends ComponentDoc[],
+  AllCustomEvents extends CustomEventsDoc = GetBubblesOrCaptureEventsFromCompDoc<TComponentDocList>,
 > = IfExtends<
   {},
   AllCustomEvents,
@@ -70,5 +70,5 @@ export type EventsConstraint<ComponentDocList extends ComponentDoc[] = []> = IfE
   [],
   ComponentDocList,
   BaseEvent,
-  GetAllSubCustomEventsConstraint<ComponentDocList>
+  GetAllSubCustomEventsConstraint<ComponentDocList> & BaseEvent
 >;

package/src/api/RootComponent/Events/EventsOption.ts

@@ -15,14 +15,14 @@ export type EventsOption<TEvents extends object> = {
    * @example B
    * ```ts
    * type ComponentDocA = {
-   *  customEvents: {
+   *  events: {
    *    aaa_str: string;
    *    aaa_num: number | Bubbles;
    *  };
    * };
    *
    * type ComponentDocB = {
-   *  customEvents: {
+   *  events: {
    *    bbb_str: string;
    *    bbb_num: number | Capture;
    *  };

package/src/api/RootComponent/Events/test/normal.test.ts

@@ -143,3 +143,19 @@ Checking<typeof EmptyEventsFields, {}, Test.Pass>;
 const NoEventsFields = RootComponent<[ComponentDocA, ComponentDocB]>()({});
 
 Checking<typeof NoEventsFields, {}, Test.Pass>;
+
+/**
+ * 7. 子事件可以与root事件共存。
+ */
+const RootDef = RootComponent<[ComponentDocA, ComponentDocB]>()({
+  events: {
+    // root事件
+    root_str(e) {
+      Checking<typeof e, WMBaseEvent, Test.Pass>;
+    },
+    // 子事件
+    aaa_num_bubbles(e) {
+      Checking<typeof e.detail, number, Test.Pass>;
+    },
+  },
+});

package/src/api/RootComponent/Instance/CustomEventMethods.ts

@@ -1,11 +1,11 @@
 import type { IfExtends } from "hry-types/src/Any/IfExtends";
 import type { CustomEventsTags } from "../CustomEvents/CustomEventsTag";
 
-export type CustomEventMethods<O extends object> = {
-  [k in keyof O]: IfExtends<
-    Exclude<O[k], CustomEventsTags>,
+export type generateCustomEventMethods<TCustomEventsDef extends object> = {
+  [k in keyof TCustomEventsDef]: IfExtends<
+    Exclude<TCustomEventsDef[k], CustomEventsTags>,
     undefined,
     () => void,
-    (detail: Exclude<O[k], CustomEventsTags>) => void
+    (detail: Exclude<TCustomEventsDef[k], CustomEventsTags>) => void
   >;
 };

package/src/api/RootComponent/Instance/RootComponentInstance.ts

@@ -5,18 +5,18 @@ import type { IReactionDisposer } from "mobx";
 import type { EmptyObject } from "hry-types/src/Misc/EmptyObject";
 import type { Func } from "hry-types/src/Misc/Func";
 import type { Assign } from "../../../types/Assign";
-import type { ComputeObject } from "../../../types/ComputeObj";
+import type { ComputeObject } from "../../../types/ComputeObject";
 import type { WMComponentInstance, WMInstanceMethods, WMPageInstance } from "../../../types/OfficialTypeAlias";
 import type { OptionsInnerFields } from "../../DefineComponent/normalizeOptions";
 import type { IInjectAllData, IInjectMethods } from "../../InstanceInject/instanceConfig";
-import type { CustomEventMethods } from "./CustomEventMethods";
+import type { generateCustomEventMethods } from "./CustomEventMethods";
 import type { CustomSetData } from "./CustomSetData";
 export type RootComponentInstance<
   TIsPage extends boolean,
   TMethods extends object,
   TDataForSetData extends object,
   AllData extends object,
-  CustomEventsDoc extends object,
+  CustomEventsDef extends object,
   StoreDoc extends object,
   instanceData = ComputeObject<Assign<IInjectAllData, ComputeIntersection<AllData>>>,
 > =
@@ -30,7 +30,7 @@ export type RootComponentInstance<
     disposer: { [k in keyof StoreDoc]: IReactionDisposer };
   }>
   // 自身methods覆盖注入的methods
-  & Assign<IInjectMethods, TMethods & CustomEventMethods<CustomEventsDoc>>
+  & Assign<IInjectMethods, TMethods & generateCustomEventMethods<CustomEventsDef>>
   & { data: instanceData };
 // & { cloneData: ComputeObject<Assign<IInjectData, ComputeIntersection<AllData>>> };
 

package/src/api/RootComponent/PageLifetimes/PageLifetimesOption.ts

@@ -1,6 +1,6 @@
 import type { IfExtends } from "hry-types/src/Any/IfExtends";
 import type { ComputeIntersection } from "hry-types/src/Object/ComputeIntersection";
-import type { ComputeObject } from "../../../types/ComputeObj";
+import type { ComputeObject } from "../../../types/ComputeObject";
 import type { WMCompPageLifetimes, WMPageLifetimes } from "../../../types/OfficialTypeAlias";
 import type { RemoveNullOfRequired } from "../../../types/RemoveNullOfRequired";
 

package/src/api/RootComponent/Properties/{GetOptionalDoc.ts → GetOptionalDef.ts}

@@ -5,7 +5,7 @@ import type { OptionalType } from "./PropertiesConstraint";
 /**
  * 获取properties可传字段文档类型
  */
-export type GetOptionalDoc<
+export type GetOptionalDef<
   TOptionalProperties extends Record<string, OptionalType>,
 > = {
   -readonly [k in keyof TOptionalProperties]?: IfExtends<

package/src/api/RootComponent/Properties/GetPropertiesDef.ts

@@ -0,0 +1,25 @@
+import type { Select } from "hry-types/src/Object/Select";
+
+import type { ComputeIntersection } from "hry-types/src/Object/_api";
+import type { GetOptionalDef } from "./GetOptionalDef";
+
+import type { GetRequiredDef } from "./GetRequiredDef";
+import type { OptionalType, PropertiesConstraint } from "./PropertiesConstraint";
+
+type _GetPropertiesDef<
+  TProperties extends PropertiesConstraint,
+  OptionalDef extends object =
+    // @ts-expect-error ddd
+    GetOptionalDef<Select<TProperties, OptionalType>>,
+  RequiredDef extends object =
+    // @ts-expect-error dddf
+    GetRequiredDef<Omit<TProperties, keyof OptionalDef>>,
+> = ComputeIntersection<OptionalDef & RequiredDef>;
+
+/**
+ * properties字段的文档类型
+ * @remarks 必传的字段如果是object,要联合上null类型,选传的object根据是否是页面来决定是否加null
+ */
+export type GetPropertiesDef<
+  TProperties extends PropertiesConstraint,
+> = _GetPropertiesDef<TProperties>;

package/src/api/RootComponent/Properties/GetRequiredDef.ts

@@ -0,0 +1,16 @@
+import type { InferDetailedType } from "../../../types/InferDetailedType";
+import type { RequiredSingle, RequiredType, RequiredUnion } from "./PropertiesConstraint";
+
+/**
+ * 获取properties必传字段的文档类型
+ * @remarks 小程序中必传字段如果是object,默认类型为null,所以组件文档对象类型要联合上null类型
+ */
+export type GetRequiredDef<
+  TProperties extends Record<string, RequiredType>,
+> = {
+  -readonly [k in keyof TProperties]: TProperties[k] extends RequiredSingle ? InferDetailedType<TProperties[k]>
+    : TProperties[k] extends RequiredUnion ?
+        | InferDetailedType<TProperties[k]["type"]>
+        | InferDetailedType<TProperties[k]["optionalTypes"][number]>
+    : never;
+};

package/src/api/RootComponent/Store/{GeTStoreDoc.ts → GetStoreDef.ts}

@@ -1,8 +1,8 @@
-import type { ParamsEqual } from "../../../types/TwoParamsEqual";
+import { typeEqual } from "../../../utils/typeEqual";
 import type { Getter } from "./StoreConstraint";
 // 单独Getter类型返回值会把undefined转换为null
 // 但是WithDefault类型返回值为getter的返回值去除undefined和default的类型联合。
-export type GetStoreDoc<TStore extends object> = {
+export type GetStoreDef<TStore extends object> = {
   [k in keyof TStore]: TStore[k] extends Getter ? ReturnType<TStore[k]>
     : TStore[k] extends {
       getter: (...args: unknown[]) => infer R;
@@ -13,7 +13,7 @@ export type GetStoreDoc<TStore extends object> = {
 
 // test
 type User = { name: string; age: number };
-type test = GetStoreDoc<{
+type test = GetStoreDef<{
   userName: (data: { aaa: "string" }) => string;
   userAge: (data: { aaa: "string" }) => number;
   userInfo: {
@@ -25,14 +25,10 @@ type test = GetStoreDoc<{
     default: [];
   };
 }>;
-
-// eslint-disable-next-line @typescript-eslint/no-unused-vars
-type test1 = ParamsEqual<
-  test,
-  {
-    userName: string;
-    userAge: number;
-    userInfo: User | null;
-    list: User[];
-  }
->;
+type expected = {
+  userName: string;
+  userAge: number;
+  userInfo: User | null;
+  list: User[];
+};
+typeEqual<test, expected>();

package/src/api/RootComponent/Store/StoreConstraint.ts

@@ -1,8 +1,2 @@
 export type Getter<T extends object = object, R = unknown> = (data: T) => R;
-
-export type WithDefault<T extends object = object, R = unknown> = {
-  getter: Getter<T, R | undefined>;
-  default: unknown;
-};
-
-export type StoreConstraint<T extends object = object> = Record<string, Getter<T> | WithDefault<T>>;
+export type StoreConstraint<T extends object = object> = Record<string, Getter<T>>;

package/src/api/RootComponent/Store/StoreOption.ts

@@ -1,8 +1,6 @@
 import type { G } from "hry-types";
 import type { As } from "hry-types/src/Any/As";
 import type { IfContains } from "hry-types/src/Any/IfContains";
-import type { IfExtends } from "hry-types/src/Any/IfExtends";
-import type { IsPureObject } from "hry-types/src/Any/IsPureObject";
 import type { Func } from "hry-types/src/Misc/Func";
 import type { Validators } from "../../../types/Validators";
 import type { StoreConstraint } from "./StoreConstraint";
@@ -45,43 +43,11 @@ export type StoreOption<
 export type TypeValidator<
   TStore,
   Result = {
-    [k in keyof TStore]: TStore[k] extends {
-      getter: (...arg: unknown[]) => infer R;
-      default: infer D;
-    }
-      // 对象形式
-      ? IfContains<
-        R,
-        undefined,
-        // 如果包含undefined时
-        IfExtends<
-          // 是否为纯对象
-          IsPureObject<Exclude<R, undefined>>,
-          true,
-          // 如果是纯对象,则default可以为null
-          IfExtends<
-            D,
-            Exclude<R, undefined> | null,
-            unknown,
-            { default: () => "⚠️类型错误⚠️" }
-          >,
-          // 如果不是纯对象,则default只能为getter返回值
-          IfExtends<
-            D,
-            Exclude<R, undefined>,
-            unknown,
-            { default: () => "⚠️类型错误⚠️" }
-          >
-        >,
-        // 不包含undefined时,报错getter
-        { getter: () => "⚠️类型不包含undefined⚠️ " }
-      >
-      // 非对象形式
-      : IfContains<
-        ReturnType<As<TStore[k], Func>>,
-        undefined,
-        () => "⚠️类型包含undefined,应写成对象形式⚠️",
-        unknown
-      >;
+    [k in keyof TStore]: IfContains<
+      ReturnType<As<TStore[k], Func>>,
+      undefined,
+      () => "⚠️返回类型中不可以包含undefined⚠️",
+      unknown
+    >;
   },
 > = Record<keyof TStore, unknown> extends Result ? unknown : Result;

package/src/api/RootComponent/Store/test/error.test.ts

@@ -1,5 +1,4 @@
 import { observable } from "mobx";
-import type { DetailedType } from "../../../../types/DetailedType";
 import { RootComponent } from "../..";
 const user = observable({
   name: "zhao",
@@ -29,44 +28,10 @@ RootComponent()({
     userAge: () => user.age,
   },
 });
-type User = {
-  name: string;
-  age?: number;
-};
-type AllGoods = Record<string, User[] | undefined>;
-const M_User = observable({
-  allUser: {
-    categoryA: [{ name: "zhao", age: 20 }],
-    categoryB: [{ name: "zhao" }],
-  } as AllGoods,
-});
-
-// store中getter函数第一个参数为properties的类型
+// 3. 返回类型错误
 RootComponent()({
-  properties: {
-    categoryId: String as DetailedType<keyof typeof M_User.allUser>,
-  },
-  data: {
-    // categoryList:[],
-  },
   store: {
-    // @ts-expect-error 1 响应式包含undefined时 不可以写成getter函数形式
-    categoryList: (data) => M_User.allUser[data.categoryId],
-
-    _categoryList: {
-      // @ts-expect-error  2 响应式数据不包含undefined时 不可以写成对象形式
-      getter: (data) => M_User.allUser[data.categoryId] as User[],
-      default: [],
-    },
-    _categoryList1: {
-      getter: (data) => M_User.allUser[data.categoryId],
-      // @ts-expect-error  3 默认值应该为[]
-      default: 0,
-    },
-    _categoryList2: {
-      getter: (data) => M_User.allUser[data.categoryId]?.[0],
-      // @ts-expect-error  3 默认值应该为null
-      default: 0,
-    },
+    // @ts-expect-error 3.1 返回类型中不可以包含undefined
+    xxx: () => "xxx" as string | undefined,
   },
 });