之前一直想学习写 rust,最近刚好有一个契机开始第一次写代码。
具体来说我在做一个算卦小软件,其中有个结构 Gua64 用于对应到单个卦象的结果。
希望的结果是:
有个结构可以记录卦象的内容、卦名、注释、备注等等信息,作为一个基础结构。
因为卦象一共有 64 个,所以我定义了 64 个常量,希望在 new 的时候可以直接转为其中一个常量,从我的角度来讲感觉这样性能和结构会更加好?对于这种固定的数据不太希望每次都调用方法进行计算,感觉不太好。
但是接下来我就在想怎么在创建的时候将这些东西对应起来,但是没有什么特别好的想法,于是让 gemini 改了下看看结果:
gemini 的改动是去掉 name 属性,改为方法计算, new 的时候直接通过 match 进行匹配返回常量。然后提供了一个新的方法(from_parts)来创建新的结果,改后的示例如下:
pub const 未济: Gua64 = Self::from_parts(Gua8::离, Gua8::坎);
const fn from_parts(shang: Gua8, xia: Gua8) -> Self {
Self { shang, xia }
}
pub const fn new(shang: Gua8, xia: Gua8) -> Self {
match (shang, xia) {
(Gua8::乾, Gua8::乾) => Self::乾,
(Gua8::坤, Gua8::坤) => Self::坤,
}
}
pub const fn parse_name(shang: Gua8, xia: Gua8) -> SharedString {
match (shang, xia) {
(Gua8::乾, Gua8::乾) => SharedString::new_static("乾"),
(Gua8::坤, Gua8::坤) => SharedString::new_static("坤"),
}
}
parse_name 方法内部也是通过 match 来匹配的。
看上去这种写法好像还可以?但是比如对于 name 来说,其实和具体的常量是对应的,每次都 match 感觉有点奇怪。
我希望的是初始化出来的常量上面有完整的信息,直接用就好了。
顺着这个思路的话我感觉可以在 from_parts 里面将需要的信息(卦名、注释、备注)都初始化出来,然后 new 方法里面只需要传入两个基本的 Gua8 就可以。
这样的方向是对的吗?
PS:我在 gemini 改完后,继续问他 Gua64 是否有可以改进的地方,它的回复如下:
经过分析 src/core/models/gua64.rs,我发现了以下 3 个可以改进的地方:
移除 new 方法中的冗余 match:
现状:new 方法包含一个巨大的 match 表,用来返回预定义的常量。
问题:由于 Gua64 已经是 Copy 类型(只包含两个 u8 大小的枚举),直接构造一个新的实例(Self { shang, xia })在内存上与返回常量是完全等价的。目前的 match 表不仅没有性能优势,反而增加了 CPU 的分支预测开销和代码维护成本。
建议:删除 match,直接返回 Self { shang, xia }。同时删除不再需要的 from_parts 辅助函数。
解耦 gpui 依赖:
现状:文件引入了 gpui::SharedString。
问题:这违反了核心逻辑层(Core)应独立于 UI 框架(GPUI)的原则。
建议:将 SharedString 替换为 Rust 标准库的 &'static str(对于固定名称)或 String(对于动态拼接)。鉴于卦名都是固定的,&'static str 是最佳选择。
优化 parse_name (可选):
现状:使用 64 分支的 match 匹配名称。
建议:虽然可以改为查表法,但考虑到代码可读性和 Rust 编译器的优化能力,目前的 match 形式其实是可以接受的。主要改进点还是在于返回类型改为 &'static str。
总结建议方案:
修改 new 为直接构造。
将 SharedString 替换为 &'static str,移除 gpui 依赖。
感觉他好像在推翻上次的修改?按照这样的逻辑的话其实就相当于常量没有用了,那么最终后续准备添加的一些信息就需要通过方法实时计算了。
所以总结一下,问题如下:
- 我这 把已知数量的结构初始化出来为常量,在 new 的时候再去匹配到常量 的这种做法合理吗?
- 我这种场景还有什么其他的方案吗?
- 还是说我根本不应该定义常量?
PS:契机的话就是:
- 有个朋友有这个需求,所以做起来有点动力,难度也不大。
- ai 可以快速解决一些小问题,减少了我查询资料的时间
- gpui-component 节省了自己实现组件的时间,而且相比于 gpui 来说有个比较独立的例子来参考
PPS:目前代码肯定有很多问题,如果恰好看的的话可以帮忙指正,感谢!
Ext Link: https://github.com/loveloki/gua/blob/main/src/core/models/gua64.rs
评论区
写评论谢谢大家的建议,我会根据建议再思考下怎么修改合适的。好像不能 @ 人,就不一一回复啦!
我考虑的主要倒不是性能,这里的 Gua64 这点性能肯定是怎么写影响都不大的。
我的观点是 可读性和可维护性更重要。只是刚开始写,因为对 rust 不熟悉,所以希望写得更加规范一点,一开始就有一个比较好的习惯会比较好。然后在实现的时候有时候就会陷入一些纠结,例如:这样写是不是不太好,还能怎么更好去实现吗等等。熟练了之后就不会有这种纠结了,这应该属于学习早期的“阵痛”吧。
所以位运算我是不会考虑的,可读性更加重要,这种程度的“极致优化”完全没有必要。
另一方面是不清楚 ai 给的建议会不会有什么坑,毕竟在我没有深入理解的情况下,更多是它确实能跑起来(当然我也在逐渐理解这些概念),但是用了 AI 后写代码有点快了,感觉我的理解能力跟不太上,所以才发了这个请教帖子。
宏也是刚刚有了一点了解,因为写的时候会感觉对于固定数量的场景应该输入输出更加固定,所以用了枚举,然后用了枚举后还需要做转入转出,刚开始是手写的,但是量上来后发现太痛苦了,就问了下AI,然后了解到了宏对于这种场景就很合适(另一方面也是因为手写的话需要手动写 !unreachable!(),感觉有点不够“优雅”)
不过看了大家的回复我也在思考是不是有点像太多了,总之边写边调整吧,再真的遇到问题之前考虑太多就是纯纯浪费时间了。
之前阅读基本知识也很久之前了,接下来我会再去读读,把一些基本类型和知识弄清楚,现在有的地方还是不太清楚,不过有了 AI 之后不是很清楚的也能写出来(也是个好事情
总之谢谢大家!
如果喜欢倒腾的话,可以试试善用过程宏~~。下面例子的宏使用只是单纯简化替代手写的代码的繁琐和分散,使用宏在源码上可以将卦象的信息集中关联到一起,增强可读性,实际编译后的代码也是完全一样的
说个题外话,其实这样子做,有点费劲还舍本逐末了,不过闲下来喜欢专研的话,倒也不错,正常情况下做业务功能基本不可能过多考虑你说的那些顾虑的(
&'static str这种朴素优化手段还是应该考虑一下的,顺手的事),直接各种struct结构体酷酷写就好了,这点性能损失在绝大部分情况下都可以忽略不计的。然后补充一点,这里的方案之所以能编译优化,是因为使用了
enum类型去编排卦象种类,虽然我们代码里也会存在一些match匹配,但是编译器可以轻松把它们优化为指针查找,不涉及任何分支跳转,这跟你提到的声明一个常量里面包含自己的固有属性信息是完全等效的,区别只是前者是用指针偏移去全局表查找,后者是用指针偏移在常量值局部(字段)查找。而使用位运算,可以快速执行卦象的变化逻辑,直接消除了大部分的分支判断。这也得益于卦象本身也算是一种特殊的数值类型,很容易跟程序里的数值对应起来,可以方便地进行数值上的操作和转化。
举个栗子:
gemeni说的没错,其实可以用 https://godbolt.org/z/1nz1cjMca看看生成的汇编,在我看来合适的memory copy比分支跳转好的多,能够保证缓存。但是我不认为在现代计算设备上,这个Gua64会成为性能瓶颈。
卦的种类都是已知固定的,这种情况下,极致优化的大杀器应该也就是
enum+const fn+ 位操作了吧。 追求极限性能的话,位操作是得要的;enum用于编排卦相关类型的种类,同时方便位转换和操作;const fn算是小优化一下编译期常量值计算;有了enum编排类型,用match模式匹配也方便很多,可读性上也不会影响,编译器会自动优化成查表跳转。这样,可读性有了,极限性能也有了
如果是八卦的话 我建议直接
然后卦象名称含义什么的单独开const array 这样的好处是,Gua很容易做成copy的,而且占用空间足够小