Dart技术疑问：超类构造已有位置参数时，超初始化参数为何不能为位置型？

你困惑的核心在于没区分**超初始化参数（super parameters）**和普通构造参数传递的差异，原指南的规则针对的是前者，而非你写的super(x,y)这种常规参数传递。

先明确：什么是超初始化参数 #

这是Dart 2.17+引入的语法糖，允许子类构造直接用super.param的方式，把参数转发给超类对应的字段/参数，无需自己重复声明参数。比如原示例里的：

Vector3d.yzPlane({required super.y, required this.z}) : super.named(x: 0);

这里的super.y就是命名型超初始化参数，等价于手动声明required double y后在super.named(y: y)里传递。

规则的正确解读 #

规则原文：若超类构造调用已包含位置参数，则超初始化参数不能为位置型，但始终可以使用命名型
翻译成人话：如果子类构造的super()调用里已经显式写了位置参数，就不能同时用位置型的超初始化参数；但命名型的超初始化参数不受限制，怎么用都行。

违规示例：位置型超初始化参数 + super()里的位置参数 #

假设超类有一个带位置参数的构造：

class Vector2d {
  final double x;
  final double y;

  Vector2d(this.x, this.y); // 纯位置参数构造
}

如果子类尝试同时用位置型超初始化参数，又在super()里写位置参数：

// ❌ 编译报错：超初始化参数不能既是位置参数，又在super调用中提供位置参数
class Vector3d extends Vector2d {
  final double z;

  Vector3d(super.y, this.z) : super(0); 
  // 冲突点：super.y是位置型超初始化参数，同时super(0)又传递了第一个位置参数x
  // Dart无法确定超类的x参数该用0，y参数该用super.y还是super调用里的第二个位置参数
}

正确的替代写法 #

1. 只使用位置型超初始化参数，不在super()里加位置参数

// ✅ 正确：直接用位置型超初始化参数传递x和y，super调用隐式完成
class Vector3d extends Vector2d {
  final double z;

  Vector3d(super.x, super.y, this.z); 
  // 等价于：Vector3d(double x, double y, this.z) : super(x, y);
}

2. 如果要在super()里写位置参数，就不用位置型超初始化参数，改用手动传递或命名型
   比如想固定超类的x为0，同时传递y参数：

// ✅ 正确：手动声明y参数，传递给super
class Vector3d extends Vector2d {
  final double z;

  Vector3d(double y, this.z) : super(0, y);
}

如果超类有带命名参数的构造，也可以用命名型超初始化参数（不受super()位置参数的限制）：

class Vector2d {
  final double x;
  final double y;
  final double scale;

  Vector2d(this.x, this.y, {this.scale = 1.0});
}

// ✅ 正确：super()里有位置参数(0, 0)，同时用命名型超初始化参数super.scale
class Vector3d extends Vector2d {
  final double z;

  Vector3d(this.z, {super.scale}) : super(0, 0);
}

回到原指南的示例 #

原示例的超类Vector2d.named是纯命名参数构造，子类的super.named(x:0)里没有任何位置参数，所以可以安全使用super.y这种命名型超初始化参数——这正好对应规则的后半句：命名型超初始化参数始终可以使用，不管超类构造有没有位置参数。

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