René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"[Question] Item 24 - Universal Reference 와 Rvalue Reference를 구별하라","articleBody":"Item 24의 내용 중 아래와 같은 내용이 나옵니다.\r\n\u003e\u003eEven the simple presence of a const qualifier is enough to disqualify a reference from being universal:\r\n\u003e\u003e```c++\r\n\u003e\u003etemplate\u003ctypename T\u003e \r\n\u003e\u003evoid f(const T\u0026\u0026 param);         // param is an rvalue reference\r\n\u003e\u003e```\r\n그런데 이유는 전혀 나오지 않습니다.\r\n저자는 단지 \"Universal reference(== forwarding reference) 는 반드시 type deduction 이 있으면서 \"T\u0026\u0026\" 형태가 아니면 Universal reference 가 안된다\" 라고만 설명하고 있습니다.\r\n[Scott mayers 의 다른 article](https://isocpp.org/blog/2012/11/universal-references-in-c11-scott-meyers)\r\n\r\nStackOverflow 에서도 동일한 의문을 제기하는 글이 있습니다.\r\n[https://stackoverflow.com/questions/38814939/why-adding-const-makes-the-universal-reference-as-rvalue](https://stackoverflow.com/questions/38814939/why-adding-const-makes-the-universal-reference-as-rvalue)\r\n답변에 따르면 먼저 표준에는 forwarding reference 의 정의 자체가 \"A forwarding reference is an rvalue reference to a cv-unqualified template parameter\"로 const 가 없는 Rvalue reference 형태라고 되어 있습니다. 그리고 이렇게 한 이유는 const T\u0026\u0026 도 universal reference 로 허용하게 되면 rvalue 만 받고자 하는 함수 overloading 을 만들 수가 없기 때문이라고 설명하고 있습니다.\r\n\u003e\u003eThe problem is that we would have no way to overload a template function who takes only rvalue reference as parameter if both T \u0026\u0026 and const T \u0026\u0026 are allowed to use as forwarding references. – Carousel \r\n\r\n* 추후 업데이트 필요","author":{"url":"https://github.com/JayCheck","@type":"Person","name":"JayCheck"},"datePublished":"2017-09-04T15:14:56.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/5/cpp/issues/5"}