Rust不支持C++式特化，如何实现多类型泛型的特定与默认实现？

Rust稳定版目前尚未支持完整的C++风格特化，但可以通过以下两种常用方案实现需求，无需手动枚举所有泛型组合：

方案1：稳定版无额外特性依赖（基于TypeId+编译期分支消除） #

该方案适合泛型参数满足'static生命周期约束的场景，完全兼容稳定版Rust，编译期会自动消除无用分支，无运行时开销：

use std::any::TypeId;
use crate::{Ty1, Ty2};

struct Test<A, B> {
    // 你的字段定义
}

impl<A: 'static, B: 'static> Test<A, B> {
    fn test() {
        // Rust 1.79+ 可使用const块保证编译期分支选择
        const {
            if TypeId::of::<A>() == TypeId::of::<Ty1>() && TypeId::of::<B>() == TypeId::of::<Ty2>() {
                // 此处写Ty1+Ty2组合的特殊逻辑
            } else {
                // 此处写其余所有组合的通用逻辑
            }
        }
    }
}

如果使用低于1.79的Rust版本，直接去掉外层const {}即可，优化器同样会在编译阶段删除死分支。

方案2：Nightly版最小特化（最贴近原写法） #

如果可以使用Nightly版Rust，开启min_specialization特性即可实现和C++特化逻辑几乎一致的写法，无'static约束：
首先在crate根文件添加特性开启声明：

#![feature(min_specialization)]

业务代码实现如下：

use crate::{Ty1, Ty2};

struct Test<A, B> {
    // 你的字段定义
}

trait TestImpl {
    fn test();
}

// 所有泛型组合的默认实现
impl<A, B> TestImpl for Test<A, B> {
    default fn test() {
        // 其余所有组合的通用逻辑
    }
}

// 特化Ty1+Ty2的组合
impl TestImpl for Test<Ty1, Ty2> {
    fn test() {
        // Ty1+Ty2组合的特殊逻辑
    }
}

// 对外暴露统一的test方法
impl<A, B> Test<A, B> {
    fn test() {
        <Self as TestImpl>::test()
    }
}

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