티스토리

스택

검색하기

블로그 홈

스택

woohyangwoo.tistory.com/m

개발 및 공부 기록 공간입니다.

구독자: 3

방명록 방문하기

주요 글 목록

[Effective Modern C++] 항목 41 ~ 42 : 다듬기 항목 41 : 값 전달 함수가 좋은 경우아래 조건이 만족하면 사용자 정의 클래스 매개변수도 값전달이 유용할 수 있다.1. 이동이 싸다2. 함수가 해당 매개변수를 결국 내부에서 복사하는데 사용한다.3. 복사 가능 타입 예시)class Widget {public: void addName(const std::string& newName) { names.push_back(newName); } void addName(std::string&& newName) { names.push_back(std::move(newName); } ...}class Widget {public: void addName(std::string newName) { names.push_back(std::move(newName).. 공감수 1 댓글수 1 2024. 12. 15.
[Effective Modern C++] 항목 35 ~ 40 : 동시성 API 항목 36 : std::thread, std::asyncstd::thread t(doAsyncFunctionPointer)는 실제 시스템 스레드를 생성하여 넘겨준 함수 포인터를 실행시킨다. 이러한 std::thead를 활용하는 것을 스레드 기반 프로그래밍이라고 한다. 이때 무조건 시스템 스레드를 생성하기에 스레드 고갈, 과다 구독, 부하 균형화 등의 스레드 관리를 수동으로 모두 해야한다.auto f = std::async( doAsyncFunctionPointer)는 넘겨준 함수 포인터를 사용자 관점에 비동기 동시적으로 테스크라는 단위로써 수행해주는데 무조건 시스템 스레드를 생성하지는 않는다. 대신 내부적으로 알아서 적절하게 시스템 스레드를 할당하고 적절하게 분배하여 수행한다. 따라서 위에서 언급한 스레.. 공감수 0 댓글수 1 2024. 12. 15.
[Effective Modern C++] 항목 31 ~ 34 : 람다 표현식 항목 31 : 기본 캡처 모드를 피하자 기본 캡처 모드란 =이나 &로 모든 값, 참조를 캡처하는 경우를 말한다.우선 당연히 어떤 요소를 캡처하는지 정확히 명시하지 않기에 디자인상 좋지 않다. 참조 캡처의 경우 캡처 대상들의 수명을 잘 관리해야하는데 이는 치명적이다.하지만 더 큰 문제는 값 캡처의 경우에도 수명 관리를 고려해야할 수 있다는 점이다.기본적으로 멤버 함수에서 객체의 멤버는 명시하여 캡처할 수 없다. 하지만 =로 전체 값 캡처를 하면 객체의 멤버에 접근이 가능해진다. 이는 this 포인터가 캡처되고 람다 내에서의 멤버 접근이 자동으로 this->멤버로 수정되기에 가능하다. 그리고 그것은 객체와 객체의 멤버를 참조하므로 객체가 소멸된 상태면 문제를 일으킬 수 있다. 멤버 변수를 진짜 값 캡처하고 .. 공감수 0 댓글수 0 2024. 12. 15.
[Effective Modern C++] 항목 23 ~ 30 : 이동, 완벽 전달 개요: LValue, RValue이부분은 책의 내용은 아니고 LValue와 RValue에 대한 개념정리를 하면 도움이 될 것 같아 나름대로 해보았다.LValue와 RValue는 2개의 개념으로 분리할 수 있다.1. 한 표현식은 LValue또는 RValue이다.2. 레퍼런스 타입에는 LValue 레퍼런스, RValue 레퍼런스가 있다.이 두개는 연관되어 있지만 별개의 개념이다.예시) RValue 레퍼런스 타입의 변수 하나로 이루어진 표현식은 LValue이다. 레퍼런스 타입에는 LValue 레퍼런스, RValue 레퍼런스가 있다. int&는 LValue 레퍼런스 타입이고int&&는 RValue 레퍼런스 타입이다. 한 표현식은 LValue또는 RValue이다.한 변수의 이름 하나로 이루어진 표현식은 변.. 공감수 1 댓글수 1 2024. 11. 23.
[Effective Modern C++] 항목 18~22 : 스마트 포인터 항목 18 : unique_ptrunique_ptr은 자신이 객체에 대해 유일한 소유권을 가질 때 쓰는 포인터다. 생 포인터를 받거나 make_unique함수를 통해 생성되고 소멸될 때 객체를 같이 소멸시킨다. 이동 연산만 제공하여 자신의 객체를 넘겨주고 자신은 nullptr로 초기화한다.당연히 같은 생 포인터로 여러개를 생성하면 미정의 행동이기에 그러면 안된다. new 구문으로 바로 넘겨주거나 make_unique를 쓰는 것이 권장된다.삭제자를 따로 지정하지 않으면 생 포인터와 동일한 비용이기에 싸다.삭제자를 지정하면 함수 포인터의 경우 1워드, 함수 객체의 경우 그 크기만큼 메모리가 추가 소모된다.갈무리 없는 람다의 경우 추가 메모리가 들지 않기에 유용하다. 항목 19 : shared_ptrshare.. 공감수 0 댓글수 0 2024. 11. 10.
[Effective Modern C++] 항목 7~17 : 현대적 C++ 항목 7: 객체 생성 시 ()와 {}를 구분하자.객체 생성 방법1. int x(0);2. int x = 0;3. int x{0};4. int x = {0}; //3과 사실상 동일하기에 3으로 통일하여 설명함. 중괄호 초기화가 소괄호 초기화보다 좋은점1. 모든 초기화 상황에 적용가능함.//비정적 자료 멤버 기본 초기화Class Widget { int x(0); // 에러 int y = 0; // 가능 int z{0}; // 가능}//복사할 수 없는 객체 초기화 (항목 40)std::atomic x(0); // 가능std::atomic y = 0; // 에러std::atomic z{0}; // 가능 2. 좁히기 변환 방지double x,y,z;...int sum1{x+y+z} // double의 합을 int.. 공감수 4 댓글수 2 2024. 11. 3.
[Effective Modern C++] 항목 5~6 : auto 항목 5: 명시적 선언보다 auto를 선호하자.근거1. 긴 타입 타자치기 편함.2. 초기값이 꼭 필요해 초기화 안 까먹음.3. 람다같이 꼭 써야하는 경우가 있음.4. 람다의 경우 std::function을 대신 쓸수도 있지만 메모리가 더 들수있기에 auto가 낫다.5. std::vector::size()의 타입은 size_type인데 윈도우 비트마다 크기가 다르다. 이걸 그냥 unsigned에 담아쓰면 윈도우마다 다른 결과 나올 수 있다. auto쓰면 괜찮음.std::vector v;unsigned sz = v.size() // 윈도우마다 다르게 작동할 수 있음.auto sz = v.size() // good6. map을 아래와 같이 순회하면 tmp 복사본 만들고 그걸 참조함. 성능 안좋음. 이런 실수 .. 공감수 0 댓글수 0 2024. 11. 3.
[Effective Modern C++] 항목 1~4 : 형식 영역 항목1 : 템플릿 형식 연역형식 연역이란 템플릿, auto등에서 컴파일러가 특정 타입을 유츄해내는 것을 이야기한다. c++은 템플릿, auto, decltype에서 형식 연역이 발생한다. 템플릿의 형식 연역 규칙은 다음과 같다.templatevoid f(T param)//const, 레퍼런스, volatile전부 무시됨.int x = 1;const int cx = 1;const int& rx = x; //세가지 모두 T -> intint* px = &x; // T -> int*const int* px = &x; // T -> const int*const int* const px = &x; // T -> const int*//포인터의 경우 포인터 변수 자체에 대한 const성만 사라짐.templatevoi.. 공감수 0 댓글수 0 2024. 11. 3.
[Effective C++]항목 53~55: 기타 항목 53 : 컴파일러 경고를 지나치지 말자 프로그래밍을 하다보면 컴파일은 정상적으로 되지만 컴파일러 경고가 나오는 경우가 있다. 이때 이러한 경고는 무시하지말고 무엇을 말하고 있는지를 살펴보아야한다. 대부분의 컴파일러 경고는 문법상 문제는 없지만 코드의 맥락이 직관적인 부분과 다르게 동작할 때 발생한다. 예를 들어 부모에서 f라는 가상 함수를 const로 선언하고 자식이 비 const f함수를 작성하였다면 일부 컴파일러에서 자식의 f가 부모의 f를 가린다고 경고를 띄운다. 실제로 자식의 f가 부모의 f를 가리기에 자식 인스턴스는 부모 포인터와 자신의 포인터에 담겨있을때 서로 다른 f를 호출한다. 객체지향의 기본 동작에서 벗어난 것이다. 이런식으로 겉으로 드러나는 직관적인 부분과 실제 동작이 다른 부분을.. 공감수 0 댓글수 0 2023. 6. 17.
[Effective C++]항목 49~52: new와 delete 항목 49 : new 처리자 new처리자는 new로 메모리 할당에 실패했을때 메모리 확보를 위해 시도되는 함수이다. 표준 new의 경우 다음과 같이 처리된다. 1. 매개변수로 할당할 바이트 사이즈를 받는다. 2. 바이트 사이즈가 0이면 1로 바꾼다 3. while(true) 4. malloc으로 사이즈만큼 할당시도 5. 성공시 할당된 포인트 리턴 6. 실패시 설정된 new 처리자 호출(new 처리자가 null 함수 포인터로 설정되있다면 throw bad_alloc) 7. 예외가 던져지거나 성공할때까지 반복 프로그래머는 의 set_new_handle에 void (void) 함수 포인터를 넣어 new 처리자를 자신이 만든 것으로 설정할 수 있다. 이때 리턴값은 기존 함수 포인터이다. new 처리자는 다음중 .. 공감수 0 댓글수 0 2023. 6. 11.
[Effective C++]항목 45~48: 템플릿 2 항목 45 : 멤버 함수 템플릿클래스 템플릿 안에는 별개의 템플릿을 가지는 멤버 함수를 만들 수 있다. template class c{ public: tempalte void fff(U a);}이렇게 하면 특정 클래스 템플릿 인스턴스에서 특정 타입의 fff를 호출할때마다 해당 멤버함수가 생성되며 호출된다. 이러한 멤버 함수 템플릿의 대표적인 사용예시는 일반화 복사 생성자이다.스마트 포인터 템플릿을 만든다고 해보자. 만약 평범하게 자신에 대한 복사 생성자 만든다면 자식 타입에 대한 스마트 포인터를 부모 타입에 대한 스마트 포인터에 복사 생성할 수 가 없다. 이를 구현하기 위해선 멤버 함수 템플릿으로 smartPoint를 매개변수로 받는 복사 생성자를 만들면 된다. 그후 매개.. 공감수 0 댓글수 1 2023. 6. 10.
[Effective C++]항목 41~44: 템플릿 1 항목 41 : 템플릿의 특성 템플릿은 다음과 같은 두가지의 추가적인 특성을 가지는 문법이다. 암시적 인터페이스 기존 문법에서는 특정 타입의 연산자나 멤버에 접근할 때 명시적으로 특정 타입의 인터페이스에 접근한다. 하지만 템플릿에서는 타입 매개변수의 객체에 대해 암시적 인터페이스를 통해 멤버에 접근한다. 타입 매개변수에 입력되는 타입들은 해당 템플릿에서 상용한 암시적 인터페이스들에 대해 모두 유효해야한다. 그렇지 않다면 템플릿 인스턴스를 만드는 컴파일 타임에 에러가 발생한다. 컴파일 타임 다형성 기존 문법에서는 다형성을 사용할 때 런타임에 해당 레퍼런스에 들어있는 실제 객체가 무엇인지 인식하여 호출될 함수가 정해졌었다. 그에 비해 템플릿의 타입 매개변수를 활용한 다형성은 템플릿 인스턴스를 만들 때 해당 타.. 공감수 0 댓글수 0 2023. 6. 10.
[Effective C++]항목 38~40: 객체 지향 설계 3 항목 38 : 객체 합성 객체 합성은 그냥 한 클래스가 다른 클래스를 멤버로 가지는 것을 의미한다. 이는 개념적으로 보통 두가지 중 하나의 의미를 가진다. has-a 밖 클래스가 안 클래스를 개념적으로 소유한 경우이다. person 클래스가 string name, Address adress등의 멤버를 가진 경우에 해당된다. 보통 클래스가 현실의 객체를 나타낼때 나타난다.. is-implemented-in-terms-of 밖 클래스가 안 클래스를 구현에 활용하는 경우이다. 하나의 부품으로 사용했다고 봐도 무방할 듯 하다. stack 클래스가 내부적으로 list 객체를 멤버로 가지고 있고 이를 이용하여 구현된 경우 등이 해당된다. 보통 시스템 구현을 위한 인공물 클래스에서 나타난다. 항목 39 : priva.. 공감수 0 댓글수 0 2023. 6. 1.
[Effective C++]항목 35~37: 객체 지향 설계 2 항목 35 : 가상함수 대체제들 가상 함수는 재정의 가능한 함수를 상속하기 위해 사용한다. 이때 가상함수대신 여기에 쓸 수 있는 기법들을 살펴보자. 비가상 인터페이스 이 기법은 재정의가 필요한 부분을 private나 protected 가상 함수로 선언하고 이를 중간에 호출하여 사용하는 public 인터페이스 비가상 함수를 구현하여 제공하는 방법이다. 이렇게 하면 자식은 상속받은 private또는 protected 비가상 함수를 재정의할 것이고 사용자들은 재정의된 private함수를 사용하는 public 비가상 함수를 호출하여 사용할 것이다. 참고로 private도 자식에서 재정의는 가능하다.(호출은 불가능) 이 방식의 장점은 재정의 구현 부분 앞뒤로 기본 처리를 넣어줄 수 있다는 점이 있다. 함수 포인터.. 공감수 0 댓글수 0 2023. 5. 15.
[Effective C++]항목 32~34: 객체 지향 설계 1 항목 32 : public 상속은 is-a 관계이다. public 상속은 is-a관계를 의미한다. c가 p를 상속받는다면 c는 p이다. 하지만 p는 c가 아니다. 기본적인 상속 개념이다.객체 지향 설계에서 상속 계층구조를 설계할 때는 이러한 부분을 잘 고려해야한다. 대표적인 예시로 bird라는 클래스가 있다고하자. 이때 bird에 fly라는 함수를 넣어야할까? 만약 펭귄이 bird를 상속받는다면 이는 문제가 될 수 있다. 펭귄은 날 수 없기 때문이다. 이를 위한 해결책은 bird아래에 canflybird라는 계층을 하나더 두는 방법이 대표적이다. 아니면 bird에 fly를 가상함수로 넣고 펭귄에서 오버라이드하여 에러를 띄우는 등의 특수한 처리를 해주면 될 것이다. 어떤게 더 나은 설계인지는 자신이 만들고.. 공감수 0 댓글수 0 2023. 5. 15.
[Effective C++]항목 29~31: 구현 2 항목 29 : 예외 안정성 예외 안전성이란 어떤 함수가 자신이 실행 중 발생한 예외를 어떻게 처리하는지에 대한 안정성 수준을 이야기한다.예외 안정성에서 신경써야하는 부분은 크게 두가지이다.1. 동적할당, 뮤텍스등의 할당한 자원 해제2. 로직 무결성 유지1번째의 경우 스마트포인터, 소멸자 기반 뮤텍스등으로 쉽게 해결가능하다. 하지만 2번의 경우 스스로 로직을 잘짜야하기에 신경쓸 것이 많다.우선 예외 안정성은 다음 3가지 수준을 가진다. 기본적인 보장함수 실행 중 중간에 예외 발생시에도 무결성을 해치지않는다. 즉 정상적인 상태를 유지한다.강력한 보장함수 실행 중 중간에 예외 발생시 함수 호출전의 상태를 보존해준다. 즉 실행성공, 실행 실패 두가지 상태만 존재하며 원자성을 보장해준다.예외불가 보장함수가 밖으로.. 공감수 0 댓글수 0 2023. 4. 27.
[Effective C++]항목 26~28: 구현 1 항목 26 : 변수 생성 타이밍은 신중히하자.클래스 객체 같은 경우 변수의 생성은 기본적으로 큰 비용을 따른다. 생성자의 호출 및 이후 소멸자의 호출을 하기 때문이다. 만약 어떤 함수에서 변수를 생성할 땐 필요한 순간까지 기다렸다가 필요한 순간에 생성하는 것이 좋다. 괜히 함수 호출 초반에 변수를 생성하면 예외 처리등에 의해 해당 변수를 사용하기전에 함수가 리턴되어 끝나버릴 수도 있기 때문이다. 이경우 변수는 사용되지도 않았으면서 생성자 및 소멸자에 대한 비용을 유발하기에 성능에 좋지않다. 디자인의 측면에서도 변수를 실제 사용전 생성하면 생성하는 변수의 용도를 알기 쉬워 좋다.추가로 변수 생성 후 대입보다는 해당 초기화 값으로 바로 생성할 수 있으면 그렇게 하는 것이 당연히 더 성능이 좋다.마지막으로 반.. 공감수 0 댓글수 0 2023. 4. 27.
[Effective C++]항목 23~25 : 클래스에 대한 비멤버 함수 항목 23 : 비멤버 비프렌드로 제공가능한 함수는 그렇게 만들자 public 함수 a,b,c를 가지고 있는 클래스 widget이 있다고 하자. 이때 클래스에 d라는 함수를 추가한다고 하자. d는 자체적인 private접근없이 a,b,c를 차례로 호출하는 기능만을 가지는 함수이다. 즉 유틸함수에 가까운 함수이다. 이때 d라는 함수를 멤버 함수로 만들 수도 있겠지만 그보단 외부에서 호출하는 비멤버 비프렌드 util함수로 선언하는 것이 좋다. d(widget& w)로 위젯을 받아 위젯의 a,b,c를 순서대로 호출하면 된다. 마치 절차지향처럼 말이다. 모순적이게도 이러한 함수 구현 방식이 클래스의 캡슐화를 향상 시킨다. 이게 무슨 소리일까? 역할군이 확실히 나누어진 객체지향 작업에서 클래스 제작자가 클래스의 내.. 공감수 0 댓글수 0 2023. 4. 10.
[Effective C++]항목 18~22 : 클래스 설계 기초 항목 18 : 실수가 일어날 수 없는 인터페이스를 제공하자. 매개변수 실수 방지 일,월,년을 매개변수로 받는 멤버 함수를 만든다고하자. 세가지 매개변수가 모두 int라면 사용자가 어느나라 사람이느냐에 따라서 일월년의 순서가 헷갈릴 수 있다. 따라서 일,월,년에 해당하는 클래스를 각각 만들고 이를 매개변수로 받는 등으로 하여 헷갈리는 상황을 방지할 수 있다.자원 해제 실수 방지동적할당한 자원을 포인터만 그대로 돌려주는 함수는 좋지 못하다. 사용자에게 할당해제 책임을 맡기게 되기 때문이다. 이를 막기 위해선 스마트 포인터등에 담아서 리턴해주는 것이 좋다. 추가로 단순 할당해제가 아닌 추가적인 자원 해제가 필요하다면 스마트 포인터의 삭제자를 활용하면 된다. 스마트 포인터의 추가적인 이점은 자원의 할당과 해제가.. 공감수 0 댓글수 0 2023. 4. 10.
[Effective C++]항목 13~17 : 자원 관리 항목 13 : 자원 관리는 객체로 하자 동적 할당된 메모나, 뮤텍스 잠그기등의 여러 자원들은 할당을 받은 뒤 사용을 끝내고 반드시 해제를 해야한다. 이러한 기능을 우리가 사용하거나 남이 사용하도록 인터페이스를 만들어줄 때는 사용자가 직접 반납을 하도록 하는 것이 아니라 이 자원을 관리하는 객체를 두고 그 객체의 소멸자가 자원을 해제하도록 하는 것이 좋다.대표적인 예시가 스마트 포인터이다. unique_ptr이나 shared_ptr등으로 동적할당된 메모리 또는 포인터를 관리하자. 만약 자신이 동적할당으로 만든 자원의 포인터를 리턴해주는 함수를 만들었다면 로우 포인터가 아닌 스마트포인터에 담아 리턴해주자.이러한 초기화시 자원을 획득하고(받거나 생성) 소멸 시 자원을 해제하는 기법을 RAII라 하며 이러한 객.. 공감수 0 댓글수 0 2023. 3. 29.
[Effective C++]항목 9~12 : 생성자, 소멸자 및 대입 연산자 2 항목 9 : 객체 생성 및 소멸 과정에서는 자신의 가상 함수를 호출하면 위험하다.객체 생성 시점에서는 조상 클래스의 생성자부터 호출되어 아래로 내려간다. 한 후손 클래스가 생성된다고 하자. 그러면 최상위 조상의 생성자부터 호출하며 내려갈것이다. 이때 중간의 한 조상이 생성자에서 자신의 가상함수를 호출하면 그 생성이 후손 클래스의 생성과정임에도 불구하고 호출한 자기자신의 실제 함수가 호출되어 버린다. 이는 아직 조상 자신까지의 생성만 진행되고 후손 부분의 생성은 아직 진행되지않아 현재 생성 시점에서는 실제 타입이 조상 자신의 타입으로 인식되기 때문이다. 만약 이것이 노린 것이라면 모르겠지만 보통 가상함수는 실제 타입의 함수를 호출하려는 목적이 대부분이므로 이를 생각하며 사용하는 것이라면 피해야한다. 소멸자.. 공감수 0 댓글수 0 2023. 3. 25.
[Effective C++]항목 5~8 : 생성자, 소멸자 및 대입 연산자 1 항목 5 : 클래스에서 자동으로 생성되는 메소드들 C++에서는 우리가 따로 작성하지 않으면 컴파일러가 자동으로 생성하는 기본 메소드들이 있다. 기본 생성자 각 멤버의 기본 생성자 호출 생성자가 없을 시 자동으로 생성 복사 생성자 각 멤버 간 복사 생성자 호출복사 생성자, 이동 생성자, 대입 연산자 중 하나라도 있을 시 생성안됨 복사 대입 연산자 각 멤버 간 복사 대입 연산자 호출 복사 대입 연산자, 이동 생성자, 대입 연산자 중 하나라도 있을 시 생성안됨 이동 생성자 각 멤버 간 이동 생성자 호출 이동 생성자, 복사 생성자, 복사 대입 연산자, 이동 대입 연산자, 소멸자 중 하나라도 있을 시 생성안됨 이동 대입 연산자 각 멤버 간 이동 대입 연산자 호출 이동 대입 연산자, 복사 생성자, 복사 대입 연산자.. 공감수 0 댓글수 0 2023. 3. 24.
[Effective C++]항목 1~4 : C++ 기초 사고방식 항목 1 : C++은 언어들의 연합체이다. C++은 다중패러다임 프로그래밍 언어로써 절차,객체 지향 프로그래밍, 함수형 프로그래밍, 일반화 프로그래밍등의 다양한 프로그래밍 패러다임을 적용할 수 있다. 이러한 C++을 공부할땐 다소 혼란스러울 수 있는데 이러한 C++을 다음 네가지 영역으로 구분한다면 도움이 될 수 있다. C : 기존 C에서도 제공되던 부분들이며 C의 규칙들을 따른다. 객체 지향 개념의 C++: C++로 넘어오며 추가된 클래스등의 객체지향 개념들이다. 템플릿 C++ : C++의 강력한 기능중 하나인 템플릿을 활용하는 부분들이다. 일반화에 큰 힘을 준다. STL : 표준 라이브러리로 컨테이너와 알고리즘, 반복자와 함수 객체들로써 돌아간다. C++을 구성하고 있는 이 네가지 부분에 대한 패러다.. 공감수 0 댓글수 0 2023. 3. 22.

문의안내

티스토리
로그인
고객센터

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