在TypeScript项目里处理MediaRecorder时，音频声道数（audio channel count）经常成为一个类型盲区。标准DOM类型库对MediaTrackConstraints.channelCount的声明比较宽松，对MediaTrackSettings.channelCount也只是给一个number，而MediaRecorderOptions根本没有直接暴露声道数配置。于是当你调用getUserMedia({ audio: { channelCount: 2 } })时，编译器既不会阻止你填入5，也不会把2当作可供后续使用的字面量类型。要解决这个问题，需要自己定义一套能够根据传入值自动选择类型的工具。

标准库中的类型缺口与自动选择的价值

先从实际类型声明说起。在TypeScript自带的lib.dom.d.ts中，MediaTrackConstraints里的channelCount通常被定义为number | ConstrainULong，而MediaTrackSettings中的同名属性则是number。如果你查看MediaRecorderOptions，会发现它只有mimeType、audioBitsPerSecond、videoBitsPerSecond和bitsPerSecond，完全没有与声道数直接相关的字段。这是因为声道数通常在采集音频流阶段由getUserMedia的约束参数决定，而不是在创建MediaRecorder时指定。

这种类型现状带来两个问题。第一，传入非法值不会在编译期被发现，比如写{ channelCount: 3 }或者{ channelCount: 0 }，TypeScript不会给出任何提示；第二，后续针对音频数据的处理逻辑无法从类型上获知真实声道数。假设你有一个处理Float32Array[]的函数，它需要根据声道数来切分数组，如果类型只能告诉你这是一个number，你就不得不在函数内部反复判断或者使用类型断言。

自动选择类型的核心思路是：让TypeScript根据用户写入channelCount字段的具体字面量值，推导出对应类型。例如传入2就推导为2而不是宽泛的number。这样可以在不改变运行时行为的前提下，获得更精确的编译期保障，也能减少手动维护联合类型的成本。

用字面量联合类型与泛型搭建基础推导

首先要确定一组合理的声道数候选值。在Web音频领域，常见的声道配置包括单声道、立体声、四声道和环绕声等。我们可以定义一个基础联合类型，把允许的数值固定下来。这样做有两个好处：一是避免无意义的数字混入配置，二是为后续的自动推导提供明确的候选集合。

type ChannelCount = 1 | 2 | 4 | 6;
interface AudioRecorderConfig<T extends ChannelCount = ChannelCount> {
  channelCount: T;
  sampleRate?: number;
  bitRate?: number;
}
function createAudioRecorder<T extends ChannelCount>(
  config: AudioRecorderConfig<T>
): { channelLabel: T; process: (input: Float32Array[]) => void } {
  return {
    channelLabel: config.channelCount,
    process: (_input) => {},
  };
}
const stereo = createAudioRecorder({ channelCount: 2 });
const label: 2 = stereo.channelLabel;
const mono = createAudioRecorder({ channelCount: 1 });
const monoLabel: 1 = mono.channelLabel;
// 下面这行会报错：类型 3 不能赋值给 ChannelCount
// createAudioRecorder({ channelCount: 3 });

上面的代码展示了最基本的自动选择机制。当调用createAudioRecorder({ channelCount: 2 })时，泛型参数T会被推断为字面量类型2，于是返回对象中的channelLabel也自动变为2类型。如果把channelCount改成1，则T自动切换为1。这种推导完全由TypeScript完成，不需要手动指定泛型参数。

需要注意的是，如果传入的值并不是字面量而是已经被宽化的变量，自动选择就会失效。例如const count: number = 2; createAudioRecorder({ channelCount: count })就会因为count类型为number而无法通过约束检查。要保留自动推导，应尽量使用字面量直接构造对象，或者使用as const让变量保持字面量类型。此外，如果确实需要接受运行时动态值，也可以先通过类型守卫将number收窄到ChannelCount。

结合MediaTrackConstraints与MediaTrackSettings增强运行时类型

只定义自己的配置类型还不够，实际录音流程中还要与标准接口交互。比如getUserMedia接收MediaTrackConstraints，而获取到的轨道设置MediaTrackSettings会返回实际的声道数值。标准类型中channelCount过于宽泛，我们可以通过交叉类型扩展一个更严格的约束版本。

type AvailableChannelCount = 1 | 2 | 4 | 6;
type StrictAudioConstraints = MediaTrackConstraints & {
  channelCount?: AvailableChannelCount | ConstrainULong;
};
function resolveChannelCount(
  settings: MediaTrackSettings
): AvailableChannelCount {
  const raw = settings.channelCount;
  if (
    typeof raw === 'number' &&
    (raw === 1 || raw === 2 || raw === 4 || raw === 6)
  ) {
    return raw;
  }
  return 2;
}
function isAvailableChannelCount(
  value: number
): value is AvailableChannelCount {
  return value === 1 || value === 2 || value === 4 || value === 6;
}

这里定义了一个StrictAudioConstraints，它保留了MediaTrackConstraints的所有原始属性，但把channelCount重新限制为AvailableChannelCount | ConstrainULong。其中保留ConstrainULong是为了兼容浏览器要求的区间约束形式，但我们在自己的封装中通常只需要数字字面量。配合isAvailableChannelCount类型守卫，可以安全地将运行时拿到的number收窄到可用集合。

在实际开发中，建议在获取轨道设置后立即做一次声道数校验，把校验结果保存为AvailableChannelCount类型的变量，后续所有逻辑都基于这个精确类型。这样即使浏览器返回了意外的值，也能有一个统一的回退策略，比如默认按立体声处理。同时，通过交叉类型扩展全局接口，可以让项目中的其他模块也获得更安全的约束类型，而不用重复定义。

在封装类中实现自动选择并处理类型宽化

进一步可以把自动选择能力集成到一个封装类中。这个类接收一个具体的声道数参数，并在内部创建MediaRecorder实例。泛型参数TChannel会从构造函数入参自动推导，类的实例属性channelCount因此获得精确类型。这样在使用TrackRecorder时，编译器知道当前录音器到底对应单声道、立体声还是其他配置。

class TrackRecorder<TChannel extends AvailableChannelCount = AvailableChannelCount> {
  readonly channelCount: TChannel;
  private recorder?: MediaRecorder;
  constructor(channelCount: TChannel, stream: MediaStream) {
    this.channelCount = channelCount;
    const options: MediaRecorderOptions = {
      mimeType: 'audio/webm;codecs=opus',
    };
    this.recorder = new MediaRecorder(stream, options);
  }
  start() {
    this.recorder?.start();
  }
}
const mediaStream = new MediaStream();
const recorder = new TrackRecorder(2, mediaStream);
const channel: 2 = recorder.channelCount;
const requested: AvailableChannelCount = 2;
const widened = new TrackRecorder(requested, mediaStream);
// widened.channelCount 类型是 AvailableChannelCount，仍可用但不再收窄为 2

从示例中可以看到，直接使用字面量2构造时，recorder.channelCount被推导为2；而把2先赋值给AvailableChannelCount类型的变量后再传入，得到的属性类型就是宽泛的AvailableChannelCount。这正好说明自动选择依赖于字面量直接传递以及泛型参数推断。如果你需要保留精确推导，但输入来自动态数据，可以先把输入经过类型守卫收窄，再显式指定泛型参数。

类型宽化在工程中是常见现象，并不意味着方案失效。相反，它提醒我们在合理的边界处使用类型守卫和显式泛型指定。比如当用户从配置界面选择声道数时，选择结果通常会被存储为字符串或数字，此时可以先用isAvailableChannelCount收窄，再调用new TrackRecorder<2>(validatedValue, stream)。这样既保留了编译期精确类型，又不会因为运行时校验而丢失安全性。整个体系的核心就是让类型尽可能跟随实际值变化，而不是始终停留在宽泛的数字上。