Rust中子trait能否为父trait的部分方法提供默认实现？

方案1：修改BasicTrait添加带约束的默认实现（稳定版可用，侵入式） #

该方案适合可以修改BasicTrait定义的场景，利用Rust方法默认实现的额外约束特性，仅当类型实现AdvancedTrait时自动启用默认逻辑：

pub trait BasicTrait {
    // 给key_method添加默认实现，仅当Self实现AdvancedTrait时该默认实现生效
    fn key_method(&self)
    where
        Self: AdvancedTrait,
    {
        // 此处填入你需要的默认参数，示例用0
        self.key_method_with_argument(0);
    }

    fn other_method(&self);
}

pub trait AdvancedTrait: BasicTrait {
    fn key_method_with_argument(&self, parameter: u32);
}

使用示例： #

实现AdvancedTrait时，仅需要实现key_method_with_argument和BasicTrait的other_method即可，无需手动实现key_method：

struct MyType;

impl AdvancedTrait for MyType {
    fn key_method_with_argument(&self, parameter: u32) {
        println!("调用参数：{}", parameter);
    }
}

impl BasicTrait for MyType {
    // 不需要手动写key_method实现，自动使用符合约束的默认实现
    fn other_method(&self) {
        // 业务逻辑实现
    }
}

// 若需要覆盖默认逻辑，手动实现key_method即可
struct MyTypeWithCustomKeyMethod;
impl AdvancedTrait for MyTypeWithCustomKeyMethod {
    fn key_method_with_argument(&self, parameter: u32) {
        println!("调用参数：{}", parameter);
    }
}
impl BasicTrait for MyTypeWithCustomKeyMethod {
    // 手动覆盖默认实现
    fn key_method(&self) {
        println!("自定义的key_method逻辑");
    }
    fn other_method(&self) {
        // 业务逻辑实现
    }
}

方案2：用辅助宏提供默认实现（稳定版可用，无侵入） #

如果不能修改BasicTrait的原有定义，可以用声明宏批量生成默认的key_method实现，避免重复代码：

// 定义辅助宏，提供默认的key_method实现
#[macro_export]
macro_rules! default_key_method_for_advanced {
    () => {
        fn key_method(&self) {
            self.key_method_with_argument(0);
        }
    };
}

// 原有trait定义不需要修改
pub trait BasicTrait {
    fn key_method(&self);
    fn other_method(&self);
}

pub trait AdvancedTrait: BasicTrait {
    fn key_method_with_argument(&self, parameter: u32);
}

使用示例： #

实现的时候只需要在BasicTrait的impl块里调用宏即可，不需要重复写默认逻辑：

struct MyType;

impl AdvancedTrait for MyType {
    fn key_method_with_argument(&self, parameter: u32) {
        println!("调用参数：{}", parameter);
    }
}

impl BasicTrait for MyType {
    // 调用宏生成默认实现
    default_key_method_for_advanced!();
    fn other_method(&self) {
        // 业务逻辑实现
    }
}

// 要覆盖默认逻辑的话，直接手动写key_method实现即可，不需要调用宏
struct MyTypeWithCustomKey;
impl AdvancedTrait for MyTypeWithCustomKey {
    fn key_method_with_argument(&self, parameter: u32) {
        println!("调用参数：{}", parameter);
    }
}
impl BasicTrait for MyTypeWithCustomKey {
    // 手动实现覆盖默认逻辑
    fn key_method(&self) {
        println!("自定义逻辑");
    }
    fn other_method(&self) {
        // 业务逻辑实现
    }
}

如果你使用nightly工具链，也可以启用specialization特性实现无侵入的泛型特化，但该特性目前尚未稳定，不建议在生产环境使用。

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