在C和c++中都有效的代码在用每种语言编译时会产生不同的行为吗?

C和c++有很多不同之处，并不是所有有效的C代码都是有效的c++代码。 (这里的“有效”指的是具有定义行为的标准代码，即不是特定于实现的/未定义的/等等。)

在哪种情况下，一段在C和c++中都有效的代码在使用每种语言的标准编译器编译时会产生不同的行为?

为了做一个合理/有用的比较(我试图学习一些实际有用的东西，而不是试图在问题中找到明显的漏洞)，让我们假设:

与预处理器无关(这意味着没有使用#ifdef __cplusplus、pragmas等进行hack) 在这两种语言中，任何实现定义都是相同的(例如数字限制等)。我们比较每个标准的最新版本(例如，c++ 98和C90或更高版本) 如果版本很重要，那么请说明每个版本会产生不同的行为。

当前回答

struct abort
{
    int x;
};

int main()
{
    abort();
    return 0;
}

在c++中返回退出码为0，在C中返回退出码为3。

这个技巧可能可以用来做一些更有趣的事情，但我想不出一个好方法来创建一个构造函数，让c满意。我试着用复制构造函数做了一个同样无聊的例子，让一个参数被传递，尽管以一种相当不可移植的方式:

struct exit
{
    int x;
};

int main()
{
    struct exit code;
    code.x=1;

    exit(code);

    return 0;
}

vc++ 2005拒绝在c++模式下编译，但是，抱怨如何重新定义“退出代码”。(我认为这是一个编译器错误，除非我突然忘记了如何编程。)但是当它被编译成C语言时，进程退出码为1。

其他回答

对于C++11标准:

a.逗号操作符在C中执行左值到右值的转换，但在c++中不执行:

   char arr[100];
   int s = sizeof(0, arr);       // The comma operator is used.

在c++中，这个表达式的值是100，在C中是sizeof(char*)。

b.在c++中，枚举器的类型是它的枚举。在C语言中，枚举数的类型是int。

   enum E { a, b, c };
   sizeof(a) == sizeof(int);     // In C
   sizeof(a) == sizeof(E);       // In C++

这意味着sizeof(int)可能不等于sizeof(E)。

c.在c++中，用空参数列表声明的函数不带参数。在C语言中，空参数列表意味着函数参数的数量和类型是未知的。

   int f();           // int f(void) in C++
                      // int f(*unknown*) in C

#include <stdio.h>

int main(void)
{
    printf("%d\n", (int)sizeof('a'));
    return 0;
}

在C语言中，这将打印当前系统中sizeof(int)的值，在目前使用的大多数系统中，这通常是4。

在c++中，这必须打印1。

c++编程语言(第三版)给出了三个例子:

sizeof('a')，正如@Adam Rosenfield提到的; //注释被用来创建隐藏代码: Int f(Int a, Int b) ｛返回a //* blah */ b ；｝结构等隐藏的东西在外部作用域，如在你的例子。

下面是一个例子，它利用了C和c++中函数调用和对象声明之间的差异，以及C90允许调用未声明的函数的事实:

#include <stdio.h>

struct f { int x; };

int main() {
    f();
}

int f() {
    return printf("hello");
}

在c++中，这不会打印任何东西，因为创建和销毁了一个临时f，但在C90中，它会打印hello，因为函数可以在没有声明的情况下被调用。

如果你想知道名称f被使用了两次，C和c++标准明确地允许这样做，并且要创建一个对象，如果你想要结构，你必须说struct f来消除歧义，或者如果你想要函数，就不要struct。

C90 vs. c++ 11 (int vs. double)

#include <stdio.h>

int main()
{
  auto j = 1.5;
  printf("%d", (int)sizeof(j));
  return 0;
}

在C语言中，auto表示局部变量。在C90中，可以省略变量或函数类型。它默认为int。在c++ 11中，auto的意思完全不同，它告诉编译器从用于初始化变量的值推断变量的类型。

推荐文章