[[nodiscard]]는 어디에 붙이는 것이 가장 효과적인가?

반환값이 의미·안전(에러·리소스)과 직접 연결되는 함수, 생성자(특히 RAII/검사 실패 시점), enum·클래스 등에 쓰면 무시로 인한 버그를 잡는 데 효과적입니다. void 반환이나 부수효과만 있는 API에는 효과가 제한됩니다.

C++의 [[deprecated]]는 컴파일러마다 다르게 동작하나?

표준이라 공통적으로 ‘사용 권고 중단’ 경고/메시지를 내지만, 강도·메시지 형식·경고 번호는 컴파일러마다 다를 수 있습니다. 팀은 -Werror 사용 시 빌드 정책을 함께 정하는 것이 좋습니다.

[[likely]]/[[unlikely]]는 반드시 최적화에 도움이 되나?

분기 예측 힌트이므로, 실제 프로파일과 일치할 때에만 이득이 있을 수 있습니다. 잘못 붙이면 캐시·파이프라인에 불리해질 수 있어, 측정 없이 광범위하게 쓰는 것은 권장되지 않습니다.

[[gnu::...]]·[[msvc::...]] 같은 벤더 속성을 표준 속성과 같이 써도 되나?

같이 쓸 수는 있으나, 이식성과 빌드 매트릭스(툴체인·버전)에 따라 조건부 컴파일이 필요할 수 있습니다. 가능한 한 표준 [[...]]로 먹히는지 먼저 검토하는 편이 유지보수에 유리합니다.

C++ Attributes | '속성' 완벽 가이드

2026년 3월 12일 · 11분 읽기 · 수정 2026년 4월 7일 중급 튜토리얼

이 글의 핵심

C++ 속성(nodiscard·deprecated 등)으로 컴파일러 힌트와 경고를 활용하는 법. 실무에서 자주 쓰는 속성과 사용 예를 정리합니다.

Attributes란?

Attributes (속성) 는 C++11에서 도입된 기능으로, 컴파일러에게 추가 정보를 제공하는 표준화된 방법입니다. 코드 품질 향상, 최적화 힌트, API 문서화 등에 사용됩니다.

왜 필요한가?:

코드 품질: 컴파일러 경고로 버그 방지
최적화: 컴파일러에게 최적화 힌트 제공
문서화: 의도를 명확히 표현
표준화: 컴파일러별 확장 대신 표준 사용

compute 함수의 구현 예제입니다.

// ❌ 컴파일러별 확장: 비표준
#ifdef __GNUC__
    __attribute__((warn_unused_result))
#endif
int compute();

// ✅ 표준 속성: 모든 컴파일러
[[nodiscard]] int compute();

[[nodiscard]]

반환값을 무시하면 경고를 발생시킵니다. 에러 코드나 중요한 리소스를 반환하는 함수에 사용합니다.

main 함수의 구현 예제입니다.

// 반환값 무시 시 경고
[[nodiscard]] int compute() {
    return 42;
}

int main() {
    compute();  // 경고: 반환값 무시
    
    int result = compute();  // OK
}

사용 시나리오:

에러 코드: [[nodiscard]] ErrorCode save()
리소스 핸들: [[nodiscard]] FileHandle open()
중요한 계산: [[nodiscard]] int calculate()

// 에러 코드
[[nodiscard]] bool saveFile(const std::string& path) {
    // 저장 로직
    return true;
}

// ❌ 에러 무시
saveFile("data.txt");  // 경고

// ✅ 에러 확인
if (!saveFile("data.txt")) {
    std::cerr << "저장 실패\n";
}

[[deprecated]]

oldFunc 함수의 구현 예제입니다.

// 사용 중단 경고
[[deprecated("use newFunc instead")]]
void oldFunc() {
    cout << "구식 함수" << endl;
}

void newFunc() {
    cout << "새 함수" << endl;
}

int main() {
    oldFunc();  // 경고: deprecated
    newFunc();  // OK
}

[[maybe_unused]]

func 함수의 구현 예제입니다.

void func([[maybe_unused]] int debug) {
    #ifdef DEBUG
        cout << "디버그: " << debug << endl;
    #endif
    // debug 미사용 시 경고 없음
}

int main() {
    [[maybe_unused]] int x = 10;
    // x 미사용 시 경고 없음
}

[[likely]] / [[unlikely]] (C++20)

int process(int x) {
    if (x > 0) [[likely]] {
        // 대부분 이 경로
        return x * 2;
    } else [[unlikely]] {
        // 드문 경로
        return 0;
    }
}

[[fallthrough]]

void process(int x) {
    switch (x) {
        case 1:
            cout << "1" << endl;
            [[fallthrough]];  // 의도적 fall-through
        case 2:
            cout << "1 또는 2" << endl;
            break;
        case 3:
            cout << "3" << endl;
            // [[fallthrough]];  // 경고 없음 (마지막 케이스)
    }
}

[[noreturn]]

[[noreturn]] void fatal(const string& msg) {
    cerr << "치명적 에러: " << msg << endl;
    exit(1);
}

int main() {
    if (error) {
        fatal("에러 발생");
        // 여기 도달 안함
    }
}

실전 예시

예시 1: 에러 처리

class [[nodiscard]] Result {
private:
    bool success;
    string message;
    
public:
    Result(bool s, string m) : success(s), message(m) {}
    
    bool isOk() const { return success; }
    string getMessage() const { return message; }
};

Result saveFile(const string& filename) {
    // 파일 저장 로직
    return Result(true, "저장 성공");
}

int main() {
    saveFile("test.txt");  // 경고: 반환값 무시
    
    auto result = saveFile("test.txt");  // OK
    if (!result.isOk()) {
        cout << result.getMessage() << endl;
    }
}

예시 2: API 버전 관리

class API {
public:
    [[deprecated("use processV2 instead")]]
    void processV1(int data) {
        cout << "V1: " << data << endl;
    }
    
    void processV2(int data, bool flag = false) {
        cout << "V2: " << data << ", " << flag << endl;
    }
};

int main() {
    API api;
    
    api.processV1(10);  // 경고
    api.processV2(10);  // OK
}

예시 3: 최적화 힌트

#include <random>

int main() {
    random_device rd;
    mt19937 gen(rd());
    uniform_int_distribution<> dis(1, 100);
    
    int x = dis(gen);
    
    if (x > 50) [[likely]] {
        // 50% 확률 (likely)
        cout << "큰 수" << endl;
    } else [[unlikely]] {
        // 50% 확률 (unlikely는 부적절)
        cout << "작은 수" << endl;
    }
    
    // 올바른 사용
    if (x > 95) [[unlikely]] {
        // 5% 확률
        cout << "매우 큰 수" << endl;
    }
}

예시 4: 스위치 fall-through

enum Command {
    CMD_INIT,
    CMD_START,
    CMD_STOP,
    CMD_CLEANUP
};

void execute(Command cmd) {
    switch (cmd) {
        case CMD_INIT:
            cout << "초기화" << endl;
            [[fallthrough]];
        case CMD_START:
            cout << "시작" << endl;
            break;
        case CMD_STOP:
            cout << "중지" << endl;
            [[fallthrough]];
        case CMD_CLEANUP:
            cout << "정리" << endl;
            break;
    }
}

int main() {
    execute(CMD_INIT);
    // 초기화
    // 시작
}

컴파일러별 지원

fastFunc 함수의 구현 예제입니다.

// GCC/Clang
[[gnu::always_inline]]
inline void fastFunc() {}

// MSVC
[[msvc::forceinline]]
void fastFunc() {}

// 크로스 플랫폼
#ifdef __GNUC__
    [[gnu::always_inline]]
#elif _MSC_VER
    [[msvc::forceinline]]
#endif
inline void fastFunc() {}

자주 발생하는 문제

문제 1: nodiscard 무시

main 함수의 구현 예제입니다.

[[nodiscard]] int compute() {
    return 42;
}

int main() {
    (void)compute();  // 명시적 무시 (경고 없음)
    
    compute();  // 경고
}

문제 2: likely/unlikely 오용

// ❌ 잘못된 힌트
if (x == 0) [[likely]] {  // 실제로는 드문 경우
    // ...
}

// ✅ 올바른 힌트
if (x != 0) [[likely]] {  // 실제로 자주 발생
    // ...
}

문제 3: fallthrough 위치

switch (x) {
    case 1:
        cout << "1" << endl;
        // [[fallthrough]];  // 여기 아님!
    [[fallthrough]];  // 여기!
    case 2:
        cout << "2" << endl;
        break;
}

속성 조합

oldFunc 함수의 구현 예제입니다.

[[nodiscard, deprecated("use newFunc")]]
int oldFunc() {
    return 42;
}

[[nodiscard]] [[deprecated]]
int oldFunc2() {
    return 42;
}

실무 패턴

패턴 1: RAII 리소스

class [[nodiscard]] FileHandle {
    FILE* file_;
    
public:
    FileHandle(const char* path) : file_(fopen(path, "r")) {
        if (!file_) {
            throw std::runtime_error("파일 열기 실패");
        }
    }
    
    ~FileHandle() {
        if (file_) {
            fclose(file_);
        }
    }
    
    // 복사 금지
    FileHandle(const FileHandle&) = delete;
    FileHandle& operator=(const FileHandle&) = delete;
};

// 사용
// FileHandle("data.txt");  // 경고: 즉시 소멸
auto file = FileHandle("data.txt");  // OK

패턴 2: API 마이그레이션

class Database {
public:
    // 구버전
    [[deprecated("use executeQuery instead")]]
    void query(const std::string& sql) {
        // 구식 구현
    }
    
    // 신버전
    [[nodiscard]] Result executeQuery(const std::string& sql) {
        // 새 구현
        return Result{};
    }
};

// 사용
Database db;
db.query("SELECT * FROM users");  // 경고: deprecated
auto result = db.executeQuery("SELECT * FROM users");  // OK

패턴 3: 성능 최적화

int processData(int* data, size_t size) {
    int sum = 0;
    
    for (size_t i = 0; i < size; ++i) {
        if (data[i] > 0) [[likely]] {
            // 대부분 양수
            sum += data[i];
        } else [[unlikely]] {
            // 드물게 음수
            sum -= data[i];
        }
    }
    
    return sum;
}

FAQ

Q1: 속성은 언제 사용하나요?

코드 품질: 컴파일러 경고로 버그 방지
최적화: 컴파일러에게 힌트 제공
문서화: 의도를 명확히 표현
API 관리: deprecated, nodiscard

[[nodiscard]] bool save();  // 반환값 확인 필수
[[deprecated]] void oldFunc();  // 사용 중단

Q2: nodiscard는 언제 사용하나요?

에러 코드: 반환값 확인 필수
리소스 핸들: RAII 객체
중요한 계산: 결과 무시하면 안됨

[[nodiscard]] ErrorCode connect();
[[nodiscard]] FileHandle open();
[[nodiscard]] int calculate();

Q3: likely/unlikely의 효과는?

A: 분기 예측 최적화로 약간의 성능 향상이 가능합니다.

// 벤치마크 예시
// likely 없이: 100ms
// likely 사용: 95ms (5% 향상)

if (x > 0) [[likely]] {
    // 자주 실행되는 경로
}

Q4: 모든 컴파일러가 지원하나요?

A: 표준 속성은 C++11부터 지원합니다. 일부는 C++17/20에 추가되었습니다.

C++11: [[noreturn]], [[carries_dependency]]
C++14: [[deprecated]]
C++17: [[fallthrough]], [[nodiscard]], [[maybe_unused]]
C++20: [[likely]], [[unlikely]], [[no_unique_address]]

Q5: 속성을 무시하면 어떻게 되나요?

A: 컴파일러가 무시합니다. 에러는 아니며, 경고만 발생할 수 있습니다.

[[nodiscard]] int compute();

compute();  // 경고 (무시 가능)

Q6: 여러 속성을 조합할 수 있나요?

A: 가능합니다.

oldFunc 함수의 구현 예제입니다.

[[nodiscard, deprecated("use newFunc")]]
int oldFunc() {
    return 42;
}

// 또는 분리
[[nodiscard]] [[deprecated]]
int oldFunc2() {
    return 42;
}

Q7: 사용자 정의 속성은?

A: 컴파일러별 확장으로 가능하지만, 표준은 아닙니다.

// GCC/Clang
[[gnu::always_inline]] void fastFunc();

// MSVC
[[msvc::forceinline]] void fastFunc();

Q8: 속성 학습 리소스는?

cppreference.com - Attributes
“C++17: The Complete Guide” by Nicolai Josuttis
컴파일러 문서 (GCC, Clang, MSVC)

관련 글: nodiscard, deprecated, noreturn.

한 줄 요약: Attributes는 컴파일러에게 추가 정보를 제공하는 C++11 표준화된 방법입니다.

같이 보면 좋은 글 (내부 링크)

이 주제와 연결되는 다른 글입니다.

심화 부록: 구현·운영 관점

이 부록은 앞선 본문에서 다룬 주제(「C++ Attributes | ‘속성’ 완벽 가이드」)를 구현·런타임·운영 관점에서 다시 압축합니다. 도메인별 세부 구현은 글마다 다르지만, 입력 검증 → 핵심 연산 → 부작용(I/O·네트워크·동시성) → 관측의 흐름으로 장애를 나누면 원인 추적이 빨라집니다.

내부 동작과 핵심 메커니즘

flowchart TD
  A[입력·요청·이벤트] --> B[파싱·검증·디코딩]
  B --> C[핵심 연산·상태 전이]
  C --> D[부작용: I/O·네트워크·동시성]
  D --> E[결과·관측·저장]

sequenceDiagram
  participant C as 클라이언트/호출자
  participant B as 경계(런타임·게이트웨이·프로세스)
  participant D as 의존성(API·DB·큐·파일)
  C->>B: 요청/이벤트
  B->>D: 조회·쓰기·RPC
  D-->>B: 지연·부분 실패·재시도 가능
  B-->>C: 응답 또는 오류(코드·상관 ID)

불변 조건(Invariant): 버퍼 경계, 프로토콜 상태, 트랜잭션 격리, FD 상한 등 단계별로 문장으로 적어 두면 디버깅 비용이 줄어듭니다.
결정성: 순수 층과 시간·네트워크·스케줄에 의존하는 층을 분리해야 테스트와 장애 분석이 쉬워집니다.
경계 비용: 직렬화, 인코딩, syscall 횟수, 락 경합, 할당·GC, 캐시 미스를 의심 목록에 둡니다.
백프레셔: 생산자가 소비자보다 빠를 때 버퍼·큐·스트림에서 속도를 줄이는 신호를 어디에 둘지 정의합니다.

프로덕션 운영 패턴

영역	운영 관점 질문
관측성	요청 단위 상관 ID, 에러율·지연 p95/p99, 의존성 타임아웃·재시도가 대시보드에 보이는가
안전성	입력 검증·권한·비밀·감사 로그가 코드 경로마다 일관적인가
신뢰성	재시도는 멱등 연산에만 적용되는가, 서킷 브레이커·백오프·DLQ가 있는가
성능	캐시·배치 크기·커넥션 풀·인덱스·백프레셔가 데이터 규모에 맞는가
배포	롤백 룬북, 카나리/블루그린, 마이그레이션·피처 플래그가 문서화되어 있는가
용량	피크 트래픽·디스크·FD·스레드 풀 상한을 주기적으로 검증하는가

스테이징은 데이터 양·네트워크 RTT·동시성을 프로덕션에 가깝게 맞출수록 재현율이 올라갑니다.

확장 예시: 엔드투엔드 미니 시나리오

앞선 본문 주제(「C++ Attributes | ‘속성’ 완벽 가이드」)를 배포·운영 흐름에 맞춰 옮긴 체크리스트입니다. 도메인에 맞게 단계 이름만 바꿔 적용할 수 있습니다.

입력 계약 고정: 스키마·버전·최대 페이로드·타임아웃·에러 코드를 경계에 둔다.
핵심 경로 계측: 요청 ID, 단계별 지연, 외부 호출 결과 코드를 로그·메트릭·트레이스에서 한 흐름으로 본다.
실패 주입: 의존성 타임아웃·5xx·부분 데이터·락 대기를 스테이징에서 재현한다.
호환·롤백: 설정/마이그레이션/클라이언트 버전을 되돌릴 수 있는지 확인한다.
부하 후 검증: 피크 대비 p95/p99, 에러율, 리소스 상한, 알림 임계값을 점검한다.

handle(request):
  ctx = newCorrelationId()
  validated = validateSchema(request)
  authorize(validated, ctx)
  result = domainCore(validated)
  persistOrEmit(result, idempotentKey)
  recordMetrics(ctx, latency, outcome)
  return result

문제 해결(Troubleshooting)

증상	가능 원인	조치
간헐적 실패	레이스, 타임아웃, 외부 의존성, DNS	최소 재현 스크립트, 분산 트레이스·로그 상관관계, 재시도·서킷 설정 점검
성능 저하	N+1, 동기 I/O, 락 경합, 과도한 직렬화, 캐시 미스	프로파일러·APM으로 핫스팟 확인 후 한 가지씩 제거
메모리 증가	캐시 무제한, 구독/리스너 누수, 대용량 버퍼, 커넥션 미반납	상한·TTL·힙/FD 스냅샷 비교
빌드·배포만 실패	환경 변수, 권한, 플랫폼 차이, lockfile	CI 로그와 로컬 diff, 런타임·이미지 버전 핀
설정 불일치	프로필·시크릿·기본값, 리전	스키마 검증된 설정 단일 소스와 배포 매트릭스 표준화
데이터 불일치	비멱등 재시도, 부분 쓰기, 캐시 무효화 누락	멱등 키·아웃박스·트랜잭션 경계 재검토

권장 순서: (1) 최소 재현 (2) 최근 변경 범위 축소 (3) 환경·의존성 차이 (4) 관측으로 가설 검증 (5) 수정 후 회귀·부하 테스트.

배포 전에는 git add → git commit → git push 후 npm run deploy 순서를 권장합니다.

이 글에서 다루는 키워드 (관련 검색어)

C++, attributes, 속성, nodiscard, C++11 등으로 검색하시면 이 글이 도움이 됩니다.

이 글이 도움이 되셨나요?

여러분의 피드백은 더 나은 콘텐츠를 만드는 데 도움이 됩니다

문제가 있거나 개선 제안이 있으시면 연락처로 알려주세요.

Keyboard Shortcuts

이 글의 핵심

Attributes란?

[[nodiscard]]

[[deprecated]]

[[maybe_unused]]

[[likely]] / [[unlikely]] (C++20)

[[fallthrough]]

[[noreturn]]

실전 예시

예시 1: 에러 처리

예시 2: API 버전 관리

예시 3: 최적화 힌트

예시 4: 스위치 fall-through

컴파일러별 지원

자주 발생하는 문제

문제 1: nodiscard 무시

문제 2: likely/unlikely 오용

문제 3: fallthrough 위치

속성 조합

실무 패턴

패턴 1: RAII 리소스

패턴 2: API 마이그레이션

패턴 3: 성능 최적화

FAQ

Q1: 속성은 언제 사용하나요?

Q2: nodiscard는 언제 사용하나요?

Q3: likely/unlikely의 효과는?

Q4: 모든 컴파일러가 지원하나요?

Q5: 속성을 무시하면 어떻게 되나요?

Q6: 여러 속성을 조합할 수 있나요?

Q7: 사용자 정의 속성은?

Q8: 속성 학습 리소스는?

같이 보면 좋은 글 (내부 링크)

관련 글

심화 부록: 구현·운영 관점

내부 동작과 핵심 메커니즘

프로덕션 운영 패턴

확장 예시: 엔드투엔드 미니 시나리오

문제 해결(Troubleshooting)

이 글에서 다루는 키워드 (관련 검색어)

이 글이 도움이 되셨나요?