프로그래밍 언어/C++

C++ RTTI 그리고 vtable(가상 함수 테이블)

RTTI 란? Run Time Type Information의 약자로 프로그램 실행 중에 개체의 형식이 결정될 수 있도록 하는 메커니즘이다. 다시 말하면 실행중 포인터가 가르키는 객체의 타입을 알 수 있게 해주는 하나의 방법이라고 보면 된다. 기본적으로 RTTI가 필요한 이유는 A 타입에서 B 타입으로 변경할 때 정보가 필요하기 때문이다. 컴파일시간에 타입 변환이 이루어진다면 굳이 RTTI가 필요없다. 컴파일 단계에서 충분히 알 수 있고 특정 타입으로 확정할 수 있기 때문이다. 일반적인 상속 관계에서 발생하는 타입 관계는 대부분 컴파일 시간에 해석되나, virtual 클래스로 상속받는 경우에는 컴파일 시간에 추적이 불가능하다. virtual 클래스로부터 상속이 하나라도 존재하면 RTTI를 사용하고 있다고..

C++ 출력(std::format)과 for-range loop 꿀팁

C++20에서 아주 재미난 기능이 새로 생겼다, 그것은 C#에서도 봤던(String.Format)과 매우 유사한 메커니즘을 가지고 있는 기능이다 헤더파일 을 필히 추가. #include #include #include #include #include #include using namespace std; int main() { map test_map; int size; cout > size; // 맵에 삽입 for (int i = 0; i > tmp_pair.first.first >> tmp_pair.first.second >> tmp_pair.second; test_map.insert(tmp_pair); } cout

C++ RVO NRVO 반환값 최적화 / Copy Elision(복사 생략)

Copy Elision Copy Elision(복사 제거)란 C++11에서 공식화된 기능으로 cppreference의 설명을 참고하면 Omits copy and move constructor, resulting zero-copy pass-by-value semantics 즉 컴파일러가 복사 또는 이동 연산자를 회피 할 수 있으면 회피하는 것을 허용하는 방식 그래서 특정 조건을 만족하면 컴파일러가 임의로 최적화를 위해 복사 및 이동 연산을 생략함. 이게 생각보다 엄청 큰 효과를 가져온다고 하고 크게 두 가지 경우가 있는데 Return Value Optimization(반환값 최적화)인 경우와 class type의 template object(임시 개체)가 동일한 유형의 복사 될 때인 경우다. Return ..

C++ 가상함수 테이블 (Virtual Table)

#include using namespace std; class A { public: virtual void Func1() { cout

C++ 캐스팅 static_cast / reinterpret_cast 예제

#include #include #include #include #include #include using namespace std; template T* Cast(F* _ptr) { static_assert(std::is_pointer::value, "포인터가 아님"); void* p_void = _ptr; T* p_casted = static_cast(p_void); if (!p_casted) p_casted = reinterpret_cast(p_void); return p_casted; } class A { protected: int val = 10; public: A() { cout

C++ SFINAE 여러 타입에 대응하는 템플릿 오버로딩

#include #include #include #include #include #include using namespace std; template using enable_if_t = typename enable_if::type; template void Run(T& t) { // 정수 타입들을 받는 함수 (int, char, unsigned, etc.) cout

C++ 콜백 CallBack 함수

#include #include #include #include #include #include using namespace std; using void_two_params_pointer = std::function; void Function(bool _is_value, int _value) { cout

C++ 유니폼 초기화와 생성자

C++11에 유니폼 초기화가 추가되었다. {}를 이용한 초기화여서 Brace-Initialization 이라고도 부른다. struct A { int x, y; }; class B { public: B(int x, int y) : mX(x), mY(y) {} private: int mX, mY; }; A a = {10, 20};// {} B b(10, 20);// () int c[4] = {1, 2, 3, 4};// {} C++11에서는 이 부분을 모두 {}를 이용하는 유니폼 초기화로 문법을 통일시켰다, =을 붙이거나 붙이지 않거나 모두 유니폼 초기화를 사용할 수 있다. A a1 = {10, 20}; B b1 = {10, 20}; A a2{10, 20}; B b2{10, 20}; 유니폼 초기화는 일반 자료..

C++ 함수 객체 (Fuction Object) 템플릿 / 람다식

장점 : 다른 멤버 변수와 멤버 함수를 가질 수 있고 일반 함수에서 하지 못하는 지원을 받을 수 있습니다. 함수 객체의 서명이 같더라도 객체 타입이 다르면 서로 전혀 다른 타입으로 인식합니다. 일반 함수보다 빠릅니다. 인라인 될 수 있고(함수가 있어야 하므로 인라인 함수의 복사본 함수를 만들어 냄) 컴파일러가 쉽게 최적화 할 수 있습니다. 템플릿 enum class e_operation_type { ADD, SUB, MUL, DIV, MAX }; template class Template_function_obj { public: void operator()(e_operation_type _operation_type, T _lval, T _rval) { switch (_operation_type) { ca..

C++ 11 버전 주 기능

1. RValue 우측값이라고도 불리며, STL알고리즘을 비롯하여 임시객체를 생성하고 파괴하는 일이 잦은 코드에서는 큰 성능 향상을 불러올 수 있는 개념입니다. void Ex1() { std::vector vec; vec.push_back(SomeClass(1, 2, "3")); } 2. 컨테이너에 emplace 메소드 추가 여기에 새로운 SomeClass 인스턴스를 추가하려고 하면 push_back(SomeClass(1, 2, "3")) 처럼 귀찮게 SomeClass를 타이핑해야합니다. 그런데 C++ 11에서는 이를 간편하게 하는 emplace 메소드 추가. void Ex2() { std::vector vec; vec.push_back(SomeClass(1, 2, "3")); vec.emplace_ba..