c - 为什么标准禁止将 sizeof 应用于函数

Question

标准 C(ISO/IEC 9899:1999)第 6.5.3.4 节说

The sizeof operator shall not be applied to an expression that has function type or an incomplete type

但为什么呢？使用 readelf 检查可执行文件表明函数大小在编译期间完全已知。

Symbol table '.symtab' contains 67 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
.......
    37: 0000000000400541    16 FUNC    LOCAL  DEFAULT   13 clean
.......
    46: 00000000004005f0     2 FUNC    GLOBAL DEFAULT   13 __libc_csu_fini
......
    49: 0000000000000000     0 FUNC    GLOBAL DEFAULT  UND puts@@GLIBC_2.2.5
    52: 00000000004005f4     0 FUNC    GLOBAL DEFAULT   14 _fini
    53: 0000000000000000     0 FUNC    GLOBAL DEFAULT  UND __libc_start_main@@GLIBC_
ed
    58: 0000000000400560   137 FUNC    GLOBAL DEFAULT   13 __libc_csu_init

    62: 000000000040052c    21 FUNC    GLOBAL DEFAULT   13 main

此处大小0 属于共享库中的函数，例如puts@@GLIBC_2.2.5 函数。所以我查看了libc信息，这里有一段readelf -a/lib/x86_64-linux-gnu/libc.so.6输出与puts@相关@GLIBC_2.2.5

                          Size  Type 
  ...........   
  399: 0000000000070ec0   392 FUNC    WEAK   DEFAULT   12 puts@@GLIBC_2.2.5

它是完全不必要的功能，还是违反了 C 哲学，或者存在一些我看不到的技术问题？

Answer 1

我认为这是因为 sizeof 仅对对象有意义，对象的表示形式为 unsigned char [sizeof(type)]。现在在 C 中，函数没有表示(没有从函数指针类型到数据指针类型的转换)所以你可以说 sizeof 没有有意义的用法。