티스토리

deulee의 개발 노트

검색하기

블로그 홈

deulee의 개발 노트

deulee.tistory.com/m

deulee 님의 블로그입니다.

구독자: 0

방명록 방문하기

주요 글 목록

[C++11 - library features] std::begin/end `std::begin`과 `std::end`는 C++11에서 도입된 컨테이너의 일반적인 `begin`과 `end` 반복자를 반환해주는 기능이다. 이들의 특징은 특정 클래스의 멤버 함수로써 존재하는 것이 아니라 "raw array"와 같이 `begin`과 `end` 멤버 함수가 없는 배열에도 유용하게 사용된다는 것이다. #include #include #include template int CountTwos(const T& container) { return std::count_if(std::begin(container), std::end(container), [](int item){ return item == 2; }); } int main(void) { std::vector vec = {2, 2, 43.. 공감수 0 댓글수 0 2023. 8. 28.
[C++11] Move Semantics "Move Semantics(이동 의미론)"은 C++11로부터 도입된 핵심적인 개념으로, 객체의 "소유권"을 전환하거나 "전달"하는 방식을 나타낸다. 이는 C++에서 더 효율적인 객체 복사와 동적 자원 관리를 가능하게 해준다. "Move Semantics"를 이용하면 임시 객체나 rvalue로부터 객체의 리소스를 효율적으로 이동시켜 새로운 객체를 생성하거나 기존 객체에 리소스를 할당할 수 있다. 이를 통해 복사 대신 리소스의 소유권을 이전함으로써 성능을 최적화시킬 수 있다. 특히, 동적 메모리 할당과 같이 무거운 작업에서 효율적이다. 그럼 주로 어디에서 사용할까? 객체의 수명이 다할때 객체가 일시적으로 사용될 때 `std::move`로 인해 명시적으로 호출될 때 보통 이 세 가지 상황에서 사용되는데 다음.. 공감수 0 댓글수 0 2023. 8. 28.
[C++11] Rvalue references "Rvalue reference"는 C++11에서 도입된 기능으로 오로지 Rvalue에만 할당될 수 있는 새로운 레퍼런스이다. 이를 선언하는 방법은 다음과 같다. T&& // where T is non-template type parameter (such as int, or a user-defined type) 그럼 "Rvalue reference"가 어떻게 바인딩되는지 확인해보자. #include int main(void) { int x = 0; // `x` is an lvalue of type `int` int& xl = x; // `x1` is an lvalue of type `int&` int&& xr = x; // error -- `x` is an lvalue int&& xr2 = 0; // `.. 공감수 0 댓글수 0 2023. 8. 28.
[C++11] Forwarding References(Universal References) "Forwarding References" 혹은 "Universal References"은 C++11에서 도입된 기능으로, 주로 함수 템플릿의 매개변수로 사용되는 형태를 가리키는 용어다. 함수 템플릿으로 전달된 인자를 "원본의 값 카테고리와 레퍼런스 유형을 유지하면서 다른 함수로 전달하는 메커니즘"을 일컷는다. C++에는 Lvalue와 Rvalue이라는 값 카테고리가 있는데 주요 특징은 다음과 같다. Lvalue : 주소를 가질 수 있는 변수나 객체를 의미함. (변수, 포인터) Rvalue : 주소를 가질 수 없는 일시적인 값. (정수 리터럴) 이때 "Forwarding References"는 이러한 값 카테고리를 유지하면서 인자를 전달하는데 사용된다. Forwarding Reference의 생성 방법은.. 공감수 0 댓글수 0 2023. 8. 28.
[C++11] Variadic templates `...` 구문은 가변 인자를 받을 수 있게 된다. 가변 템플릿은 템플릿의 매개 변수로 여러 개의 인자를 받을 수 있도록 하는 기능이다. 이는 함수나 클래스 템플릿을 정의할 때, 인자의 개수가 동적으로 변할 수 있을 때 유용하게 사용된다. 이때, 인자의 갯수는 0개 이상을 받을 수 있다. 이렇게 최소 한개 이상의 가변 인자를 받는 템플릿을 "가변 템플릿"이라고 한다. #include template struct Arity { constexpr static int value = sizeof...(T); }; int main(void) { static_assert(Arity::value == 0, ""); // OK static_assert(Arity::value == 3, ""); // OK return .. 공감수 0 댓글수 0 2023. 8. 28.
[C++11] Initializer lists "Initializer lists"는 C++11에서 도입된 객체를 초기화하는 데 사용되는 편리한 방법이다. 이는 "braced list(중괄호)"를 이용하여 만들 수 있는데 예를 들어 `{1, 2, 3}`은 정수의 배열을 만든다. 그리고 이 타입은 `std::initializer_list`가 된다. 이는 함수에 인자로 넘길 때 벡터 대신 사용하기 유용하다. #include int sum(const std::initializer_list& list) { int total = 0; for (auto& it : list) total += it; return total; } int main(void) { auto list = {1, 2, 3}; // `std::initializer_list` sum(list);.. 공감수 0 댓글수 0 2023. 8. 28.
[C++11] Static Assertions `static_assert`는 C++11부터 제공되는 기능으로 컴파일 시간에 조건을 검사하여 컴파일 타임 에러를 발생시키는 역할을 수행하는 키워드이다. 이를 통해 컴파일 시간에 논리적인 조건을 확인하거나 특정한 제약을 검사하여 코드의 안전성을 높일 수 있다. `static_assert`의 기본 구조는 다음과 같다. static_assert(condition, message); `condition`: 검사하고 싶은 조건을 나타내는 표현식. 만약 이 조건이 `false`로 판단되면 컴파일 에러 발생 `message`: 컴파일 에러 메시지를 지정 예시: #include #include template void print_Int() { static_assert(std::is_integral::value, "T .. 공감수 0 댓글수 0 2023. 8. 26.
[C++11] auto `auto` 키워드는 C++11부터 도입된 기능으로, 변수의 타입을 "컴파일러"가 초기화식을 기반으로 자동으로 추론하도록 하는 기능을 제공한다. 예시를 먼저 보도록 하자. #include int main(void) { auto a = 3.14; // double auto b = 1; // int auto& c = b; // int& auto d = {0}; // std::initializer_list auto&& e = 1; // int&& auto&& f = b; // int& auto g = new auto(123); // int* const auto h = 1; // const int auto i = 1, j = 2, k = 3; // int, int, int auto l = 1, m = true,.. 공감수 0 댓글수 0 2023. 8. 26.
[C++11] Lamda Expressions `lamda`는 C+11부터 도입된 기능으로, 이름 없는 함수 객체로 지역내에 있는 변수들을 캡처하는 기능이 있다. 우선 `lamda`의 구조는 다음과 같다. [capture](parameters) -> return_type { // 함수 몸체 } (call lamda); // 생략 가능 각각의 요소는 다음과 같다. `capture`는 외부 변수를 람다 내부에서 사용할 때 그 값을 어떻게 캡처할 것인지를 지정함. `parameters`는 람다 함수의 매개변수를 정의함. `return_type`은 람다 함수의 반환 타입을 지정함. (생략 가능) `함수 몸체`는 실제 함수의 내용을 작성하는 부분 `호출 인자`는 함수 호출 시 인자를 의미함. (생략 가능) 캡처를 할 때 다양한 특징이 있는데 다음과 같다. `.. 공감수 0 댓글수 0 2023. 8. 26.
[C++11] decltype `decltype`은 C++11로부터 도입된 키워드로, 표현식(expression)의 결과로부터 해당 표현식의 타입을 추론해내는 데 사용된다. 즉, `decltype`의 특징은 다음과 같다. 표현식의 결과로부터 해당 표현식의 타입을 추론함. cv-qualifers(`const`와 `volatile`) 그리고 참조(reference)의 속성을 유지함. 그럼 다음 예시를 보도록 하자. #include int main(void) { int a = 1; // `a` is declared as type `int` decltype(a) b = a; // `decltype(a)` is `int` const int& c = a; // `c` is declared as type `const int&` decltype(c.. 공감수 0 댓글수 0 2023. 8. 26.
[C++11] Type aliases C++11에서 도입된 "타입 별칭(type aliases)" 키워드인 `using`은 이전의 "typedef" 키워드의 역할을 그대로 이어받는다. 기존의 타입 별칭을 어떻게 했는지 보도록 하자. `typedef`를 사용한 타입 별칭 : // `typedef`를 사용한 타입 별칭 typedef int myInt; typedef double myDouble; typedef std::vector IntVector; `using`을 사용한 타입 별칭: // `using`을 사용한 타입 별칭: using myInt = int; using myDouble = double; using IntVector = std::vector; 이를 통해 코드의 가독성을 높일 수 있다. 그리고 긴 타입 이름을 간소화할 수 있다. 또.. 공감수 0 댓글수 0 2023. 8. 26.
[C++11] nullptr `nullptr`은 C++11로부터 도입된 키워드로, 포인터의 널(NULL) 값을 나타내는 "포인터 리터럴(pointer literal)"이다. 이전에 C++에는 포인터의 널 값을 `NULL`로 나타냈지만 `nullptr`는 `NULL`의 한계와 모호성을 해결하고자 나타났다. `nullptr`의 주요 특징은 다음과 같다. 타입 안전성(Type Safety) : 이전에는 `NULL`이 "정수"로 표현되었기 때문에 포인터와 정수 간의 암시적 변환으로 인한 문제가 발생할 수 있었다. 하지만 `nullptr`는 포인터 타입에만 사용 가능하며, 타입간의 혼동을 방지한다. 다음 코드를 한번 보도록 하겠다. #include void foo(int a) { std::cout 공감수 0 댓글수 0 2023. 8. 26.
[C++11] Strongly-typed enums "Strongly-typed enums"는 C++11 이후에 도입된 기능으로 열거형(enum)의 새로운 형태를 나타낸다. 기존의 C 타입의 enum의 기존적인 문제였던 "암시적 변환", "기본 형식 지정 불가능", 그리고 "scope pollution"에 대한 문제를 해결하게 되었다. #include // Specifying underlying type as `unsigned int` enum class Color : unsigned int { Red = 0xff0000, Green = 0xff00, Blue = 0xff }; // `Red`/`Green` in `Alert` don't conflict with `Color` enum class Alert : bool { Red, Green }; int .. 공감수 0 댓글수 0 2023. 8. 26.
[C++11] Attributes "Attributes"는 C++11에서 새로 도입된 기능으로 코드에 추가 정보를 제공하는 방법으로, 컴파일러에게 특정한 힌트나 지시 사항을 제공하거나, 코드의 동작을 제어하거나, 최적화를 조정하는 등의 목적으로 사용된다. 이를 통해 코드를 더 명확하게 작성하거나 컴파일러에게 추가적인 정보를 제공할 수 있다. 형식은 다음과 같다. [[attribute]] 여기서 `attribute`는 사용하고자 하는 실제 속성의 이름이 들어간다. 여기에는 다양한 종류가 있는데 예시를 들자면 `[[noreturn]]`,`[[deprecated]]` 등이 있다. 예시) #include // 항상 예외를 던지므로 반환되지 않는다. [[noreturn]] void f() { throw "error"; } // 무한 루프에 빠지기.. 공감수 0 댓글수 0 2023. 8. 25.
[C++11] constexpr `constexpr`는 C++11에서 도입된 키워드로, "컴파일 시간"에 평가될 수 있는 "표현식(Expressions)"을 나타내는 역할을 한다. 컴파일러는 실행 시간이 아닌 컴파일 시간에 값을 계산하거나 함수를 호출할 수 있게 된다. `constexpr`은 주로 다음 두 가지 상황에서 사용된다. `constexpr` 변수 `constexpr` 함수 그럼 차례대로 알아가 보도록 하자. Constexpr 변수 변수 선언 시 초기화: `constexpr` 변수 선언할 때 초기화 식이 컴파일 시간에 평가될 수 있다면, 해당 변수는 컴파일 시간 상수가 된다. 이 변수는 실행 시간이 아닌 컴파일 시간에 계산되며, 이후에 다른 `constexpr` 표현식에서 사용될 수 있다. #include class Rect .. 공감수 0 댓글수 0 2023. 8. 25.
[C++11] Delegating Constructors "Delegating Constructors"는 C++11부터 지원되는 기능으로, 한 클래스의 생성자가 같은 클래스의 다른 생성자를 호출하여 초기화하는 기능을 가리킨다. #include class MyClass { private: int num; public: MyClass(int n) : num(n) { // 다른 초기화 작업 수행 std::cout 공감수 0 댓글수 0 2023. 8. 25.
[C++11] User-defined literals "User-defined literals"은 C++11로부터 도입된 기능으로, 사용자가 직접 정의한 리터럴 표기법을 만들 수 있게 해준다. 리터럴은 코드에서 값을 나타내는 "상수 표기법"을 의미한다. 예를 들어, 정수 리터럴은 `42`, 부동소수점 리터럴은 `3.14`와 같이 말이다. 사용자 정의 리터럴은 이와 비슷한 방식으로 작동하지만, 프로그래머가 정의한 리터럴 표기법을 사용하여 사용자 정의 타입에 대한 리터럴 값을 생성할 수 있다. 우선 다음 예시를 보도록 하자. #include class Time { private: unsigned int minutes; public: explicit Time(unsigned int min) : minutes(min) {} unsigned int getMinute.. 공감수 0 댓글수 0 2023. 8. 25.
[C++11] Explicit virtual overrides C++11에선 명시적으로 가상 함수를 오버라이딩을 할 수 있다. 만약 가상 함수가 부모의 가상 함수를 오버라이딩 하지 않고 비가상 함수를 오버라이딩(재정의) 하는 경우 컴파일 단위에서 에러를 나타낼것이다. #include class A { public: virtual void foo() = 0; void bar(); }; class B : public A { public: void foo() override; // correct -- B::foo overrides A::foo void bar() override; // error -- A::bar is not virtual void baz() override; // error -- B::baz does not override A::baz }; 이로 인해서.. 공감수 0 댓글수 0 2023. 8. 25.
[C++11] Final specifier `final` 지정자는 C++11로부터 도입된 키워드로, 클래스 멤버 함수나 가상 함수를 "오버라이드할 수 없도록" 지정하는 데 사용한다. 이를 통해 클래스의 무분별한 확장을 제어하고, 클래스 계층 구조에서 "특정 함수의 변경을 막을 수 있다". 그렇기 때문에 `final` 지정자는 주로 가상 함수와 함께 사용이 된다. 가상 함수는 파생 클래스에서 재정의할 수 있는데, 이를 방지하기 위해 `final`을 사용하는 것이다. 만약 `final` 함수를 오버라이드하려고 한다면 컴파일러가 에러를 발생시키게 된다. 다음 예제 코드를 보도록 하자. class A { public: virtual void foo() final { std::cout 공감수 0 댓글수 0 2023. 8. 24.
[C++11] Default functions C++11에서 `default` 키워드는 클래스의 특정 멤버 함수(생성자, 복사 생성자, 복사 대입 연산자 등)를 컴파일러에게 "기본 구현"을 생성하도록 지시한 데 사용된다. 주로 기본 구현을 사용하고자 할 때 유용하며, 코드 작성을 간결하게 만들어준다. #include class A { private: int x {1}; public: A() = default; A(int _x) : x{_x} {} }; int main(void) { A a; // 기본 생성자 호출 A b(123); // A::A(int _x) 호출 return 0; } 위와 같이 함으로써 기본으로 생성되는 생성자나 복자 생성자 등을 굳이 따로 정의하지 않더라도 기본값을 실행할 수 있게 해준다. 만약 이전의 C++ 버전이었다면 기본 생.. 공감수 0 댓글수 1 2023. 8. 24.
[C++11] Deleted functions 이전에 외부에서 함수의 사용을 막고자 할 때 (예를 들면 객체의 복사를 막고자 할 때) pirvate에 선언함으로써 해당 함수의 호출을 막았었다. class A { private: A(const A&); } 이제는 `delete` 키워드를 통해 사용하고자 하지 않는 함수의 사용을 완전 봉쇄할 수 있다. 특히나 객체의 복사를 막고자 할 때 유용하게 사용할 수 있다. #include class A { private: int x; public: A(int x) : x{x} {}; A(const A&) = delete; A& operator=(const A&) = delete; }; int main(void) { A x{1234}; A y = x; // error -- call to deleted bopy co.. 공감수 0 댓글수 0 2023. 8. 24.
[C++11] Range-based for loops "range-based for loops"은 C++11로부터 도입된 컨테이너의 각 요소를 반복하기 위한 간편한 구문을 제공한다. 이를 사용하면 모든 요소에 접근하면서 반복 작업을 수행할 수 있다. 이는 컨테이너의 크기나 반복 횟수에 대한 신경을 쓰지 않게 해주어서 사소한 실수로 인한 오류를 줄여준다. 다음은 range-based for loop의 구문 및 사용 방법이다. for (element_type element : container) { // 반복 작업을 수행하는 코드 } `element_type`: 컨테이너의 각 요소의 데이터 형식을 나타낸다. `container`: 반복하고자 하는 컨테이너 변수 또는 컨테이너 객체이다. 다음 예시를 살펴보자. #include #include int main() .. 공감수 0 댓글수 0 2023. 8. 24.
[C++11] Special member functions for move semantics 복사 생성자와 복사 대입 연산자는 복사본이 만들어질 때 호출됐었다. 하지만 C++11의 `move semantics`가 생기면서 `move constructor`와 `move assignment operator`를 만들 수 있게 되었다. #include class B { public: std::string s; B() : s{"test"} {std::cout 공감수 0 댓글수 1 2023. 8. 24.
[C++11] Converting constructors (Braced list syntax) 이제 변환 생성자는 '중괄호로 묶여진 값들도 생성자의 인자로 받아들인다'. #include class A { public: A(int) {} A(int, int) {} A(int, int, int) {} }; int main(void) { A a {0, 0}; // calls A::A(int, int); A b{0, 0}; // calls A::A(int, int); A c = {0, 0}; // calls A::A(int, int); A d {0, 0, 0}; // calls A::A(int, int, int); } 하지만 여기에는 특별한 규칙이 있는데 '축소 변환(narrowing)' 같은 상황을 방지한다. A e(1.1); // calls A::A(int); A f {1.1}; // error 그리.. 공감수 0 댓글수 0 2023. 8. 24.
[C++11] explicit conversion functions `explicit` 키워드는 명시적이라는 의미를 내포하고 있다. `explicit conversion functions`은 명시적 변환 함수를 의미하며 변환 함수에 `explicit` 키워드를 붙임으로써 암시적으로 호출되는 변환 함수를 막겠다는 의미다. 다음 같은 상황을 보도록 하자. #include struct A { operator bool() const { return true; } }; struct B { explicit operator bool() const {return true;} }; int main(void) { A a; if (a); // Ok calls A::operator bool() bool aaa = a; // OK A::operator bool() is called B b; i.. 공감수 0 댓글수 0 2023. 8. 24.
[C++11] Inline namespaces `inline namespae`는 C++11부터 도입된 기능으로, 인라인 네임스페이스의 모든 멤버는 부모 네임스페이스의 일부인 것처럼 처리되어 '함수의 특수화'를 가능하게 한다. 이는 버전 관리 과정을 간편하게 해준다. 만약 A가 B를 포함하고 있고, B가 C를 포함하고 있고 B와 C가 모두 `inline namepsace`라고 가정할 때, C의 모든 멤버들은 A에 있는 것처럼 사용될 수 있다. #include namespace Deulee { namespace V1 { void foo() { std::cout 공감수 0 댓글수 0 2023. 8. 24.
[C++11] Non-static data member initializers 이제 C++11에서는 비정적 멤버 변수를 선언한 곳에서 초기화할 수 있다. 이로써 기본 생성자를 정리할 수 있는 가능성이 생긴다. // c++98 버전의 초기화 class MyClass { private: int myInt; public: MyClass() : myInt(0) {}; }; // c++11 버전의 초기화 class MyClass { private: int myInt {0}; }; 이로인해 코드를 더 간결하게 만들어주고, 생성자의 관리를 향상시킬 수 있게 되었다. 공감수 0 댓글수 0 2023. 8. 24.
[C++11] Right angle brackets C++11에서는 이제 일련의 오른쪽 화살표 괄호(`>`)가 연산자로 사용되거나 typedef의 종료문으로 사용되는지를 '추가 공백 없이 추론할 수 있게 되었다'. typedef std::map cpp98LongTypedef; // cpp98 typedef std::map cpp11LongTypedef; // cpp11 공감수 0 댓글수 0 2023. 8. 23.
[C++11] ref-qualified member functions(참조 한정 멤버 함수) C++11에 도입된 'ref-qualified member functions(참조 한정 멤버 함수)'은 멤버 함수의 호출 가능한 객체에 대한 제한을 나타내는 기능이다. 즉, 멤버 함수가 'lvalue'인지 'rvalue'인지에 따라 다른 버전의 멤버 함수를 호출할 수 있다. 이는 'Move Semantics'와 관련이 있으며, '객체의 임시 복사를 줄이고' 효율적인 이동을 촉진하는 데 사용된다. 멤버 함수는 이제 `*this`가 lvalue 또는 rvalue에 따라 한정될 수 있다. struct Bar { // ... }; struct Foo { Bar getBar() & { return bar; } Bar getBar() const& { return bar; } Bar getBar() && { retu.. 공감수 0 댓글수 0 2023. 8. 23.
[C++11] Trailing return types 'Trailing Return Types'은 C++11에서 도입된 것으로 함수의 '반환 타입을 함수 본문 뒤에 지정하는 형태'의 문법이다. 이전의 C++에서는 함수의 반환 타입을 함수 이름과 함께 선언하고, 함수 본문전에 위치시켜야 했지만, 탬플릿 함수와 같이 반환 타입이 복잡하거나 '타입 추론'이 어려운 경우가 종종 있었다. 이러한 문제를 해결하기 위해 나온 것이 trailing return types 문법이다. 문법은 다음과 같다. auto functionName(parameters) -> return_type { // 함수 본문 } 보통 `auto`키워드와 함께 사용되며, `return_type`은 실제 반환 타입을 나타낸다. 이렇게 함으로써 코드의 가독성을 높일 수 있다. 도한, `return_t.. 공감수 0 댓글수 0 2023. 8. 23.

문의안내

티스토리
로그인
고객센터

티스토리는 카카오에서 사랑을 담아 만듭니다.