C不是C++的子集:以一个简单的程序,来显示C和C++标准中的差异

118 篇文章 62 订阅

想象一下我们想创建一个程序,该程序在编译时将告诉我们如何使用C或C ++的标准进行编译。 显然,我们不能使用C和C 

++都不具有的任何功能,因此不能使用模板魔术,因此我们将无法区分C ++ 98和C ++ 03或C ++ 11,C ++ 14 ,C ++

17或C ++ 20。 显然,我们也不会试图说明C89和C90之间的区别。

 

而且,我们将仅考虑C89之后的C,因为它不一定总是在之前一致地实现,并且K&R函数签名很难看。

我们将尽量不使用C预处理程序,但是为了告诉C11之前的版本,我们需要引入一些宏。

C和C ++之间的第一个也是最简单的区别之一。 在C语言中,像'a'这样的字符文字与int大小相同。 在C

++中,它的大小与char相同。

现在,如果您在一个int和char大小相同的平台上,那么您将需要进行不同的测试(在2020年秋季这个时代,即使大多数嵌入式芯片也正在转向32位ARM

/ RISC-V /其他任何版本(我相信大多数常用的16位芯片都有一个与char大小不同的int,在这种情况下,我们不希望出现这种情况。

因此,我们的第一个功能是:

static int is_C(void){

    int a=0; char b='\0';

    assert(sizeof(a)!=sizeof(b)); 

    return(sizeof('\0') == sizeof(a));

}

 

下一个主要区别是C99之前的C和C99之后的C。 最大的变化是允许使用C ++样式的内联注释。 因此,您可以使用'// any'来代替'/ * any * /'。 这导致我们:

static int is_post_ANSI_C(void){

    return 1//**/2

            ;

}

 

因此,如果我们具有C ++样式的内联注释,则由于该行的其余部分为注释,因此将返回1。 如果不这样做,那么我们将有一个“ /”,后跟一个注释,后跟2,因此在注释和空格删除之后,我们得到“ return 1/2;”。 根据整数除法规则我们知道它是0。

接下来是为了区分2011年之后的C和C ++版本,以及在我们需要使用C Preprocessor宏之前的版本。 在C11和C ++ 11修订版之后,通过为字符串文字添加一些新前缀以允许在字符串中使用Unicode,该语言发生了显着变化(请参阅本页 ,以获取有关各种前缀的含义的良好参考,一般为cppreference)。 com是有关C或C ++的良好信息来源)。 这是我们的宏和功能:

#define test(U) U"1"

static int is_post_11(void){

    return(sizeof(test()[0]) >1);

}

 

这使用了Don Yang的技巧,因为在标准的先前版本中,预处理器会将定义中的“ U”视为提供给“ test”函数类型宏的自变量值。


如果你在学习C/C++的过程中遇到了问题,可以来加入小编的企鹅圈问小编哦~小编很热情的(●’◡’●)

在return语句中,我们不传入任何参数,因此'U'被替换为空,而我们只得到'sizeof(“ 1” [0])>

1',这只是'sizeof(char)> 1',始终假。 在标准的更高版本中,“

U”被解析为字符串文字的前缀,在这种情况下为32位宽的unicode字符串,因此字符串中跟随“ U”字符的每个元素必须至少为32位宽。

只要我们不在具有> = 32位字符的体系结构上,这将导致'sizeof(至少32位)> 1',在这种情况下将是正确的。

 

如果针对C2x标准的建议N2231通过,那么C ++ 20和C2x都将具有char8_t数据类型,该数据类型将是'u8'前缀字符串文字的类型,这将是我们可以做的另一项测试。

最终程序在这里:

#include <stdio.h>

#include <assert.h>

static int is_post_ANSI_C(void){

    return 1//**/2

            ;

}



static int is_C(void){

    int a=0; char b='\0';

    assert(sizeof(a)!=sizeof(b));

    return(sizeof('\0') == sizeof(a));

}



#define test(U) U"1"

static int is_post_11(void){

    return(sizeof(test()[0]) >1);

}



int main(int argc, char*argv[])

{

    int C = is_C();

    int post_11 = is_post_11();

    int post_ANSI_C = is_post_ANSI_C();



    if(C && post_ANSI_C && post_11){

        printf("This is C11 or later!\n");

    }

    if(C && post_ANSI_C && !post_11){

        printf("This is C99!\n");

    }

    if(C && !post_ANSI_C && !post_11){

        printf("This is C89 or C90\n");

    }

    if(!C && post_11){

        printf("This is C++11 or later\n");

    }

    if(!C && !post_11){

        printf("This is C++98 or C++03\n");

    }



    return0;

}

 

可以使用以下命令进行编译:

 gcc-std=c89 main.c

要么

 g++ -std=c++98 main.c

然后可以运行为:

/a.out

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
好的,这是一个比较大的项目,需要分步骤实现,我们来一步一步来。 第一步,词法分析器(Lexical Analyzer) 词法分析器的作用是将源代码的字符序列转换成有意义的单词(token)序列。在C语言,单词包括关键字、标识符、常量、运算符等。我们可以使用正则表达式来描述每种单词的模式,并通过有限状态自动机(DFA)来实现词法分析器。 具体实现可以采用C++的正则表达式库regex,或者手写有限状态自动机。 第二步,语法分析器(Syntax Analyzer) 语法分析器的作用是将词法分析器生成的单词序列转换成语法树(parse tree)。在C语言,语法树可以用来表示代码的结构和语义。我们可以使用上下文无关文法(CFG)来描述C语言的语法规则,并通过自顶向下的递归下降分析法来实现语法分析器。 具体实现可以采用C++的递归下降分析法,在每个非终结符号对应的函数,递归调用其他函数来实现语法分析。 第三步,语义分析器(Semantic Analyzer) 语义分析器的作用是检查代码的语义错误,并生成代码的间表示(IR)。在C语言,语义错误包括未定义变量、类型不匹配等。我们可以使用符号表(symbol table)来记录变量和函数的信息,并使用类型推导(type inference)来判断表达式的类型。生成IR可以使用三地址码(three-address code),将高级语言转换成类似汇编语言的间表示。 具体实现可以在语法分析器的基础上,添加符号表和类型推导的实现,生成IR可以采用类似于汇编语言的指令序列。 第四步,代码优化器(Code Optimizer) 代码优化器的作用是对生成的IR进行优化,以提高代码的执行效率。在C语言,代码优化可以包括常量折叠、循环展开、公共子表达式消除等。我们可以使用数据流分析(dataflow analysis)来分析程序的执行过程,并使用优化技术来改进程序的性能。 具体实现可以采用各种优化技术,例如常量传播、死代码删除、循环展开等,通过数据流分析来确定哪些代码可以进行优化。 第五步,代码生成器(Code Generator) 代码生成器的作用是将优化后的IR转换成目标代码(machine code)。在C语言,目标代码可以是汇编语言或机器语言。我们可以使用代码模板(code template)来描述目标代码的结构,并使用寄存器分配(register allocation)来分配寄存器,将IR转换成目标代码。 具体实现可以采用汇编语言或机器语言的代码模板,通过寄存器分配来优化生成的目标代码。 以上是一个基本的C语言子集编译器的实现过程,需要注意的是,每个步骤都需要仔细设计和实现,并且要进行测试和调试,才能得到一个可靠的编译器。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值