예, 동일한 코드로 인해 C ++ 03과 C ++ 11간에 다른 동작이 발생하는 변경 사항이 많이 있습니다. 시퀀싱 규칙의 차이로 인해 이전에 정의되지 않은 일부 동작이 잘 정의되는 등 흥미로운 변경이 발생합니다.
1. 이니셜 라이저 목록 내에서 동일한 변수의 여러 돌연변이
매우 흥미로운 코너 사례는 초기화 목록 내에서 동일한 변수의 여러 돌연변이를 예로들 수 있습니다.
int main()
{
int count = 0 ;
int arrInt[2] = { count++, count++ } ;
return 0 ;
}
C ++ 03과 C ++ 11 둘 다 잘 정의되어 있지만 C ++ 03의 평가 순서는 지정되어 있지 않지만 C ++ 11에서는 나타나는 순서대로 평가됩니다 . 따라서 clangC ++ 03 모드에서 컴파일 하면 다음과 같은 경고가 표시됩니다 ( 실제 참조 ).
warning: multiple unsequenced modifications to 'count' [-Wunsequenced]
int arrInt[2] = { count++, count++ } ;
^ ~~
그러나 C ++ 11에서는 경고를 제공하지 않습니다 ( 실제 참조 ).
2. 새로운 시퀀싱 규칙은 i = ++ i + 1; C ++ 11에 잘 정의되어 있습니다.
C ++ 03 이후에 채택 된 새로운 시퀀싱 규칙은 다음을 의미합니다.
int i = 0 ;
i = ++ i + 1;
C ++ 11에서 더 이상 정의되지 않은 동작이 아닙니다 . 이는 결함 보고서 637 에서 다룹니다 . 시퀀싱 규칙 및 예제가 일치하지 않습니다.
3. 새로운 시퀀싱 규칙은 또한 ++++ i를 만든다; C ++ 11에 잘 정의되어 있습니다.
C ++ 03 이후에 채택 된 새로운 시퀀싱 규칙은 다음을 의미합니다.
int i = 0 ;
++++i ;
더 이상 C ++ 11에서 정의되지 않은 동작이 아닙니다.
4. 약간 더 현명한 서명 된 왼쪽-시프트
C ++ 11의 이후 초안에는 1 비트를 부호 비트로 또는 부호 비트로 이동시키는 정의되지 않은 동작을N3485 아래에 고정시킨 링크가 포함됩니다 . 이것도 결함 보고서 1457 에서 다룹니다 . Howard Hinnant는 스레드에서이 변경의 중요성에 대해 언급했습니다. C ++ 11에서 왼쪽 이동 (<<)이 음의 정수 정의되지 않은 동작입니까? .
5. constexpr 함수는 C ++ 11에서 컴파일 시간 상수 표현식으로 취급 될 수 있습니다
C ++ 11은 다음과 같은 constexpr 함수를 도입했습니다 .
constexpr 지정자는 컴파일시 함수 또는 변수의 값을 평가할 수 있음을 선언합니다. 그런 다음 컴파일 시간 상수 표현식 만 허용되는 경우 이러한 변수와 함수를 사용할 수 있습니다.
C ++ 03에는 constexpr 기능이 없지만 표준 라이브러리는 C ++ 11에서 constexpr 로 많은 함수를 제공하므로 constexpr 키워드 를 명시 적으로 사용할 필요가 없습니다 . 예를 들어 std :: numeric_limits :: min 입니다. 예를 들어 다음과 같이 다른 동작이 발생할 수 있습니다.
#include <limits>
int main()
{
int x[std::numeric_limits<unsigned int>::min()+2] ;
}
clangC ++ 03에서 이것을 사용하면 x가변 길이 배열이 생겨 확장 이며 다음 경고가 생성됩니다.
warning: variable length arrays are a C99 feature [-Wvla-extension]
int x[std::numeric_limits<unsigned int>::min()+2] ;
^
C ++ 11 std::numeric_limits<unsigned int>::min()+2에서는 컴파일 시간 상수 표현식이며 VLA 확장이 필요하지 않습니다.
6. C ++ 11에서는 소멸자를 위해 예외 사양이 암시 적으로 생성되지 않습니다.
C ++ 11에서 사용자 정의 소멸자는 제외 자noexcept(true) 에서 설명한대로 암시 적 사양을 가지고 있기 때문에 다음 프로그램을 의미합니다.
#include <iostream>
#include <stdexcept>
struct S
{
~S() { throw std::runtime_error(""); } // bad, but acceptable
};
int main()
{
try { S s; }
catch (...) {
std::cerr << "exception occurred";
}
std::cout << "success";
}
C ++ 11 std::terminate에서는 C ++ 03에서 호출 하지만 성공적으로 실행됩니다.
7. C ++ 03에서 템플릿 인수는 내부 연결을 가질 수 없습니다
이것은 std :: sort가 함수 내에 선언 된 Compare 클래스를 허용하지 않는 이유 에서 잘 설명되어 있습니다 . 따라서 다음 코드는 C ++ 03에서 작동하지 않아야합니다.
#include <iostream>
#include <vector>
#include <algorithm>
class Comparators
{
public:
bool operator()(int first, int second)
{
return first < second;
}
};
int main()
{
class ComparatorsInner : public Comparators{};
std::vector<int> compares ;
compares.push_back(20) ;
compares.push_back(10) ;
compares.push_back(30) ;
ComparatorsInner comparatorInner;
std::sort(compares.begin(), compares.end(), comparatorInner);
std::vector<int>::iterator it;
for(it = compares.begin(); it != compares.end(); ++it)
{
std::cout << (*it) << std::endl;
}
}
하지만 현재 clang는 사용하지 않는 경고와 C ++ 03 모드에서이 코드 수 있습니다 -pedantic-errors종류 구역질이다 플래그, 그것은 살아 볼 .
8. 여러 템플릿을 닫을 때 >>가 더 이상 잘못된 형식이 아닙니다.
사용 >>가까운 여러 템플릿에 더 이상 잘못 형성 없지만 C ++ 03과 C + 11에서 다른 결과 코드로 이어질 수 있습니다. 아래 예는 직각 괄호와 이전 버전과의 호환성 에서 가져온 것입니다 .
#include <iostream>
template<int I> struct X {
static int const c = 2;
};
template<> struct X<0> {
typedef int c;
};
template<typename T> struct Y {
static int const c = 3;
};
static int const c = 4;
int main() {
std::cout << (Y<X<1> >::c >::c>::c) << '\n';
std::cout << (Y<X< 1>>::c >::c>::c) << '\n';
}
C ++ 03의 결과는 다음과 같습니다.
0
3
그리고 C ++ 11에서 :
0
0
9. C ++ 11은 std :: vector 생성자의 일부를 변경합니다
이 답변 에서 약간 수정 된 코드는 std :: vector 의 다음 생성자를 사용하는 것을 보여줍니다 .
std::vector<T> test(1);
C ++ 03 및 C ++ 11에서 다른 결과를 생성합니다.
#include <iostream>
#include <vector>
struct T
{
bool flag;
T() : flag(false) {}
T(const T&) : flag(true) {}
};
int main()
{
std::vector<T> test(1);
bool is_cpp11 = !test[0].flag;
std::cout << is_cpp11 << std::endl ;
}
10. 집계 초기화 프로그램의 변환 축소
C ++ 11에서는 집계 초기화 프로그램의 축소 변환이 잘못되어 gccC ++ 11에서 기본적으로 경고를 제공하지만 C ++ 11 및 C ++ 03에서 모두 허용 하는 것처럼 보입니다 .
int x[] = { 2.0 };
이에 대한 내용은 C ++ 11 표준 섹션 8.5.4 목록 초기화 단락 3 에서 다룹니다 .
객체의 목록 초기화 또는 T 유형의 참조는 다음과 같이 정의됩니다.
다음 글 머리 기호 ( 강조 강조 )를 포함합니다.
그렇지 않으면 T가 클래스 유형 인 경우 생성자가 고려됩니다. 적용 가능한 생성자가 열거되고 과부하 해결 (13.3, 13.3.1.7)을 통해 가장 적합한 생성자가 선택됩니다. 인수를 변환하기 위해 축소 변환 (아래 참조)이 필요한 경우 프로그램이 잘못 구성됩니다.
이것과 더 많은 인스턴스는 C ++ 표준 섹션 annex C.2 C ++ 및 ISO C ++ 2003 초안 에서 다룹니다 . 또한 다음이 포함됩니다.
새로운 종류의 문자열 리터럴 [...] 구체적으로 R, u8, u8R, u, uR, U, UR 또는 LR이라는 매크로는 문자열 리터럴에 인접 해있을 때 확장되지 않지만 문자열 리터럴의 일부로 해석됩니다. . 예를 들어
#define u8 "abc"
const char *s = u8"def"; // Previously "abcdef", now "def"
사용자 정의 리터럴 문자열 지원 [...] 이전 # 1은 두 개의 별도 전처리 토큰으로 구성되었으며 매크로 _x가 확장되었을 것입니다. 이 국제 표준에서 # 1은 단일 전처리 토큰으로 구성되므로 매크로가 확장되지 않습니다.
#define _x "there"
"hello"_x // #1
정수 나누기를 사용하는 정수 / 및 % [...] 2003 코드의 결과에 반올림을 지정하면 결과가 0 또는 음의 무한대로 반올림되지만,이 국제 표준은 항상 결과를 0으로 반올림합니다.
size () 멤버 함수의 복잡성은 이제 일정합니다 [...] C ++ 2003을 준수하는 일부 컨테이너 구현은이 국제 표준의 지정된 size () 요구 사항을 준수하지 않을 수 있습니다. std :: list와 같은 컨테이너를보다 엄격한 요구 사항으로 조정하려면 호환되지 않는 변경이 필요할 수 있습니다.
std :: ios_base :: failure [...]의 기본 클래스 변경 std :: ios_base :: failure는 더 이상 std :: exception에서 직접 파생되지 않지만 이제 std :: system_error에서 파생됩니다. std :: runtime_error. std :: ios_base :: failure가 std :: exception에서 직접 파생 된 것으로 가정하는 유효한 C ++ 2003 코드는이 국제 표준에서 다르게 실행될 수 있습니다.
auto이런 상황이 발생할 수 있다고 확신 합니다