深圳幻海软件技术有限公司 欢迎您!

c语言和c ,一个小白的发问:C语言和C++什么区别啊?

2023-03-25

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼迟早得加FAQ套餐,列提纲(原理链接待补):0.不管C还是C++,没真实项目需求的一律先劝退。1.没入门其中一种的,或者自认为入门过完全搞不清区别的,首先应该假定两者无关。2.官方关系:首先关于spec:ISOC(ISO/IEC9899)和ISO

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

迟早得加 FAQ 套餐,列提纲(原理链接待补):

0.不管 C 还是 C++ ,没真实项目需求的一律先劝退。

1.没入门其中一种的,或者自认为入门过完全搞不清区别的,首先应该假定两者无关。

2.官方关系:

首先关于 spec :ISO C(ISO/IEC 9899 )和 ISO C++(ISO/IEC 14882 )都是 ISO/IEC JTC1/SC22 下的委员会负责的。

都定时开会公开邮件,被 ISO 版权规制的东西都不公开但都公开 draft ,报 bug 都有 DR(defect report) 机制,实际上工作也有 liaision ,proposal 和 spec 还有不少互相抄的。

但 ISO C++ 虽然晚实际上借鉴不多。而且至少近年来主要是 C 抄 C++ ,比如 atomic → _Atomic ,static_assert → _Static_assert ,[[noreturn]] → _Noreturn ,等等。

3.内容:不管是规定程序是否被接受还是实现的符合性(conformance) 都是独立的,虽然分别抄还是有区别。

这导致表面上都能被接受的程序实际上的依据并不保证对应。

一些主要的顶层意义上的例子:

(0) 虽然都分为核心语言特性和库,ISO C++ 的章(clause) 比 ISO C++ 多得多……ISO C 的标准库直接放到一章里了,但 ISO C++ 就是几十章。

(1) ISO C++ 的程序的正确性用合式(well-formedness) 限定:语法正确、不违反可诊断语义规则、符合 ODR(One-definition rule) ;ISO C 没要求 ODR 。这部分链接出问题都算扩展兼容性的问题。

(2) ISO C 对程序和实现符合性分别规范,ISO C++ 直接对实现进行要求。ISO C 有 strictly conforming program 的说法。大概知道这样的程序基本啥都没法做,ISO C++ 干脆就不管了。

(3) ISO C 还有描述公共的扩展。ISO C++ 直接无视扩展这个概念。

(4) ISO C 和 ISO C++ 都有 unspecified behavior 和 implementation-defined behavior ,实际用起来大概差不多,但严格上在 C 中后者明确是前者的真子集而在 C++ 的实现中不保证是。

(5) 对应地,ISO C 和 ISO C++ 都用抽象机描述语义,但 ISO C++ 明确 implemenation-defined 的东西是抽象机的参数。

(6) ISO C 和 ISO C++ 都支持可观察行为(observable behavior) 的等价性作为符合标准的程序的等价性(例如作为允许优化的依据),但是 ISO C++ 把这些单独称为 as-if 规则,因为还允许其它特殊规则无视掉:主要是 copy elision 以及 C++14 起的 new merging 。

(7) ISO C++11 起有 conditionally support ,ISO C 没有,这使前者能支持更多可移植性微妙的标准特性。例如,函数指针和对象指针的可转换保证。像基于 ISO C 扩展的 POSIX 里面的 dlsym 因为缺少这个特性就很尴尬,就算要求能塞到 XSI 扩展用起来也禁止不了 ISO C 要求的诊断(警告)。

(8) 考虑到先来后到,ISO C++ 有专门的 Annex C 描述和 C 的特性设计的不兼容。有些抄 C 的设计被后续 C++ 版本迭代掉了,在 Annex D 有体现(例如字符串字面量隐式转换为指针去掉 const ,在 ISO C++ deprecated ,ISO C++11 以后去掉了)。

4.特性:虽然很多特性在 ISO C 和 ISO C++ 都有,但一样具有微妙的差别。

具体特性例子太多了就不一一举例了,说一些有代表性的特别是概念设计上的。

(1) C 和 C++ 都把对象(object) 作为基本概念,表示有类型的存储,而且含义基本一致(都和面向对象的所谓对象不一样)。

但是具体细节很多不同。例如, C++ 明确允许大小为零的子对象。再如,C 的 void 算是(总是不完整的)对象类型,而 C++ 的 void 被排除出对象类型之外。

一些扩展和 ISO C11 支持 VLA(variable-length array) 导致有一部分完整类型的对象的大小不能静态地确定,而 ISO C++ 始终没有接受这样的设计。

(2) ISO C 回避了实体(entity) 和变量(variable) 的概念(虽然前者不少地方都被用到了)。

在 ISO C++ 中,“实体”“变量”和对象都属于基本概念(这是 ISO C++ 的一个 clause 的标题),程序可以声明对象或引用类型的实体作为变量。

(3) ISO C 和 ISO C++ 都有左值(lvalue) 。ISO C++ 还有右值(rvalue) ,左值和右值都是指表达式。但 ISO C 脚注右值就是值(value) 。

ISO C++ 还扩充了新的值类别(value category) ,包含消亡值(xvalue) 。C 没有这样复杂的设计。

(4) ISO C 的声明(declaration) 就是声明,不是语句(statement) 。ISO C++ 的声明是语句的一种。

……懒得糊了先坑着吧。

文章知识点与官方知识档案匹配,可进一步学习相关知识
C技能树首页概览134650 人正在系统学习中