확실히 이해하고 있지 못해서 아리송했었는데
perfect forwarding이 template만 되고 일반 함수는 안되는 거였군요
대단히 감사합니다. 복 받으실 거에요 ^^


빌더(TWx) 님이 쓰신 글 :
: 질문 님이 쓰신 글 :
: : http://www.borlandforum.com/impboard/impboard.dll?action=read&db=free&no=28886
: :
: : C++빌더님께서 알려주신 버그패치 잘 쓰고있습니다.
: : Rad Studio 11 에서도 이 template 버그가 고쳐지지 않고 있던데 황당하네요.
: : 몇년째 버그를 방치하고 있다니
: : 소비자를 봉으로 보는 건지 뭐 이런 개발회사가 있는지 모르겠습니다.
: :
: : 제가 궁금한 건요.
: :
: : T&& t
: :
: : 버그패치를 보면 위와 같이 rvalue 레퍼런스를 이용하시던데요.
: : 그럼 옵티마이징을 위해서 perfect forwarding 이용할 법 한데 안쓰고 계셔서요
: : 특별한 이유가 있는 건지 궁금하네요.
:
:
:
:
:
: 답변:
:
:
: rvalue move semantic rule, perfect forwarding을 완전하게 이해하고 있지 못하다면...
: C++언어에 대한 공부가 전혀 되어 있지 않은 거고, C++ 프로그래머라고 할 수 없을 정도로
: 코드 최적화를 위한 굉장히 중요한 개념인데요.
:
: T&& t는 template Type Deduction Rule에 의해서 lvalue 와 rvalue 모두 받을 수 있는 레퍼런스 이므로
: 엄격하게 말하면 rvalue reference 가 아니고, universal reference 입니다.
:
: int&& ri = 7;
:
: 에서 ri는 rvalue로만 바인드 될 수 있는 rvalue reference 이지만...
:
: template <typename T>
: void foo(T&& t){}
:
: 와 같이 Indirect로 Type Deduction 이 적용되는 경우...
: 여기서 t는 rvalue reference가 아니고, lvalue와 rvalue 다 바인드 될 수 있는 universal reference 입니다.
:
:
: 
:
: 버그패치 코드에서 perfect forwarding을 적용하지 않은 것은...
:
: Format() 함수는 델파이로 구현되어 있는 함수에 불과하고...
: 델파이 파스칼 언어는... 코드 최적화를 위한 move semantic, perfect forwarding 개념 자체를
: 아예 갖고있지 않기 때문에 perfect forwarding 사용이 불가능 합니다.
:
: perfect forwarding 을 적용할 수 있으려면...
: 라이브러리가 rvalue move semantic rule을 지원하도록...
: C++로 구현되어 있어야 하죠.
:
: 델파이 파스칼 언어는 코드 최적화를 위한 그런 개념 자체가 없어요.
: 그래서 RTL도 속도를 낸답시고 단무지 같은 방법으로 어셈블리 코드를 잔뜩 쓰고 있죠.
:
: 델파이 파스칼은 Language specification이 간단해서 초보자들이 쉽게 사용할 수 있는 언어에 불과함.
:
:
:
: 이와같이 perfect forwarding이 불가능한 델파이 파스칼 언어의 한계에도 불구하고
: 버그패치 코드에서 T&& (univarsal reference)을 사용한 것은...
:
: 1. const, volatile 과 같은 qualifier 속성을 잃지 않으면서 파라미터를 전달할 수 있고
:
: 2. reference collapsing rule 에 의해서 template 파라미터가 lvaue reference 나 rvalue reference 가
:    될 수 있기 때문에 불필요한 복사가 일어나지 않도록 할수 있는
:
: C++언어의 랭귀지 파워를 활용하기 위한 것임..
:
:
: