Listener.d：在不干净的断开连接时崩溃

Question

对于我正在制作的小型聊天服务器，我决定使用 D；找到我自己 通过listener.d 中的一个非常简洁的例子来开始我决定 差不多就拿这个例子来说吧！然而，我陷入了一个我无法真正解决的错误 把我的手指绕起来。很可能是我自己的错，我正在做某事 错了，但考虑到我几乎从示例中获取了代码，我更 倾向于相信这个例子已经被破坏了。

我将解释发生的情况：

• 列出项目
• 我启动我的服务器（没有错，它正在按预期运行并侦听）
• 我远程登录到它。我的服务器接受连接。
• 我使用 telnet 发送一些信息。服务器处理信息 再次正确，没问题。
• 我通过使用 ^] 退出 telnet，然后写 quit。断开连接 相当不优雅。
• 服务器正确识别这不是干净的断开连接并执行 删除套接字的代码。
• 然后我得到了范围违规。

这是主要过程和循环： https://github.com/JGBrands/BlaatServer/blob/master/source /bserver.d

这是服务器类，删除套接字的代码位于 函数中完成底层 void destroySocket(int index);

https://github.com/JGBrands/BlaatServer/blob/master/source /server.d

实际上让我复制粘贴它。 :-)

void destroySocket(int index) {
    this.reads[index].close(); /* release resources. */

    /* Remove the socket now. We don't want this around! It'll crash us! */
    if (index != this.reads.length -1)
        this.reads[index] = this.reads[this.reads.length -1];

    this.reads = this.reads[0 .. this.reads.length -1];
    writeln("Total connections: " ~ to!string(this.reads.length));
}

代码主要是从listener.d示例中接管的，就像我说的， 我得到的错误是这样的：

core.exception.RangeError@server(61): Range violation 
---------------- 
----------------

我相信该函数正在删除不应该删除的内容，对于那些 有兴趣，这是 server.d 中的第 61 行：

if (this.sset.isSet(this.reads[i])) { 

希望你们能帮助我对此有更多的理解，我是否在这里遗漏了一些非常明显的东西？

Answer 1

正如棘轮所指出的：

if (index != this.reads.length -1)

这并不能验证索引是否在范围内。它仅验证索引不是最后一个元素。只要索引已被验证在范围内就可以了。

void destroySocket(int index)
in {
    assert(index > -1);
    assert(index < this.reads.length);
} body {
{