Skip to main content

C++ of the Day #5 - C++0x에서 변경될 몇가지 내용 소개

오늘은 DDJ에 올라온 Living By the Rules: Part II에 소개된 C++0x에서 변경될 내용에 대해 몇가지 소개합니다. 반가운 내용들이 많이 있네요.

먼저 nested template을 사용하는 경우 두개의 괄호를 항상 띄어썼어야 했는데 C++0x에서는 붙여써도 된답니다.
std::vector<std::pair<int, std::string="">> vect;
이 경우 nested template 안에서 shift-right operator를 사용해야 할때는 괄호를 쳐주어야 합니다. 하지만 이렇게 사용할 일이 얼마나 있을까 싶습니다.
Y<x<(6>>1)>> x4;
두번째는 다음에서 friend 선언안의에 Ty와 같이 "elaborated type specifier"이 아닌 타입이 선언되면 에러가 발생했는데 ((C++98의 7.1.5.3의 2항에 다음과 같이 나와 있습니다.
If the identifier resolves to a typedef name or a template typeparameter, the elaboratedtypespecifier is illformed. [Note: this implies that, within a class template with a template type parameter T, the declaration
friend class T;
is illformed.])) C++0x에서는 friend 선언의 타겟으로 사용될 수 있는 것들의 범위를 넓혀 아래 코드도 C++0x에서는 사용할 수 있다고 합니다.
참고로 아래 코드는 Java의 final과 유사하게 final 클래스에서 더이상 상속받을 수 없게 하기 위한 코드입니다.
template <class ty=""> class no_children
{   // template to block inheritance from Ty
no_children() {}
friend class Ty;
};

class final : virtual no_children<final> { /* ... */ }; 
다음은 가장 반가운 변경 사항중의 하나입니다. 클래스에서 생성자가 여러개 있을때 각각의 생성자에서 모든 변수를 초기화해야 하는 불편함이 있었죠. 일반적으로는 init()같은 함수를 작성하여 모든 생성자에서 호출하기도 했습니다만 썩 깔끔하진 않았습니다. 저와 비슷한 생각이었던 분들은 모두 아래 변경 사항이 무척 반가울것 같네요. 생성자의 initialize list에서 다른 생성자를 먼저 수행할 수 있게 해주는 문법입니다.
struct S
{
  S() : i(0), j(0) {}
  S(int j0) : S() // changed
  {
    j = j0;
  }
  int i, j;
};
다음은 컴파일러가 자동으로 알아서 타입을 결정해주는 auto 키워드입니다. 원래 auto 키워드는 변수의 storage class를 나타내는 것이었는데 실제로는 거의 사용하지 않던 것이 이런 식으로 할일을 찾았네요. ((automatic storage duration을 갖는 변수를 나타내는데 쉽게 스택에 할당되는 변수 혹은 static이나 extern으로 선언되지 않은 변수라고 보시면 됩니다.)) 예전에 std::tr1::function 과 같이 사용되는 유용한 예제를 어디서 읽었던 기억이 나는데 찾지를 못하겠네요. :-( ((찾게 되면 여기에 갱신하도록 하겠습니다. 대신 Bjarne Stroustrup씨가 쓴 이글에도 관련 내용이 조금 있습니다. 관심 있으신 분들을 읽어보세요.)) 이 역시 그동안 generic programming의 걸림돌중 하나였는데 이 새로운 auto 키워드 덕분에 더욱 복잡하고 난해한 기법들이 나오게 되겠네요. :-)
typedef std::vector values;
for (auto it = data.begin(); it != data.end(); ++it)
{ /* ... */ }
그리고 굳이 현재 객체를 const형으로 캐스팅하지 않아도 const_iterator를 얻을 수 있는 함수들이 begin(), end() 함수 패밀리에 포함되었습니다.
vec.cbegin(); // returns vector::const_iterator
vec.cend();   // returns vector::const_iterator
vec.crbegin();// returns vector::const_reverse_iterator
vec.crend(); // returns vector::const_reverse_iterator
또 하나 반가운 확장은 매크로가 가변 길이 변수를 가질 수 있게 된다는 것입니다. 더이상 변수 갯수에 따라 DEBUG0, DEBUG1, DEBUG2와 같이 이름 지을 필요는 없어지겠죠. :-)
#define debug(...) fprintf(stderr, __VA_ARGS__)
debug("Flag");
debug("X = %dn", x);
이번 글에서는 원문의 내용을 간단히 소개했습니다. 좀더 자세한 내용을 알고 싶은 분들은 원문을 보시거나 표준문서 초안을 참고하세요.

몇달전인가까지만 해도 Herb Sutter씨가 Trip Report라는 제목의 컬럼을 통해 열심히 새로운 내용을 알려주었는데 이제는 Pete Becker씨와 교체했나봅니다. ((아직 CUJ가 DDJ와 통합된 이후로 아직 DDJ에 익숙해지질 않네요. 그나저나 CUJ에 1년 등록비로 낸 $15는 어찌 되는겨... :-( ))

처음에 C++0x라는 이름을 봤을땐 이게 언제나 나오려나 했는데 tr1도 나오고 이제 0x년도 몇년 안남았네요. 시간 참 빠릅니다. :-(

Comments

Post a Comment

Popular posts from this blog

1의 개수 세기 - 해답

벌써 어제 말한 내일이 되었는데 답을 주신 분이 아무도 없어서 좀 뻘쭘하네요. :-P 그리고 어제 문제에 O(1)이라고 적었는데 엄밀히 얘기하자면 O(log 10 n)이라고 적었어야 했네요. 죄송합니다. ... 문제를 잠시 생각해보면 1~n까지의 수들 중 1의 개수를 얻기 위해서는 해당 숫자 n의 각 자리의 1의 개수가 모두 몇개나 될지를 구해서 더하면 된다는 사실을 알 수 있습니다. 예를 들어 13이라는 수를 생각해 보면 1~13까지의 수에서 1의 자리에는 1이 모두 몇개나 되는지와 10의 자리에는 모두 몇개나 되는지를 구해 이 값을 더하면 됩니다. 먼저 1의 자리를 생각해 보면 1, 11의 두 개가 있으며 10의 자리의 경우, 10, 11, 12, 13의 네 개가 있습니다. 따라서 2+4=6이라는 값을 구할 수 있습니다. 이번엔 234라는 수에서 10의 자리를 예로 들어 살펴 보겠습니다. 1~234라는 수들 중 10의 자리에 1이 들어가는 수는 10, 11, ..., 19, 110, 111, ... 119, 210, 211, ..., 219들로 모두 30개가 있음을 알 수 있습니다. 이 규칙들을 보면 해당 자리수의 1의 개수를 구하는 공식을 만들 수 있습니다. 234의 10의 자리에 해당하는 1의 개수는 ((234/100)+1)*10이 됩니다. 여기서 +1은 해당 자리수의 수가 0이 아닌 경우에만 더해집니다. 예를 들어 204라면 ((204/100)+0)*10으로 30개가 아닌 20개가 됩니다. 이런 방식으로 234의 각 자리수의 1의 개수를 구하면 1의 자리에 해당하는 1의 개수는 ((234/10)+1)*1=24개가 되고 100의 자리에 해당하는 개수는 ((234/1000)+1)*100=100이 됩니다. 이들 세 수를 모두 합하면 24+30+100=154개가 됩니다. 한가지 추가로 생각해야 할 점은 제일 큰 자리의 수가 1인 경우 위의 공식이 아닌 다른 공식이 필요하다는 점입니다. 예를 들어 123에서 100의 자리에 해당하는 1의 개수는 ((123/1

std::map에 insert하기

얼마전 회사 동료가 refactoring한 코드를 열심히 revert하고 있어서 물어보니 다음과 같은 문제였습니다. 원래 코드와 refactoring한 코드는 다음과 같더군요. nvp[name] = value; // original code nvp.insert(make_pair(name, value)); // refactored 아시겠지만 위의 두 라인은 전혀 다른 기능을 하죠. C++03에 보면 각각 다음과 같이 설명되어 있습니다. 23.1.2/7 Associative containers a_uniq.insert(t): pair<iterator, bool> inserts t if and only if there is no element in the container with key equivalent to the key of t. The bool component of the returned pair indicates whether the insertion takes place and the iterator component of the pair points to the element with key equivalent to the key of t. 23.3.1.2/1 map element access [lib.map.access] T& operator[](const key_type& x); Returns: (*((insert(make_pair(x, T()))).first)).second. 원래 코드는 매번 새 값으로 이전 값을 overwrite했지만 새 코드는 이전에 키가 존재하면 새값으로 overwrite하지 않습니다. 따라서 원래 기능이 제대로 동작하지 않게 된것이죠. 그래서 물어봤죠. "왜 이렇게 했어?" "insert가 성능이 더 좋다 그래서 했지." :-? 사실 Fowler 아저씨는 Refactoring 책에서 refactoring은 성능을 optimizing하기 위한 것이 아니다라

C++ of the Day #9 - Boost.Python 사용하기 #1

Python 은 가장 인기있는 interpret 언어중의 하나입니다. Python의 장점 중 하나는 C/C++ 모듈과 쉽게 연동할 수 있다는 점입니다. 물론 손으로 일일히 wrapper를 만드는 것은 손이 많이 가고 에러를 만들수 있는 작업이나 SWIG 등과 같은 도구를 사용하면 쉽게 python 모듈을 만들 수 있습니다. Boost.Python 은 이런 SWIG와 같이 python 모듈을 쉽게 만들 수 있도록 도와주는 라이브러리로 순수 C++만을 사용한다는 점이 SWIG와 다른 점입니다. 그리고 개인적으로는 Boost 라이브러리에 포함되어 있는 것들이 왠지 좀 더 믿음직스러워서... :-) 이번 글에서는 Boost.Python 문서에 나와 있는 예제 를 가지고 간단하게 python 모듈을 만드는 방법에 대해서 알아보겠습니다. Requirements 리눅스 이 글에서는 리눅스 환경에서의 사용 방법을 설명한다. Boost.Python 라이브러리 (1.33.1) Boost 라이브러리를 다운로드받아 아래와 유사한 명령으로 라이브러리를 빌드한다. bjam -sTOOLS=gcc -with-python install bjam의 --prefix 옵션으로 라이브러리가 설치될 위치를 변경할 수 있다. Python 라이브러리 (2.4.3) Python을 다운로드 받아 빌드하여 설치한다. 위의 경우와 유사하게 configure의 --prefix 옵션으로 설치될 위치를 변경할 수 있다. Write C++ Code 다음과 같이 코드를 작성한다. // greet.cpp #include <stdexcept> char const* greet(unsigned x) { static char const* const msgs[] = { "hello", "Boost.Python", "world!" }; if (x > 2) throw std::range_error("