【理论实践】size_t和std:size_t可能是不同的类型定义,只是定义为相同的类型

来源:互联网 发布:深圳楼市成交数据 编辑:程序博客网 时间:2024/06/07 17:39

这个很少被人意识到,2个分别对应到c头文件定义和c++头文件定义,日常使用没有影响是因为先包含的会使后续包含定义触发条件编译,而且经常using namespace std;使不区分std:size_t。做为一个优秀的代码输出者,要严谨的弄清楚,有针对性的处理,提高代码质量,降低代码开发周期。


结论:c和C++混编,尤其是跨平台时,一定要注意头文件包含顺序,如果是c++,最早的包含c++的头文件,如果是c,则晚一些包含c++头文件,这是有差异的,不保证完全等价。


第一部分,影响:

对于业务逻辑,包括typeid等,都没有影响,因为条件编译是预处理阶段完成,编译阶段面对的已经是基础类型定义。

但是,毕竟两个文件是独立的,在跨平台编译等情况下,类型定义仅为了保证长度相等,两个文件可能会产生定义差异,导致类型不匹配,比如

#include <iostream>#include <typeinfo>using namespace std;typedef long long  type1;typedef int64_t type2;int main(){        type1 s1 = 0;        type2 s2 = 0;        cout << sizeof(type1) << " " << sizeof(type2) << endl;        cout << (typeid(s1) == typeid(s2) ? "eq" : "nq") << endl;        cout << typeid(s1).name() << endl;        cout << typeid(s2).name() << endl;        return 0;}输出8 8nqxl

这与逻辑是对不上的,位长一样,符号一样,却是不同的类型。


第二部分,验证一下区别,通过将size_t重定义产生冲突报错来查看定义源

#include <stdio.h>typedef bool size_t;int main(){                return 0;}

编译报错:

main.cpp:3:14: error: conflicting declaration ‘typedef bool size_t’
 typedef bool size_t;
              ^
In file included from /usr/include/stdio.h:34:0,
                 from main.cpp:1:
/opt/rh/devtoolset-2/root/usr/lib/gcc/x86_64-redhat-linux/4.8.2/include/stddef.h:212:23: error: ‘size_t’ has a previous declaration as ‘typedef long unsigned int size_ ’
 typedef __SIZE_TYPE__ size_t;
                       ^
make: *** [main] Error 1
继续追踪:
/opt/rh/devtoolset-2/root/usr/lib/gcc/x86_64-redhat-linux/4.8.2/include/stddef.h:209:#define __SIZE_TYPE__ long unsigned int

所以C头文件定义是:long unsigned int


再来看一下c++定义

#include <iostream>using namespace std;namespace std{        typedef bool size_t;}int main(){        return 0;}
编译报错
main.cpp:7:15: error: conflicting declaration ‘typedef bool std::size_t’
  typedef bool size_t;
               ^
In file included from /opt/rh/devtoolset-2/root/usr/include/c++/4.8.2/iostream:38:0,
                 from main.cpp:2:
/opt/rh/devtoolset-2/root/usr/include/c++/4.8.2/x86_64-redhat-linux/bits/c++config.h:1857:26: error: ‘std::size_t’ has a previous declaration as ‘typedef long unsigned int std::size_t’
   typedef __SIZE_TYPE__  size_t;
                          ^
make: *** [main] Error 1
进一步追踪:
bits/c++config.h:1764 if __cplusplus
...
bits/c++config.h:1855 namespace std
{
          typedef __SIZE_TYPE__     size_t;
            typedef __PTRDIFF_TYPE__  ptrdiff_t;


#if __cplusplus >= 201103L
                  typedef decltype(nullptr) nullptr_t;
#endif

}

这个做法非常聪明,直接使用了系统的__SIZE_TYPE__,所以必然和C一致


原创粉丝点击