Update ITEM33.md

Author: romandev

ITEM33.md

@@ -42,3 +42,33 @@ template을 사용했을 때와는 달리 auto의 경우 type parameter ```T```
 ```c++
 auto f = [](auto&& x) { return func(normalize(std::forward<decltype(x)>(x))); };
 ```
+
+# decltype(x)의 문제점
+x의 타입을 여과없이 추론함. 즉, x가 rvalue reference였다면, rvalue reference가 나옴. [참조: decltype](https://github.com/jwvg0425/ModernCppStudy/wiki/item-3)
+x가 lvalue reference인 경우는 decltype(x)는 lvalue reference이고, 이것에 대한 것은 성대현 선생님이 [Item28](https://github.com/lunchclass/cpp/blob/master/ITEM28.md)에서 다루었음.
+x가 rvalue reference인 경우는 decltype(x)는 rvalue reference이고, 이것은 아무런 문제가 없는가?
+
+std::forward의 구현이 다음과 같을 때,
+```c++
+template<typename T>
+T&& forward<remove_reference_t<T>& param)
+{
+    return static_cast<T&&>(param);
+}
+```
+
+때려넣으면,
+```c++
+Widget&& && forward(Widget& param)
+{
+    return static_cast<Widget&& &&>(param);
+}
+```
+
+하지만 성대현 선생의 [Item28](https://github.com/lunchclass/cpp/blob/master/ITEM28.md)에 따라 reference collapsing되어 결국에는,
+```c++
+Widget&& forward(Widget& param)
+{
+    return static_cast<Widget&&>(param);
+}
+```