问题标签 [type-hinting]

我认为我的 Eclipse 的 ctrl+点击链接可能会受益匪浅……

编辑：我正在使用 Eclipse PDT。

编辑 2：我对使用 @return 或 @var 语句将 docblocks 放在函数（和变量）之前的解决方案非常满意，我刚刚更新了我的应用程序的文档，现在 eclipse 向我展示了哪些函数可用什么物体！

惊人的。

对于定义为的接口中的方法，出现错误“具有类类型提示的参数的默认值只能为 NULL ”是否正常

?

我需要它是布尔值，而不是对象，默认情况下为 FALSE。

有没有办法提示 WebIDE 变量具有某种类型？我必须迭代一个对象数组，并且没有可用的自动完成功能。这有助于 ZendStudio：

我知道 JetBrains 中有一个功能可以声明对象数组：

但这仅适用于函数的返回类型。

我正在尝试在我的一堂课上实现 PHP5 的类型提示，

正确用法：

产生错误：

可捕获的致命错误：传递给 ClassA::method_a() 的参数 1 必须是 ClassB 的实例，给定 ClassWrong 的实例...

是否有可能捕获该错误（因为它说“可捕获”）？如果是，如何？

I'm studying Python, after a lot of PHP experience, and it would be handy to have type-hinting in Python. Looks like Eclipse with PyDev doesn't support this. Any suggestions?

For example, I want my IDE to show function docstrings and types, when I use it, like:

我正在研究一些 Java / Clojure 互操作性，并遇到以下代码的反射警告：

我对此感到惊讶，因为 getResource 总是返回一个 URL，因此我希望编译器在 javax.imageio.ImageIO/read 中使用适当的静态方法。

顺便说一句，该代码运行良好，因此很明显在运行时找到了正确的方法。

所以两个问题：

1. 为什么这会返回反射警告？
2. 我需要什么类型的提示来解决这个问题？

我正在尝试解决 Clojure 中的反射警告，这似乎是由于对作为普通 Java 对象的函数返回值缺乏类型推断造成的。

演示该问题的简单示例代码：

解决这个问题的最佳方法是什么？这可以通过类型提示来完成吗？

在下面的代码中，我调用了一个函数（它恰好是一个构造函数），其中我有类型提示。当我运行代码时，出现以下错误：

可捕获的致命错误：传递给 Question::__construct() 的参数 1 必须是字符串的实例，给定字符串，在第 3 行的 run.php 中调用并在第15行的question.php中定义

据我所知，错误告诉我该函数需要一个字符串，但传递了一个字符串。为什么它不接受传递的字符串？

运行.php：

问题.php：

我使用defrecord字段的类型提示创建了一个类型。然而，我发现这些类型提示并没有在构造函数中强制执行，我可以用它们做一些奇怪的事情。例如，请看下面的代码片段：

显示的构造函数签名与提供的类型提示不匹配（它们Object同时用于String和Integer），并且我能够构造具有错误字段类型的对象。

我的代码有问题还是 Clojure 中的错误？

我在 Clojure 1.2.0-beta1 上。

类型提示帮助编译器假定变量的类型，但是，由于 PHP 是一种动态脚本解释语言，我想到的问题是，类型提示是否有可能使运行时更快？