求sizeof(f)大小的疑问

zylthinking

in GNU C, addition and subtraction operations are supported on pointers to void and on pointers to functions. This is done by treating the size of a void or of a function as 1.

也就是说， f 还是一个函数指针， &f 反而 sizeof == 4, 似乎反而不是函数指针了。
但 typedef (*f)() 我相信仍是 4, 若要说它不是函数指针， 那就是笑话了。 所以可能是这个文档写的有点不严谨， 而且后面又说 sizeof functions as 1, 而不是函数指针

所以， typeof(f) 类型是什么仍然无答案， 莫非它就是一个符号？？
如果是一个符号的话， 那么
#define   sizeof(x)  ({   typeof(x)   _x; (char   *)((&_x+1))   -   (char   *)(&_x);})

typeof（f） _f; 得到的又是什么呢？

zylthinking

好吧， 我钻牛角尖了。
似乎事实证明, typeof(f) _f 针对函数， 除了做相对且相消的运算外， 其他的都没有意义：

_f(); 编译不通过
n = (char *) (&_f + 1) - (char *)(0); 编译不通过
甚至
n = (int) (&_f + 1)   -   (int)(&_f);  编译不通过
n = (char *) (&_f + 1) - (char *)(&_f); // n == 1

狗气球

回复  幻の上帝


    我没说他不是关键字，实现方式不是宏么？
manULinux 发表于 2011-08-25 08:24

    才疏学浅，没听说过有这事儿

狗气球

in GNU C, addition and subtraction operations are supported on pointers to void and on pointers to functions. This is done by treating the size of a void or of a function as 1.

也就是说， f 还是一个函数指针， &f 反而 sizeof == 4, 似乎反而不是函数指针了。

……
zylthinking 发表于 2011-08-25 11:23

"the size of a void or of a function as 1"
does not at all imply that the size of a pointer to function is 1.

zmdesperado

把f 和 &f 赋给该类型的函数指针都是可以的，说明 f 和 &f都可用来表示函数的地址；
但涉及到sizeof操作时，又把 f 当作function type，在C99中是未定义，而GCC指定为1。
这样，f 既可表示 pointer to function又可表示 function type，不是有点不合理吗。
若能明确规定 f 就是function type， &f 表示函数地址，这样不是更好吗。

ckf513728912

回复 20# 变异老鼠


    网址不错   收下  谢谢

chinesedragon

越看越糊涂了