- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
一段时间以来,我一直在尝试让这个类似静态扩展的东西工作:
public static class MixedRepositoryExtensions {
public static Task<TEntity> FindBySelectorAsync<TRepository, TEntity, TSelector>(
this TRepository repository,
TSelector selector)
where TRepository : IReadableRepository<TEntity>, IListableRepository<TEntity>
where TEntity : class, ISearchableEntity<TSelector>
=> repository.Entities.SingleOrDefaultAsync(x => x.Matches(selector));
}
然而,据我了解,C# 在设计上并未将通用约束作为其推理过程的一部分,因此在尝试调用它时会导致以下 CS0411 错误:
The type arguments for method 'MixedRepositoryExtensions.FindBySelectorAsync(TRepository, TSelector)' cannot be inferred from the usage. Try specifying the type arguments explicitly.
示例调用方法(其中 ProjectRepository 扩展了 IReadableRepository
await (new ProjectRepository()).FindBySelectorAsync(0);
我考虑过在所有调用者上显式定义它们,但是,这种方法并不理想,因为它会在很多地方使用并且有很多长命名类型。
我也考虑过像这样将两个接口(interface)继承为一个接口(interface):
IReadableAndListableRepository<TEntity> :
IReadableRepository<TEntity>,
IListableRepository<TEntity>
但是,由于我会使用不止一个扩展,而不仅仅是这个组合,我发现这会导致界面爆炸(如果这是真的吗?)。例如,这将是另一个:
IUpdatableAndListableRepository<TEntity :
IUpdatableRepository<TEntity>,
IListableRepository<TEntity>
我在这里从 Eric Lippert 那里找到了一个提示,即使用 F# 可能会有所帮助(因为我已经绝望了):
Generics: Why can't the compiler infer the type arguments in this case?
我尝试了一下 F#,但发现很少有关于将类型约束到多个接口(interface)(或与此相关的任何特定接口(interface))的文档,并且无法克服一些错误。这是我最后一次尝试。我意识到该方法不会返回相同的值,我只是暂时尝试让约束很好地发挥作用。对不起,如果做得不好,这是我第一次玩 F#。
[<Extension>]
type MixedRepositoryExtensions() =
[<Extension>]
static member inline FindBySelectorAsync<'TSelector, 'TEntity when 'TEntity: not struct and 'TEntity:> ISearchableEntity<'TSelector>>(repository: 'TRepository when 'TRepository:> IReadableRepository<'TEntity> and 'TRepository:> IListableRepository<'TEntity>, selector: 'TSelector) = repository;
但是,此实现会导致以下错误,均引用定义了 FindBySelectorAsync 的行:
FS0331: The implicit instantiation of a generic construct at or near this point could not be resolved because it could resolve to multiple unrelated types, e.g. 'IListableRepository <'TEntity>' and 'IReadableRepository <'TEntity>'. Consider using type annotations to resolve the ambiguity
FS0071: Type constraint mismatch when applying the default type 'IReadableRepository<'TEntity>' for a type inference variable. The type 'IReadableRepository<'TEntity>' is not compatible with the type 'IListableRepository<'TEntity>' Consider adding further type constraints
所以,我想我的问题是:
根据要求,以下是示例中使用的主要接口(interface):
public interface IRepository<TEntity>
where TEntity : class {
}
public interface IReadableRepository<TEntity> :
IRepository<TEntity>
where TEntity : class {
#region Read
Task<TEntity> FindAsync(TEntity entity);
#endregion
}
public interface IListableRepository<TEntity> :
IRepository<TEntity>
where TEntity : class {
#region Read
IQueryable<TEntity> Entities { get; }
#endregion
}
public interface ISearchableEntity<TSelector> {
bool Matches(TSelector selector);
}
非常感谢下面的 Zoran Horvat。这个解决方案建立在他的想法之上,没有它就不可能实现。为了我的目的,我只是对其进行了进一步的抽象,并将 FixTypes 方法移动到扩展方法中。这是我得出的最终解决方案:
public interface IMixedRepository<TRepository, TEntity>
where TRepository: IRepository<TEntity>
where TEntity : class { }
public static class MixedRepositoryExtensions {
public static TRepository AsMixedRepository<TRepository, TEntity>(
this IMixedRepository<TRepository, TEntity> repository)
where TRepository : IMixedRepository<TRepository, TEntity>, IRepository<TEntity>
where TEntity : class
=> (TRepository)repository;
}
public static Task<TEntity> FindBySelectorAsync<TRepository, TEntity, TSelector>(
this IMixedRepository<TRepository, TEntity> repository,
TSelector selector)
where TRepository :
IMixedRepository<TRepository, TEntity>,
IReadableRepository<TEntity>,
IListableRepository<TEntity>
where TEntity : class, ISearchableEntity<TSelector>
=> repository.AsMixedRepository().Entities.SingleAsync(selector);
public class ProjectRepository :
IMixedRepository<IProjectRepository, Project>,
IReadableRepository<Project>,
IListableRepository<Project>
{ ... }
最后,可以通过以下方式调用扩展方法方法:
await (new ProjectRepository())
.FindBySelectorAsync(0);
但是,这个解决方案缺少一些静态类型,因为它使用向下转型。如果您将混合存储库向下转换为它未实现的存储库,这将引发异常。并且由于对循环约束依赖性的进一步限制,有可能在运行时打破它。对于完全静态类型的版本,请参阅下面 Zoran 的回答。
另一个基于 Zoran 的答案的强制静态类型的解决方案:
public interface IMixedRepository<TRepository, TEntity>
where TRepository: IRepository<TEntity>
where TEntity : class {
TRepository Mixed { get; }
}
public static class MixedRepositoryExtensions {
public static TRepository AsMixedRepository<TRepository, TEntity>(
this IMixedRepository<TRepository, TEntity> repository)
where TRepository : IMixedRepository<TRepository, TEntity>, IRepository<TEntity>
where TEntity : class
=> repository.Mixed;
}
public static Task<TEntity> FindBySelectorAsync<TRepository, TEntity, TSelector>(
this IMixedRepository<TRepository, TEntity> repository,
TSelector selector)
where TRepository :
IMixedRepository<TRepository, TEntity>,
IReadableRepository<TEntity>,
IListableRepository<TEntity>
where TEntity : class, ISearchableEntity<TSelector>
=> repository.AsMixedRepository().Entities.SingleAsync(selector);
public class ProjectRepository :
IMixedRepository<IProjectRepository, Project>,
IReadableRepository<Project>,
IListableRepository<Project>
{
IProjectRepository IMixedRepository<IProjectRepository, Project>.Mixed { get => this; }
...
}
这个也可以这样调用。唯一的区别是您必须在每个存储库中实现它。不过并没有那么痛苦。
最佳答案
我怀疑问题的发生是因为 TEntity
只是间接定义的,或者说是传递定义的。对于编译器,弄清楚 TEntity
是什么的唯一方法是深入检查 TRepository
。但是,C# 编译器不会深入检查类型,而只会观察它们的直接签名。
我相信通过从等式中删除 TRepository
,您所有的麻烦都会消失:
public static class MixedRepositoryExtensions {
public static Task<TEntity> FindBySelectorAsync<TEntity, TSelector>(
this IReadableAndListableRepository<TEntity> repository,
TSelector selector)
where TEntity : class, ISearchableEntity<TSelector>
=> repository.Entities.SingleOrDefaultAsync(x => x.Matches(selector));
}
当您将此方法应用于实现存储库接口(interface)的具体对象时,它自己的泛型类型参数将用于推断 FindBySelectorAsync
方法的签名。
如果问题在于能够在几个不相等的扩展方法中为存储库指定约束列表,那么我认为 .NET 平台是限制,而不是 C# 本身。由于 F# 也编译为字节代码,因此 F# 中的泛型类型将受到与 C# 中的泛型类型相同的约束。
我找不到动态解决方案,即动态解决所有类型的解决方案。然而,有一种技巧可以保留完整的静态类型功能,但需要每个具体存储库添加一个额外的属性 getter 。此属性不能作为扩展继承或附加,因为它在每个具体类型中的返回类型会有所不同。下面是演示这个想法的代码(属性简称为 FixTypes
):
public class EntityHolder<TTarget, TEntity>
{
public TTarget Target { get; }
public EntityHolder(TTarget target)
{
Target = target;
}
}
public class PersonsRepository
: IRepository<Person>, IReadableRepository<Person>,
IListableRepository<Person>
{
public IQueryable<Person> Entities { get; } = ...
// This is the added property getter
public EntityHolder<PersonsRepository, Person> FixTypes =>
new EntityHolder<PersonsRepository, Person>(this);
}
public static class MixedRepositoryExtensions
{
// Note that method is attached to EntityHolder, not a repository
public static Task<TEntity> FindBySelectorAsync<TRepository, TEntity, TSelector>(
this EntityHolder<TRepository, TEntity> repository, TSelector selector)
where TRepository : IReadableRepository<TEntity>, IListableRepository<TEntity>
where TEntity : class, ISearchableEntity<TSelector>
=> repository.Target.Entities.SingleOrDefaultAsync(x => x.Matches(selector));
// Note that Target must be added before accessing Entities
}
定义了 FixTypes
属性 getter 的存储库可以以通常的方式使用,但扩展方法仅在其 FixTypes
属性的结果上定义:
new PersonsRepository().FixTypes.FindBySelectorAsync(ageSelector);
关于c# - C#/F# 中基于约束的类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/55784662/
我有以下代码: interface F { (): string; a(): number; } function f() { return '3'; } f['a'] = f
比如我有一个 vector vector > v={{true,1},{true,2},{false,3},{false,4},{false,5},{true,6},{false,7},{true,8
我需要编写一个要在 GHCi 上运行的模块,并将函数组合为相同的函数。这个(经典的fog(x) = f(g(x)))运行: (.) f g = (\x -> f (g x)). 当我尝试这样写时出现问
动态规划这里有一个问题 大写字母AZ对应于整数[-13,12],因此一个字符串对应于一整列。我们将对应的整列的总和称为字符串的特征值。例如:字符串ACM对应的总体列为{-13,-11,-1},则ACM
我想知道为什么 F-Sharp 不支持无穷大。 这适用于 Ruby(但不适用于 f#): let numbers n = [1 .. 1/0] |> Seq.take(n) -> System.Div
如何从已编译的 F# 程序中的字符串执行 F# 代码? 最佳答案 这是一个小脚本,它使用 FSharp CodeDom 将字符串编译为程序集,并将其动态加载到脚本 session 中。 它使用类型扩展
有什么方法可以在 F# List 和 F# Tuple 之间转换? 例如: [1;2;3] -> (1,2,3) (1,2,3,4) -> [1;2;3;4] 我需要两个函数来做到这一点: le
我想将一个或多个 .fsx 文件加载到 F# 交互中,并将 .fsx 文件中定义的所有函数都包含在作用域中,以便我可以直接使用控制台中的功能。 #load 指令执行指定的 .fsx 文件,但随后我无法
我正在尝试像 this page 中那样编写 F 代数.不同之处在于,不是用元组组合,而是像这样: type FAlgebra[F[_], A] = F[A] => A def algebraZip[
给定一个 F# 记录: type R = { X : string ; Y : string } 和两个对象: let a = { X = null ; Y = "##" } let b = {
所以我们有一组文件名\url,如file、folder/file、folder/file2、folder/file3、folder/folder2/fileN等。我们得到一个字符串,如文件夹/。我们想
假设我有一个字符串“COLIN”。 这个字符串的数值是: 3 + 15 + 12 + 9 + 14 = 53. 所以 A = 1, B = 2, C = 3, and so on. 为此,我什至不知道
在 C# 中,我有以下代码来创建一个对象实例。 var myObject = new MyClass("paramvalue") { Property1 = "value1" Proper
即,标准库中有这样的函数吗? let ret x _ = x 为了保持代码可读性,我想尽量减少自制基本构建功能构建块的数量,并使用现有的东西。 最佳答案 不。你可能想看看 FSharpX。 关于f#
目前,我有一个函数可以将列表中每个列表的第一个元素( float )返回到单独的列表。 let firstElements list = match list with | head:
我刚刚解决了problem23在 Project Euler 中,我需要一个 set 来存储所有丰富的数字。 F# 有一个不可变集合,我可以使用 Set.empty.Add(i) 创建一个包含数字 i
F#语言具有计算自然对数的函数log和计算以10为底的对数的log10。 在F#中以2为底的对数的最佳计算方法是什么? 最佳答案 您可以简单地使用以下事实:“ b的a对数” = ln(b)/ ln(a
动机 我有一个长时间运行的 bool 函数,它应该在数组中执行,如果数组中的元素满足条件,我想立即返回。我想并行搜索并在第一个完整线程返回正确答案时终止其他线程。 问题 在 F# 中实现并行存在函数的
我最近完成了一个生成字符串列表的项目,我想知道执行此操作的最佳方法。 字符串生成是上下文敏感的,以确定它是否可以接受(这是游戏中的一系列游戏,所以你必须知道最后一次游戏是什么) 我这样做的方法是使用一
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持,但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the he
我是一名优秀的程序员,十分优秀!