정제 식 평가 (제안 n4228의 C++ 17)

Question

이 제안 n4228 읽기 나는 다음과 같은 코드를 읽어 보시기 바랍니다 .

어디에 문제가 있습니까? 어쩌면 s.find("even")과 s.find(" don't")은 다른 측면과 다른 순서로 평가됩니까? 어떤 replaces가 발생하기 전에?

문제를 발견하는 도구는 누구입니까?

Answer 1

네, 맞습니다. C++ (pre-17)의 규칙에 따라 s.find에 대한 두 번의 호출은 대체 호출 전에 실행될 수 있습니다. 그리고 바꾸기 호출이 문자열을 수정하기 때문에 find에 의해 반환 된 인덱스가 사용되는 시점까지 더 이상 유효하지 않게 만들 수 있습니다.

C++ 17 CD에 투표 된 (불행히도 약한) 규칙이이를 방지하고 코드가 예상대로 작동합니다.