C/C++ 컴파일러는 표준에 적합하면서도 각 벤더들만의 확장 기능이 있는데, MSVC 컴파일러에는 있는 유용한 extension들을 살짝 들여다 보자. 기억이 맞는다면 Visual Studio .NET (7.0) 부터 지원된 기능들이다. 안타깝게도 gcc에서는 아래 기능들이 지원이 안 되는 것 같다. 그러나 반대로 MSVC에서 지원하지 않는 gcc의 재밌는 키워드 __builtin_expect도 있다.

1. __super
이름에서 말하듯이 자신의 base-class를 가리키는 키워드이다. 예를 들어, overriding한 method에서 상위 클래스의 구현을 호출하고 싶으면 항상 그 상위 클래스이름::메소드이름을 사용했어야 하는데 이 키워드로 그런 불편함을 덜 수 있다 (첫 번째 예제 코드는 MSDN에서 발췌).

// deriv_super.cpp
// compile with: /c
struct B1 {
   void mf(int) {}
};
 
struct B2 {
   void mf(short) {}
   void mf(char) {}
};
 
struct D : B1, B2 {
   void mf(short) {
      __super::mf(1);     // Calls B1::mf(int)
      __super::mf('s');   // Calls B2::mf(char)
   }
};

String XEntity::GetPropertyCore(PCPROPERTY pProperty) throw(...)
{
    // No overriden behaviors
    return __super::GetPropertyCore(pProperty);
}
 
void XEntity::SetPropertyCore(PCPROPERTY pProperty, ARGString strValue) throw(...)
{
    // No overriden behaviors
    __super::SetPropertyCore(pProperty, strValue);
}

template
class X : public T {
public:
   void Dump() {
      std::cout << "In X::Dump()" << std::endl;
 
      __if_exists(T::Dump) {
         T::Dump();
      }
      __if_not_exists(T::Dump) {
         std::cout << "T::Dump does not exist" << std::endl;
      }
   }   
};

한 마디로 #ifdef와 유사한 기능이라고 볼 수 있다. 그러나 단순히 identifier가 아닌 클래스 멤버 변수 유무까지 알 수 있으니 상당히 유용한 경우가 많다. 특히 매크로 작성시 정말 강력한 기능을 제공할 수 있다. 자세한 매크로 예를 다 들자면 너무 복잡하고, 예를 들어, 어떤 함수가 있을 경우에만 특정 코드를 만들어주는 #define을 만들 때 상당히 유용하다. #define 안에서는 #ifdef와 같은 것을 쓸 수가 없기 때문이다. 물론 #ifdef에 따라 #define을 해줘도 되지만 불편한 경우가 많다

#define XCOMP_INIT(object_type){                        \
    __if_exists (X##object_type::CreateObject){         \
        X##object_type* _p = new X##object_type;        \
        _p->SetTypeInfo(ObjectType::object_type);       \
        __if_exists (X##object_type::CreatePropertyMap){\
            _p->CreatePropertyMap();                    \
        }                                               \
        __if_exists (X##object_type::CreateEventMap){   \
            _p->CreateEventMap();                       \
        }                                               \
        __if_exists (X##object_type::CreateMethodMap){  \
            _p->CreateMethodMap();                      \
        }                                               \
        delete _p;                                      \
    }                                                   \
}                                                       \

부록) 여러 줄에 걸친 매크로 작성시 특히 주의 해야 할 점: '\'를 이용해서 line break를 할 수 있는데, 절대 '\' 뒤에 whitespace가 와서는 안 된다. 이 경우 친절하게 "error C2014: preprocessor command must start as first nonwhite space" 에러가 뜨는 경우도 있지만, 아주 고약한 에러가 떠서 에러를 찾는데 고생할 수 있다. 이럴 때, Visual Studio 에디터의 경우에는 [Ctrl+Shift+8]을 눌러 whitespace를 확인해봄으로써 쉽게 확인할 수 있다. 아래 그림의 경우 첫 번째 줄에서 \뒤에 공백이 하나 들어가있음을 볼 수 있다.