C++ 14中引入的哪些更改可能会破坏用C++ 11编写的程序？

Question

介绍

随着C++ 14(又名C++ 1y)标准处于接近最终的状态,程序员必须问自己有关向后兼容性以及与此相关的问题.

---

这个问题

在该问题的答案中,指出该标准有一个附录,专门用于有关修订之间变化的信息.

如果可以解释前面提到的附录中的这些潜在问题,或许在任何与那里提到的相关的正式文件的帮助下,将会有所帮助.

• 根据标准:C++ 14中引入的哪些更改可能会破坏用C++ 11编写的程序？

Answer 1

<sup>注意:在这篇文章中,我认为" 突破性变化 "是其中之一或两者;
1. a change that will make legal C++11 ill-formed when compiled as C++14, and;</sup>

C++ 11 vs C++ 14,标准说什么？

标准草案(n3797)有一个专门用于此类信息的部分,其中描述了标准的一个修订版与另一个修订版之间的(潜在破坏)差异.

这篇文章使用了该部分[diff.cpp11]作为半精心讨论的基础,该讨论涉及可能影响为C++ 11编写的代码的更改,但编译为C++ 14.

C.3.1]数字分隔符

引入了数字分隔符,以便人们可以以更易读的方式编写数字文字,并以更自然的方式将它们拆分.

int x = 10000000;   // (1)
int y = 10'000'000; // (2), C++14

^{很容易看出(2)在上面的代码片段中比(1)更容易阅读,而两个初始值设定项具有相同的值.}

关于此功能的潜在的问题是在单引号始终表示的的开始/结束字符字面在C++ 11,但在C++ 14一单引号可以是围绕字符文字,或使用以前所示的方式(2).

示例代码段,在C++ 11和C++ 14中都是合法的,但具有不同的行为.

#define M(x, ...) __VA_ARGS__

int a[] = { M(1'2, 3'4, 5) };

// int a[] = { 5 };        <-- C++11
// int a[] = { 3'4, 5 };   <-- C++14
//                              ^-- semantically equivalent to `{ 34, 5 }`

(注意:有关单引号作为数字分隔符的更多信息,请参见n3781.pdf)

C.3.2]大小的释放

C++ 14引入了一个声明operator delete适合大小重新分配的全局重载的机会,这在C++ 11中是不可能的.

但是,标准还要求开发人员不能仅声明下面两个相关函数中的一个,它必须声明none或两者 ; 这在[new.delete.single] p11中有说明.

void operator delete (void*) noexcept;
void operator delete (void*, std::size_t) noexcept; // sized deallocation

有关潜在问题的进一步信息:

重新定义全局未分级版本的现有程序也不定义大小的版本.当实现引入大小版本时,替换将是不完整的,并且程序可能会在使用程序员提供的分配器分配的对象上调用实现提供的大小的解除分配器.

^{注意:引用取自n3536 - C++ Sized Deallocation}

(注:更多有趣的文章名为n3536 - C++ Sized Deallocation,由Lawrence Crowl撰写)

C.3.3] constexpr成员函数,不再含蓄const

在C++ 14中,constexpr有许多变化,但是唯一会改变C++ 11和C++ 14之间语义的变化是标记为constexpr的成员函数的常量.

这种改变背后的基本原理是允许constexpr 成员函数改变它们所属的对象,这是由于constexpr的放松而允许的.

struct A { constexpr int func (); };

// struct A { constexpr int func () const; }; <-- C++11
// struct A { constexpr int func ();       }; <-- C++14

关于此更改的推荐材料,以及为什么它足以引入潜在的代码破坏:

• Andrzej的C++博客 - "constexpr"功能不是"const"
• open-std.org - constexpr成员函数和隐式const
• (open-std.org - 放宽对co​​nstexpr函数的约束)

示例代码段,在C++ 11和C++ 14中都是合法的,但具有不同的行为

struct Obj {
  constexpr int func (int) {
    return 1;
  }

  constexpr int func (float) const {
    return 2;
  }
};

Obj const a = {}; 
int const x = a.func (123);

// int const x = 1;   <-- C++11
// int const x = 2;   <-- C++14

C.3.4]去除 std::gets

std::gets已被删除,因为它是从标准库认为是危险的.

这样做的含义当然是尝试编译为C++ 11编写的代码,在C++ 14中,使用这样的函数很可能只是无法编译.

(注意:有一些方法可以编写无法编译的代码,并且具有不同的行为,这取决于std::gets从标准库中删除)