polymorphism - 在 sml 中获取 ''a 类型而不是 'a
问题描述
我已经为 sml 分配写了一个哈希表。我已经为哈希表创建了一个多态构建器,但是当我使用我创建的插入函数时,我得到了一个可比较的类型(''a 而不是'a),尽管我没有进行任何包含该类型的比较。有谁知道为什么?很抱歉,如果我的代码有点乱,我已经突出显示了重要部分,其余的只是辅助函数。
解决方案
解决方案是使用 switch case 而不是“if”比较,这样编译器可能会混淆并假设类型需要可比较,尽管它不需要。
推荐阅读
- c# - ServiceStack.Text json序列化程序将带括号的原始字符串反序列化为jsv
- java - 某些节点连接没有通过 SpringData 在 Neo4j 中持续存在
- node.js - React 解密来自 NodeJS 的加密字符串
- c++ - 非依赖条件上的条件 constexpr
- ios - 使 UiTextField 只接受粘贴选项 - Swift
- android - 在 Android 中打开外部数据库时出现错误消息
- python - 为什么_thread 在远程服务器上不起作用?
- mongodb - MongoDb:更新集合字段的值以删除非数字字符
- sql - 使用 PL/SQL 匿名块插入
- c - 将联合地址类型转换为无符号 8 位 char* 可能是什么意思?