gpt4 book ai didi

arrays - 最后一项具有不同类型的元组(首先从其余元素开始)

转载 作者:行者123 更新时间:2023-12-03 18:44:42 24 4
gpt4 key购买 nike

我有一个类型 Foo那是一个 Array可以包含任意数量的 Bar元素,带有可选的最后 Qux元素。

以下是一些有效数据的示例:

[]
[bar]
[qux]
[bar, qux]
[bar, bar, bar, bar, bar]
[bar, bar, bar, qux]

无效数据示例:
[qux, qux]
[qux, bar]
[bar, bar, qux, bar]
[bar, bar, qux, qux]

目前我把它作为 type Foo = Array<Bar | Qux> ,但这并没有捕捉到只有一个 Qux 的事实。是允许的,并且只能作为最后一项。

我不确定我是否应该期望 Typescript 能够表达这一点,或者如果可以实现它是否有任何实际的好处。

最佳答案

TS 4.2
允许 leading/middle rest elements在元组类型中。你现在可以写:

type WithLastQux = [...Bar[], Qux]
允许一个可选的最后 Qux (感谢@last-child):
type WithLastQux = [...Bar[], Qux] | Bar[]
测试:
// ok
const t11: WithLastQux = ["qux"]
const t12: WithLastQux = ["bar", "qux"]
const t13: WithLastQux = ["bar", "bar", "bar", "qux"]
const t14: WithLastQux = ["bar"]
const t15: WithLastQux = []

// error
const t16: WithLastQux = ["qux", "qux"]
const t17: WithLastQux = ["qux", "bar"]
作为扩展,定义一个通用函数助手来保持窄的、固定大小的元组类型:
function foo<T extends WithLastQux>(t: T): T { return t }

foo(["bar", "qux"])
// type: function foo<["bar", "qux"]>(t: ["bar", "qux"]): ["bar", "qux"]
请注意,最后一个可选的 Qux元素通过 [...Bar[], Qux?]不是直接可能的:

The only restriction is that a rest element can be placed anywhere in a tuple, so long as it’s not followed by another optional element or rest element. (docs)


Playground

TS 4.0
在JS中, rest parameters始终需要是最后一个函数参数。 TS 4.0 附带一个名为 variadic tuple types 的功能,您可以将其视为“类型的其余参数”。
整洁的是:可变元组类型 can be placed anywhere在函数参数中,而不仅仅是在最后。我们现在可以定义任意数量的 bar带有可选最后一个元素的项目 qux .
示例: [bar, bar, <and arbitrary more>, qux]可以解释为可变参数元组 [...T, qux] ,其中 T代表所有 bar项目。
解决方案 1:分开 Assert类型
type Assert<T extends readonly (Bar | Qux)[]> =
T extends readonly [] ? T :
T extends readonly [...infer I, infer U] ?
I extends [] ? T :
I extends Bar[] ? T : readonly [...{ [K in keyof I]: Bar }, U] :
never

function assert<T extends readonly (Bar | Qux)[] | readonly [Bar | Qux]>(
a: Assert<T>): T { return a as T }

// OK
const ok1 = assert([])
const ok2 = assert(["bar"])
const ok3 = assert(["qux"])
const ok4 = assert(["bar", "qux"])
const ok5 = assert(["bar", "bar", "bar"])
const ok6 = assert(["bar", "bar", "bar", "qux"])

// errors
const err1 = assert(["qux", "qux"])
const err2 = assert(["qux", "bar"])
const err3 = assert(["bar", "bar", "qux", "bar"])
const err4 = assert(["bar", "bar", "qux", "qux"])
您可以替换 assert具有某种“哨兵”类型的辅助函数:
type Sentinel<T, U extends T> = U
const arr1 = ["bar", "bar"] as const
const arr2 = ["qux", "bar"] as const
type Arr1Type = Sentinel<Assert<typeof arr1>, typeof arr1> // OK
type Arr2Type = Sentinel<Assert<typeof arr2>, typeof arr2> // error
Playground
解决方案2:函数重载
type Bar = "bar"
type Qux = "qux"

function assert<T extends Bar[] = []>(
arg: (Qux | Bar)[] extends [...T, Qux] ? never : [...T, Qux]): [...T, Qux]
function assert<T extends Bar[] = []>(arg: [...T]): [...T]
function assert<T extends Bar[] = []>(arg: [...T, Qux?]) { return arg }
Playground

TS 3.9 及更早版本
如果您确实需要后跟最后一个元素的其余参数(规范只允许它们放在最后,请参阅@Nit 的回答),这里有一个替代方案:
假设
  • 存在并输入了具体的数组值(例如 as const )
  • 数组大小最多 256 个元素(StringToNumber 硬编码大小限制)
  • 您不想声明 Bar/Quxrecursive manner 中声明类型:虽然技术上可行,但递归类型不受官方支持 till version 4.1 (注:更新)。

  • 代码
    type Bar = { bar: string };
    type Qux = { qux: number };

    // asserts Qux for the last index of T, other elements have to be Bar
    type AssertQuxIsLast<T extends readonly any[]> = {
    [K in keyof T]: StringToNumber[Extract<K, string>] extends LastIndex<T>
    ? T[K] extends Qux
    ? Qux
    : never
    : T[K] extends Bar
    ? Bar
    : never;
    };

    // = calculates T array length minus 1
    type LastIndex<T extends readonly any[]> = ((...t: T) => void) extends ((
    x: any,
    ...u: infer U
    ) => void)
    ? U["length"]
    : never;

    // TS doesn't support string to number type conversions 😥,
    // so we support (index) numbers up to 256
    export type StringToNumber = {
    [k: string]: number;
    0: 0, 1: 1, 2: 2, 3: 3, 4: 4, 5: 5, 6: 6, 7: 7, 8: 8, 9: 9, 10: 10, 11: 11, 12: 12, 13: 13, 14: 14, 15: 15, 16: 16, 17: 17, 18: 18, 19: 19, 20: 20, 21: 21, 22: 22, 23: 23, 24: 24, 25: 25, 26: 26, 27: 27, 28: 28, 29: 29, 30: 30, 31: 31, 32: 32, 33: 33, 34: 34, 35: 35, 36: 36, 37: 37, 38: 38, 39: 39, 40: 40, 41: 41, 42: 42, 43: 43, 44: 44, 45: 45, 46: 46, 47: 47, 48: 48, 49: 49, 50: 50, 51: 51, 52: 52, 53: 53, 54: 54, 55: 55, 56: 56, 57: 57, 58: 58, 59: 59, 60: 60, 61: 61, 62: 62, 63: 63, 64: 64, 65: 65, 66: 66, 67: 67, 68: 68, 69: 69, 70: 70, 71: 71, 72: 72, 73: 73, 74: 74, 75: 75, 76: 76, 77: 77, 78: 78, 79: 79, 80: 80, 81: 81, 82: 82, 83: 83, 84: 84, 85: 85, 86: 86, 87: 87, 88: 88, 89: 89, 90: 90, 91: 91, 92: 92, 93: 93, 94: 94, 95: 95, 96: 96, 97: 97, 98: 98, 99: 99, 100: 100, 101: 101, 102: 102, 103: 103, 104: 104, 105: 105, 106: 106, 107: 107, 108: 108, 109: 109, 110: 110, 111: 111, 112: 112, 113: 113, 114: 114, 115: 115, 116: 116, 117: 117, 118: 118, 119: 119, 120: 120, 121: 121, 122: 122, 123: 123, 124: 124, 125: 125, 126: 126, 127: 127, 128: 128, 129: 129, 130: 130, 131: 131, 132: 132, 133: 133, 134: 134, 135: 135, 136: 136, 137: 137, 138: 138, 139: 139, 140: 140, 141: 141, 142: 142, 143: 143, 144: 144, 145: 145, 146: 146, 147: 147, 148: 148, 149: 149, 150: 150, 151: 151, 152: 152, 153: 153, 154: 154, 155: 155, 156: 156, 157: 157, 158: 158, 159: 159, 160: 160, 161: 161, 162: 162, 163: 163, 164: 164, 165: 165, 166: 166, 167: 167, 168: 168, 169: 169, 170: 170, 171: 171, 172: 172, 173: 173, 174: 174, 175: 175, 176: 176, 177: 177, 178: 178, 179: 179, 180: 180, 181: 181, 182: 182, 183: 183, 184: 184, 185: 185, 186: 186, 187: 187, 188: 188, 189: 189, 190: 190, 191: 191, 192: 192, 193: 193, 194: 194, 195: 195, 196: 196, 197: 197, 198: 198, 199: 199, 200: 200, 201: 201, 202: 202, 203: 203, 204: 204, 205: 205, 206: 206, 207: 207, 208: 208, 209: 209, 210: 210, 211: 211, 212: 212, 213: 213, 214: 214, 215: 215, 216: 216, 217: 217, 218: 218, 219: 219, 220: 220, 221: 221, 222: 222, 223: 223, 224: 224, 225: 225, 226: 226, 227: 227, 228: 228, 229: 229, 230: 230, 231: 231, 232: 232, 233: 233, 234: 234, 235: 235, 236: 236, 237: 237, 238: 238, 239: 239, 240: 240, 241: 241, 242: 242, 243: 243, 244: 244, 245: 245, 246: 246, 247: 247, 248: 248, 249: 249, 250: 250, 251: 251, 252: 252, 253: 253, 254: 254, 255: 255
    };
    测试
    const arr1 = [{ bar: "bar1" }, { bar: "foo1" }, { qux: 42 }] as const
    const arr2 = [{ bar: "bar2" }, { bar: "foo2" }] as const
    const arr3 = [{ qux: 42 }] as const

    const typedArr1: AssertQuxIsLast<typeof arr1> = arr1
    const typedArr2: AssertQuxIsLast<typeof arr2> = arr2 // error (OK)
    const typedArr3: AssertQuxIsLast<typeof arr3> = arr3
    说明 AssertQuxIsLastmapped tuple type .每个键 KT是形式 "0" 的索引, "1" , "2" , 等等。 。但这种类型是 string ,不是 number !
    为了断言 Qux对于最后一个索引,我们需要转换 K返回 number为了与 T['length']进行比较,返回数组长度 number .由于编译器不支持动态 string to number conversion然而,我们已经使用 StringToNumber 创建了我们自己的转换器.
    Playground

    关于arrays - 最后一项具有不同类型的元组(首先从其余元素开始),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58373266/

    24 4 0
    Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
    广告合作:1813099741@qq.com 6ren.com