有一段时间我也有类似想法,过去出现了很多潜在用例.
最明显示例是vibe.d的目前仅用作文档的@blocking等,但如果可在编译时强制@nonblocking等,就非常有用,目前只有运行时方法.
是的,一般,异步有大量这类用途.除了不占用工作线程外,响应取消请求也是好事.
说到阻塞,我设想的效果之一是类似"循环".与其他阻塞相比,循环中的某些阻塞对事件驱动的i/o模型的危害更大,至少可由信号或其他东西中断其他阻塞调用.
一方面,你可能认为denies_effect!loops是疯狂的.如何完成工作?但是有两个有趣的地方:1)可用高阶函数来定义它;2)D的foreach循环很特别.
看,foreach循环,可以是opApply函数调用上的语法糖,可以说其中一个循环只是具有opApply的效果(因而必然会添加用户提供的闭包的效果,当然).
所以可想象opApply使用隐藏效果,来实现循环,但插入自己的周期if(yield()==CANCEL)return;逻辑,来提供普通返回到调度事件循环和取消的机会.事实上,甚至可在该过程中自动并行化工作块.
当然,用户也可用受信任的隐藏效果,但要提醒他们小心.