無法在另一個模塊中定義的函數中創建在模塊M1中定義的類型的新實例M2

Question

我目前正在學習這種偉大的茱莉亞語言，但我面臨的困難是我最好的朋友Google似乎沒有回答（也許我的搜索技能很差）。

反正...我的背景是這樣的：

我有兩個模塊：

1. M1.jl

   module M1 
   type T 
       t1::Int64 
   end 
   
   T() = T(0) 
   
   export T 
   end 
   

2. M2.jl

   module M2 
   function create() 
       isdefined(:T) ? T() : "undef" 
   end 
   
   export create 
   end 
   

我只想調用create函數來實例化類型爲T的對象，如果類型已定義。在這裏我所試圖做的（模塊M1和M2假定路徑）：

using M1; 
using M2; 

create() 

然後我得到這個ERROR: UndefVarError: T not defined而我會有望得到M1.T(0)因爲T在解釋或者在被稱爲至少"undef"如果模塊M1沒有加載到我的會話中。

另外，如果我這樣做： 使用M1;使用M2的 ;

isdefined(:T) ? T() : "undef" 

然後一切都很好，我得到：M1.T(0)

所以我的問題是：

1. 是可以使功能create「看」模塊中定義的類型加載當前會議？
2. 能否請您解釋一下whay我得到這個錯誤ERROR: UndefVarError: T not defined因爲如果T在我的背景沒有定義，isdefined必須返回false這樣"undef"應該已經回來了？

非常感謝提前。

問候。

Answer 1

朱莉婭文件描述的isdefined()的功能如下：

隨着單個符號參數，測試在current_module（）具有該名稱的全局變量是否被定義。

但是哪個模塊是current_module（）？

要找到我添加了一個whatiscurrentmodule()功能M2上述問題的答案，並將其加載到Main什麼我有是這樣的：

julia> module M2 

     function whatiscurrentmodule() 
      println("current_module=",current_module()) 
     end 

     function create(type_name::AbstractString) 
       isdefined(:T) ? T() : "undef" 
     end 
     export create 
     println("current_module=",current_module()) 
     end; 
current_module=M2 

julia> M2.whatiscurrentmodule() 
current_module=Main # current_module is the caller module 

現在是清楚什麼在發生運行 - 時間：isdefined()回報true因爲:T在主叫範圍定義，但T()不能罰款:T，因爲它不會導入M2，爲了解決這個問題，一個可能迫使M2使用M1：

julia> module M2 
     using M1 
     function create(type_name::AbstractString) 
      isdefined(:T) ? T() : "undef" 
     end 
     export create 
     end; 

julia> using M1 

julia> M2.create("") 
M1.T(0) 

編輯：或不進口任何東西，但添加到:T

julia> module M2 
     function create(type_name::AbstractString) 
      isdefined(:T) ? current_module().T() : "undef" 
     end 
     export create 
     end; 

julia> using M1 

julia> M2.create("") 
M1.T(0)