- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
为冗长的介绍道歉,不幸的是,我想不出办法让它更短。
问题
我们正在构建一个简单的应用程序,它通过应用模式转换来操作代数表达式 - 目标是能够说“采用 2*x+2
并应用'分解'”。最终目标是能够确定两个表达式在一组模式转换下是否等价(即 2*(x+1)^2
'reachable' from 2x^2+4x+2
)。
我们创建了一组对域进行建模的类并定义了“规范”形式,这基本上意味着(符号上)相同的表达式只有一种构造方式:x+y+z
将始终表示为 Plus(x, y, z
) 并且从不作为 Plus(y, x, z)
或 Plus(x, Plus(y, z))
,即使它是通过调用 Plus(Plus(x, z), y)
创建的.
这些规范变换中的许多都是相应运算符的代数属性的直接结果——关联性允许上面看到的“扁平化”等。这些属性也对模式操作有直接影响——例如,Power(\_, 2)
不可交换,因此它只匹配具有 2
的表达式作为第二个 child (参数),但 Plus(_, 2)
是可交换的,因此它可以匹配具有 2
的表达式就像它的任何一个 child 一样。由于这些原因,我们希望将这些代数属性表示为类上的显式数据,然后在应用程序的各个部分中对其进行解析。
棘手的部分是我们需要这些数据在静态(我们在构造表达式以应用适当的规范转换时需要它,但由于表达式尚未构造,我们不能动态访问它)和动态(在模式期间)都可用匹配,我们必须能够做到 expr.hasAttribute(Associative)
)。由于这些属性对于特定的表达式类型(类)是固定的,我们也试图避免直接在类上定义它,例如
class Plus(children: List<Expression>): Expression(children) {
val attributes = setOf(Associative, Commutative, IdentityElement(Number(0.0)))
...
}
Set
每次创建表达式时都会创建 - 我们想要
Set
在类声明期间创建一次,因为这是唯一需要创建它的时间。
HashMap<KClass<out Expr>, Set<Attribute>>
它将保存属性,然后创建一个 Builder 对象,该对象负责解析属性并在创建表达式时应用适当的规范转换。
HashMap
定义于 Expression.Companion
invoke
创建实例。 companion object
上定义的函数.这是因为规范转换可能会产生与正在创建的对象不同的对象,例如 Plus(Symbol(x))
创建 Symbol(x)
. Attributes
在 Builder
.这实际上不是我的目标,它只是因为试图使代码更干净。而且我确信可以做更多的事情。 import kotlin.reflect.KClass
/**
* ATTRIBUTES
*/
abstract class Attribute
object Associative: Attribute()
object Commutative: Attribute()
class Identity(val element: Expr) : Attribute()
/**
* END ATTRIBUTES
*/
/**
* BUILDER
*/
// So there are basically two things we can do in canonical form -> we can operate on children (flattening, canonical ordering)
// or we can operate on the final expression as a whole (transforming Plus(x) to x, for example)
// So, every attribute may or may not contribute a functional operator that transforms either the children or the expression
// as a whole. These operators must be composed in a certain order (e.g. flattening must occur before ordering) and then
// applied to the result.
// The operators that change the expressions type short-circuit the function (because there is nothing else to do)
object Builder {
inline fun<reified A: Attribute> Set<Attribute>.withAttribute(block: A.() -> Any?) =
this.filterIsInstance<A>().firstOrNull()?.run(block)
inline fun<reified E: Expr> withAttributes(block: Set<Attribute>.() -> Any?)
= Expr.attributes[E::class]?.run(block)
inline fun<reified E: Expr> canonizeByAttributes(crossinline constructor: (List<Expr>) -> E, children: List<Expr>): Expr {
val childrenOperators = mutableListOf<(List<Expr>) -> List<Expr>>()
withAttributes<E> {
withAttribute<Identity> {
when(children.size) {
0 -> return element
1 -> return children.first()
else -> {}
}
}
withAttribute<Associative> {
childrenOperators.add {
children -> children.flatMap { if(it is E) it.children else listOf(it) }
}
}
withAttribute<Commutative> {
childrenOperators.add {
children -> children.sortedBy { it.toString() }
}
}
}
return constructor(childrenOperators.fold(children) { children, op -> op(children)})
}
}
/**
* END BUILDER
*/
/**
* EXPRESSIONS
*/
abstract class Expr protected constructor(val children: List<Expr>) {
val attributes: Set<Attribute>? get() = Companion.attributes[this::class]
override fun toString(): String = "${this::class.simpleName}(${children.joinToString(", ")})"
companion object {
val attributes: HashMap<KClass<out Expr>, Set<Attribute>> = hashMapOf()
}
}
Expr.attributes[Plus::class] = setOf(Identity(Symbol("0")), Commutative, Associative)
class Plus private constructor(children: List<Expr>): Expr(children) {
companion object {
operator fun invoke(children: List<Expr>) = Builder.canonizeByAttributes(::Plus, children)
operator fun invoke(vararg children: Expr) = invoke(children.toList())
}
}
class Symbol(val name: String): Expr(listOf()) {
override fun toString(): String = "Symbol($name)"
}
/**
* END EXPRESSIONS
*/
/**
* EVALUATION, TESTS
*/
Plus(Symbol("x")).attributes
(Plus(Symbol("x")) as Symbol).name == "x"
(Plus(Symbol("x"), Plus(Symbol("x"), Symbol("y"))))
(Plus() as Symbol).name == "0"
(Plus(Plus()) as Symbol).name == "0"
Plus(Symbol("2"), Symbol("y"), Plus(Symbol("x"), Symbol("1")))
/**
* END EVALUATION, TESTS
*/
最佳答案
您可以拥有一个 set 属性,而无需每次都创建一个新实例,例如:
private val plusAttributes = setOf(Associative, Commutative, IdentityElement(Number(0.0)))
class Plus(children: List<Expression>): Expression(children) {
val attributes = plusAttributes
// ...
}
attributes
Expression
中的一个抽象属性类,在每个实现类中重写。这样,您可以在不知道表达式类型的情况下访问属性。
if (myExpression is Associative)
,尽管它不会一次性为您提供所有 map 。 (如果有任何与属性相关的行为,您可以向相关接口(interface)添加一个方法,这将朝着更传统的 OO 设计方向发展。)
关于generics - 代数表达式 - Kotlin 建模静态和动态属性的方法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59036003/
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 5 年前。 Improve
在 C# 静态方法中是否有一种方法可以引用定义该方法的类型? 在实例方法中,您可以通过以下方式确定类型: public void Foo() { Type type = this.GetTyp
WPF:静态、动态资源以及资源词典 静态资源与动态资源 我们常常会使用样式或者控件模板放在Window.Resources中,比如这样: 静态资源与动态资源使用如下: <Window
任何人都知道如何在共享/静态函数中动态加载控件?该函数本身位于 mustinherit/abstract 类中。 (这是 VB 中的 ASP.NET 项目)我想做这样的事情: VB: Publ
在我看来,静态/强类型编程语言最宝贵的一点是它有助于重构:如果/当您更改任何 API,那么编译器会告诉您该更改破坏了什么。 我可以想象用运行时/弱类型语言编写代码......但我无法想象没有编译器的帮
正如我的名字所暗示的,我是一名 .NET 开发人员,但我对 Java 的兴趣越来越大,并且我有兴趣学习更多其他语言,因为这有助于我学习更多关于编程的知识。 无论如何,我的问题是:不带参数/不使用状态的
我在java中使用WireMock来 stub POST请求。该请求返回一个存储在我本地的 json 正文文件。 stub 看起来像这样: wireMockServer.stubFor(get(url
Python 是否有类构造函数的机制,即每当首次引用类时(而不是创建该对象的实例时)调用的函数?我知道其他一些语言中也存在这种情况,但我还没有在 Python 中遇到过。 基本上,我想初始化该函数中的
Python 是否有类构造函数的机制,即每当首次引用类时(而不是创建该对象的实例时)调用的函数?我知道其他一些语言中也存在这种情况,但我还没有在 Python 中遇到过。 基本上,我想初始化该函数中的
这个问题已经有答案了: What is the difference between dynamic and static polymorphism in Java? (14 个回答) 已关闭 4 年
这个问题已经有答案了: 已关闭10 年前。 Possible Duplicate: Static initializer in Java 我想知道这个静态的东西(抱歉,这是我第一次遇到这个)对一个类有
如果c++应用程序是按以下方式组织的 //file1.cpp static Y sgObj = X::getInitObject(0); //declared in file scope //fil
我有一个抽象类(AvergedDataRecord),我需要进一步抽象(DataRecord),这样我就可以将它扩展到原始类和一个新的具体类(SummedDataRecord),并且我在获取某些方法时
我正在尝试制作一个字符串枚举。这是我到目前为止所得到的, private class TypedEnum : IEnumerable { public IEnumerator GetEnume
我选修了一门名为“安全代码”的类(class),在下一个作业中,我们应该对一些 C 文件和 JavaEE Web 项目进行静态/动态分析。 我检查了“源监视器”并在 C 文件上运行它,但是(除非我不知
我有两个类,一个是登录类,一个是用户类。在 loggedIn 类中,我想显示我在用户登录时所做的共享首选项。 loginPrefs = getSharedPreferences("loginprefe
我在同一个 Activity 中有两个静态 fragment ,在“fragmentA”中我有一个自定义列表,当一个项目被点击时必须在“fragmentB”中出现一个细节,细节只在我改变屏幕方向时出现
在 Java 中是未修改方法变量,缺少final,每次都重新初始化限定符 静态方法 实例方法 如果 1. 或 2.(或两者)的答案是 final 限定符允许 Java 执行优化并存储方法变量只有一次?
我有两个类相互交互。第一个是中心的,如下: public class Datenbank { double winkelPanel = 0; double groessePanel = 0; doub
我有一个 mysql 数据库,它连接基于 Web 的 php 应用程序和 FoxPro 应用程序(是的,foxpro)。在之前的“开发人员”被解雇后开始处理这个问题。 无论如何,我熟悉 AES_Enc
我是一名优秀的程序员,十分优秀!