D中的Ada样式范围类型

Question

在阅读了this关于Ada和C++的有趣文章并了解了D对CTFE和常量参数函数专门化的支持后，我想知道Ada样式的范围类型是否可以在D中比在C++中更容易/更有效地实现。有人可能已经写过这样的库了吗？

如果这样的范围可以在D中有效地实现并对开发人员友好，那么它可以用作在对确定性和类型和内存安全(如果D已经很出色)有需求的部门建立D的推动者，例如航空电子和汽车。D会因此获得更多开发商的兴趣和更强大的财政支持。

Answer 1

我写了一些小代码来做整数的最小和最大溢出检查：

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

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

Answer 2

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

(亚当编辑：让我想起了代码：http://arsdnet.net/dcode/ranged.d )

Range是更广泛的概念，在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