JuliaのC voidポインタを宣言する適切な方法

Question

私はもともとこの疑問の私の定式化をひどく悩ましました（これは真剣にC++コードを書いてから1年以上経ちました。もう一度お試しください。

いくつかのCコードは、次の

void* p; 
create_new_thing(&p); //p is now a new thing 
do_stuff_to_thing(p); //something happened to p 

私の質問は、ジュリアにオブジェクトpを作成する方法であるように、あなたが何かをすることを期待して書かれています。今私は、私は同じコードを信じているが、pでp = Array(Ptr{Void}, 1)も働く代わりとして宣言され、答えはさらに

p = Ref{Ptr{Void}}() 
ccall((:create_new_thing, :lib), Void, (Ptr{Ptr{Void}},), p) 
ccall((:do_stuff_to_thing, :lib), Void, (Ptr{Void},), p) 

であると信じます。

私は、ジュリアのRefとPtrの間の全体的な区別が非常に混乱していることがわかりました。なぜなら、私は追跡できない方法でお互いに変換されているからです。

Answer 1

あなたのコードはとよく見えます。です。しかし、注意してください！どんな小さな誤差は、セグメンテーションフォールトを引き起こす可能性がありますが、ここに持っているもののよう：

p = Ref{Ptr{Void}}() 
ccall((:create_new_thing, :lib), Void, (Ptr{Ptr{Void}},), p) 
ccall((:do_stuff_to_thing, :lib), Void, (Ptr{Void},), p) 
             # error here^

それを行うための正しい方法はpとp[]を使用するかを理解するための最も簡単な方法がある

p = Ref{Ptr{Void}}() 
ccall((:create_new_thing, :lib), Void, (Ptr{Ptr{Void}},), p) 
ccall((:do_stuff_to_thing, :lib), Void, (Ptr{Void},), p[]) 
              # fixed^

です対応するCコードを考える。 Cのオブジェクトが行うようにCで、私たちが書く

void *p; 
create_new_thing(&p) 
do_stuff_to_thing(p) 

ジュリアオブジェクトは、ファーストクラスのメモリアドレスを持っていないので、我々はメモリアドレスを取得するにはジュリアにp = Ref{Ptr{Void}}()を使用する必要があります。このオブジェクトはrefとして、&pのように振る舞います。つまり、オブジェクト自体を取得することを意味します。p Cでは、Juliaにp[]を使用する必要があります。

だから、ジュリアの等価は

p = Ref{Ptr{Void}}()     # this p corresponds to &p in C 
ccall(:create_new_thing, ..., p)  # like &p 
ccall(:do_stuff_to_thing, ..., p[]) # like *(&p); that is, like p