이동 연산자

흥미로운 분야에서 질문이 올라왔군요.

제가 알기로는, noexcept이든 아니든 이동 연산자는 그 역할을 수행합니다.
단지 noexcept가 아닌 이동 연산자는 예외 안전성을 보장하려는 측면에서 썩 유용하지 않다는 점이 문제가 될 뿐입니다.
그런 측면에서 STL과 같은 모범적인 템플릿 코드들은 noexcept가 아닌 이동 연산자의 호출을 회피하는데, 이 역시 컴파일러의 기능이 아닌 코드로써 구현된 것입니다. (e.g., move_if_noexcept)
하지만 예외 안전성은 컴파일러가 신경써주는 범위 밖이지요. 컴파일러가 memory leak 가능성을 경고해주진 않는 것처럼요.
(Disclaimer: 미래에는 예외 안전성을 점검해 줄 수 있는 컴파일러 내지 정적 분석기가 나올 수도 있겠지요. 그런데 그쯤 되면 memory leak 가능성을 점검해 주는 컴파일러/정적 분석기도 나올 겁니다. 빨리 나왔으면 좋겠네요.)

그러니 질문자님의 경우에서 정말로 놀라운 진술은, noexcept를 지정하지 않은 이동 연산자에서 예외를 던졌을 때 프로그램이 죽은 사례인 것 같습니다.
일단 제가 의심하기로는 noexcept 지정된 함수에서 해당 이동 연산자를 호출하여 생긴 문제인 것 같습니다만, 코드를 보지 않고는 확인할 수가 없겠습니다. 혹시 해당 상황을 재현하는 예시 코드를 보여주실 수 있으신지요.

아무튼 구체적이고 신뢰성 있는 답변을 드리려면 제게도 시간이 좀 필요하겠는데요. 오늘은 시각이 늦었으니 내일 좀 더 생각해 보겠습니다.