import { IDtoType } from "../meta/lib/dtoExtractMeta"

/** Dto 定义的实际数据 */
export interface IDtoDefine {
    __isDto__: true

    type: IDtoType
    meta?: IDtoMeta

    isOptional?: boolean
    isNullable?: boolean
    IsOr?: boolean

    list?: IDtoDefine[]
    nest?: any
}

/* prettier-ignore */
export type IDtoMeta<TMore = {} > =
      { is?: ((value:any) => { isOk:boolean, msg?:string }) | ((value:any) => { isOk:boolean, msg?:string })[]; }
      & TMore
      & Record<string, any>

export interface IDtoVerifyResult {
    isOk: boolean
    msg?: string
}

export type IDtoVerify = (val: any, dto: IDtoDefine, meta?: IDtoMeta) => IDtoVerifyResult

export type IDtoFuncBase<TShow, TMeta> = (meta?: IDtoMeta<TMeta>) => TShow

// ============================================================================
// Object/Array 类型推断工具
// ============================================================================

/** 展平交叉类型，提高类型可读性 */
type Prettify<T> = { [K in keyof T]: T[K] } & {}

/** 检测类型是否包含 undefined 或 null（可选类型） */
type IsOptionalType<T> = undefined extends T ? true : null extends T ? true : false

/** 从 DTO 定义中提取可选字段的键（类型包含 undefined 或 null） */
type OptionalKeys<T> = {
    [K in keyof T]: IsOptionalType<T[K]> extends true ? K : never
}[keyof T]

/** 从 DTO 定义中提取必需字段的键 */
type RequiredKeys<T> = {
    [K in keyof T]: IsOptionalType<T[K]> extends true ? never : K
}[keyof T]

/**
 * 从 DTO 对象定义推断出实际的 TypeScript 类型
 * - 类型包含 undefined 或 null 的字段会变成可选字段 (?)
 */
export type InferDtoObject<T extends Record<string, any>> = Prettify<
    {
        [K in RequiredKeys<T>]: T[K]
    } & {
        [K in OptionalKeys<T>]?: T[K]
    }
>

export type IDtoFuncArray<TMeta> = {
    ({}, meta: IDtoMeta<TMeta>): any[]
    <T extends any[]>(dtoTypes: T, meta?: IDtoMeta<TMeta>): T
    <T extends Record<string, any>>(dtoTypes: T, meta?: IDtoMeta<TMeta>): InferDtoObject<T>[]
    <T>(dtoTypes: T, meta?: IDtoMeta<TMeta>): T[]
}

export type IDtoFuncObject<TMeta> = <T extends Record<string, any>>(nest?: T, meta?: IDtoMeta<TMeta>) => InferDtoObject<T>