C++ attribute: nodiscard (since C++17)

nodiscard 로 선언된 함수나 nodiscard 로 선언된 열거형이나 클래스를 값으로 반환하는 함수가 void 로의 형변환을 제외한 폐기값 표현식 에서 호출되면, 컴파일러는 경고를 발행하도록 권장됩니다.

구문

설명

함수 선언, 열거형 선언 또는 클래스 선언에 나타납니다.

만약, 폐기 값 표현식 중 void 로의 캐스트를 제외한 다른 표현식에서,

• nodiscard 로 선언된 함수가 호출되거나,
• 값으로 반환되는 열거형 또는 클래스가 nodiscard 로 선언된 함수가 호출되거나,
• nodiscard 로 선언된 생성자가 명시적 형 변환 또는 static_cast 에 의해 호출되거나,
• nodiscard 로 선언된 열거형 또는 클래스 타입의 객체가 명시적 형 변환 또는 static_cast 에 의해 초기화되는 경우,

컴파일러가 경고를 발생하도록 권장됩니다.

예제

struct [[nodiscard]] error_info { /*...*/ };
error_info enable_missile_safety_mode() { /*...*/ return {}; }
void launch_missiles() { /*...*/ }
void test_missiles()
{
    enable_missile_safety_mode(); // 컴파일러가 nodiscard 값을 버리는 것에 대해 경고할 수 있음
    launch_missiles();
}
error_info& foo() { static error_info e; /*...*/ return e; }
void f1() { foo(); } // nodiscard 타입이 값으로 반환되지 않음, 경고 없음
// nodiscard( 문자열 리터럴 ) (C++20부터):
[[nodiscard("PURE FUN")]] int strategic_value(int x, int y) { return x ^ y; }
int main()
{
    strategic_value(4, 2); // 컴파일러가 nodiscard 값을 버리는 것에 대해 경고할 수 있음
    auto z = strategic_value(0, 0); // OK: 반환 값이 버려지지 않음
    return z;
}

game.cpp:5:4: warning: ignoring return value of function declared with ⮠
 'nodiscard' attribute
game.cpp:17:5: warning: ignoring return value of function declared with ⮠
 'nodiscard' attribute: PURE FUN

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고문헌

참고 항목