develop about develop

32. 객체를 클로저 안으로 이동하려면 초기화 캡쳐 (갈무리)를 사용하라값 캡쳐, 참조 캡쳐 모두 사용하기 애매한 경우가 있다.이동 전용 객체 (ex. std::unique_ptr )를 클로저 안으로 들여올 때가 그렇다.C++11 에서는 방법이 없지만. C++14 에서는 객체를 클로저 안에 이동하는 기능을 제공한다.Init Capture (초기화 캡쳐) 방식이 있는데 기본 캡쳐 모드 외에는 C++11 캡쳐 모드에서 지원하는 기능 전부 지원한다.초기화 캡쳐는 다음과 같은 항목 지정이 가능하다.람다로부터 생성되는 클로저 클래스의 자료 멤버 이름해당 자료 멤버 초기화 표현식예시)auto pw = std::make_unique();...auto func = [pw = std::move(pw)] { return ..

람다 표현식C++의 면모를 크게 바꾸는 새로운 기능이다.사실 람다가 할 수 있는 모든 일은 람다를 사용하지 않고도 구현할 수 있다.하지만 함수 객체 만들기가 쉬워지므로 C++ 개발에 큰 영향을 준다. 람다 표현식이 없다면 std::find_if, std::remove_if, std::count_if 등은 조건자(predicate)와 사용만 가능하다.*ex. std::find_if(v.begin(), v.end(), isEven); 에서 3번째 인자에 들어가는 것이 predicate (함수 포인터, 함수 객체 등)커스텀 가능한 비교 연산(std::sort, std::nth_element, std::lower_bound 등)도 마찬가지이다. 람다 표현식의 예시)std::find_if(container.beg..

30. 완벽 전달이 실패하는 경우들을 잘 알아두라Perfect Forwarding 은 C++11 의 주요 기능 중 하나이다.한 함수가 다른 함수에 자신의 인자를 전달할 때, 다른 함수에 받은 것과 동일한 객체를 전달하는 방법이다.( ex. 값 매개변수를 사용하는 경우 복사본을 전달하므로 동일한 객체가 아니다 ) 객체 전달 외에도 l-value/ r-value 여부, const, volatile 여부 등 전달되는 객체의 특징도 포함한다.따라서 보편 참조 매개변수를 사용해야한다.(#23에서 다룬 내용) 보편 참조 매개변수만 l-value, r-value 정보를 저장하기 때문이다.예시)templatevoid fwd(T&& param) { f(std::forward(param));}위와 같이 완벽 전달은 특정 ..

29. 이동 연산이 존재하지 않고, 저렴하지 않고, 적용되지 않는다고 가정하라.move semantics (이동 의미론)는 C++11 의 가장 주요한 기능이다.컴파일러는 비싼 복사 연산을 비교적 저렴한 이동 연산으로 대체할 수 있다. (가능하면 그렇게 해야한다)또한 C++98 코드 기반을 C++11 준수하는 컴파일러와 표준 라이브러리로 컴파일하면, 소프트웨어가 자동으로 더 빠르게 실행된다. (컨테이너 등 내부적 로직에서 이동 연산이 사용되므로 자동 개선) 개발자들은 이동 연산에 열광하나, 과장된 부분도 분명 존재한다.이번 시간에는 이동 의미론에 대해 근거 있는 기대를 가질 수 있게 자세히 알아보자. move semantics 를 지원하지 않는 형식도 다수 존재한다.특수 멤버 함수 자동 생성 조건에 맞지 ..

28. 참조 축약을 숙지하라보편 참조 생성자에서 인자로 보편 참조 매개변수를 초기화할 때, T (템플릿 매개변수) 에는 인자의 정보가 부호화 되어 있다.(l-value/r-value 여부) 예시)templatevoid func(T&& param);위 케이스에서 T 에는 param 에 전달된 정보가 존재한다. 예시)Widget w; // l-valueWidget widgetFactory(); // r-valuefunc(w); // l-value 전달, T = Widget&func(widgetFactory()); // r-value 전달, T = Widget위 예시에서 각각 func 함수 인자로 l-value/r-value 가 전달된다.l-value/r-value 에 따라 T에 연역되는 형식이 다르다. C+..

27. 보편참조에 대한 중복적재(overload) 대신 사용할 수 있는 기법들을 알아두라동일한 이름의 보편 참조 함수와 overload 함수를 같이 사용했을 때, 문제가 될 수 있다는 점을 이전 시간에 배웠다.예상보다 더 많은 호출자가 보편 참조 함수 로직을 타게 된다. (더 부합하기 때문)오버로드 포기간단하게 overload 를 포기하고 함수 이름을 나누면 된다. (ex. logAndAdd -> logAndAddName, logAndAddNameIdx)유지보수에 복잡성이 커지는 단점이 있다.또한 자동으로 작성되는 클래스 생성자로 인한 overload 는 대처가 불가능하다.생성자 이름은 클래스 이름으로 고정되기 때문이다. const T& 매개변수 사용보편 참조 대신 l-value 에 대한 참조 매개변수를..

26. 보편 참조에 대한 중복적재(overload)를 피하라예시)#include#include#includestd::multiset names;void addName(const std::string& name) { names.emplace(name);}int main() { std::string petName("Darla"); addName(petName); // case 1: l-value std::string 넘김 addName(std::string("Persephone")); // case 2: r-value std::string 넘김 addName("Patty Dog"); // case 3: std::string 리터럴 넘김}위 코드는 비효율적이다.일단 함수 매개변..

25. 오른값 참조 (r-value ref)에는 std::move 를, 보편 참조에는 std::forward를 사용하라#23 std::move와 std::forward 를 숙지하라.#24 보편 참조와 오른값 참조(r-value ref)를 구별하라. 앞서 배운 #23, #24 의 내용들이 합쳐진다. r-value 참조의 경우, r-value 성질을 활용할 수 있게 r-value 로 캐스팅해주는 std::move 를 사용한다.보편참조의 경우, r-value 로 초기화되는 경우만 r-value 로 캐스팅해주는 std::forward 를 사용한다. 이를 따르지 않는 것은 권장되지 않는다.r-value 참조에 std::forward 사용작성해야하는 형식이 더 많으며 실수의 여지가 존재함보편 참조에 std::mov..

24. 보편 참조와 오른값 참조(r-value ref)를 구별하라.보편참조는 추상적이다. ( 선언 시 l-value, r-value 로 나뉘지 않음 ) 일반적으로 (템플릿)T 형식에 대한 r-value reference 선언 시, T&& 표기를 사용한다.하지만 반대로 코드에서 T&& 를 발견했을 때 이를 r-value reference 라고 단언할 수 없다. 다양한 예시)void f(Widget && param); // r-value refWidget&& var1 = Widget(); // r-value refauto&& var2 = var1; // r-value ref 아님templatevoid f(std::vector&& param); // r-value reftemplatevoid f(T&& par..

오른값 참조(r-value reference), 이동 의미론 (move semantics), 완벽 전달 (Perfect Forwarding)move semantic : 유효 문맥에서 비싼 복사 연산을 덜 비싼 이동 연산으로 대체할 수 있음perfect forwarding : 함수 인자 전달 시, 대상 함수가 전달 함수로부터 받은 것과 동일한 인자를 받게 함r-value reference 라는 언어 매커니즘으로 인해 위 두개의 기능이 묶여서 사용된다.이 기능들은 직관적이지만 그리 간단하지는 않다.예상치 못한 여러 요소가 존재한다.std::move 는 모든 것을 이동 시키지 않고, perfect forwarding 은 완벽하지 않다.이동 연산이 복사 연산보다 항상 싸지 않고, 싸더라도 기대한 만큼 싸지 않을..