c语言与c的区别,一个小白的发问：C语言和C++什么区别啊？-CSDN博客

本文详细探讨了C和C++之间的差异，包括它们的标准化过程、内容规范和特性。C++在标准库和语言特性上更为丰富，如合式性限定、ODR规则、抽象机描述以及右值引用等。同时，C++对实现的要求更严格，并且支持更多可移植性的标准特性。文章还提到了C++对C的一些扩展和不兼容之处，如Annex C和Annex D中描述的细节。

摘要由CSDN通过智能技术生成

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

迟早得加 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++ 的声明是语句的一种。

……懒得糊了先坑着吧。