擅长:python、mysql、java
<p>这并不能真正回答您的问题,但是使用<a href="http://en.wikipedia.org/wiki/Wing_IDE" rel="noreferrer">Wing IDE</a>可以使用<code>assert isinstance(b, A)</code>向类型分析器提供提示。见<a href="http://www.wingware.com/doc/edit/helping-wing-analyze-code" rel="noreferrer">here</a>。我还没有找到用Komodo实现的方法,不过显然在编写PHP或JavaScript时是<a href="http://community.activestate.com/forum-topic/getting-more-your-php-and-javascript-code" rel="noreferrer">possible</a>。在</p>
<p><strong>更新</strong>:</p>
<p>我找到了一种方法来欺骗科莫多:</p>
<pre><code>if 0: b=A()
</code></pre>
<p>这是可行的(至少在komodo5.2上是这样的),没有副作用,但是肯定会混淆任何人读你的代码。在</p>