성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] VT sequences to "CONOUT$" vs. STD_O...
[정성태] NetCoreDbg is a managed code debugg...
[정성태] Evaluating tail call elimination in...
[정성태] What’s new in System.Text.Json in ....
[정성태] What's new in .NET 9: Cryptography ...
[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...
[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...
[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...
[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...
[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C++ 템플릿 remove_pointer, enable_if, is_pointer 사용 예제</h1> <p> 처음 해결하고 싶었던 문제는 다음과 같은 식의 코드였습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > #include "stdafx.h" using namespace std; #include <map> struct MyType { MyType() { } }; template <typename _Key, typename _Value> class MapTS { public: MapTS() { } void SetNew(_Key key) { <span style='color: blue; font-weight: bold'>_Value v = new _Value(); m_map.insert(pair<_Key, _Value>(key, v));</span> } private: map<_Key, _Value> m_map; }; int main() { MapTS<int, <span style='color: blue; font-weight: bold'>MyType *</span>> m2; m2.SetNew(6); return 0; } </pre> <br /> 위의 코드를 컴파일하면 다음과 같은 오류가 발생합니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Error C2440 'initializing': cannot convert from 'MyType **' to 'MyType *' </pre> <br /> 당연합니다. "_Value v = new _Value();" 코드가 다음과 같이 바뀌기 때문입니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > MyType *v = new MyType *(); </pre> <br /> 이를 해결하기 위해서는 포인터를 하나 제거한 타입을 구해야 하는데요. 이때 사용할 수 있는 것이 바로 remove_pointer 구문입니다. 따라서, 다음과 같이 해주면 해결할 수 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > template <typename _Key, typename _Value> class MapTS { <span style='color: blue; font-weight: bold'>typedef typename remove_pointer<_Value>::type _StructValue;</span> public: MapTS() { } void SetNew(_Key key) { <span style='color: blue; font-weight: bold'>_StructValue *v = new _StructValue();</span> m_map.insert(pair<_Key, _Value>(key, v)); } private: map<_Key, _Value> m_map; }; </pre> <br /> 그런데, 동일한 코드로 포인터 없는 형태로도 사용하고 싶어졌습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > MapTS<int, <span style='color: blue; font-weight: bold'>MyType</span>> m1; m1.SetNew(5); </pre> <br /> 이렇게 사용하면 다음과 같은 오류가 발생하게 됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Error C2440 '<function-style-cast>': cannot convert from 'initializer list' to 'std::pair<_Key,_Value>' </pre> <br /> 역시 당연합니다. "MyType"을 주었기 때문에 m_map 변수의 타입이 "map<int, MyType>"으로 바뀌었고 SetNew 함수에서 포인터를 밀어넣으려니 오류가 발생하는 것입니다. 따라서, 포인터 없는 구문이 동작하려면 SetNew 함수가 다음과 같이 바뀌어야 합니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > void SetNew(_Key key) { _Value v = _Value(); m_map.insert(pair<_Key, _Value>(key, v)); } </pre> <br /> 이를 해결하고 싶다면, 포인터 있는 경우와 없는 경우를 구분하고 그에 따른 템플릿 특수화를 해야 합니다. 이를 위해 is_pointer와 enable_if를 다음과 같이 적용해 줄 수 있습니다. (enable_if의 존재를 회사 동료가 알려줬는데... 전혀 예상치 못한 확장이었습니다. ^^;)<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > template <typename _Key, typename _Value> class MapTS { typedef typename remove_pointer<_Value>::type _StructValue; public: MapTS() { } <span style='color: blue; font-weight: bold'>template<typename T = _Value> void SetNew(_Key key, typename enable_if< is_pointer<T>::value, T >::type value = nullptr)</span> { _StructValue *v = new _StructValue(); m_map.insert(pair<_Key, _Value>(key, v)); } <span style='color: blue; font-weight: bold'>template<typename T = _Value> void SetNew(_Key key, typename enable_if< !is_pointer<T>::value, T >::type value = _Value())</span> { m_map.insert(pair<_Key, _Value>(key, _Value())); } private: map<_Key, _Value> m_map; }; int main() { MapTS<int, MyType> m1; m1.SetNew(5); MapTS<int, MyType *> m2; m2.SetNew(6); return 0; } </pre> <br /> (<a target='tab' href='http://www.sysnet.pe.kr/bbs/DownloadAttachment.aspx?fid=1039&boardid=331301885'>첨부 파일은 이 글의 예제 코드를 포함</a>합니다.)<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
1627
(왼쪽의 숫자를 입력해야 합니다.)