问题标签 [void-safety]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
type-conversion - 埃菲尔类型一致性和附件检查不起作用
试图解决其中一个 SCOOP 后果，make_from_separate我遇到了一个问题，即在运行时类型似乎相同并且不会通过attached语句。
non_separate_from_any
带截图的变量和语句
更新 20200616
声明如下：
在运行时我得到了一个other.column_names -> at runtime: ARRAY[detachable STRING]
这个怎么可能！！！这就是我实施any_from_separatewith的原因l_arr_det_str
eiffel - 结果附加或异常
假设我有一个函数应该通过调用f返回一个. 但是，返回一个. 如果导致无效，我想引发这样的异常：attached Tggdetachable Tg
在此设置中，EiffelStudioVEVI: Variable is not properly set. Variable: Result在f.
实际上，Result 可以在结束时为 Void，f但在这种情况下执行不应该到达结束，f应该已经引发了异常。
如何重构代码以获得类似的结果？
c - 有人可以向我解释一下，考虑到 void** 属于结构，我如何访问 void** 数组中的 void* 项
---> 正如您所意识到的，至少在这一点上，我正在尝试做的是使用某种注册代码访问和删除学生集合（ arr）的项目（student*最初将假定一种类型） . 但是，我遇到了分段错误问题，无法理解为什么以及如何解决它们，因此我的问题就在那里。调试代码我发现错误在于：函数内部和. 此外，如果您能指出一些文章/文档/任何有助于我理解如何处理此类问题的内容，我将不胜感激。void*void**if(ptrCompar((void)key, (void**)*c->arr[i]) == 0)Removereturn (int)(key - item->matricula)Compar1