一些核心不兼容性在不兼容性部分中没有涉及:

c++ 0x将注入的类名作为模板模板形参的实参传递，将类名作为类型传递给模板类型形参。

如果在这些场景中，有效的c++ 03代码依赖于注入的类名始终是类型，那么它的行为可能会有所不同。示例代码从我的clang PR

template<template<typename> class X>
struct M { };

template<template<typename> class X>
void g(int = 0); // #1

template<typename T>
void g(long = 0); // #2

template<typename T>
struct A {
  void f() {
    g<A>(); /* is ambiguous in C++0x */
    g<A>(1); /* should choose #1 in C++0x */
  }
};

void h() {
  A<int> a;
  a.f();
}

在c++ 03中，代码两次调用第二个g。

c++ 0x将c++ 03中依赖的一些名称改为非依赖名称。并且需要查找在实例化时重复引用当前类模板成员的非依赖限定名，并且需要验证这些名称的查找方式是否与模板定义上下文中的查找方式相同。

由于此更改，依赖支配性规则的有效c++ 03代码现在可能无法再编译。

例子:

struct B { void f(); };

template<typename T>
struct A : virtual B { void f(); };

template<typename T>
struct C : virtual B, A<T> {
  void g() { this->f(); }
};

int main() { C<int> c; c.g(); }

这个调用A<int>::f的有效c++ 03代码在c++ 0x中无效，因为实例化时的名称查找将找到A<int>::f而不是B::f，导致与at-definition查找冲突。

在这一点上，还不清楚这是否是FDIS的缺陷。委员会意识到这一点，并将对情况进行评估。

using声明的最后一部分与表示基类的限定名中的限定符的最后一部分中的标识符相同，该using声明现在命名构造函数，而不是具有该名称的成员。

例子:

struct A { protected: int B; };
typedef A B;

struct C : B {
  // inheriting constructor, instead of bringing A::B into scope
  using B::B;
};

int main() { C c; c.B = 0; }

上面的示例代码在c++ 03中格式良好，但在c++ 0x中格式不佳，因为A::B在main中仍然不可访问。

流提取失败的处理方式不同。

例子

#include <sstream>
#include <cassert>

int main()
{
   std::stringstream ss;
   ss << '!';
   
   int x = -1;
   
   assert(!(ss >> x)); // C++03 and C++11
   assert(x == -1);    // C++03
   assert(x == 0);     // C++11
}

更改建议

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3246.html#23

标准参考

[C++03: 22.2.2.1.2/11]: The result of stage 2 processing can be one of A sequence of chars has been accumulated in stage 2 that is converted (according to the rules of scanf) to a value of the type of val. This value is stored in val and ios_base::goodbit is stored in err. The sequence of chars accumulated in stage 2 would have caused scanf to report an input failure. ios_base::failbit is assigned to err. [ed: Nothing is stored in val.] [C++11: 22.4.2.1.2/3]: [..] The numeric value to be stored can be one of: zero, if the conversion function fails to convert the entire field. ios_base::failbit is assigned to err. the most positive representable value, if the field represents a value too large positive to be represented in val. ios_base::failbit is assigned to err. the most negative representable value or zero for an unsigned integer type, if the field represents a value too large negative to be represented in val. ios_base::failbit is assigned to err. the converted value, otherwise. The resultant numeric value is stored in val.

实现

GCC 4.8为c++ 11正确输出: 断言' x == -1'失败 GCC 4.5-4.8所有c++ 03的输出如下，这似乎是一个bug: 断言' x == -1'失败 Visual c++ 2008 Express正确输出c++ 03: 断言失败:x == 0 Visual c++ 2012 Express错误地输出了c++ 11，这似乎是一个实现状态问题: 断言失败:x == 0

显式转换运算符的引入如何成为突破性的变化?旧版本仍然和以前一样“有效”。

是的，从操作符void*() const到显式操作符bool() const的变化将是一个破坏性的变化，但前提是它的使用方式内外都是错误的。符合规范的代码不会被打破。

现在，另一个突破性的变化是在聚合初始化期间禁止收缩转换:

int a[] = { 1.0 }; // error

编辑:请记住，std::identity<T>将在c++ 0x中被删除(参见注释)。它是一种方便的结构体，可以使类型相互依赖。由于结构体实际上并没有做太多的事情，这应该可以修复它:

template<class T>
struct identity{
  typedef T type;
};

断改变?

嗯，首先，如果你使用decltype, constexpr, nullptr等作为标识符，那么你可能会遇到麻烦……

有很多关于隐式移动破坏向后兼容性的讨论

(有相关讨论的旧页)

如果你向下阅读注释，隐式move return也是一个突破性的变化。

auto关键字的含义改变。