Post AdDDIbIMllL1Uu2HHk by senioria@stelpolva.moe
(DIR) More posts by senioria@stelpolva.moe
(DIR) Post #Ad5vmkkl0kbuEjp9iy by senioria@stelpolva.moe
2023-12-23T07:10:33.527Z
1 likes, 0 repeats
很不喜欢很多语言的基于继承的subtyping... 除了清晰得没得更清晰的函数类型, 从来搞不清什么地方是协变, 什么地方是逆变... (超小声(因为继承是直接钦定了subtyping关系, 但subtyping也蕴含着一堆东西要协变, 于是另一堆东西要逆变, 于是resolver就炸脑瓜了 (趴 (超小声(
(DIR) Post #AdClcsRtu7njm3NM5w by tusooa@kazv.moe
2023-12-26T15:04:46.249742Z
0 likes, 0 repeats
@senioria 推荐Sean Parent的Polymorphism done right，很有启发
(DIR) Post #AdCmBxnjzqcOVdK0bQ by senioria@stelpolva.moe
2023-12-26T15:06:27.997Z
0 likes, 0 repeats
@tusooa@kazv.moe stfw failed qeq (超小声(缩成球(求个链接 >< (超小声(缩成球(
(DIR) Post #AdCmC1CfLdL33o0SMy by tusooa@kazv.moe
2023-12-26T15:11:05.619484Z
0 likes, 0 repeats
@senioria https://yewtu.be/watch?v=QGcVXgEVMJg
(DIR) Post #AdDDIbIMllL1Uu2HHk by senioria@stelpolva.moe
2023-12-26T19:08:25.992Z
1 likes, 0 repeats
@tusooa@kazv.moe 趴趴 看了看 这种把子类型+重载捏进继承体系的湿活确实是c++的某种优雅... (趴 (超小声(senioria大概只是在诟病继承这种东西而已, 多态自然有得是更文明的方法, 单纯的子类型本身某种程度上其实也想了想隔壁rust会怎么做c++这里的事情... 感觉要么往Vec里注入一点东西, 要么就得让用户手动操作点东西了... (趴 (超小声(不过这也是rust鼓励explicit, 不隐藏控制流的结果 (趴 (超小声(以及异常... xd 构造异常在哪都是用户处理, 内存分配错误在rust里直接得supervisor的panic handler了 (趴 (超小声(
(DIR) Post #AdDkNfYZeM7AeJdpc8 by tusooa@kazv.moe
2023-12-27T02:25:31.191002Z
0 likes, 0 repeats
@senioria 啊？那个视频的主旨难道不是说「用户实现某个interface完全不需要继承」吗？这个在libkazv里面，也有很多对应的实现。
(DIR) Post #AdEFPO4iiJyXabycXw by senioria@stelpolva.moe
2023-12-27T08:12:52.062Z
1 likes, 0 repeats
@tusooa@kazv.moe 库里还是用了, 并且似乎不用继承不能保证编译器能优化得掉 (趴 (超小声(大概对c++还是更看魔法怎么实现, 而非魔法对外的接口... (趴 (超小声(
(DIR) Post #AdEs4EV70oz01hE15c by tusooa@kazv.moe
2023-12-27T15:26:21.107352Z
0 likes, 0 repeats
@senioria 最简单的，标准库里面的 std::function，它就是sean parent所提倡的写法啊。