int (fun)(char *) 的问题

plp626

大伙谁能否分析下10楼代码的段错误缘由？
不准用调试器。。

    (*pfun)("aaaa");
  4012d9:        8b 45 fc                     mov    0xfffffffc(%ebp),%eax
  4012dc:        c7 04 24 a8 12 40 00         movl   $0x4012a8,(%esp,1)
  4012e3:        8b 00                        mov    (%eax),%eax
  4012e5:        ff d0                        call   *%eax

    (**pfun)("aaaa");
  4012d9:        8b 45 fc                     mov    0xfffffffc(%ebp),%eax
  4012dc:        c7 04 24 a8 12 40 00         movl   $0x4012a8,(%esp,1)
  4012e3:        8b 00                        mov    (%eax),%eax
  4012e5:        ff d0                        call   *%eax

    ((int(*)(char *))pfun)("aaaa");
  4012d9:        c7 04 24 a8 12 40 00         movl   $0x4012a8,(%esp,1)
  4012e0:        8b 45 fc                     mov    0xfffffffc(%ebp),%eax
  4012e3:        ff d0                        call   *%eax

xiaonanln_cu

1. #include <stdio.h>
   
2. int foo(char *s)
   
3. {
   
4.     puts(s);
   
5.     return 0;
   
6. }
   
7. 
   
8. int   main()
   
9. {
   
10.     int fun(char *); // 声明了一个函数 [color=Red]没啥好说的[/color]
    
11.     int (fun)(char *); // ？？？？？[color=Red]这个括号可以忽略，和上面那句一样。函数可以多次声明，只要相互不冲突。[/color]
    
12. 
    
13.     int (*pfun)(char *); // 定义了一个函数指针 [color=Red]没啥好说的[/color]
    
14. 
    
15.     pfun = foo;   [color=Red]foo是一个函数，但是C编译器的牛逼之处就在于在需要函数指针的时候，会自动帮你把函数转化为其指针：pfun = &foo。[/color]
    
16.     (*pfun)("aaaa"); // 正确  [color=Red]这是最标准的写法[/color]
    
17.     pfun("aaaa");   // 正确 [color=Red]pfun是函数指针，所以C编译器自动理解为：(*pfun)("aaaa"); [/color]
    
18. 
    
19.     pfun = &foo; [color=Red]这里开始和上面没区别了，因为pfun = &foo和pfun = foo对编译器来说是一样的。[/color]
    
20.     (*pfun)("aaaa");  // 正确
    
21.     pfun("aaaa");     // 正确
    
22.     return   0;
    
23. }

复制代码

OwnWaterloo

回复 31# plp626

贴段汇编代码还反白不许看。。。而且还是高爷爷的头像。。。以为是多高深的代码。。。
一瞅。。。  这代码。。。

1. 
   
2. pfun = &foo;
   
3. /*
   
4. foo  : int (char*)
   
5. &foo : int (*)(char*)
   
6. pfun : int (**)(char*)
   
7. */
   

复制代码

类型对不上啊。。。编译器给的警告就不管了吗。。。
虽然C的类型系统聊胜于无，但既然它都能找到机会报告了，还是看一看呗。。。


我看不懂那段汇编，at&t格式的看起来吃力。顺手改改，我不知道为什么它是对的，但总之它就是对的。

1. 
   
2. #include <stdio.h>
   
3. 
   
4. int foo(char* s)
   
5. {
   
6.       puts(s);
   
7.       return 0;
   
8. }
   
9. 
   
10. int main(void)
    
11. {
    
12.       int (**pfun)(char*);
    
13.       int (*f)(char*) = foo;
    
14.       pfun = &f;
    
15.       (*pfun)("implicit: function -> pointer to function");
    
16.       return 0;
    
17. }
    

复制代码

然后发现11楼已经有这个答案了。
然后还发现20楼把该说的都说完了。。。

sonicling 发表于 2012-09-22 09:08
回复 13# plp626

弄清楚两个问题就好了。

1. 表达式的类型是什么？
2. 有哪些隐式类型转换？

foo的类型是函数（C语言有这个类型的），不是函数指针。
只是它在一些场合下会隐式转换为函数指针类型 —— 想想数组。
比如 int (*f)(char*) = foo;
int (*g)(char*) = &foo; 与上面一样。
&foo == foo

OwnWaterloo

回复 31# plp626

本想写个程序，调教foo，使得它的指令的头4个字节按指针解释就是一个函数（甚至就是foo自己）的地址。

1. 
   
2. _foo :
   
3.   b0 b1 b2 b3 ...
   

复制代码

让b0-b3既是foo的指令，同时按指针解释后能得到一个函数的地址。 (*pfun)(""); 就不会出错了。

不过功力不够还欠火候，没调教成功。。。

plp626

和数组名类似， 函数名当做右值使用时它就是指针了，
我说的“函数名，函数指针，函数指针的指针”不很严谨，改为“右值函数名，函数指针，函数指针的指针”
这个问题不再讨论了
---------------------------------
大家现在把注意力放在31楼吧，可以同时再看看11楼和26楼的回帖

OwnWaterloo

回复 31# plp626

我还是不知道反白内容是什么，我读at&t吃力于是就懒得看。

昨天我尝试在windows上调教出一个demo演示(*pfun)到底是在做什么。
但因为windows上有各种限制 —— section、函数要求对齐，地址空间不如linux（我没开3G模式） —— 没能成功。
起来发现LZ你还在纠结这问题。。。


我特地切换到ubuntu(804)，写了一段代码，用gcc4.2.4调教成功了。

1. 
   
2. #include <stdio.h>
   
3. 
   
4. __attribute__ ((section ("at")))
   
5. void foo(char const* s) { puts(s+12); }
   
6. 
   
7. int main(void)
   
8. {
   
9.       void (**pfun)(char const*) = foo; /* 此处是&foo还是foo都一样 */
   
10.       (*pfun)("0123456789abcdef"); /* 与10楼、11楼、36楼对比 */
    
11.       return 0;
    
12. }
    

复制代码

编译参数：

1. 
   
2. gcc -fomit-frame-pointer -fno-align-functions -O2 -Wl,--section-start,at=04244483 self_ref.c
   

复制代码

运行：

1. 
   
2. ./a.out
   
3. cdef
   

复制代码

原因在这里：
objdump -d a.out
...
Disassembly of section at:

04244483 <foo>:
4244483:        83 44 24 04 0c               addl   $0xc,0x4(%esp)
4244488:        e9 67 3e e0 03               jmp    80482f4 <puts@plt>
...

就是我昨天没尝试成功的：让foo的前4个字节既是指令，又恰好是一个地址，甚至还指向foo自身。

LZ你满意了么？ 可以不纠结这问题了么？



本来10楼就是一个很搓的问题。和printf("%d", 1.2)一样搓。为什么不规规矩矩的按照规范 —— C语言的规范，而不是什么什么团队的规范 —— 写代码？

作为兴趣，这样的问题也不是不可以探讨。
我还是很开放的，对研究这些问题持欢迎态度，厌恶的只是 i) 分不清实现与规范 ii) 将这些研究成功不加考虑（甚至是刻意为了炫耀）直接用在非娱乐代码里。
可这问题有毛好研究的啊？ 这不是一眼就看出将foo的指令当地址解释了啊？
没看出？ 好，11楼代码已经演示了
不知道为什么？ 好， 20也把原因说了。
即使还不明白， 根据我的猜测， 你自己不也在31楼通过调试找出原因了么？

plp626 发表于 2012-09-28 15:06
大家现在把注意力放在31楼吧，可以同时再看看11楼和26楼的回帖

我是真不明白31楼还有啥值得留意的，值得讨论的，值得把注意力放上去的？


最后，即使你在26楼想通了， 如非必要， 不要将函数指针与数据指针（包括函数指针的指针）混用。

plp626

呵呵，楼上说话很有意思