type_info 는 타입의 정보를 저장하는 클래스이다. type_info 란 클래스는 typeid라는 연산자를 통하여, 생성되고, 그 참조값이 반환 된다. type_info 에 대한 설명은 일전에 정리하였던 문서(http://ikpil.com/685)를 보자. .. 설명에서 나와 있듯이, 실제로 써서 알 수 있듯이 사용하기 좀 힘든 클래스 이다. 그래서 안드레 알렉산드 레스큐는 좀 더 type_info를 쉽게 사용하고자, 다음의 개념을 정리하였다. 복사 생성자와 기본 생성자가 없어, 컨테이너등에 넣을 수 없으니, 만들어야만 한다. 첫번째에 의해서 포장되었으니, 다른 비교 연산자 등을 재정의해야만 한다. .. 개념을 알았으니, 각자 만들어 보자.( 책에 소스 코드도 역시 .. 선언만 되어 있다. ) 나는..
분류 전체보기 검색 결과
이 테크닉은 여러 책에서도 소개 되어 있다. 쉽게 말해서 "컴파일 타임 상속 여부 체크" 기능이다. 어떻게 형변환과 상속 가능 여부를 알 수 있는가? 일반적으로 사람의 눈으로 "형변환과 상속 가능 여부" 를 알기 위해선 해당 소스코드를 직접 보면 된다. 마찬가지로 컴파일러도 "볼수 있게" 만들어주면 되는데, 형변환 또는 상속 가능 여부 컴파일러가 "볼 수 있게"를 할려면, 몇가지 트릭이 필요하다. 결론은 알 수 있다는 것이다. 이 방법은 객체가 복사 될 수 있다면 컴파일러가 알아서 복사 하는 원리를 이용한 것이다. 하지만 이것을 일일이 컴파일 해보면서 알아 갈려면 정말 힘든 작업 이다. 그래서 여러 선구자들은 sizeof 트릭을 개발하였고, 이 트릭이 나오게 된다. 참고로 sizeof 연산자는 컴파일 타..
제네릭한 스타일 코드에선 Boolean 값의 상수에 따라 두 자료형 중 하나를 선택해야 할 필요가 있다고 책에 적혀 있다. .. 사실 이런 경우를 겪어 볼 만큼 실력이 있지 않아 이런 경우가 있을까? 란 의구심마저 들지만, 어떤 원리가 있는지만 알아 두자. Boolean 값으로 두 자료형 중 한 자료형을 선택하기 #include template struct Select { typedef T ValueType; }; template struct Select { typedef U ValueType; }; struct TestClass { int a1_; int a2_; int a3_; int a4_; int a5_; }; int main( void ) { std::cout
이번장은 어떤 테크닉인가? 2.4에서 배운것은 "템플릿"을 이용하여 메모리 손해를 최하(1Byte)로 하여 상수를 타입(자료형)으로 바꾸었다. 이번엔 템플릿을 이용하여 "타입을 다른 타입"으로 바꾸는 테크닉이다. template struct Type2Type { typedef T TYPE; }; 손쉽게 만들 수 있다. 그런데 이것을 배우고 나서 이런 생각이 든다. 이걸 어디에 써먹지? 책에선 함수 템플릿의 부분 특수화를 하기 위해서 사용했다. 그러므로 여기에 대해서는 더 이상 언급하지 않겠다. 사실 책에 무척 자세하고 아주 친절하며, 몹시 재미있게 정리되어 있기 때문이다. 나라면, 컴파일 타임 함수 분기에 타입을 이용 한다면 "함수 호출에 따른 복사 생성자 호출 비용을 최소화하기" 위해서 사용 할 것이다..
이 기술은 내가 제일 아끼는 기술이다. 컴파일타임에 함수 오버로딩을 이용해 분기시키는 기술인데, 가끔식 쓸때마다 정말 재미있다. 이 기술은 다음과 같은 조건일 때 쓸 수 있다. 컴파일 타음에 주어진 상수에 따라 여러개의 함수 중 하나를 호출 해야 할 때 이러한 디스패칭 작업을 컴파일 타임에 결정 할 떄 Effective C++ 3판, 항목 47 : 타입에 대한 정보가 필요하다면 특성정보 클래스를 사용하자. 에 자세히 나온다. 그래도 이번에 다시 한번 정리해 본다. 상수를 타입으로 만들려면 코드 유틸리티가 필요한데, 다음과 같이 만들자. #include template struct int2type { static int const value = v; }; int main( void ) { std::cout..
일단 아래 코드를 컴파일 해보자. 100% 안될 것이라고? 어디에서..? int C; class C; int X; template class X; struct S; template class S; int main( void ) { return 0; } g++43 [ikpil@localhost work]$ g++ -o template_linktest template_linktest.cpp template_linktest.cpp:8: error: ‘template struct X’ redeclared as different kind of symbol template_linktest.cpp:5: error: previous declaration of ‘int X’ template_linktest.cpp:13:..
최근댓글