C++에서 noexcept의 역할은?

Q1: `noexcept`란 무엇인가요?
A1: `noexcept`는 C++11부터 도입된 함수 명시자로, 해당 함수가 예외를 던지지 않는다고 컴파일러에 알리는 역할을 합니다.

Q2: `noexcept`가 없으면 어떤 차이가 있나요?
A2: 예외 명시가 없으면 함수가 예외를 던질 수 있다고 간주되어 최적화 기회가 제한될 수 있고, 예외 처리 시점에서 예외 여부를 판단해야 합니다.

Q3: `noexcept`의 기본 문법은 어떻게 되나요?
A3: 함수 선언 뒤에 `noexcept`를 붙입니다.
```cpp
void func() noexcept;
```

Q4: `noexcept(true)`와 `noexcept(false)`는 무슨 뜻인가요?
A4: `noexcept(true)`는 함수가 예외를 던지지 않음을 명시하며, `noexcept(false)`는 예외를 던질 수 있음을 뜻합니다. `noexcept`는 기본값이 `noexcept(true)`입니다.

Q5: `noexcept`는 런타임에 조건을 평가할 수도 있나요?
A5: 네. 예를 들어 `noexcept(expression)`처럼 표현식 결과에 따라 런타임이 아닌 컴파일 타임에 결정됩니다. 표현식은 반드시 컴파일 시점에 평가 가능해야 합니다.
예:
```cpp
template
void func() noexcept(noexcept(std::declval().foo())) {}
```

Q6: `noexcept`를 사용하는 장점은 무엇인가요?

A6:
- 컴파일러가 예외 발생 가능성을 알기에 최적화를 할 수 있음
- `std::terminate` 호출 조건을 컴파일러가 확실히 판단 가능
- 예외 안전성을 코드 상에서 명확히 표현하여 가독성 향상
- 일부 라이브러리 함수(예: move 생성자)에서 조건부 `noexcept`가 성능에 영향

Q7: `noexcept`가 있는 함수에서 예외가 발생하면 어떻게 되나요?
A7: `noexcept` 함수 내부에서 예외가 던져질 경우, 프로그램은 즉시 `std::terminate()`를 호출하여 종료됩니다. 이 때문에 `noexcept` 함수 내부에서는 예외가 발생하지 않도록 주의해야 합니다.

Q8: `noexcept`와 `throw()`의 차이점은 무엇인가요?
A8: `throw()`는 C++03에서 사용되던 예외 명시자이며, 호출 시 예외를 던지지 않음을 보장합니다. 그러나 `throw()`는 더 이상 권장되지 않고, `noexcept`가 그 대체재로 C++11부터 사용됩니다. `noexcept`는 컴파일 타임 검증과 최적화를 지원하며, 더 명확한 의미를 가집니다.

Q9: 언제 `noexcept`를 꼭 써야 하나요?
A9:
- 예외를 절대 던지지 않는 함수에 대해 명확히 표현할 때
- 이동 생성자 및 이동 할당 연산자 등에서 조건부 `noexcept`를 적용해 성능을 극대화할 때
- 라이브러리 코드에서 예외 안전성을 보장해야 할 때

Q10: `noexcept`를 무분별하게 붙여도 되나요?
A10: 아니요. 예외를 던질 가능성이 있거나, 내부에서 타 함수가 예외를 던질 수 있다면 `noexcept`를 붙이면 안 됩니다. 그렇지 않으면 예외 발생 시 `std::terminate`가 호출되어 프로그램이 강제 종료됩니다.

---

요약하면 `noexcept`는 함수가 예외를 던지지 않는다는 사실을 컴파일러에 알려 최적화 및 안전성을 높이고, 예외 처리 모델을 명확히 하는 중요한 기능입니다.

C++에서 참조(reference)란 무엇인가요?

C++에서 STL(Standard Template Library)란 무엇인가요?

C++에서 `noexcept`는 함수가 예외를 던지지 않을 것임을 명시적으로 선언하는 데 사용되는 키워드입니다.

C++11에서 도입된 이 기능은 예외 안전성을 높이고, 성능 최적화를 가능하게 하며, 코드의 가독성을 향상시키는 데 기여합니다.

`noexcept`의 역할과 이점에 대해 자세히 살펴보겠습니다.

1. 기본 개념 `noexcept`는 함수 선언에서 사용되며, 해당 함수가 예외를 던지지 않을 것임을 나타냅니다.

예를 들어: ```cpp void myFunction() noexcept { // 이 함수는 예외를 던지지 않습니다.

} ``` 이와 같이 선언된 함수는 예외가 발생할 경우 프로그램이 비정상적으로 종료되도록 합니다.

즉, `noexcept`가 적용된 함수 내에서 예외가 발생하면 `std::terminate()`가 호출됩니다.



2. 성능 최적화 C++ 컴파일러는 `noexcept`가 적용된 함수에 대해 더 많은 최적화를 수행할 수 있습니다.

예외 처리 메커니즘은 일반적으로 추가적인 오버헤드를 발생시키므로, 예외를 던지지 않는 함수에 대해 이러한 오버헤드를 제거할 수 있습니다.

예를 들어, `noexcept`가 적용된 함수는 스택 언와인딩(stack unwinding) 과정이 필요 없으므로, 성능이 향상될 수 있습니다.



3. 예외 안전성 `noexcept`를 사용하면 코드의 예외 안전성을 명확하게 표현할 수 있습니다.

예를 들어, STL(Standard Template Library) 컨테이너와 같은 일부 라이브러리에서는 `noexcept`가 적용된 함수만을 사용할 수 있는 경우가 있습니다.

이는 예외가 발생하지 않는다는 보장을 통해, 컨테이너의 내부 상태를 안전하게 유지할 수 있도록 합니다.



4. 조건부 noexcept C++에서는 `noexcept`를 조건부로 사용할 수 있는 방법도 제공합니다.

`noexcept`는 표현식으로 사용할 수 있으며, 이를 통해 특정 조건에 따라 함수가 예외를 던지지 않을지를 결정할 수 있습니다.

예를 들어: ```cpp template void myFunction(T&& arg) noexcept(noexcept(someOperation(std::forward(arg)))) { // someOperation이 noexcept인 경우에만 이 함수도 noexcept가 됩니다.

} ``` 이와 같이 사용하면, `someOperation`이 예외를 던지지 않을 경우에만 `myFunction`도 예외를 던지지 않도록 할 수 있습니다.



5. noexcept와 std::move `noexcept`는 이동 시맨틱스와도 밀접한 관련이 있습니다.

이동 생성자나 이동 대입 연산자가 `noexcept`로 선언되면, STL 컨테이너는 해당 객체를 더 효율적으로 이동할 수 있습니다.

예를 들어, `std::vector`는 요소를 이동할 때 `noexcept`가 적용된 이동 생성자를 사용할 수 있으며, 이는 성능을 크게 향상시킵니다.



6. 예외 처리와의 관계 `noexcept`는 예외 처리와 관련된 여러 가지 측면에서 중요한 역할을 합니다.

예를 들어, `noexcept`가 적용된 함수에서 예외가 발생하면 프로그램이 종료되므로, 이러한 함수를 호출하는 코드에서는 예외 처리를 고려할 필요가 없습니다.

이는 코드의 복잡성을 줄이고, 예외 처리 로직을 단순화하는 데 기여합니다.

결론 C++에서 `noexcept`는 함수가 예외를 던지지 않음을 명시적으로 선언하는 중요한 키워드입니다.

이를 통해 성능 최적화, 예외 안전성 강화, 코드 가독성 향상 등의 이점을 누릴 수 있습니다.

`noexcept`를 적절히 활용하면, 더 안전하고 효율적인 C++ 코드를 작성할 수 있습니다.