lancelot.com

Dog 포인터가 Animal의 포인터에 대입가능하면, smartptr 의 포인터도 smartptr 의 포인터에 대입가능해야한다. template 생성자 필요 template class smartptr 을 friend 로 선언 필요 (생성자에서 private member에 접근해야하므로) class Animal {}; class Dog : public Animal {}; template class smartptr { T* ptr = nullptr; public : smartptr() = default; smartptr(T* p) : ptr(p) {} //smartptr(const smartptr& sp) {}// 같은 타입만 받을 수 있다. //smartptr(const smartptr& sp) {}// ..

allocator 메모리 할당관련 함수를 추상화한 도구 메모리 할당 방식을 쉽게 변경할 수 있게 해준다. std::allocator C++ 표준 메모리 할당기 기본 구현은 operator new() / operator delete() 사용 allocator 멤버함수 - 사용자 정의 allocator를 만들기위해서는 아래 멤버함수 구현 필요 allocate : 메모리 할당 construct : 생성자 호출 destroy : 소멸자 호출 deallocate 메모리 해제 사용자정의 allocator를 STL에 전달하려면 default constructor template constructor value_type member == 연산, != 연산 이 가능해야한다 #include #include"point.h"..

// default 생성자가 없다 class Point { int x=0; int y=0; public : //Point() = default; Point(int x, int y) : x(x), y(y) {} }; Generic Container IDioms Generic (template 기반) container를 설계할때, 저장되는 "타입이 가져야하는 요구조건을 최소화" 하도록 한다 STL container 에 저장되는 타입의 최소요구조건 : 복사생성이 가능해야한다 아래 예시에서 new T[sz] : T 타입은 반드시 default constructor 를 가져야함 메모리 할당과 호출을 분리하면 더욱 유연한 container가 된다 operator new() 로 메모리할당 placement new 를..

empty class member는 크기에 포함되지 않음 [[no_unique_address]] : Empty class 일 때, 독립적인 주소를 가질 필요가 없다 C++20 에서 추가 // Visual Studio 2022 는 2022/07/24 현재 지원하지 않음 #include struct Empty1 {}; struct Empty2 {}; struct Data1// sizeof : 4 { [[no_unique_address]] Empty1 e1; [[no_unique_address]] Empty2 e2; int data; }; struct Data2// sizeof : 1 { [[no_unique_address]] Empty1 e1; }; struct Data3// sizeof : 1 { [[no..

가변인자 template을 이용한 생성자 #include #include #include class Point { int x{ 0 }; int y{ 0 }; public : Point() = default; Point(int x, int y) : x(x), y(y) {} }; template struct compressed_pair; template struct compressed_pair { T1 first; T2 second; T1& getFirst() { return first; } T2& getSecond() { return second; } const T1& getFirst() const { return first; } const T2& getSecond() con..

Empty class는 member를 가지지 않지만, Empty class의 sizeof(empty)는 1byte 이다. 그래서 empty class를 member로 가지면, size를 가지게되는데, 대신에 empty class에서 상속을 받으면, 메모리 구조는 같지만 size는 0이 된다. ex1) #include class Empty {}; struct Data1 { Empty e; int data; }; struct Data2 : public Empty { int data; }; int main() { std::cout

template instantiation 결과로 생성된 코드를 확인하고 싶을때 compiler explorer site 에서 어셈블리의 생성을 확인 ( http://godbolt.org) https://cppinsights.io/ 에서 코드 생성을 확인 ( template 뿐만아니라 range for 등의 코드 생성도 볼 수 있음) 인스턴스화 된 함수 이름 출력 ( 비표준 MS 용 매크로 __FUNCSIG__, g++ 에서는 __PRETTYO_FUNCTION__ ) C++20 의 -> 하지만 MSVC에서는 __FUNCTION__ 처럼 동작해서 의미가 없음 trailing return type - template 에서 return type을 타입추론을 통해서 생성해야할 경우가 있는데, 함수 선언에서 dec..