차세대 C++ 표준 - C++0x

 'Generic Programming and the STL'의 저자 겸 C++ 표준 위원회 라이브러리 워킹 그룹 의장인  Matt Austern 의 홈페이지에 가보면, 차세대 C++표준인 C++0x에 추가가 고려될 library wishlist가 있다.

  threads library와 socket library 를 Bjarne Stroustrup가 제안한게 흥미롭다.

 작업이 열심히 진행되고 있는거 같은데 언제 쯤 나올지는, 한가지 확실한건 microsoft의 c++에 적용이 되려면 표준이 나온후 3년은 지나야 할것이라는 점이다. -_ -;

 Bjarne Stroustrup 의 홈페이지에 가보면 이 양반이 앞으로 C++이 가야할길 을 몇가지 밝혀놓은 것이 있다. 창조자가 생각하는 앞으로 C++이 가야할 방향은,

• no major changes to the language itself
  : 언어 자체에 큰 변화를 주지 않는다.
• major extensions to the standard library
  : 표준 라이브러리에 중요하고 큰 확장을 추가한다.
• make c++ a better language for system programming and library building
  : 시스템 프로그래밍, 라이브러리 개발에 좋게 만든다.
• make c++ easier to teach and learn
  : 배우기 쉽게 만든다.

 뭐 이정도다. 이 양반은 2005년이나 2008년쯤에 나올것 이라고 밝혔다. 다음 C++0x에 추가될 언어자체의 기능은 typedef template, typeof() 정도 인거 같다.

그 내용은... [스크롤의 압박으로 more를 클릭하시기바랍니다.]

ps. 몰랐는데 ms의 무료 c++ 컴파일러가 존재하는군요. ide를 빼고 컴파일러와 라이브러리만 묶은 툴킷이 다운로드 가능하군요. 이름은 MS Visual C++ Toolkit 2003 물론 visual studio의 매력은 ide와 강력한 debugger인데, ide를 쓸수 없으니...-_ -; 즐!

ps. matt란 사람 참 존경할만하네요! 2004년에 그가 읽은 책 리스트를 보니... 절로 정신이 몽해지네요. 게다가 원서를! (농담.-_-)

추가1. vc++.net 2003에 추가된 기능을 찾아봤는데, ms가 이런 이쁜짓-_ -을 했을줄이야. 역시 .net 2002에는 partial template specialization 이 빠졌었는데 2003에 추가 되었군요 :)

#1 typedef template의 사용예

// 사용예1
template < class T1, class T2 > class X { /* */ };
template < class T > typedef X< T, int > X2;
Xi<double> d; // 이것은 X<double, int> 와 같다.

// 사용예2
template < class T, class U > class X { /* */ };
template < class T > typedef X<T, vector<T> > X3;
X3< int > v; // 이것은 X<int, vector<i>> 와 같다.

#2 typeof 는 어떠한 연산의 결과의 타입을 취하려고 만든 것이다. 거의 템플릿에서 리턴되는 값에 대한 타입을 generic하게 만들기 위한 것이다. 예를 들어 좋은 예가 매트릭스 곱셈인데 매트릭스 곱셈은 리턴되는 변수의 타입이 곱하는 두 변수의 타입과 같지 않다.

// 매트릭스 곱셈.
matrix_3x1 m1;
matrix_1x3 m2;
matrix_1x1 m = m1 * m2;

// 이런식인걸 템플릿화하면,
template < class M1, class M2 >
??? matrix_multiply( M1 m1, M2 m2 );

// 가 되는 리턴되는 타입이 불분명하다. 물론, 이경우 행렬이 다른 매트릭스를
// 같은 클래스내에서 동적 생성하면 되겠지만, 예를 설명하기 위함이다. -_ -;
// typeof 연산자를 쓴다면 다음과 같다.
template < class M1, class M2 >
typeof(m1*m2) matrix_multiply( M1 m1, M2 m2 )
{
    auto ret = m1 * m2; //
    return ret;
}

 하지만, 아직 구체적인 syntax 조차도 아직 정해지지 않았다. 이것은 C++1X-_ -;에나 가능할 지도 모른다. 그외 잡다한 표준라이브러리에 추가될만한 것들이 언급되어있다.

 그리고 그가 ACCU2000 컨퍼런스에서 발표한 프리젠테이션에 내가 이전 포스트에 잠깐 언급한 C의 표준을 C++이 따라가야 하는가? 와 관련된 이야기를 하였다. 현재의 공식 C++ 표준인 C++98은 C89에서 도입되었던 기능까지 도입되었는데, C99에서 그 이후에 C++에 추가된 기능중 일부가 추가되고 C++0x에서는 C89이후에 추가된 C의 표준이 들어가게되고 vice versa. 그가 직접 작성한 프리젠테이션 일부.

[ C/C++ 가계도-_ -]

[ C89 C99 C++98 표준끼리의 호환성-_ -]

[ 푸하하하ㅏ 차세대 C++과 C의 표준이 나올경우....-_ -; ]

 이걸 프리젠테이션했을때 정말 웃겼을거 같군요. :) 재밌는 양반입니다.

 내가 좋아하는 C++, template 앞으로도 계속 '진보'하는 모습을 지켜보는 것 만으로도 참 흥미롭습니다. 나이 좀 들기전에 내가 해야할 두가지 일. os 개발과 high-tech language 개발. 그리고 C++표준위원회에 참가하고 싶다. :)

참조문서: 비사마-_ -가 강연한 프리젠테이션 두가지.

• a panel at SD2001w
• a keynote at the Spring 2002 ACCU conference