C++’s move semantics

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

Ad

C++’s Move Semantics
KPU
Lusain. Kim

INDEX
▪ C++에서의 Value Type
▪ L-Value
▪ L-Value Reference &
▪ R-Value
▪ R-Value Reference &&
▪ 이동의미론
▪ 이동의미론
▪ 사용 방법
▪ 사용 예
...

C++ Value Type
MSDN : https://msdn.microsoft.com/ko-kr/library/f90831hc.aspx

▪ 명칭의 유래는 대개 왼쪽에 위치할 수 있는 값이기 때문
– 정확한 정의는 아님 !
▪ 단일 식을 넘어 지속되는 값
▪ 이름이 있는 모든 변수는 L-Value
ex)
int a; // a is L-value
char*...

▪ 복사되지 않으며 원본을 전달하는 참조
▪ 용도
1. 변수에 다른 이름을 붙이고 싶을 때
2. 원본이 존재하는 것을 명시하며 복사하지 않고 매개 인자로 넘길 때
▪ 포인터와의 차이점
1. 포인터는 초기화를 생략하거나 ...

▪ 사용법
– 변수 선언 시 & 기호를 추가
– 초기화할 인자에는 별도의 기호가 붙지 않음
ex)
int a = 15; // a is L-value
int& b = a; // b is L-value reference
b...

▪ 명칭의 유래는 오른쪽에만 위치할 수 있는 값이기 때문
– 정확한 정의는 아님 !
▪ 유지되지 않는 값
– 숫자, 이름이 없는 문자열, 함수의 반환 값 등
ex)
int a ＝ 5; // 5 is Number. R-v...

▪ L-Value 참조와의 구분을 위해 나타난 참조
▪ 참조를 통한 매개 인자의 전달에서 원본의 유지가 필요 없을 때 사용
▪ 사용자가 구현했을 경우 이동 연산이 가능해짐
▪ 용도
1. 의미 체계 이동의 구현을 위하여
...

▪ 사용법
– 변수 선언 시 && 기호를 추가
– L-Value와 동일하게 정의 시점에 초기화되어야 함
▪ 주의사항
– 이름이 있는 변수이기 때문에 R-Value Reference는 L-Value
▪ 예제
– 추후 설명...

Q 다음 예제에서 L-Value와 R-Value를 구분해 보시오
…
int x = 3;
const int y = x;
int z = x + y;
int *p = &x;
cout << string{ "hello" };
+...

Q 다음 예제에서 L-Value와 R-Value를 구분해 보시오
…
int x = 3;
const int y = x;
int z = x + y;
int *p = &x;
cout << string{ "hello" };
+...

move semantics
MSDN : https://msdn.microsoft.com/ko-kr/library/dd293665.aspx

▪ C++11부터 R-Value Reference를 사용 가능
– 이를 통해 R-Value를 사용한 연산 가능
▪ R-Value는 임시 값이므로 원본을 그대로 사용해도 괜찮지 않을까?
– 원본을 보존하지 않아도 되기 때...

▪ R-Value가 아닌데 R-Value로 넘기고 싶은 경우
– std::move() 함수를 사용
▪ std::move
– 인자를 R-Value로 형 변환 시킨다
– 함수 이름에 속으면 안 된다. 이 함수는 이동을 보장...

▪ STL Container에서 원소의 삽입은 이동 연산을 지원
class Unit; // 이동 연산을 지원하는 클래스
Unit A;
std::vector<Unit> v;
v.push_back(std::move(A));...

▪ STL Container에서의 이동 연산은 조건이 까다로움
class Unit; // 이동 연산을 지원하는 클래스
Unit A;
std::vector<Unit> v;
v.push_back(std::move(A)); ...

▪ 이동 연산 중 오류가 발생한다면?
▪ 이동 연산은 예외 발생 시 rollback이 불가능할 위험 존재
– 원본을 보존하지 않기 때문에
– 이 때 예외가 발생하지 않는다는 것을 명시할 필요가 있음
▪ 함수의 뒤에 no...

At Template
MSDN : https://msdn.microsoft.com/ko-kr/library/dd293668.aspx

▪ 문제 : 템플릿에서 다음 참조는 R-Value Reference일까?
auto&& ref = data;
auto&& ref = move(data);
템플릿에서의 &&

▪ 템플릿에서는 &&에 L-Value가 올 수도, R-Value가 올 수도 있음
> 템플릿에서 &는 L-Value Reference
▪ 이를 보편 참조(Universal Reference)라고 함
– 같은 의미로 for...

▪ 보편 참조가 생긴 이유
– 가변 인자 템플릿(Variadic Template)에서는 인자의 완벽 전달이 불가능
template<class Ty, class Args...>
void func(Ty&& arg, Args...

▪ Universal Reference 인자를 다시 매개 인자로 전달할 때
이 인자가 R-Value인지, L-Value인지 확인하기 어려움
▪ 표준에서 구현된 함수 존재 : std::forward
– 완벽한 전달을 위한...

▪ std::forward를 사용하는 예
template<class Ty, class Args...>
void func(Ty&& arg, Args&& ...args)
{
// process : arg를 처리하는 어떤 함...

▪ Rvalue Reference and constexpr – 김경진
– https://mva.microsoft.com/ko/training-courses/-with-c-korea-c--10300?l=8F8JAKd6_7...

Thank you!
2017. 09. Team Warp

You are reading a preview.

Activate your 30 day free trial to continue reading.

Share SlideShare

Facebook
Twitter
LinkedIn

Embed

Size (px)

Show related SlideShares at end

WordPress Shortcode

Link

LinkedIn
Facebook
Twitter
Email

Replay

Top clipped slide

1 of 25 Ad

1 of 25 Ad