RepoDB中含Option类型条件的Delete函数报错问题解决

错误原因解析 #

1. 使用session.LastRefreshAt.Value报错：RepoDB的表达式解析器无法识别F# Option<T>类型的Value属性——你的实体定义中LastRefreshAt是DateTime option，RepoDB在解析查询表达式时只会识别实体的公共属性，而非Option类型的内部成员，因此报错“Value属性不存在”。
2. 使用session.LastRefreshAt < Some(olderThen)触发空引用：RepoDB不支持直接比较F# Option实例，当LastRefreshAt为None时，内部处理比较逻辑时会因无法识别Option的空值语义而抛出空引用异常。

解决方法 #

方法1：直接使用Raw SQL条件（推荐） #

绕开RepoDB的表达式树解析限制，直接编写SQL筛选逻辑，精准控制过期会话的判断规则：

open RepoDb
open System
open System.Collections.Generic

let DeleteAbandoned (connection: IDbConnection) (expirationThreshold: DateTime) =
    // 筛选逻辑：无刷新记录且创建时间早于阈值，或刷新时间早于阈值
    let sqlCondition = @"
        ([LastRefreshAt] IS NULL AND [CreatedAt] < @expirationThreshold) 
        OR ([LastRefreshAt] < @expirationThreshold)
    "
    let parameters = Dictionary<string, obj>()
    parameters.Add("expirationThreshold", expirationThreshold)
    
    connection.Delete<UserSession>(where = sqlCondition, parameters = parameters)

方法2：利用Nullable转换适配RepoDB表达式解析 #

将F# Option<DateTime>转换为.NET原生的Nullable<DateTime>，RepoDB能正确识别其HasValue和Value属性：

open RepoDb
open System

let DeleteAbandoned (connection: IDbConnection) (expirationThreshold: DateTime) =
    let condition = fun (session: UserSession) ->
        let lastRefreshNullable = session.LastRefreshAt |> Option.toNullable
        (not lastRefreshNullable.HasValue && session.CreatedAt < expirationThreshold) 
        || (lastRefreshNullable.HasValue && lastRefreshNullable.Value < expirationThreshold)
    
    connection.Delete<UserSession>(condition)

额外注意事项 #

• 确保数据库中LastRefreshAt列设置为可空类型，与F# DateTime option的语义匹配。
• 若问题仍存在，可尝试升级RepoDB到最新版本，新版本可能修复了F# Option类型的表达式解析兼容问题。

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