본문 바로가기

C++/Effective Modern C++32

예외를 방출하지 않을 함수는 noexpect로 함수를 noexcept로 선언할 것인지 여부는 인터페이스 설계상 문제이다. 즉, 함수 호출자는 noexcept 여부에 의존할 수 있다는 것을 뜻한다. 예외를 방출하지 않음이 확실한 함수를 선언할 때 noexcept를 사용하지 않는 것은 인터페이스 명세가 허술함을 의미한다. 예외를 받게 되는 일이 없음을 약속하기 위한 표현법이다. int f(int x) throw();// C++98 버전 int f(int x) noexcept;// C++11 버전 실행 시점에서 예외가 f 바깥으로 나가게 되면 f의 에외 명세에 위반된다. C++98에서는 예외 명세가 위반되면 호출 스택이 f를 호출한 시점에 도달할 때까지 풀리며(unwind), 그 지점에서 몇 가지 동작이 취해진 후 종료된다(terminate). C++11.. 2020. 7. 7.
iterator보다는 const_iterator를 const_iterator는 const를 가리키는 포인터의 STL 버전이다. 반복자가 가리키는 것을 수정할 필요가 없을때에는 항상 const_iterator를 사용하는 것이 바람직하다. C++98까지는 삽입, 삭제 위치를 iterator로만 지정할 수 있었다. 왜곡된 방법을 사용해서라도 const_iterator를 얻어도 정작 삽입, 삭제에 사용할 수 없기 때문에 사용할 수가 없었다. 하지만 C++11부터는 컨테이너 멤버함수로 cbegin과 cend가 추가되었고, 이는 const_iterator를 돌려준다. C++11에서 const_iterator를 사용하는 방법은 다음과 같다. std::vector values; ... auto it = std::find(values.cbegin(), values.ce.. 2020. 7. 6.
재정의 함수들은 override로 파생 클래스의 가상함수 구현이 부모 클래스의 해당 가상 함수를 재정의 한다. 가상 함수 재정의(overriding)은 파생 클래스 함수를 부모 클래스의 인터페이스를 통해 호출할 수 있게 만드는 메커니즘이다. 재정의를 하기 위해서 필요한 조건들이 있는데, 1. 부모 클래스 함수가 반드시 가상함수여야 하고, 2. base 함수와 derived 함수의 이름이 동일해야 하며, 3. 매개변수 형식들이 동일해야 한다. 또한 4. const성이 동일해야 하며, 5. 반환 형식과 예외 명세가 호환되어야 한다. 그리고 6. 참조 한정사들이 반드시 동일해야 한다. C++11은 파생 클래스 함수가 부모 클래스 버전을 재정의 한다는 의도를 override를 사용해 명시적으로 표현한다. class Base { public: v.. 2020. 7. 5.
정의되지 않은 비공개 함수보다는 삭제된 함수를 C++98에서는 특정 함수(주로 복사 생성자 / 복사 배정 연산자)를 호출하지 못하게 하기 위해 private으로 선언하고 정의는 하지 않았다. 그렇기 때문에 클라이언트는 호출 할 수 없고, 의도적으로 정의하지 않았기 때문에 호출에 실패한다. C++11에서는 복사 생성자와 복사 배정 연산자 선언 끝에 "= delete"를 붙여 삭제된 함수를 만드는 것으로 같은 목적을 달성 할 수 있다. 삭제된 함수는 어떤 방법으로도 사용할 수 없으며, 멤버 함수나 friend 함수에서 복사하려하면 컴파일이 실패한다. 삭제된 함수는 주로 public으로 선언하는 것이 관례이며, 그 어떤 함수도 삭제 할 수 있다. bool test(int num); if (test('a')) ... if (test(true)) ... if.. 2020. 7. 3.
범위 없는 enum 보다 범위 있는 enum으로 범위 없는 enum(unscoped enum) C++98에서 enum으로 선언된 열거자들은 enum을 포함하는 범위에 속하며, 그 범위에 같은 이름이 있으면 안된다. (열거자들이 enum의 범위 밖으로 새어나간다) enum Color { black, white, red }; auto white = false;// white가 Color의 범위에 속해 있기 때문에 오류 또한 암묵적으로 정수 형식으로 변환된다. enum Color { black, white, red }; std::vector primeFactors(std::size_t x); Color c = red; ... if (c < 14.5) { auto factors = primeFactors(c);// 컴파일 된다 ... } 범위 있는 enum(.. 2020. 7. 2.
typedef보다 별칭 선언 typedef std::unique_ptr UPtrMapSS;// C++98 using UPtrMapSS = std::unique_ptr;// C++11 typedef와 별칭 선언이 하는 일은 동일하다. 먼저, 함수 포인터가 관여하는 형식을 다룰 때는 별칭 선언 쪽을 더 쉽게 하는사람들이 많다. // FP는 int 하나와 const std::string& 하나를 받고 아무것도 돌려주지 않는 함수와 동의어이다. typedef void (*FP)(int, const std::string&);// typedef using FP = void (*)(int, const std::string&);// 별칭 선언 2, 3열은 동일한 의미이다. 하지만 사실 둘다 어려운건 마찬가지다. 별칭 선언이 강력한 이유는 템플릿에.. 2020. 7. 1.