Dart中实现返回自身类型的rename方法遇类型匹配问题求助

需求是实现一个rename方法，作为基类定义的接口，返回自身类的类型，让基类可以调用它。目标运行代码如下：

void main() {
  Cat cat = Cat("Whiskers");
  Dog dog = Dog("Buddy");

  Cat renamedCat = cat.rename("Mittens");
  Dog renamedDog = dog.rename("Max");

  print("Old cat name: ${cat.name}, New cat name: ${renamedCat.name}");
  print("Old dog name: ${dog.name}, New dog name: ${renamedDog.name}");
}

之前版本的问题分析 #

版本1 #

abstract class Animal {
  final String name;

  Animal(this.name);

  T copyWith<T extends Animal>({String? name});
}

class Cat extends Animal {
  Cat(super.name);

  @override
  Cat copyWith({String? name}) {
    return Cat(name ?? this.name);
  }
}

class Dog extends Animal {
  Dog(super.name);

  @override
  Dog copyWith({String? name}) {
    return Dog(name ?? this.name);
  }
}

extension AnimalExtension<T extends Animal> on T {
  T rename(String newName) {
    return copyWith(name: newName);
  }
}

报错：

Cat.copyWith' ('Cat Function({String? name})') isn't a valid override of 'Animal.copyWith' ('T Function<T extends Animal>({String? name})').

问题：基类的copyWith是调用者指定泛型参数的方法，子类的copyWith没有匹配这个泛型签名，导致override失败。

版本2 #

abstract class Animal {
  final String name;

  Animal(this.name);

  Animal copyWith({String? name});
}

class Cat extends Animal {
  Cat(super.name);

  @override
  Cat copyWith({String? name}) {
    return Cat(name ?? this.name);
  }
}

class Dog extends Animal {
  Dog(super.name);

  @override
  Dog copyWith({String? name}) {
    return Dog(name ?? this.name);
  }
}

extension AnimalExtension<T extends Animal> on T {
  T rename(String newName) {
   
    return copyWith(name: newName);
  }
}

报错：

A value of type 'Animal' can't be returned from the method 'rename' because it has a return type of 'T'

问题：基类copyWith返回Animal，虽然子类协变返回更具体的类型，但在泛型扩展中，编译器无法确定copyWith返回的Animal就是具体的T类型，因此报错。

优雅规范的解决方案：递归泛型（CRTP） #

使用奇异递归模板模式（CRTP）定义基类，让基类明确知道子类的具体类型，从而实现类型安全的copyWith和rename方法：

abstract class Animal<T extends Animal<T>> {
  final String name;

  Animal(this.name);

  // 返回子类具体类型T
  T copyWith({String? name});
}

class Cat extends Animal<Cat> {
  Cat(super.name);

  @override
  Cat copyWith({String? name}) {
    return Cat(name ?? this.name);
  }
}

class Dog extends Animal<Dog> {
  Dog(super.name);

  @override
  Dog copyWith({String? name}) {
    return Dog(name ?? this.name);
  }
}

extension AnimalExtension<T extends Animal<T>> on T {
  T rename(String newName) {
    return copyWith(name: newName);
  }
}

void main() {
  Cat cat = Cat("Whiskers");
  Dog dog = Dog("Buddy");

  Cat renamedCat = cat.rename("Mittens");
  Dog renamedDog = dog.rename("Max");

  print("Old cat name: ${cat.name}, New cat name: ${renamedCat.name}");
  print("Old dog name: ${dog.name}, New dog name: ${renamedDog.name}");
}

方案说明 #

1. 基类泛型约束：Animal<T extends Animal<T>>通过递归泛型，约束T必须是Animal的子类，让基类能够明确copyWith返回的是子类的具体类型。
2. 子类继承：子类继承时指定自身作为泛型参数（如Cat extends Animal<Cat>），确保copyWith的返回类型与基类定义的T完全匹配，override合法。
3. 扩展方法类型安全：扩展AnimalExtension<T extends Animal<T>>确保copyWith返回的T可以直接作为rename的返回值，无需强制类型转换，完全符合类型规范。

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