- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有以下情况:
1.有许多(20 - 40)种非常相似的结构缓慢变化的数据类型。
2.低级别的每种数据类型都由唯一的(对于类型)字符串标签和唯一的(同样,对于类型)键(通常是字符串或长整型)表示。 key 不会改变,但标签(平均)可能每年更新不到一次。
3.我将每个此类数据类型“升级”为 F# DU,以便每个标签/键都有一个 DU 情况。这是必要的,因为一些高级代码需要进行模式匹配。因此,在极少数情况下,当类型更新时,我希望出现编译错误,以防情况发生变化。因此,对于每种此类类型,我生成/编写如下代码:
type CollegeSize =
| VerySmall
| Small
| Medium
| Large
| VeryLarge
with
static member all =
[|
(CollegeSize.VerySmall, "Very small (less than 2,000 students)", 1L)
(CollegeSize.Small, "Small (from 2,001 to 5,000 students)", 2L)
(CollegeSize.Medium, "Medium (from 5,001 to 10,000 students)", 3L)
(CollegeSize.Large, "Large (from 10,000 to 20,000 students)", 4L)
(CollegeSize.VeryLarge, "Very large (over 20,000 students)", 5L)
|]
4.所有这些类型都在两个地方使用:F# 引擎(执行一些计算)和网站。 F# 引擎仅适用于 DU 案例。不幸的是,现在的网站大多基于字符串。因此,Web 团队希望为几乎所有类型的操作提供基于字符串的方法,并且他们正在使用 C#。
5.因此,我创建了两个通用工厂:
type CaseFactory<'C, 'L, 'K when 'C : comparison and 'L : comparison and 'K : comparison> =
{
caseValue : 'C
label : 'L
key : 'K
}
// DU factory: 'C - case, 'L - label, 'K - key
type UnionFactory< 'C, 'L, 'K when 'C : comparison and 'L : comparison and 'K : comparison> (all : array< 'C * 'L * 'K> ) =
let map = all |> Array.map (fun (c, l, _) -> (c, l)) |> Map.ofArray
let mapRev = all |> Array.map (fun (c, l, _) -> (l, c)) |> Map.ofArray
let mapVal = all |> Array.map (fun (c, _, k) -> (c, k)) |> Map.ofArray
let mapValRev = all |> Array.map (fun (c, _, k) -> (k, c)) |> Map.ofArray
let allListValue : System.Collections.Generic.List<CaseFactory< 'C, 'L, 'K>> =
let x =
all
|> List.ofArray
|> List.sortBy (fun (_, s, _) -> s)
|> List.map (fun (c, s, v) -> { caseValue = c; label = s; key = v } : CaseFactory< 'C, 'L, 'K>)
new System.Collections.Generic.List<CaseFactory< 'C, 'L, 'K>> (x)
//Use key, NOT label to create.
[<CompiledName("FromKey")>]
member this.fromKey (k : 'K) : 'C = mapValRev.Item (k)
// For integer keys you can pass "1" instead of 1
[<CompiledName("FromKeyString")>]
member this.fromKeyString (s : string) : 'C = this.fromKey (convert s)
//Use key, NOT label to create.
[<CompiledName("TryFromKey")>]
member this.tryFromKey (k : 'K) : 'C option = mapValRev.TryFind k
[<CompiledName("TryFromKeyString")>]
member this.tryFromKeyString (s : string) : 'C option = mapValRev.TryFind (convert s)
//Use key, NOT label to create.
[<CompiledName("TryFromKey")>]
member this.tryFromKey (k : 'K option) : 'C option =
match k with
| Some x -> this.tryFromKey x
| None -> None
[<CompiledName("AllList")>]
member this.allList : System.Collections.Generic.List< CaseFactory< 'C, 'L, 'K>> = allListValue
[<CompiledName("FromLabel")>]
member this.fromLabel (l : 'L) : 'C = mapRev.[l]
[<CompiledName("TryFromLabel")>]
member this.tryFromLabel (l : 'L) : 'C option = mapRev.TryFind l
[<CompiledName("TryFromLabel")>]
member this.tryFromLabel (l : 'L option) : 'C option =
match l with
| Some x -> this.tryFromLabel x
| None -> None
[<CompiledName("GetLabel")>]
member this.getLabel (c : 'C) : 'L = map.[c]
[<CompiledName("GetKey")>]
member this.getKey (c : 'C) : 'K = mapVal.[c]
6.此时,如果我为每种类型创建一个带有单例的通用工厂,那么一切都会像时钟一样工作:
type CollegeSizeFactory private () =
inherit UnionFactory<CollegeSize, string, int64> (CollegeSize.all)
static let instance = CollegeSizeFactory ()
7....除了 Web 团队不希望每次调用通用工厂的方法时都使用 Instance。所以,我最终写道:
type CollegeSizeFactory private () =
inherit UnionFactory<CollegeSize, string, int64> (CollegeSize.all)
static let instance = CollegeSizeFactory ()
static member Instance = instance
static member FromLabel s = CollegeSizeFactory.Instance.fromLabel s
static member FromKey k = CollegeSizeFactory.Instance.fromKey k
static member FromKeyString s = CollegeSizeFactory.Instance.fromKeyString s
问题在于,如果明天他们需要更多快捷方式(例如静态成员 FromLabel ),那么通用工厂的所有实现都必须手动更新。
理想情况下,我想要一个单行代码,这样对于我需要的每个工厂,我都可以从通用类型继承,例如:
type CollegeSizeFactory private () =
inherit UnionFactory<CollegeSize, string, int64> (CollegeSize.all)
然后自动获取可能需要的所有内容,包括所有静态成员。我想知道这是否可能,如果是,那么具体如何实现。
非常感谢。
最佳答案
我建议你放弃单例的想法,而使用实例成员,完全避免这个问题。单例从一开始就是一个坏主意。
一种方法是拥有一个带有工厂的模块,也许是延迟评估的(尽管我不认为这在您的场景中是一个问题,但创建它们并不昂贵)。然后您可以直接使用该模块,或者通过您想要创建的类型的静态成员重新公开它,例如
type CollegeSizeFactory () =
inherit UnionFactory<CollegeSize, string, int64> (CollegeSize.all)
module Factories =
let collegeSize = lazy CollegeSizeFactory()
type CollegeSize with
static member Factory = Factories.collegeSize.Value
CollegeSize.Factory.tryFromKey 1
你的问题的设计空间相当大,毫无疑问这不是最好的解决方案,但我觉得这是一个很好的第一步,可以通过简单的重构来落实。
但说实话,您可能可以直接针对所有
成员进行编码,而不是预先计算这些查找。它们可能足够小,以至于性能差异不足以证明维护这种更复杂的设置是合理的。
关于generics - 具有静态成员的 F# 泛型类型。这可能吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47723924/
这是代码片段。 请说出这种用小内存存储大数据的算法是什么。 public static void main(String[] args) { long longValue = 21474836
所以我使用 imap 从 gmail 和 outlook 接收电子邮件。 Gmail 像这样编码 =?UTF-8?B?UmU6IM69zq3OvyDOtc68zrHOuc67IG5ldyBlbWFpb
很久以前就学会了 C 代码;想用 Scheme 尝试一些新的和不同的东西。我正在尝试制作一个接受两个参数并返回两者中较大者的过程,例如 (define (larger x y) (if (> x
Azure 恢复服务保管库有两个备份配置选项 - LRS 与 GRS 这是一个有关 Azure 恢复服务保管库的问题。 当其驻留区域发生故障时,如何处理启用异地冗余的恢复服务保管库?如果未为恢复服务启
说,我有以下实体: @Entity public class A { @Id @GeneratedValue private Long id; @Embedded private
我有下一个问题。 我有下一个标准: criteria.add(Restrictions.in("entity.otherEntity", getOtherEntitiesList())); 如果我的
如果这是任何类型的重复,我会提前申请,但我找不到任何可以解决我的具体问题的内容。 这是我的程序: import java.util.Random; public class CarnivalGame{
我目前正在使用golang创建一个聚合管道,在其中使用“$ or”运算符查询文档。 结果是一堆需要分组的未分组文档,这样我就可以进入下一阶段,找到两个数据集之间的交集。 然后将其用于在单独的集合中进行
是否可以在正则表达式中创建 OR 条件。 我正在尝试查找包含此类模式的文件名列表的匹配项 第一个案例 xxxxx-hello.file 或者案例二 xxxx-hello-unasigned.file
该程序只是在用户输入行数时创建菱形的形状,因此它有 6 个 for 循环; 3 个循环创建第一个三角形,3 个循环创建另一个三角形,通过这 2 个三角形和 6 个循环,我们得到了一个菱形,这是整个程序
我有一个像这样的查询字符串 www.google.com?Department=Education & Finance&Department=Health 我有这些 li 标签,它们的查询字符串是这样
我有一个带有静态构造函数的类,我用它来读取 app.config 值。如何使用不同的配置值对类进行单元测试。我正在考虑在不同的应用程序域中运行每个测试,这样我就可以为每个测试执行静态构造函数 - 但我
我正在寻找一个可以容纳多个键的容器,如果我为其中一个键值输入保留值(例如 0),它会被视为“或”搜索。 map, int > myContainer; myContainer.insert(make_
我正在为 Web 应用程序创建数据库,并正在寻找一些建议来对可能具有多种类型的单个实体进行建模,每种类型具有不同的属性。 作为示例,假设我想为“数据源”对象创建一个关系模型。所有数据源都会有一些共享属
(1) =>CREATE TABLE T1(id BIGSERIAL PRIMARY KEY, name TEXT); CREATE TABLE (2) =>INSERT INTO T1 (name)
我不确定在使用别名时如何解决不明确的列引用。 假设有两个表,a 和 b,它们都有一个 name 列。如果我加入这两个表并为结果添加别名,我不知道如何为这两个表引用 name 列。我已经尝试了一些变体,
我的查询是: select * from table where id IN (1,5,4,3,2) 我想要的与这个顺序完全相同,不是从1...5,而是从1,5,4,3,2。我怎样才能做到这一点? 最
我正在使用 C# 代码执行动态生成的 MySQL 查询。抛出异常: CREATE TABLE dump ("@employee_OID" VARCHAR(50)); "{"You have an er
我有日期 2016-03-30T23:59:59.000000+0000。我可以知道它的格式是什么吗?因为如果我使用 yyyy-MM-dd'T'HH:mm:ss.SSS,它会抛出异常 最佳答案 Sim
我有一个示例模式,它的 SQL Fiddle 如下: http://sqlfiddle.com/#!2/6816b/2 这个 fiddle 只是根据 where 子句中的条件查询示例数据库,如下所示:
我是一名优秀的程序员,十分优秀!