Diesel 的查找或过滤器执行删除操作的一般用法

Question

我正在尝试使用通用 Diesel 函数来缩小重复性任务，例如根据主键删除一行。

我得到了相对较快的行的通用插入，但删除查询似乎非常困难。我尝试通过使用find()和 来解决它filter()。我也咨询过类似的话题1和2，但没有成功。

使用 find

use diesel::prelude::*;
use diesel::query_dsl::methods::FindDsl;
use std::error::Error;

pub struct DB {
    conn: SqliteConnection,
}

impl DB {
    pub fn remove_row<'a, T>(&self, table: T, pk: &'a str) -> Result<(), Box<Error>>
    where
        T: FindDsl<&'a str>,
        <T as FindDsl<&'a str>>::Output: diesel::Identifiable,
        <T as FindDsl<&'a str>>::Output: diesel::associations::HasTable,
    {
        diesel::delete(table.find(pk)).execute(&self.conn)?;
        Ok(())
    }
}

这导致以下错误，我根本无法解释：

error[E0275]: overflow evaluating the requirement `_: std::marker::Sized`
   --> src/db/mod.rs:103:3
    |
103 |         diesel::delete (table.find (pk)) .execute (&self.conn) ?;
    |         ^^^^^^^^^^^^^^
    |
    = help: consider adding a `#![recursion_limit="128"]` attribute to your crate
    = note: required because of the requirements on the impl of `diesel::query_dsl::filter_dsl::FilterDsl<_>` for `<<<T as diesel::query_dsl::filter_dsl::FindDsl<&'a str>>::Output as diesel::associations::HasTable>::Table as diesel::query_builder::AsQuery>::Query`
    = note: required because of the requirements on the impl of `diesel::query_builder::IntoUpdateTarget` for `<T as diesel::query_dsl::filter_dsl::FindDsl<&'a str>>::Output`
    = note: required by `diesel::delete`

使用 filter()

use diesel::prelude::*;
use diesel::query_dsl::methods::FilterDsl;
use std::error::Error;

pub struct DB {
    conn: SqliteConnection,
}

impl DB {
    pub fn remove_row<T>(&self, table: T, pk: &str) -> Result<(), Box<Error>>
    where
        T: FilterDsl<bool>,
        <T as FilterDsl<bool>>::Output: diesel::Identifiable,
        <T as FilterDsl<bool>>::Output: diesel::associations::HasTable,
    {
        diesel::delete(table.filter(id.eq(pk))).execute(&self.conn)?;
        Ok(())
    }
}

除了前面的错误之外，还有一条关于id在数据结构中未知的错误消息。我可以考虑一个缺失的特征，它保证了该行的存在，但我没有发现任何关于这种行为的信息。

use diesel::prelude::*;
use diesel::query_dsl::methods::FilterDsl;
use std::error::Error;

pub struct DB {
    conn: SqliteConnection,
}

impl DB {
    pub fn remove_row<T>(&self, table: T, pk: &str) -> Result<(), Box<Error>>
    where
        T: FilterDsl<bool>,
        <T as FilterDsl<bool>>::Output: diesel::Identifiable,
        <T as FilterDsl<bool>>::Output: diesel::associations::HasTable,
    {
        diesel::delete(table.filter(id.eq(pk))).execute(&self.conn)?;
        Ok(())
    }
}

Answer 1

泛型并不容易。像 Diesel 这样高度通用的系统中的泛型更难。

我更喜欢将步骤分解成非常小的部分，并尽可能避免链接。有了它，您基本上需要为每个步骤添加特征边界。一件好事是为非常复杂的特征边界使用/创建类型别名。Diesel 提供了许多这些，您可以根据自己的特殊用途制作自己的。

在查看生成的错误消息时，我主要查看了被调用的函数/方法所描述的类型边界。

逐点：

1. .find来自FindDsl.
2. delete需要IntoUpdateTarget.
3. 调用的结果类型delete是 a DeleteStatement，用T::Table和参数化T::WhereClause。这是自定义类型别名DeleteFindStatement。
4. .execute来自ExecuteDsl.

use diesel::{
    associations::HasTable,
    helper_types::Find,
    query_builder::{DeleteStatement, IntoUpdateTarget},
    query_dsl::methods::ExecuteDsl,
};

type DeleteFindStatement<F> =
    DeleteStatement<<F as HasTable>::Table, <F as IntoUpdateTarget>::WhereClause>;

impl DB {
    pub fn remove_row<Tbl, Pk>(&self, table: Tbl, pk: Pk) -> Result<(), Box<Error>>
    where
        Tbl: FindDsl<Pk>,
        Find<Tbl, Pk>: IntoUpdateTarget,
        DeleteFindStatement<Find<Tbl, Pk>>: ExecuteDsl<SqliteConnection>,
    {
        let find = table.find(pk);
        let delete = diesel::delete(find);
        delete.execute(&self.conn)?;
        Ok(())
    }
}

对于filter基于 -based 的版本，您需要自己尝试一下，因为您没有提供足够的代码来说明id应该是什么；如您的错误消息所示。

也可以看看：

• 如何定义函数类型参数（或其关联类型）的函数局部类型别名？

使主键通用是否有好处，即使&str在所有情况下都是如此？

对我来说，使用泛型类型比插入一堆泛型生命周期参数更容易。