C++项目中编译部分C的代码
在C++项目中如果真能编译部分C的代码,那么一定会用到一下语句
#ifdef __cplusplus
extern "C" {
#endif
/*...*/
#ifdef __cplusplus
}
#endif
下面的文章将要按照这样的提纲进行叙述
- 1、#ifdef _cplusplus/#endif _cplusplus及发散
- 2、extern "C"
- 2.1、extern关键字
- 2.2、"C"
- 2.3、小结extern "C"
- 3、C和C++互相调用
- 3.1、C++的编译和连接
- 3.2、C的编译和连接
- 3.3、C++中调用C的代码
- 3.4、C中调用C++的代码
- 4、C和C++混合调用特别之处函数指针
1、#ifdef _cplusplus/#endif _cplusplus及发散
在介绍extern "C"之前,我们来看下#ifdef _cplusplus/#endif _cplusplus的作用。很明显#ifdef/#endif、#ifndef/#endif用于条件编译,#ifdef _cplusplus/#endif _cplusplus——表示如果定义了宏_cplusplus,就执行#ifdef/#endif之间的语句,否则就不执行。
在这里为什么需要#ifdef _cplusplus/#endif _cplusplus呢?因为C语言中不支持extern "C"声明,如果你明白extern "C"的作用就知道在C中也没有必要这样做,这就是条件编译的作用!在.c文件中包含了extern "C"时会出现编译时错误。
既然说到了条件编译,我就介绍它的一个重要应用——避免重复包含头文件。还记得腾讯笔试就考过这个题目,给出类似下面的代码(下面是我最近在研究的一个开源web服务器——Mongoose的头文件mongoose.h中的一段代码):
?
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
#ifndef MONGOOSE_HEADER_INCLUDED #define MONGOOSE_HEADER_INCLUDED #ifdef __cplusplus extern "C" { #endif /* __cplusplus */ /*................................. * do something here *................................. */ #ifdef __cplusplus } #endif /* __cplusplus */ #endif /* MONGOOSE_HEADER_INCLUDED */ |
然后叫你说明上面宏#ifndef/#endif的作用?为了解释一个问题,我们先来看两个事实:
这个头文件mongoose.h可能在项目中被多个源文件包含(#include "mongoose.h"),而对于一个大型项目来说,这些冗余可能导致错误,因为一个头文件包含类定义或inline函数,在一个源文件中mongoose.h可能会被#include两次(如,a.h头文件包含了mongoose.h,而在b.c文件中#include a.h和mongoose.h)——这就会出错(在同一个源文件中一个结构体、类等被定义了两次)。
从逻辑观点和减少编译时间上,都要求去除这些冗余。然而让程序员去分析和去掉这些冗余,不仅枯燥且不太实际,最重要的是有时候又需要这种冗余来保证各个模块的独立。
为了解决这个问题,上面代码中的
#ifndef MONGOOSE_HEADER_INCLUDED
#define MONGOOSE_HEADER_INCLUDED
/*……………………………*/
#endif /* MONGOOSE_HEADER_INCLUDED */
就起作用了。如果定义了MONGOOSE_HEADER_INCLUDED,#ifndef/#endif之间的内容就被忽略掉。因此,编译时第一次看到mongoose.h头文件,它的内容会被读取且给定MONGOOSE_HEADER_INCLUDED一个值。之后再次看到mongoose.h头文件时,MONGOOSE_HEADER_INCLUDED就已经定义了,mongoose.h的内容就不会再次被读取了。
2、extern "C"
首先从字面上分析extern "C",它由两部分组成——extern关键字、"C"。下面我就从这两个方面来解读extern "C"的含义。
2.1、extern关键字
在一个项目中必须保证函数、变量、枚举等在所有的源文件中保持一致,除非你指定定义为局部的。首先来一个例子:
?
1 2 3 4 5 6 7 |
//file1.c: int x=1; int f(){do something here} //file2.c: extern int x; int f(); void g(){x=f();} |
在file2.c中g()使用的x和f()是定义在file1.c中的。extern关键字表明file2.c中x,仅仅是一个变量的声明,其并不是在定义变量x,并未为x分配内存空间。变量x在所有模块中作为一种全局变量只能被定义一次,否则会出现连接错误。但是可以声明多次,且声明必须保证类型一致,如:
?
1 2 3 4 5 6 7 8 9 |
//file1.c: int x=1; int b=1; extern c; //file2.c: int x;// x equals to default of int type 0 int f(); extern double b; extern int c; |
在这段代码中存在着这样的三个错误:
x被定义了两次
b两次被声明为不同的类型
c被声明了两次,但却没有定义
回到extern关键字,extern是C/C++语言中表明函数和全局变量作用范围(可见性)的关键字,该关键字告诉编译器,其声明的函数和变量可以在本模块或其它模块中使用。通常,在模块的头文件中对本模块提供给其它模块引用的函数和全局变量以关键字extern声明。例如,如果模块B欲引用该模块A中定义的全局变量和函数时只需包含模块A的头文件即可。这样,模块B中调用模块A中的函数时,在编译阶段,模块B虽然找不到该函数,但是并不会报错;它会在连接阶段中从模块A编译生成的目标代码中找到此函数。
与extern对应的关键字是 static,被它修饰的全局变量和函数只能在本模块中使用。因此,一个函数或变量只可能被本模块使用时,其不可能被extern “C”修饰。
2.2、"C"
典型的,一个C++程序包含其它语言编写的部分代码。类似的,C++编写的代码片段可能被使用在其它语言编写的代码中。不同语言编写的代码互相调用是困难的,甚至是同一种编写的代码但不同的编译器编译的代码。例如,不同语言和同种语言的不同实现可能会在注册变量保持参数和参数在栈上的布局,这个方面不一样。
为了使它们遵守统一规则,可以使用extern指定一个编译和连接规约。例如,声明C和C++标准库函数strcyp(),并指定它应该根据C的编译和连接规约来链接:
?
1 |
extern "C" char* strcpy(char*,const char*); |
注意它与下面的声明的不同之处:
?
1 |
extern char* strcpy(char*,const char*); |
下面的这个声明仅表示在连接的时候调用strcpy()。
extern "C"指令非常有用,因为C和C++的近亲关系。注意:extern "C"指令中的C,表示的一种编译和连接规约,而不是一种语言。C表示符合C语言的编译和连接规约的任何语言,如Fortran、assembler等。
还有要说明的是,extern "C"指令仅指定编译和连接规约,但不影响语义。例如在函数声明中,指定了extern "C",仍然要遵守C++的类型检测、参数转换规则。
再看下面的一个例子,为了声明一个变量而不是定义一个变量,你必须在声明时指定extern关键字,但是当你又加上了"C",它不会改变语义,但是会改变它的编译和连接方式。
如果你有很多语言要加上extern "C",你可以将它们放到extern "C"{ }中。
2.3、小结extern "C"
通过上面两节的分析,我们知道extern "C"的真实目的是实现类C和C++的混合编程。在C++源文件中的语句前面加上extern "C",表明它按照类C的编译和连接规约来编译和连接,而不是C++的编译的连接规约。这样在类C的代码中就可以调用C++的函数or变量等。(注:我在这里所说的类C,代表的是跟C语言的编译和连接方式一致的所有语言)
3、C和C++互相调用
我们既然知道extern "C"是实现的类C和C++的混合编程。下面我们就分别介绍如何在C++中调用C的代码、C中调用C++的代码。首先要明白C和C++互相调用,你得知道它们之间的编译和连接差异,及如何利用extern "C"来实现相互调用。
3.1、C++的编译和连接
C++是一个面向对象语言(虽不是纯粹的面向对象语言),它支持函数的重载,重载这个特性给我们带来了很大的便利。为了支持函数重载的这个特性,C++编译器实际上将下面这些重载函数:
?
1 2 3 4 |
void print(int i); void print(char c); void print(float f); void print(char* s); |
编译为:
?
1 2 3 4 |
_print_int _print_char _print_float _pirnt_string |
这样的函数名,来唯一标识每个函数。注:不同的编译器实现可能不一样,但是都是利用这种机制。所以当连接是调用print(3)时,它会去查找_print_int(3)这样的函数。下面说个题外话,正是因为这点,重载被认为不是多态,多态是运行时动态绑定(“一种接口多种实现”),如果硬要认为重载是多态,它顶多是编译时“多态”。
C++中的变量,编译也类似,如全局变量可能编译g_xx,类变量编译为c_xx等。连接是也是按照这种机制去查找相应的变量。
3.2、C的编译和连接
C语言中并没有重载和类这些特性,故并不像C++那样print(int i),会被编译为_print_int,而是直接编译为_print等。因此如果直接在C++中调用C的函数会失败,因为连接是调用C中的print(3)时,它会去找_print_int(3)。因此extern "C"的作用就体现出来了。
3.3、C++中调用C的代码
假设一个C的头文件cHeader.h中包含一个函数print(int i),为了在C++中能够调用它,必须要加上extern关键字(原因在extern关键字那节已经介绍)。它的代码如下:
?
1 2 3 4 5 6 |
#ifndef C_HEADER #define C_HEADER extern void print(int i); #endif C_HEADER |
相对应的实现文件为cHeader.c的代码为:
?
1 2 3 4 5 6 |
#include <stdio.h> #include "cHeader.h" void print(int i) { printf("cHeader %d\n",i); } |
现在C++的代码文件C++.cpp中引用C中的print(int i)函数:
?
1 2 3 4 5 6 7 8 9 |
extern "C"{ #include "cHeader.h" } int main(int argc,char** argv) { print(3); return 0; } |
执行程序输出:
3.4、C中调用C++的代码
现在换成在C中调用C++的代码,这与在C++中调用C的代码有所不同。如下在cppHeader.h头文件中定义了下面的代码:
?
1 2 3 4 5 6 |
#ifndef CPP_HEADER #define CPP_HEADER extern "C" void print(int i); #endif CPP_HEADER |
相应的实现文件cppHeader.cpp文件中代码如下:
?
1 2 3 4 5 6 7 8 |
#include "cppHeader.h" #include <iostream> using namespace std; void print(int i) { cout<<"cppHeader "<<i<<endl; } |
在C的代码文件c.c中调用print函数:
?
1 2 3 4 5 6 |
extern void print(int i); int main(int argc,char** argv) { print(3); return 0; } |
注意在C的代码文件中直接#include "cppHeader.h"头文件,编译出错。而且如果不加extern int print(int i)编译也会出错。
4、C和C++混合调用特别之处函数指针
当我们C和C++混合编程时,有时候会用一种语言定义函数指针,而在应用中将函数指针指向另一中语言定义的函数。如果C和C++共享同一中编译和连接、函数调用机制,这样做是可以的。然而,这样的通用机制,通常不然假定它存在,因此我们必须小心地确保函数以期望的方式调用。
而且当指定一个函数指针的编译和连接方式时,函数的所有类型,包括函数名、函数引入的变量也按照指定的方式编译和连接。如下例:
?
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 |
typedef int (*FT) (const void* ,const void*);//style of C++ extern "C"{ typedef int (*CFT) (const void*,const void*);//style of C void qsort(void* p,size_t n,size_t sz,CFT cmp);//style of C } void isort(void* p,size_t n,size_t sz,FT cmp);//style of C++ void xsort(void* p,size_t n,size_t sz,CFT cmp);//style of C //style of C extern "C" void ysort(void* p,size_t n,size_t sz,FT cmp); int compare(const void*,const void*);//style of C++ extern "C" ccomp(const void*,const void*);//style of C void f(char* v,int sz) { //error,as qsort is style of C //but compare is style of C++ qsort(v,sz,1,&compare); qsort(v,sz,1,&ccomp);//ok isort(v,sz,1,&compare);//ok //error,as isort is style of C++ //but ccomp is style of C isort(v,sz,1,&ccopm); } |
注意:typedef int (*FT) (const void* ,const void*),表示定义了一个函数指针的别名FT,这种函数指针指向的函数有这样的特征:返回值为int型、有两个参数,参数类型可以为任意类型的指针(因为为void*)。
最典型的函数指针的别名的例子是,信号处理函数signal,它的定义如下:
?
1 2 |
typedef void (*HANDLER)(int); HANDLER signal(int ,HANDLER); |
上面的代码定义了信函处理函数signal,它的返回值类型为HANDLER,有两个参数分别为int、HANDLER。这样避免了要这样定义signal函数:
?
1 |
void (*signal (int ,void(*)(int) ))(int) |
比较之后可以明显的体会到typedef的好处。
作者:吴秦
出处:http://www.cnblogs.com/skynet/
本文基于署名 2.5 中国大陆许可协议发布,欢迎转载,演绎或用于商业目的,但是必须保留本文的署名吴秦(包含链接).
C++项目中编译部分C的代码相关推荐
- 如何移除项目中无用的 console.log 代码
大家好,我是若川.早些天时,我看到一个后端公众号发<辞退了一个前端>,当时还想着现在后端公众号都开始吊打前端了嘛.其中有个理由就是线上还一堆console.log...我猜很多人都会移除项 ...
- 在vue项目中使用prismjs(网页代码高亮插件)
在vue项目中使用prismjs 什么是prismjs prismjs是一款代码高亮美化插件,在一些技术博客类的网站中需要展示代码时,可以使用它类似与markdown的代码块, 官网链接:https: ...
- 前端:一键清除项目中无用的console.log代码
关注并将「趣谈前端」设为星标 每天定时分享技术干货/优秀开源/技术思维 前言 说起console.log调试,不用多说,那是非常的好用,开发中帮助我们解决了不少Bug.我们经常能在开发环境中看见这一坨 ...
- scala 编译插件_使用Scala插件在Griffon应用程序中编译和运行Scala代码
scala 编译插件 用于Griffon的Scala插件 0.7.1版本现已发布. 这个插件可以在Griffon应用程序上编译和运行Scala代码. Scala插件使用LangBridge插件与其他J ...
- windows下写代码在linux下编译,如何在Windows中编译Linux Unix的代码(采用cygwin)?...
很多经典算法往往是用C++在linux下实现的,对长期从事windows开发的辛苦大众来说,想看这些算法的运行效果不得不费一点小功夫.今天捣鼓了一晚上才搞定这事,写出实现方法和大家共享. 第一步:下载 ...
- 分享.NET开发中经常使用到的代码片段 完全从实际项目中提取出来,也可被反反复复的重复借用...
几年前,一篇<ASP.NET开发人员经常使用的三十三种代码>非常流行,它总结了一些经常在ASP.NET开发中使用到的代码,直接可以拿来使用.今天重读这篇文章,有感而发,善于总结也是进步,于 ...
- android xml 未能解析文件,Android Studio提示“无法解析符号”,但项目已编译
我在build.gradle中使用以下内容在AndroidStudio中导入twitter4j: dependencies { compile 'com.android.support:support ...
- 有关python的参考文献_测试开发论文,关于Python在嵌入式项目中的辅助开发相关参考文献资料-免费论文范文...
导读:本文关于测试开发论文范文,可以做为相关论文参考文献,与写作提纲思路参考. 摘 要:嵌入式系统设计开发过程中常会遇到诸如算法分析.原型验证.自动化测试.辅助工具设计等工作,其开发效率和质量直接影响 ...
- winform 填充圆形 锯齿_Qt项目中,三种图形渐变填充方式详细总结
总第40篇 本文主要详细梳理了Qt项目开发过程中,对图形的三种渐变填充方式,以便后面参考. 在Qt中,目前支持三种渐变填充方式,这三种方式都是QGradient的子类,它可以与画刷 QBrush组合使 ...
最新文章
- 一起聊聊好玩的Openresty
- Django-内置用户、权限、分组模块
- MSICE界面和功能分析
- java中compare语句的用法_Java RuleBasedCollator compare()用法及代码示例
- 用python可以画的可爱的图形_利用Python绘制诱人的桑基图
- 汇编语言基本概念(续13)
- 洛谷 P1164:小A点菜(DP/DFS)
- springmvc跨域资料收集
- Word中使用表格排版公式时,表格内序号纵向居中的问题。
- php快递按选择次数排序,php快递接口查询api 不限制次数
- switch语句的ns图怎么画_NS图绘制软件
- 第二章:真分数理论(真分数模型:概念、假设、平行测验)
- 蓝旭暑期培训——DOM事件+正则表达式
- 如何推广淘宝店铺方法:导购网站免费推广
- ZYNQ之路--初级开发流程介绍
- 上穷碧落下黄泉,源码追踪经验谈——侯捷
- C语言中log函数怎么使用啊
- USACO Spinning Wheels
- 由and连接的主语,后面谓语动词的单复数
- Qualcomm luma的理解
热门文章
- python导入上级目录下文件_python import 上级目录的导入
- java 视频 缩略图_java获取视频缩略图
- 深入浅出——搞懂卷积神经网络的过拟合、梯度弥散、batchsize的影响的问题
- 前端面试js-手写事件委托(一点小改进)
- 解决Maven的Could not resolve archetype org.apache.maven.archetypes:maven-archetype-quickstart
- C# 使用 MemoryStream 将数据写入内存
- 诺基亚推出全新IMPACT平台,交付快捷安全的物联网服务
- Java设计模式--策略模式
- [codevs1378]选课
- URL安全的Base64编码