没有实现的弱符号函数，为什么编译运行都没有问题?

asker160

1. void __attribute__((weak)) f();  
   
2. int main(void)  
   
3. {  
   
4.         if (f)  
   
5.         f();  
   
6.         return 0;  
   
7. }
   

复制代码

在linux下编译没有问题: 神奇了，f的函数体都没有，如何能过?
运行也没有问题: 神奇了，难道不会空指针崩溃吗?

zsszss0000

__attribute__((weak))    查一下这个 应该可以

MMMIX

回复 1# asker160

weak symbol 本来就不是非要有定义不可。
至于说运行的问题，你不是在调用 f 之前有判断么？若 f 无定义，那么它的值就是0，条件为假，根本不会执行函数调用。

vallrock

这个属性避免使用的函数未定义可以，网上说可以强弱符号函数一起定义，编译器会自动选择强符号函数，但是我试了一下，每次都是报错重复定义。
这个到底该怎么用呢？

MMMIX

回复 4# vallrock

把你的代码贴上来。

vallrock

回复 5# MMMIX
简单的测试代码，编译会提示重复定义

#include <stdio.h>#include <stdlib.h>

int testWeak()
{
     printf("not weak\n");
     return 0;
}

int __attribute__((weak)) testWeak()
{
    printf("weak func\n");
    return 0;
}

void main()
{
    testWeak();
    return;
}

MMMIX

回复 6# vallrock

weak function 不是你这么用的。
weak function 通常定义在库中。若用户的代码（或其他库）没有提供同名的 (strong) function, 则使用库中的 weak function；若是提供，则使用对应的 strong function。

vallrock

回复 7# MMMIX

你好，你所指的这个库有要求吗？静态链接库可以吗？我将强符号函数和弱符号函数分别定义在两个静态链接库中，但是最后链接的时候还是会报重复定义。
之前有怀疑过是否是我的编译器不支持这个属性，不过下面的代码是可以编译通过的，那编译器应该支持

extern int __attribute__((weak))　testWeak();

int main()
{
      if(testWeak)
      {
             testWeak();
      }
      return 0;
}

到底应该怎样使用才能达到链接的时候同名的强符号函数和弱符号函数不会被报重复定义呢？

MMMIX

回复 8# vallrock

你所指的这个库有要求吗？静态链接库可以吗？

没有，静态动态应该都没问题；甚至两个不同的目标文件（一个包含 weak function, 一个包含正常函数）同时链接到一起也可以。但是要 gcc, binutils(as, ld) 同时提供相应的支持；其他工具链的情况就不清楚了。