(목록이 아닌 요점을 증명하기 위해 한두 가지 예를 찾고 있습니다.)

C ++ 표준의 변경 (예 : 98에서 11, 11에서 14 등)이 기존의 잘 구성되고 정의 된 동작 사용자 코드의 동작을 자동으로 변경 한 적이 있습니까? 즉, 최신 표준 버전으로 컴파일 할 때 경고 나 오류가 없습니까?

메모:

• 구현 자 / 컴파일러 작성자 선택이 아니라 표준 필수 동작에 대해 질문하고 있습니다.
• 인위적인 코드가 적을수록 더 좋습니다 (이 질문에 대한 답변).
• .NET과 같은 버전 감지 코드를 의미하지는 않습니다 #if __cplusplus >= 201103L.
• 메모리 모델과 관련된 답변은 괜찮습니다.

C ++ 17 string::data에서 const char*로 변경 의 반환 유형입니다 char*. 확실히 차이를 만들 수 있습니다.

void func(char* data)
{
    cout << data << " is not const\n";
}

void func(const char* data)
{
    cout << data << " is const\n";
}

int main()
{
    string s = "xyz";
    func(s.data());
}

약간 고안되었지만이 합법적 인 프로그램은 출력을 C ++ 14에서 C ++ 17로 변경합니다.

이 질문에 대한 대답 은 단일 size_type값을 사용하여 벡터를 초기화하면 C ++ 03과 C ++ 11간에 다른 동작 이 어떻게 발생하는지 보여줍니다 .

std::vector<Something> s(10);

C ++ 03은 기본 요소 유형의 임시 객체를 생성하고 해당 임시 Something요소로부터 벡터의 각 요소를 복사 생성합니다.

C ++ 11은 기본적으로 벡터의 각 요소를 구성합니다.

많은 (대부분?) 경우에 이러한 결과는 동등한 최종 상태가되지만 그럴 이유는 없습니다. Something의 기본 / 복사 생성자의 구현에 따라 다릅니다 .

이 인위적인 예를 참조하십시오 .

class Something {
private:
    static int counter;

public:
    Something() : v(counter++) {
        std::cout << "default " << v << '\n';
    }

    Something(Something const & other) : v(counter++) {
        std::cout << "copy " << other.v << " to " << v << '\n';
    }

    ~Something() {
        std::cout << "dtor " << v << '\n';
    }

private:
    int v;
};

int Something::counter = 0;

C ++ 03은 하나 Something를 기본 생성 하고 v == 0그 하나 를 10 개 더 복사 생성합니다. 마지막으로 벡터는 v값이 1에서 10까지 인 10 개의 객체를 포함합니다.

C ++ 11은 각 요소를 기본 구성합니다. 사본이 만들어지지 않습니다. 마지막으로 벡터에는 v값이 0에서 9까지 인 10 개의 객체가 포함됩니다.

표준은 Annex C [diff] 에서 주요 변경 사항 목록을 가지고 있습니다. 이러한 변화의 대부분은 조용한 행동 변화로 이어질 수 있습니다.

예 :

int f(const char*); // #1
int f(bool);        // #2

int x = f(u8"foo"); // until C++20: calls #1; since C++20: calls #2

표준 라이브러리에 새로운 메서드 (그리고 종종 함수)를 추가 할 때마다 이런 일이 발생합니다.

표준 라이브러리 유형이 있다고 가정합니다.

struct example {
  void do_stuff() const;
};

아주 간단합니다. 일부 표준 개정에서는 새 메서드 또는 오버로드 또는 그 옆에 추가됩니다.

struct example {
  void do_stuff() const;
  void method(); // a new method
};

이는 기존 C ++ 프로그램의 동작을 자동으로 변경할 수 있습니다.

이는 C ++의 현재 제한된 리플렉션 기능이 이러한 메서드가 있는지 감지 하고이를 기반으로 다른 코드를 실행 하기에 충분하기 때문입니다.

template<class T, class=void>
struct detect_new_method : std::false_type {};

template<class T>
struct detect_new_method< T, std::void_t< decltype( &T::method ) > > : std::true_type {};

이것은 새로운 것을 감지하는 비교적 간단한 방법 일 뿐이며 method무수히 많은 방법이 있습니다.

void task( std::false_type ) {
  std::cout << "old code";
};
void task( std::true_type ) {
  std::cout << "new code";
};

int main() {
  task( detect_new_method<example>{} );
}

클래스에서 메서드를 제거 할 때도 마찬가지입니다.

이 예제는 메소드의 존재를 직접 감지하지만 간접적으로 발생하는 이런 종류의 일은 덜 인위적 일 수 있습니다. 구체적인 예로, 반복 가능한지 또는 원시 바이트를 가리키는 데이터와 크기 멤버가 있는지 여부에 따라 컨테이너로 직렬화 할 수 있는지 여부를 결정하는 직렬화 엔진이있을 수 있습니다. 다른 하나.

표준은 .data()컨테이너에 메소드를 추가 하고 갑자기 유형이 직렬화에 사용하는 경로를 변경합니다.

C ++ 표준이 할 수있는 모든 것은 동결을 원하지 않는다면 조용히 깨지는 종류의 코드를 드물거나 비합리적으로 만드는 것입니다.

오 이런 ... 제공된 링크 cpplearner 가 무섭습니다 .

무엇보다도 C ++ 20은 C ++ 구조체의 C 스타일 구조체 선언을 허용하지 않았습니다.

typedef struct
{
  void member_foo(); // Ill-formed since C++20
} m_struct;

당신이 그런 구조체를 작성하는 것을 배웠다면 (그리고 "C with classes"를 가르치는 사람들은 정확히 그것을 가르친다) 당신은 망했다 .

다음은 C ++ 03에서는 3을 인쇄하고 C ++ 11에서는 0을 인쇄하는 예입니다.

template<int I> struct X   { static int const c = 2; };
template<> struct X<0>     { typedef int c; };
template<class T> struct Y { static int const c = 3; };
static int const c = 4;
int main() { std::cout << (Y<X< 1>>::c >::c>::c) << '\n'; }

이러한 동작 변경은에 대한 특수 처리로 인해 발생했습니다 >>. C ++ 11 이전에는 >>항상 오른쪽 시프트 연산자였습니다. C ++ 11 >>을 사용하면 템플릿 선언의 일부가 될 수도 있습니다.

트라이 그래프가 떨어졌습니다.

소스 파일은 구현 정의 방식으로 표준에 정의 된 소스 문자 집합에 매핑 되는 물리적 문자 집합 으로 인코딩됩니다 . 기본적으로 소스 문자 집합에 필요한 모든 구두점이없는 일부 물리적 문자 집합의 매핑을 수용하기 위해 언어는 덜 일반적인 구두점 문자 대신 사용할 수있는 세 개의 일반적인 문자 시퀀스 인 삼중 문자를 정의했습니다. 이를 처리하려면 전처리 기와 컴파일러가 필요했습니다.

C ++ 17에서는 삼중 문자가 제거되었습니다. 따라서 일부 소스 파일은 물리적 문자 집합에서 소스 문자 집합에 일대일로 매핑되는 다른 물리적 문자 집합으로 먼저 변환되지 않는 한 최신 컴파일러에서 허용되지 않습니다. (실제로 대부분의 컴파일러는 삼중 문자의 해석을 선택 사항으로 설정했습니다.) 이것은 미묘한 동작 변경은 아니지만 이전에 허용 된 소스 파일이 외부 번역 프로세스없이 컴파일되는 것을 방지하는 주요 변경 사항입니다.

더 많은 제약 char

표준은 또한 구현이 정의 된 실행 문자 집합을 참조 하지만 최소한 전체 소스 문자 집합과 적은 수의 제어 코드를 포함해야합니다.

char실행 문자 집합의 모든 값을 효율적으로 표현할 수있는 부호없는 정수 형식으로 정의 된 C ++ 표준 입니다. 언어 변호사의 표현을 통해 a char는 8 비트 이상이어야 한다고 주장 할 수 있습니다 .

구현에서에 대해 부호없는 값을 사용하는 경우 char0에서 255까지의 범위가 될 수 있으므로 가능한 모든 바이트 값을 저장하는 데 적합합니다.

그러나 구현에서 부호있는 값을 사용하는 경우 옵션이 있습니다.

대부분은 2의 보수를 사용 char하여 -128에서 127 사이의 최소 범위를 제공 합니다. 이는 256 개의 고유 한 값입니다.

그러나 또 다른 옵션은 부호 + 크기로, 한 비트는 숫자가 음수인지 여부를 나타 내기 위해 예약되고 다른 7 비트는 크기를 나타냅니다. 이는 char-127에서 127까지의 범위를 제공 하며, 이는 255 개의 고유 값에 불과합니다. (0을 나타내는 유용한 비트 조합 하나를 잃기 때문입니다.)

나는 확실히위원회는 지금까지 명시 적 결함으로이 지정 아니지만, 당신은에서 왕복을 보장하기 위해 표준에 의존 할 수 없기 때문에 그것은이었다 unsigned char에 char다시 원래 값을 유지한다. (실제로 모든 구현은 부호있는 정수 유형에 대해 모두 2의 보수를 사용했기 때문에 수행되었습니다.)

최근에야 (C ++ 17?) 라운드 트립을 보장하기 위해 문구가 수정되었습니다. 에 대한 다른 모든 요구 사항과 함께이 수정은 명시 적으로 말하지 않고 char부호에 대한 2의 보수를 효과적으로 요구 char합니다 (표준이 다른 부호있는 정수 유형에 대해 부호 + 크기 표현을 계속 허용하더라도). 모든 부호있는 정수 유형이 2의 보수를 사용하도록 요구하는 제안이 있지만 C ++ 20으로 만들 었는지 기억 나지 않습니다.

따라서 이것은 이전에 잘못된 지나치게 주제 넘은 코드에 소급 수정을 제공하기 때문에 찾고있는 것과 반대입니다 .

이것이 올바른 코드에 대한 주요 변경 사항이라고 생각할지 모르겠지만 ...

C ++ 11 이전에는 컴파일러가 복사 생성자에 관찰 가능한 부작용이있는 경우에도 특정 상황에서 복사본을 제거하도록 허용되었지만 필수는 아닙니다. 이제 우리는 복사 제거를 보장했습니다. 동작은 기본적으로 구현 정의에서 필수로 바뀌 었습니다.

이는 복사 생성자 부작용 이 이전 버전에서 발생했을 수 있지만 최신 버전에서는 발생 하지 않음을 의미 합니다. 올바른 코드가 구현 정의 결과에 의존해서는 안된다고 주장 할 수 있지만, 그러한 코드가 올바르지 않다고 말하는 것과 완전히 같지는 않다고 생각합니다.

스트림에서 (숫자) 데이터를 읽고 읽기가 실패 할 때의 동작이 C ++ 11 이후로 변경되었습니다.

예를 들어 정수를 포함하지 않는 스트림에서 정수를 읽는 경우 :

#include <iostream>
#include <sstream>

int main(int, char **) 
{
    int a = 12345;
    std::string s = "abcd";         // not an integer, so will fail
    std::stringstream ss(s);
    ss >> a;
    std::cout << "fail = " << ss.fail() << " a = " << a << std::endl;        // since c++11: a == 0, before a still 12345 
}

C ++ 11은 실패 할 때 읽기 정수를 0으로 설정하기 때문에; c ++ <11에서 정수는 변경되지 않았습니다. 즉, gcc는 표준을 C ++ 98로 다시 강제 적용하더라도 (-std = c ++ 98 사용) 항상 버전 4.4.7 이후로 새로운 동작을 보여줍니다.

(아무것도 읽을 수 없는데도 그 자체로 유효한 값을 0으로 변경하는 이유는 무엇입니까?)

참조 : https://en.cppreference.com/w/cpp/locale/num_get/get 참조