4

我知道标准如下：

  • 以 0 开头的整数被解释为八进制。
  • 以 0x 或 0X 开头的整数被解释为十六进制。

整数文字的类型取决于它的值和符号：

  • 默认情况下，小数是有符号的，并且具有适合该值的最小类型 int、long、long long。
  • 十六进制和八进制可以是有符号或无符号的，并且具有适合文字值的最小类型 int、unsigned int、long、unsigned long、long long、unsigned long long。
  • 没有 short 类型的文字，但这可以被后缀覆盖。

但是VC++呢？！似乎将十进制、八进制和十六进制视为相同，并且十进制也允许使用无符号类型。

类似于以下代码：

cout << typeid(4294967295).name() << endl;
cout << typeid(4294967296).name() << endl;

cout << typeid(0xffffffff).name() << endl;
cout << typeid(0x100000000).name() << endl;

给出：

unsigned long
__int64
unsigned int
__int64

这是预期的吗？为什么它与标准不同？

4

1 回答 1

6

看来，就您的第一个结果而言，VC++ 仍然遵循 C89/90 的规则，该规则说（第 6.1.3.2 节）：

整数常量的类型是可以表示其值的对应列表中的第一个。无后缀小数：int, long int, unsigned long int; [...]

因此，由于 4294967295 可以表示为unsigned long int，这就是它所使用的。

在 C++98/03 中，这仍然是允许的，但不再需要 - 您使用的值大于可以在 中表示的值long int，这会产生未定义的行为（第 2.13.1/2 节）：

如果它是十进制且没有后缀，则它具有以下类型中的第一个，可以在其中表示其值：int, long int; 如果该值不能表示为 long int，则行为未定义。

[重点补充]

C++11 添加long long int到列表中，所以 type4294967295 应该成为，但即使在 VC++ 2013 RC 中，它在这方面仍然遵循 C89/90 标准并赋予它 type unsigned long int。

请注意，由生成的字符串typeid是实现定义的，因此它不必直接对应于类型的正确名称。如果你使用重载，我们可以看到0x100000000并且4294967296有类型long long：

#include <iostream>

void f(unsigned long){
    std::cout << "unsigned long\n";
}

void f(long long) {
    std::cout << "long long\n";
}

void f(unsigned long long) {
    std::cout << "unsigned long long\n";
}

void f(unsigned) {
    std::cout << "unsigned int\n";
}

int main(){
    f(4294967295);
    f(4294967296);
    f(0xffffffff);
    f(0x100000000);
}

VC++ 2008 和 VC++ 2013 RC 的结果：

unsigned long
long long
unsigned int
long long

我没有安装所有中间版本，但鉴于 2008 和 2013 匹配，我认为可以公平地猜测它们之间的版本也以相同的方式运行。

于 2013-10-03T19:45:30.280 回答