[C++ Korea] Effective Modern C++ Study item 24-26

Effective Modern C++ Study
C++ Korea

C++ Korea3
불필요한 복사를 줄이기
위해 레퍼런스로 받음.
R-Value는 받을 수 없음.

C++ Korea4

C++ Korea
w의 타입은 Widget&
w의 타입은 Widget&&

C++ Korea6
• R-Value Reference • Universal Reference
std::vector<T>의 T는 param과 독립적.

C++ Korea7
• Universal Reference 아님.
• R-Value만 받을 수 있다.
• 타입 추론이 발생
하지 않는다.

C++ Korea8

C++ Korea9

C++ Korea11

C++ Korea12

C++ Korea13

C++ Korea14

C++ Korea15

C++ Korea16
//지역변수 n이 w.setName으로 이동

C++ Korea17

C++ Korea18

C++ Korea19

C++ Korea20

C++ Korea21

C++ Korea22

C++ Korea23

C++ Korea24

C++ Korea25

C++ Korea26

C++ Korea27
RVO

C++ Korea28
A : 조건 2에 부합하지 않음

C++ Korea29

C++ Korea30

C++ Korea31

C++ Korea33
std::multiset<std::string> History; // Global Log History
void Log(const std::string& item)
{
History.emplace(item);
}
std::string name("Luna");
Log(name);
Log(std::string("Star"));
Log("Seokjoon");
// Parameter로 name이라는 변수가 사용됨.
// L-Value가 emplace로 COPY
// Parameter로 R-Value가 전달되었지만,
// item이 L-Value라서 결국 emplace로 COPY
// Parameter로 R-Value가 전달되었지만,
// 임시로 std::string 개체가 만들어져서 결국 emplace로 COPY
Universal Reference + std::forward 면 efficient하게 할 수 있다.

C++ Korea34
std::multiset<std::string> History; // Global Log History
template<typename T>
void Log(T&& item)
{
History.emplace(std::forward<T>(item));
}
std::string name("Luna");
Log(name);
Log(std::string("Star"));
Log("Seokjoon");
// L-Value std::string를 emplace로 COPY (기존과 동일)
// R-Value를 emplace로 MOVE
// std::string를 item에서 임시로 만드는 것이 아니라
// multiset 안에다가 직접 생성함
하지만 std::string가 아닌 Indirect로 값을 받아야 할 경우가 있다면 ???

C++ Korea35
std::string GetItemFromTable(int idx);
void Log(int idx)
{
History.emplace(GetItemFromTable( ));
}
Log(22);
short s = 22;
Log(s);
// Call int overload
// Compile Error :
// can’t convert argument
// ‘short’ to std::string ctor
Universal Reference Overload 함수는 C++에서 가장 탐욕스러운 함수이다. (닥치는 대로 호로록)
• Instantiation of template (자세한 설명 생략)
• Overload Resolution Rule (자세한 설명 생략)
(위 2가지에 대해서 모른다면 검색해서 알아 보도록… Right Now !!!)
• Parameter가 int인 경우 정확히 int Overload 함수를 실행하지만,
• short인 경우는 T&&을 이용하여 Instantiation이 가능하다.
• Overload Resolution Rule에 의해서 template 함수가 호출되며,
Compile Error를 발생시킨다.
해결방법은 ? Perfect Forwarding Constructor (라고는 하는데 이번 item에서는 해결이 안된다.)

C++ Korea36
class Item {
public:
template<typename T>
explicit Item(T&& data) // Perfect Forwarding ctor
: value(std::forward<T>(data)) {}
explicit Item(int idx) // int ctor
: value(GetItemFromTable(idx)) {}
private:
std::string value;
};
• 하지만, int를 제외한 나머지 타입 (std::size_t, short, long …)에 대해서는 Universal Reference Constructor가 호출
• 심지어 생성자에 다른 Item 개체를 넣어도 Universal Reference Constructor 생성자가 ???
아 왜 ?

C++ Korea37
Item ME("Luna");
auto CloneofME(ME);
Item(const Item& SRC); // Copy ctor (Compiler-generated)
Item(Item&& SRC); // Move ctor (Compiler-generated)
explicit Item(Item& ) // Instantiated from Perfect Forwarding template
: value(std::forward<Item&>(data)) {}
• Overload Resolution Rule에 따라 본다면, 뭐가 가장 parameter에 똑같이 매칭될까 ?
• 그럼 해결 방법은 ?
Compiler는 C++의 Rule을 반드시 지키도록 맹세하였다. (융통성 없는 놈하고는…)
const Item ME("Luna"); // Object is now const
auto CloneofME(ME);

C++ Korea38
class ItemEx : public Item {
public:
ItemEx(const ItemEx& item) // Copy ctor
: Item(item) {} // Calls base class forward ctor
ItemEx(ItemEx&& item) // Move ctor
: Item(std::move(item)) {} // Calls base class forward ctor
};
• Derived Class에서 Base Class로 Item이 아닌 ItemEx로 전달하기 때문이다.

C++ Korea39
• Universal Reference를 Overload하면 뭘 상상하든 그 이상으로
훨씬 더 자주 맨날맨날 허구언날 시도때도 없이
Universal Reference Overload가 호출된다.
• Perfect Forwarding Constructor도 마찬가지다. 아니 이놈은 더하다.
non-const L-Value와의 궁합이 COPY Constructor보다 더 잘 맞고,
Derived class의 COPY, MOVE Constructor의 호출도 가로채버린다.
• 그냥 Universal Reference Overload 와 Perfect Forwarding Constructor를 쓰지마라.

http://devluna.blogspot.kr/2015/03/item-26-universal-reference.html
icysword77@gmail.com

[C++ Korea] Effective Modern C++ Study item 24-26

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Similar to [C++ Korea] Effective Modern C++ Study item 24-26

Similar to [C++ Korea] Effective Modern C++ Study item 24-26 (20)

More from Seok-joon Yun

More from Seok-joon Yun (20)

[C++ Korea] Effective Modern C++ Study item 24-26