代码之家 › 专栏 › 技术社区 › ssb

如何在Rust中复制C++基于模板的SFINAE模式?

sfinae traits rust

ssb · 技术社区 · 6 年前

我有以下资料:

trait Runnable {
    fn run(&self);
}

struct Foo<T> {
    // Something
}

impl<T> Runnable for Foo<T>
where
    T: Send + Sync,
{
    fn run(&self) {}
}

impl<T> Runnable for Foo<T>
where
    T: Send + ?Sync,
{
    fn run(&self) {}
}

impl 即使 T 在两种情况下都是相互排斥的:

error[E0119]: conflicting implementations of trait `Runnable` for type `Foo<_>`:
  --> src/main.rs:16:1
   |
9  | / impl<T> Runnable for Foo<T>
10 | | where
11 | |     T: Send + Sync,
12 | | {
13 | |     fn run(&self) {}
14 | | }
   | |_- first implementation here
15 | 
16 | / impl<T> Runnable for Foo<T>
17 | | where
18 | |     T: Send + ?Sync,
19 | | {
20 | |     fn run(&self) {}
21 | | }
   | |_^ conflicting implementation for `Foo<_>`

1 回复 | 直到 6 年前

mcarton 6 年前

#![feature(specialization)]

trait Runnable {
    fn run(&self);
}

struct Foo<T> {
    _t: T,
}

impl<T> Runnable for Foo<T>
where
    T: Send + Sync,
{
    fn run(&self) {}
}

impl<T> Runnable for Foo<T>
where
    T: Send,
{
    default fn run(&self) {}
//  ^^^^^^^ this is the magic you need
}

fn main() {}

但是,从Rust 1.26.2开始,专门化并不稳定,需要每晚编译一次。

推荐文章

Tyrese Tiger · 如何解决Rust区块链智能合约中的'[E0277]:类型'[BBalance]'无法通过'String'错误进行索引?

1 年前

Finomnis · 获取对“&mut u32”的一部分的“@mut u8”引用`

1 年前

dade · 在Rust中给定谓词的情况下,将Some转换为None的惯用方法是什么?

1 年前

Finlay Weber · 如何在DataFusion中为记录批次构造vec的vec值?

1 年前

newbie99 · 如何向字符串片段暗示特定数量的字节

2 年前

David · `match的手臂类型不兼容

2 年前

spicy-lemonade · 在rust中,为什么像rand这样的模块不包括子模块?

2 年前

Lucas Lima · 如何打印对象的元素?

2 年前

Xavi Font · 访问父结构中可选对象/结构/变量的属性

2 年前

Kai · 有什么方法可以轻松优化VSCode中的锈迹?

2 年前