이동 연산자

dkwkekzz의 이미지

안녕하세요.

이동 연산 시, noexcept는 필수다. 그렇지 않다면 컴파일러는 이동하지 않고 복사한다.

하지만 실제로 실행해보면 noexcept를 선언하지 않아도 이동합니다.

그런데 noexcept를 선언하지 않아도 예외를 허용하지 않는 것 같습니다. 이동 연산에 예외를 던지면 예외 명세에 포함해도 혹은 그렇지 않아도 예외를 던지지 않고 프로그램은 죽어버립니다.

질문: 왜 noexcept를 선언 안해도 이동하는 것이지요?

알려주세요!

감사합니다.

 의 이미지

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

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

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

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

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo]. PHP 소스 코드는 다음과 같이 사용할 수 있습니다: <?php ... ?> 또는 <% ... %>.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo]. PHP 소스 코드는 다음과 같이 사용할 수 있습니다: <?php ... ?> 또는 <% ... %>.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo]. PHP 소스 코드는 다음과 같이 사용할 수 있습니다: <?php ... ?> 또는 <% ... %>.
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo]. PHP 소스 코드는 다음과 같이 사용할 수 있습니다: <?php ... ?> 또는 <% ... %>.
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.