D中的Ada风格范围类型

Question

看了之后此有关的Ada和C ++有趣的文章和认识D的为CTFE和功能定参数的专业化支持，我不知道如果ADA-样式繁多的类型可以更容易/在d比用C高效实现++。 有没有人可能已经写过这样的图书馆？

如果这样的范围可以在D中有效地实现并且对开发人员友好，那么它可以用作在具有确定性和类型和存储器安全性要求的部门中建立D的推动者（D已经发光），例如在航空电子和汽车中。 因此，D将获得更多开发商的兴趣和更强大的财务支持。

Answer 1

标量（有界）变量很容易在D中作为模板完成，事实上我记得我看过有人已经做过的代码。 不幸的是我不记得我在哪里看到它。 这就是说，有恕我直言，这不需要成为语言的一部分，而是标准库的一部分。

（ 编辑：亚当提醒我代码： http ： //arsdnet.net/dcode/ranged.d ）

范围是更广泛的概念，在Andrei的文章中很好地解释了 - http://www.informit.com/articles/printerfriendly.aspx?p=1407357&rll=1 。 这种类型的范围现在是D的核心概念.D的切片是最强大范围的实现 - RandomAccessRange 。

例：

import std.stdio;
import std.algorithm;

void main()
{
    int[] values = [ 1, 20, 7, 11 ]; // values is a RandomAcessRange
    writeln(filter!(value => value > 10)(values));
}

好读：

1. http://ddili.org/ders/d.en/ranges.html
2. http://www.drdobbs.com/architecture-and-design/component-programming-in-d/240008321
3. http://dlang.org/phobos/std_range.html

Answer 2

我写了一些代码，用溢出检查执行min和max的整数：

http://arsdnet.net/dcode/ranged.d

这只是一个概念证明，我怀疑它会表现得很好，但可能会内联。