能否在Dart中约束typedef为指定范围的整数？

你提到的TypeScript中可以直接通过联合字面量类型定义取值范围：

type MyRange = 5|6|7|8|9|10

let myVar:MyRange = 4; // 编译报错

但在Dart里，typedef并不支持这种直接联合字面量值的用法——Dart的typedef仅用于定义函数类型别名或现有类型的别名（比如typedef IntList = List<int>），无法像TypeScript那样将特定数值集合作为类型。

要实现类似Dice类型（限定取值1-6）的约束，有两种常用方案：

方案一：使用枚举（编译期强约束） #

枚举的成员是固定的，能在编译阶段就阻止非法值：

enum Dice {
  one(1),
  two(2),
  three(3),
  four(4),
  five(5),
  six(6);

  final int value;
  const Dice(this.value);
}

// 使用示例
void main() {
  // 合法用法
  Dice validDice = Dice.one;
  print(validDice.value); // 输出1

  // 以下写法会直接编译报错，因为不存在对应的枚举成员
  // Dice invalidDice = Dice(0);
  // Dice invalidDice = Dice(7);
}

方案二：封装类（编译/运行期约束） #

通过私有构造函数+预定义常量实例的方式，确保外部只能创建合法值的实例：

class Dice {
  final int value;
  
  // 私有构造函数，外部无法直接实例化
  const Dice._(this.value);

  // 预定义所有合法的Dice实例
  static const one = Dice._(1);
  static const two = Dice._(2);
  static const three = Dice._(3);
  static const four = Dice._(4);
  static const five = Dice._(5);
  static const six = Dice._(6);

  // 可选：添加工厂方法，支持通过数值创建实例（运行期校验）
  factory Dice(int value) {
    switch(value) {
      case 1: return one;
      case 2: return two;
      case 3: return three;
      case 4: return four;
      case 5: return five;
      case 6: return six;
      default: throw ArgumentError('骰子值必须在1-6之间');
    }
  }
}

// 使用示例
void main() {
  // 编译期合法的用法
  Dice dice1 = Dice.one;
  Dice dice2 = Dice(3);

  // 编译期不会报错，但运行时会抛出异常
  // Dice invalidDice = Dice(0);
}

如果需要严格的编译期校验，优先选择枚举方案；如果需要更灵活的数值交互，可以选择类封装+工厂方法的方案。

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