이 C++ 11 람다 코드는 정의되지 않은 동작을 호출합니까?

Question

C++ 11 §5.1.2/6

아니 람다 캡처 람다 표현식에 대한 폐쇄 형은 [...] 변환 기능을 갖는다 ...]. 이 변환 함수에 의해 반환되는 값은 호출 될 때 클로저 타입의 함수 호출 연산자를 호출하는 것과 같은 효과를 갖는 함수의 주소 여야한다.

참고 :이 변환이 항상 같은 유형의 같은 값을 반환라고하지 않습니다. 그렇다면 다음 프로그램이 UB 과과 관련된 모든 의미 파괴와 관련이 있습니까?

int main() { 
    auto f = []{}; 
    return ((+f) == (+f)); 
} 

주 : 실제 컴파일러가 true하지만 아무것도를 제공했지만, 문제는 컴파일러가 법적 다른 작업을 수행 할 수있는 경우에 대한 경우 나는 철저하게 놀랠 것?

---

편집 :이 규격이 더 요구 사항을 [주를 부과하지 않은

C++ 11 §1.3.24

정의되지 않은 동작

행동 : 정의되지 않은 행동이 될 수있다 이 국제 표준이 행동의 명시 적 정의를 생략하거나 프로그램이 잘못된 구성이나 오류가있는 데이터를 사용할 때 예상된다.

Answer 1

(같은 유형의) 함수 포인터가 서로 같지 않더라도 같음을 테스트 할 수 있습니다 (그렇지 않으면 함수 포인터의 경우 ==). [expr.eq]에서

은 : (포인터 변환 후) 동일한 유형의

포인터를 지 어떤지를 비교 할 수 있습니다. 동일한 유형의 두 포인터는 모두 널이거나 둘 다 동일한 함수를 가리 키거나 둘 다 동일한 주소 (3.9.2)를 나타내는 경우에만 같음을 비교합니다.

정의되지 않은 동작이있는 프로그램이 없습니다. 당신의 프로그램은 동등 검사가 true 또는 false 중 하나를 반환 할 수 있다는 점에서 불특정 행동을하지만 프로그램은 비강 악마를 소환하거나, 미사일을 발사하거나, 하드 드라이브를 닦지 못하거나, 정의되지 않은 행동과 관련된 다른 불쾌한 행동을 할 수 없습니다.

Answer 2

아니요, 정의되지 않았거나 지정되지 않았습니다. 당신은 항상 같음 결과 (true 또는 false)인지 여부를 모릅니다. 그러나 프로그램에 정의되지 않은 동작이 있거나 결과가 "지정되지 않은 값"에 해당한다는 것을 의미하지는 않습니다 ".

간단히 말해서, 이것은 rand() 또는 심지어 &someVariable으로의 호출과 같은 UB와 같습니다.