TypeScript 泛型、索引签名与交叉类型使用报错排查

两种定义方式的逻辑和实际预期不匹配：你期望的类型规则是「固定存在signOutUrl属性（值为string类型），除此之外支持任意自定义字符串键，这些自定义键的值类型为泛型T」，但现有两种写法都让全局索引签名的约束覆盖到了signOutUrl本身，引发类型冲突。

第一种交叉类型写法的问题 #

Record<string, T> & { signOutUrl: string } 中，Record<string, T> 本身等价于带全局字符串索引签名的类型，即所有可访问的字符串键对应的值都必须符合T的类型要求。当两个类型做交叉时，整个类型会继承索引签名的全局约束，不会自动把后续单独定义的signOutUrl排除在索引规则之外。
当传入T = A时，索引签名要求所有键的值都是A类型，但signOutUrl的值是string类型，不满足A的结构要求，因此抛出Type 'string' is not assignable to type 'A'的报错。

第二种接口索引写法的问题 #

在TS的接口规则中，一旦声明了字符串索引签名，接口内所有单独定义的属性，其值类型必须兼容索引签名规定的类型。你写的interface SessionSsrProps<T> { [key: string]: T; signOutUrl: string }中，泛型T没有任何约束，string类型并不保证是T的子类型（比如T为A时，string就不是A的兼容类型），因此TS直接判定该类型定义本身不合法，抛出Property 'signOutUrl' of type 'string' is not assignable to string index type 'T'。

核心思路是：将signOutUrl从全局索引签名的覆盖范围中排除，让它的值类型只受单独定义的属性规则约束，其余自定义键的值类型统一为T。

• TS4.1及以上版本推荐写法（使用键重映射语法排除固定键）：

interface A {
    a: string
}

type SessionSsrProps<T> = {
  signOutUrl: string
} & {
  // 映射所有字符串键，排除signOutUrl后，剩余键的值类型为T
  [K in string as Exclude<K, 'signOutUrl'>]: T
}

// 原测试代码可正常通过编译
const x: SessionSsrProps<A> = {
    x: {
        a: "Hello"
    },
    signOutUrl: "Hello"
}

• 低版本TS兼容写法（不依赖键重映射语法）：

type SessionSsrProps<T> = {
  signOutUrl: string
} & {
  [K in string]: K extends 'signOutUrl' ? never : T
}

该写法的逻辑是：当键名是signOutUrl时，对应的值类型设为never（代表该键不被索引签名约束），其余键的值类型为T，配合单独定义的signOutUrl: string属性，完全符合预期的类型规则。

内容的提问来源于stack exchange，提问作者softshipper