2015d第3天

蔚落 2022-09-14 14:21 158阅读 0赞

[原文][Link 1]  
先由`AA`大神上场.主要由搞`std.allocator`而得出的.高调的`标记泛型编程`必须有.  
先指出`泛型`的优缺点.在泛型编程中,你目标是`通用概念`.`泛型`静态分发,无间接.  
`区间`试图`通用`,定义`InputRange`,但很快需要更细粒度控制.因而有`hasLength,isInfinite`等,很好,可单独测试.然后联系分配器,他们有`对齐,解除分配,重新分配等`可变独立项.  
从最简单的分配器开始,保证`对齐`.它只是`分配`,其他成员都是`可选`的.`AA`提议`内省`设计.即`检查是否存在成员`并适配他们.  
这样来实现`最大通用性`,且可用很少代码`查看其各个组件`来组合具不同`能力`的分配器.  
用`返回切片到堆栈缓冲区`来显示简单的区域分配器,和基于`malloc`的分配器,然后用`回退`分配器组合他们来`显示这点(内省设计)`.  
回退分配器,通过查找需要的`最少`方法,可适应`输入分配器`的最佳组合,或强人所难时报错.  
用户代码中,如果`allocator(分配器)`没有`deallocate(释放)`方法,就不必考虑了.如果有,则调用它.这是通过`内省`来检查的.[内省设计在此][Link 2]  
展示了很多组合小片代码及`static if`使代码更简单.  
并详细说,代码检查`allocate.length`而非`null`,因为`allocate(0)`可能合法地返回`空数组`而不是`null`.`检查匹配长度`最简单.`一位听众`询问如果过度分配会怎样?`AA`回答说应返回`大小为调用者要求`的切片,这样,成功后总会匹配长度.  
`AA`还说`hasMember`也应检查`签名`来确保取正确`参数`.作者(我)不同意,除非仔细完成,可因不匹配`常`等小事而忽略,但可用少量库代码正确完成它.如果`存在成员`但签名错误,检查并`静态断言`来拒绝它.如果不存在,则忽略它,因为它是`可选`的.这样,保持最佳可用`静态检查`同时获得了`自省`的胜利.  
`概念和传统泛型编程`失败,是因为它们因`大量输入的组合`而爆炸.  
在`static if`中带`极约束`的`静态自省`成功了.因而`自省设计`是`泛型`编程新方法.

--------------------

`我(亚当,作者)`,探讨`D`中实现`动态类型`.  
要点是搞`底层内核代码`的`D`也可写`动态风格`代码.我展示了组合语言特征来建造`var`类型.  
从`类型`开始:内存保存`数字`,由程序来`解释`.然后分解类型系统为`编译时检查与运行时标记`及`隐式强制对比不匹配即错误`类型.  
我解释说`D`有个卓越的`类型模型`,具有`静态类型`,强大检查,`推导和模板`的`方便和强大`,及用于`额外自定义检查`的`静态断言(静断)`,都在编译时,且不断改进.然后讲相反的`隐式强制,运行时标记`:

// 这是有效D代码!
    var a = 10; 
    var b = "20"; 
    var c = a + b; 
    var d = json!q{  "foo": {  "bar": 10.2 } }; 
    writeln(d.foo); // {"bar":10.2} 
    d.foo.bar = (var a) => a ~ b; 
    writeln(d.foo.bar()("hello! "));

我提出:`D需要动态类型`吗?我得出:与外部`API`交互,使用`稳定的二进制运行时接口`,原型代码,脚本交互  
我解释了基本技术:`标记联`,并解释了`std.variant`和我的`arsd.jsvar`如何在之上用它的`变体`,然后进入`D`语法糖必须使其易用:主要是`重载运算符和反射`.  
展示了我遇到的`两个主要问题`:1,`用局部变量和结构变量`的结构中返回闭包.上下文指针应指向哪个,`结构或堆栈`?为此,你可明确:创建`静态嵌套`函数,来通过`局部变量`访问它需要的一切.  
2,返回`引用`给`无效`.为此,我构建了`new var(null)`并返回它.虽然生成`大量垃圾`,但在无需编写大量`特例`时,是适用的.  
还展示了`循环遍历TypeTuple`来为`许多类型`生成代码.方法是在运行时`if`中插件`代码`.我还想要`隐式构造(C++的显)`.应谨慎使用,但有时很有用.如,当你想写`构`来完全替换内置类型时,没有它,不能隐式转换`null`为`用户类型`.  
`显式转换更好,加上类型推导`,可替换`静态类型`.代码很`简洁`.

[Link 1]: http://arsdnet.net/this-week-in-d/jun-21.html
[Link 2]: https://fqbqrr.blog.csdn.net/article/details/120612027