Attribute specifier sequence (since C++11)

타입, 객체, 코드 등에 대한 구현에서 정의하는 속성들을 소개합니다.

구문

여기서 attribute-list 는 쉼표로 구분된 0개 이상의 attribute  시퀀스입니다 (줄임표 ... 로 끝나 pack expansion 을 나타낼 수 있음)

여기서 attribute-namespace 는 identifier 이고 argument-list 는 괄호, 대괄호, 중괄호가 균형 잡힌 토큰 시퀀스( balanced-token-seq )입니다.

[[using CC: opt(1), debug]] // same as [[CC::opt(1), CC::debug]]
[[using CC: CC::opt(1)]] // error: cannot combine using and scoped attribute

설명

속성(Attributes)은 GNU 및 IBM 언어 확장 __attribute__((...)) , Microsoft 확장 __declspec() 등과 같은 구현 정의 언어 확장을 위한 통합 표준 구문을 제공합니다.

속성은 C++ 프로그램의 거의 모든 곳에서 사용될 수 있으며, 거의 모든 것에 적용될 수 있습니다: 타입, 변수, 함수, 이름, 코드 블록, 전체 번역 단위에 적용 가능하지만, 각 특정 속성은 구현에서 허용되는 곳에서만 유효합니다: [[expect_true]] 는 if 문과 함께만 사용될 수 있고 클래스 선언에는 사용될 수 없는 속성일 수 있습니다. [[omp::parallel()]] 는 코드 블록이나 for 루프에 적용될 수 있지만 int 타입 등에는 적용될 수 없는 속성일 수 있습니다 (이 두 속성은 가상의 예시이며, 표준 및 일부 비표준 속성에 대해서는 아래를 참조하십시오).

선언에서 속성은 전체 선언 앞에 나타날 수도 있고, 선언된 엔티티의 이름 바로 뒤에 나타날 수도 있으며, 이 경우 결합됩니다. 대부분의 다른 상황에서는 속성이 바로 앞의 엔티티에 적용됩니다.

alignas 지정자 는 속성 지정자 시퀀스의 일부이지만, 다른 구문을 가지고 있습니다. 이는 [[...]] 속성이 나타나는 위치에 나타날 수 있으며, (해당 위치에서 alignas 가 허용되는 경우) 이들과 혼합하여 사용될 수 있습니다.

두 개의 연속된 왼쪽 대괄호 토큰( [[ )은 attribute-specifier를 도입할 때나 attribute argument 내부에서만 나타날 수 있습니다.

void f()
{
    int y[3];
    y[[] { return 0; }()] = 1;  // 오류
    int i [[cats::meow([[]])]]; // 정상
}

아래에 나열된 표준 속성 외에도, 구현체들은 구현 정의 동작을 가진 임의의 비표준 속성을 지원할 수 있습니다. 구현체가 알 수 없는 모든 속성은 오류를 발생시키지 않고 무시됩니다. (C++17부터)

표준 속성

다음 속성들은 C++ 표준에 의해 정의됩니다.

표준 속성은 구문적으로 무시될 수 없습니다: 구문 오류를 포함할 수 없으며, 올바른 대상에 적용되어야 하고, 인수 내의 개체들은 ODR-use 되어야 합니다.

표준 속성은 의미적으로 무시될 수도 없습니다: 특정 표준 속성의 모든 인스턴스가 제거된 상태의 동작은 원래 속성이 존재했던 프로그램에 대해 적합한 동작이었을 것입니다.

참고 사항

주어진 플랫폼에서 각 개별 속성의 존재 여부는 __has_cpp_attribute 전처리기 매크로로 확인할 수 있습니다.

예제

[[gnu::always_inline]] [[gnu::hot]] [[gnu::const]] [[nodiscard]]
inline int f(); // 네 개의 속성을 가진 f 선언
[[gnu::always_inline, gnu::const, gnu::hot, nodiscard]]
int f(); // 위와 동일하지만 네 개의 속성을 포함하는 단일 속성 지정자 사용
// C++17:
[[using gnu : const, always_inline, hot]] [[nodiscard]]
int f[[gnu::always_inline]](); // 속성은 여러 지정자에 나타날 수 있음
int f() { return 0; }
int main() {}

결함 보고서

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

참고 항목

외부 링크