[問題] Opaque pointer的應用

作者: zzss2003 (brotherD)   2018-06-29 11:12:38
website: https://en.wikipedia.org/wiki/Opaque_pointer#C
上網查了一下,opaque pointer主要是用來hide implementation,也就是作了一個encap-
sulation的動作。
看了一下wiki給的C example,有幾個問題想請教各位
在例題裡,作者把structure definition放在obj.c,且include obj.h,並且在obj.h裡宣
告了 struct obj
Q1: 第一次看到struct obj;這種用法,這種用法是告訴compiler我在別的file裡有define
struct obj這個data type嗎? 如果是的話,那應該要 + extern吧?
為什麼不加extern也可以?
Q2: 剛剛翻了textbook(C how to program),作者說:
struct obj{
int id;
};
這個行為叫"define"一個structure且不reserve any space in memory(page 384)。
這個跟我心中認為的define有點出入,不reserve memory的話不是應該叫declare嗎?
還是對於struct與對於variable來說,define與declare的定義不一樣?
Q3: 我原本習慣的作法是直接把
struct obj{
int id;
};
這個definition放在obj.h。並不像作者,把它放在.c檔且在.h裡面多declare一個
struct obj。
我想這就是作者所謂的hide implementation。也就是說,struct裡面的member就是
implementation囉?
我認知的implementation是指"實作",也就是function裡的snippet。
所以struct裡面的member也算是implementation嗎?還是在特定的context裡才算數?
謝謝撥冗查看~
作者: AstralBrain   2018-06-29 11:32:00
Q1: extern是指定linkage用的struct沒有linkage所以不能(也不需要)加externQ2:struct的define跟函數的比較像 有body就是defineQ3:我覺得看context, 各自表述 XD
作者: sarafciel (Cattuz)   2018-06-29 12:39:00
因為他的struct沒有打算讓你看到 這就是他這樣寫的目的留那行宣告只是因為他開給你的函式要用而已defination就是要有明確的定義 變數是實際執行時的資料所以它的"明確定義"必須要有存放變數的位置struct則是"切割記憶體與看待切割區塊的方式"
作者: tinlans ( )   2018-06-29 13:37:00
C 的 type 只是編譯期資訊,不會被編譯到 object file所以當然不會產生任何在執行期佔據記憶體的東西。然後語言本身要求識別字 (變數、函式名等) 使用前要宣告,也就是要告訴編譯器那個識別字是什麼東西。struct obj; 就是告訴編譯器 obj 是一個 strcut type,但是細節未知,在只有使用到 obj *,不需要存取 members或者知道配置一個 obj instance 要多大空間的狀況下,編譯器是不用知道整個 type definition 的。識別字要宣告的理由也只是方便 parser 做語法語意檢查。
作者: Neisseria (Neisseria)   2018-06-29 16:12:00
這很常見的手法,如果不想暴露 struct 細節就這樣寫
作者: yvb   2018-06-29 18:53:00
請用 http://rextester.com/l/c_online_compiler_gcc勾選 Show compiler warnings 看看.
作者: Neisseria (Neisseria)   2018-06-29 20:38:00
那是運氣好,該寫還是要寫可能沒實際呼叫也有差,沒詳細研究...
作者: AstralBrain   2018-06-29 21:08:00
你是想問為什麼struct沒有linkage嗎就tinlans回的第一句話那樣
作者: tinlans ( )   2018-06-30 02:39:00
C 規定 struct type 一定要用 struct 開頭,所以你省略的話,編譯器還是可以正確解析,不過勸你還是養成習慣。實務上因為這樣寫太冗長,大家會用 typedef 變成免寫struct,這種時候你就還是得先宣告。

Links booklink

Contact Us: admin [ a t ] ucptt.com