[问题] 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