지금까지 평가 순서가 지정되지 않은 몇 가지 일반적인 경우 는에서 지정되고 유효합니다 C++17. 일부 정의되지 않은 동작은 이제 대신 지정되지 않습니다.
i = 1;
f(i++, i)
정의되지 않았지만 이제는 지정되지 않았습니다. 특히 지정되지 않은 것은 각 인수가 f다른 인수와 비교하여 평가 되는 순서입니다 . i++이전 i에 평가 되거나 그 반대로 평가 될 수 있습니다 . 실제로 동일한 컴파일러에 있음에도 불구하고 다른 순서로 두 번째 호출을 평가할 수 있습니다.
그러나, 각 인자의 평가된다 필요한 다른 모든 인자의 실행 전에 모든 부작용으로 완전히 실행. 따라서 f(1, 1)(두 번째 인수가 먼저 평가됨) 또는 f(1, 2)(첫 번째 인수가 먼저 평가됨 )을 얻을 수 있습니다 . 그러나 당신은 f(2, 2)그 성질의 어떤 것도 얻지 못할 것입니다.
std::cout << f() << f() << f();
지정되지 않았지만 연산자 우선 순위와 호환되므로의 첫 번째 평가가 f스트림에서 먼저 오게됩니다 (아래 예제 참조).
f(g(), h(), j());
g, h 및 j의 평가 순서가 지정되지 않았습니다. 의 경우 이전에 평가 될 getf()(g(),h(),j())규칙 상태에 유의하십시오 .getf()g, h, j
또한 제안 텍스트에서 다음 예를 참고하십시오.
std::string s = "but I have heard it works even if you don't believe in it"
s.replace(0, 4, "").replace(s.find("even"), 4, "only")
.replace(s.find(" don't"), 6, "");
이 예제는 The C ++ Programming Language , 4th edition, Stroustrup 에서 가져 왔으며 지정되지 않은 동작 이었지만 C ++ 17에서는 예상대로 작동합니다. 재개 가능한 함수 ( .then( . . . )) 와 유사한 문제가있었습니다 .
또 다른 예로 다음을 고려하십시오.
#include <iostream>
#include <string>
#include <vector>
#include <cassert>
struct Speaker{
int i =0;
Speaker(std::vector<std::string> words) :words(words) {}
std::vector<std::string> words;
std::string operator()(){
assert(words.size()>0);
if(i==words.size()) i=0;
auto word = words[i] + (i+1==words.size()?"\n":",");
++i;
return word;
}
};
int main() {
auto spk = Speaker{{"All", "Work", "and", "no", "play"}};
std::cout << spk() << spk() << spk() << spk() << spk() ;
}
C ++ 14를 사용하고 이전에 다음과 같은 결과를 얻을 수 있습니다.
play
no,and,Work,All,
대신에
All,work,and,no,play
위의 내용은 실제로 다음과 같습니다.
(((((std::cout << spk()) << spk()) << spk()) << spk()) << spk()) ;
그러나 여전히 C ++ 17 이전에는 첫 번째 호출이 스트림으로 먼저 올 것이라는 보장이 없었습니다.
참조 : 수락 된 제안에서 :
후위 식은 왼쪽에서 오른쪽으로 평가됩니다. 여기에는 함수 호출 및 멤버 선택식이 포함됩니다.
할당 식은 오른쪽에서 왼쪽으로 평가됩니다. 여기에는 복합 할당이 포함됩니다.
이동 연산자에 대한 피연산자는 왼쪽에서 오른쪽으로 평가됩니다. 요약하면 다음 표현식은 a, b, c, d 순서로 평가됩니다.
- ab
- a-> b
- a-> * b
- a (b1, b2, b3)
- b @ = a
- a [b]
- a << b
- a >> b
또한 다음과 같은 추가 규칙을 제안합니다. 오버로드 된 연산자를 포함하는 표현식의 평가 순서는 함수 호출 규칙이 아닌 해당 내장 연산자와 관련된 순서에 의해 결정됩니다.
메모 수정 : 내 원래 답변이 잘못 해석되었습니다 a(b1, b2, b3). 의 순서는 b1, b2, b3아직 지정되지 않습니다. (@KABoissonneault, 모든 댓글 작성자에게 감사드립니다.)
그러나, (@Yakk는 지적으로)와이 중요하다하더라도 b1, b2, b3, 사소하지 않은 표현입니다 그들 각각이 완전하게 평가 하고, 각각의 함수 매개 변수에 묶여 다른 사람이 평가되기 시작되기 전에. 표준은 다음과 같이 설명합니다.
§5.2.2-함수 호출 5.2.2.4 :
. . . postfix-expression은 expression-list 및 기본 인수의 각 표현식 앞에 순서가 지정됩니다. 매개 변수 초기화와 관련된 모든 값 계산 및 부작용 및 초기화 자체는 모든 후속 매개 변수의 초기화와 관련된 모든 값 계산 및 부작용 이전에 시퀀싱됩니다.
그러나 이러한 새로운 문장 중 하나가 GitHub 초안 에서 누락되었습니다 .
매개 변수 초기화와 관련된 모든 값 계산 및 부작용 및 초기화 자체는 모든 후속 매개 변수의 초기화와 관련된 모든 값 계산 및 부작용 이전에 시퀀싱됩니다.
예는 것입니다 있다. 그것은 다음 과 같은 예외 안전 으로 수십 년 된 문제를 해결합니다 ( Herb Sutter에서 설명 )
f(std::unique_ptr<A> a, std::unique_ptr<B> b);
f(get_raw_a(), get_raw_a());
get_raw_a()다른 원시 포인터가 스마트 포인터 매개 변수에 연결되기 전에 호출 중 하나 가 throw 되면 누출됩니다 .
TC가 지적했듯이 원시 포인터의 unique_ptr 구성이 명시 적이므로 컴파일을 방지하기 때문에 예제에 결함이 있습니다. *
또한이 고전주의 질문 (태그 C 가 아니라 C는 ++ ) :
int x=0;
x++ + ++x;
아직 정의되지 않았습니다.