有没有一组通用规则/准则，可以帮助理解何时更喜欢使用pragma Pure、pragma Preelaborate或其他完全不同的内容？在标准（Ada 2012）中呈现的规则和定义有点晦涩难懂，我很感激能读到一些更加清晰且针对平均情况的东西。 如果我想彻底而不完全理解其中的“原因”，我可以简...

最好的方式是找出未解决元的原因是什么？是否有一种方法可以通过扩展所有可解决的周围通配符，将所有未解决的元（仅限未解决的元）转换为洞？ 如果没有其他办法，将未解决的元变成洞会使未解决元的消息消失吗？因为那样的话，我可以尝试将每个通配符和每个隐式参数变成洞，直到消息消失，然后找出哪一个是引起问题...