C++/문법/특성
덤프버전 :
관련 문서: C++ 
상위 문서: C++/문법 1. 개요[편집]
C++11부터 추가된 C++의 특성(Attribute)에 대하여 설명하는 문서.
2. 용도[편집]
예전의 C 때부터 표준 언어 명세에 기능을 덧붙이기 위해 여러 컴파일러에서 다양한 기능을 구현해왔다. 보통은 표준을 해치지 않기 위해 함수처럼 못생긴 키워드와 함께 기능의 이름을 전달하는 식으로 사용했다. 가령 Clang의
__attribute__(name)__declspec(name)특성은 컴파일러에게 C++의 객체 [1]에 대해 결정론적인 동작을 수행하도록 명령을 내린다. C++의 특성은 Java, Python의 장식자(Decorator)나 C\#의 특성(Attribute)과 쓰는 방식은 거의 같지만 용도는 조금 다르다. C++의 특성은 사용자가 정의할 수 없고, 컴파일 시점에 동작이 결정된다.
3. 표준 특성 목록[편집]
3.1. nodiscard[편집]
import <memory>;
[[nodiscard]]
consteval int FiveHundred() noexcept
{
return 500;
}
struct Conscience {};
template<typename T>
[[nodiscard("여기 양심 떨어트리셨습니다")]]
constexpr Conscience MyConscience()
{
return Conscience{};
}
static inline constexpr const char* msg = "Take smart pointer!";
template<typename T>
[[nodiscard(msg)]]
constexpr std::unique_ptr<T> MakeThing()
{
return std::make_unique<T>();
}
enum [[nodiscard("일단 뽑았으면 무라도 썰어야")]] Sword : long long {};
class [[nodiscard("노상방뇨는 안됩니다.")]] Pee {};
// 사용하지 않으면 경고가 뜬다.
int main()
{
FiveHundred();
MyConscience();
MakeThing<long>();
Sword{};
new Pee;
return 0;
}
[[nodiscard]]함수의 반환값을 무시하지 못하게 경고를 띄우는 특성. 함수의 템플릿 정의와 지시자 사이에 추가할 수 있다. 반환 값을 날리면 치명적인 함수에 달아주면 좋다. 예를 들어 C++의 메모리 관리가 까다롭기 때문에 메모리 할당 함수에 달면 좋다. 참고로 표준 라이브러리의 경우 이미 오만가지 함수에 죄다 달려있다.
3.2. maybe_unused[편집]
// C 표준 main 함수
int main([[maybe_unused]] const int& argc, [[maybe_unused]] const char* const* argv)
{
// argc, argv를 사용하지 않아도 경고가 발생하지 않는다.
[[maybe_unused]] int unuse0{};
[[maybe_unused]] float unused1;
// unuse0, unused1을 사용하지 않아도 경고가 발생하지 않는다.
return 0;
}
[[maybe_unused]]변수 미사용 경고를 해제하는 특성. 원래는
UNREFERENCED_PARAM(var)3.3. noreturn[편집]
[[noreturn]]
static void _ThrowPopError()
{
throw "Pop!";
}
[[noreturn]] void unreachable() {}
int main()
{
// 실행 시간에 예외 발생
_ThrowPopError();
// 컴파일 시간에 경고 발생
auto somewhat_peaceful_moment = "Whassup";
return 0;
}
[[noreturn]]함수의 실행 기점 이후를 도달할 수 없는 코드로 처리하는 특성. 해당 함수가 실행되면 이후 코드에 경고가 발생한다.
3.4. deprecated[편집]
[[deprecated("제발 한국인이라면 맨유 좀 응원합시다")]]
std::string WatchMU() noexcept;
class [[deprecated("Please don't use this")]] MFC
{
public:
[[deprecated]] const char* version = "Windows XP";
};
/// @see {@link "https://gcemetery.co/"}
enum class GoogleServices
{
Allo [[deprecated]],
Android,
Fabric [[deprecated]],
GoogleClips [[deprecated]],
GoogleGlass [[deprecated]],
GooglePlus [[deprecated]],
Hangouts [[deprecated]],
Nexus [[deprecated]],
Pixel,
Youtube,
};
[[deprecated]][[deprecated(msg)]]해당 객체나 이름공간을 사용하지 말도록 권고하는 특성. 해당 객체가 사용되면 경고가 발생한다. 이를 응용하려면 전처리기 키워드로 감싸서 선택적 기능으로 제공해야 한다.
3.5. no_unique_address[편집]
// sizeof(DeclarationOnly) == 0
class DeclarationOnly;
// sizeof(Trait<T>) == 1
template<typename T>
struct Trait
{
using value_type = T;
using const_type = const T;
using refernce = T&;
using const_refernce = const T&;
};
// sizeof(CompleteClass<T>) == sizeof(T) * 10
template<typename T>
class CompleteClass
{
public: // std::addressof(myData[0]) == std::addressof(mySettings)
[[no_unique_address]] Trait<T> mySettings;
T[10] myData;
};
[[no_unique_address]]클래스, 구조체의 필드에 주소를 가지지 않도록 지시하는 특성. 이 특성이 사용된 필드는 다른 필드와 겹쳐질 수 있다. C++에는 자료형 별칭만 갖고 있거나, 아무런 비정적 필드가 없는 완성된 클래스는 바이트 크기가 1로 최적화된다. 그러나 바이트 크기가 1인 이유는 단순히 선언만 있는 클래스의 크기가 0이므로 이를 구분하기 위함이다. 때문에 크기 1조차 공간 낭비라면 이 특성을 사용해 바이트를 절약할 수 있다.
4. 외부 컴파일러의 특성 목록[편집]
4.1. Clang[편집]
4.1.1. lifetimebound[편집]
[[clang::lifetimebound]]참조 대상 소실(Dangling)을 미리 경고하기 위한 특성.
4.1.2. internal_linkage[편집]
[[clang::internal_linkage]]C++에서 C의
staticclass NaumWiki;void Print();static int myCount;exportexportstaticextern4.1.3. tls_model[편집]
[[clang::tls_model("종류")]]4.2. MSVC[편집]
4.2.1. no_unique_address[편집]
[[msvc::no_unique_address]]표준 라이브러리의
no_unique_address4.2.2. lifetimebound[편집]
[[msvc::lifetimebound]]Clang의
lifetimebound
이 문서의 내용 중 전체 또는 일부는 2023-10-21 19:49:32에 나무위키 C++/문법/특성 문서에서 가져왔습니다.