如何檢查特定類型的方法是否存在？

Question

更新：感謝@ rickhg12s指出，看來我可能偶然發現了一個錯誤。 method_exists(<, (MyType, MyType))正在返回true而method_exists(isless, (MyType, MyType))正在返回false。我在v0.3.x上，但@ rickhg12s在v0.4的每晚構建中，所以我會提出一個問題。

如何檢查特定類型的方法是否存在？

我想我可以做到這一點使用，例如：

method_exists(<, (Int, Int)) 

將返回true因爲不是比較兩個整數定義的少。然而，當我定義自己的類型：

type MyType; end 

，然後嘗試：

method_exists(<, (MyType, MyType)) 

返回true。但我認爲，這將返回false，因爲：

a = MyType() 
a < a 

拋出，因爲<不是爲MyType定義的錯誤。那麼如何在運行時檢測給定類型的方法是否存在？

Answer 1

事實證明method_exists是（當前）檢查是否存在特定類型的方法的最佳方法，但需要非常小心。我上面的例子恰巧偶然發現了朱莉婭內部工作中的一些輕微混淆（但內在一致）的行爲。如果你仍然感興趣，請繼續閱讀。

@ rickhg12s在評論到method_exists(<, (MyType, MyType))正在恢復true而method_exists(isless, (MyType, MyType))在返回false的提問時指出。

聽起來像一個錯誤嗎？我提交an issue，朱莉婭開發者證實，觀察到的行爲雖然令人困惑，但內部一致。

<和isless是兩種不同的方法。重要的是，對於<未定義明確方法的情況，<具有默認行爲。該行爲是將參數傳遞給isless函數。這種行爲的後果是，<被隱含地定義爲類型，甚至是剛創建的全新類型類型。所以method_exists(<, (MyType, MyType))應該返回true。另一方面，isless是鏈中的「最低」 - 沒有其他函數可以傳遞給它，所以如果isless沒有被明確地擴展到新類型，如果你試圖使用它，Julia會返回一個錯誤，和method_exists(isless, (MyType, MyType))將正確返回false。

現在已經指出，我可以看到這背後的邏輯。但暗示method_exists的用戶需要小心，他們將其應用於鏈中「最低」的功能。